Miracle-dz/UniFAR-FTUs huggingface dataset:
Evolved fuzzy reasoning model for hypoglycaemic detection

Hypoglycaemia is a serious side effect of insulin therapy in patients with diabetes. We measure physiological parameters (heart rate, corrected QT interval of the electrocardiogram (ECG) signal) continuously to provide early detection of hypoglycemic episodes in Type 1 diabetes mellitus (T1DM) patients. Based on the physiological parameters, an evolved fuzzy reasoning model (FRM) to recognize the presence of hypoglycaemic episodes is developed. To optimize the fuzzy rules and the fuzzy membership functions of FRM, an evolutionary algorithm called hybrid particle swarm optimization with wavelet mutation operation is investigated. All data sets are collected from Department of Health, Government of Western Australia for a clinical study. The results show that the proposed algorithm performs well in terms of the clinical sensitivity and specificity.
The measurement and management of software reliability

The theme of this paper is the field of software reliability measurement and its applications. Needs for and potential uses of software reliability measurement are discussed. Software reliability and hardware reliability are compared, and some basic software reliability concepts are outlined. A brief summary of the major steps in the history and evolution of the field is presented. Two of the leading software reliability models are described in some detail. The topics of combinations of software (and hardware) components and availability are discussed briefly. The paper concludes with an analysis of the current state of the art and a description of further research needs.
Roles of Nitric Oxide and Asymmetric Dimethylarginine in Pregnancy and Fetal Programming

Nitric oxide (NO) regulates placental blood flow and actively participates in trophoblast invasion and placental development. Asymmetric dimethylarginine (ADMA) can inhibit NO synthase, which generates NO. ADMA has been associated with uterine artery flow disturbances such as preeclampsia. Substantial experimental evidence has reliably supported the hypothesis that an adverse in utero environment plays a role in postnatal physiological and pathophysiological programming. Growing evidence suggests that the placental nitrergic system is involved in epigenetic fetal programming. In this review, we discuss the roles of NO and ADMA in normal and compromised pregnancies as well as the link between placental insufficiency and epigenetic fetal programming.
Single view head pose estimation system based on SoC FPGA

Head posture estimation is essential for studying human behavior and attention. However, it is still a challenge to achieve good performance in accuracy, speed and robustness for human behavioral detection applications. In this paper, an improved algorithm based on appearance method for head posture estimation is proposed, and a corresponding embedded system based on System-on-Chip (SoC) FPGA is also presented. This implementation utilizes AAM to extract facial feature points and POSIT to estimate the 3DOF head posture. The results show that the system can achieve head pose estimation at a frequency of about 16 fps when the image has a resolution of 640 X480, and the accuracy of the estimation is about 2.7° in mean absolute error.
Boundedness and Stability for Discrete-Time Delayed Neural Network with Complex-Valued Linear Threshold Neurons

The discrete-time delayed neural network with complex-valued linear threshold neurons is considered. By constructing appropriate Lyapunov-Krasovskii functionals and employing linear matrix inequality technique and analysis method, several new delay-dependent criteria for checking the boundedness and global exponential stability are established. Illustrated examples are also given to show the effectiveness and less conservatism of the proposed criteria.
SLM as a Third Party Service in Cloud Environment: A Reference Framework

Current frameworks to track the Quality of Services (QoS) are strictly related to the traditional IT approach and they are not suitable to ensure a proper control on Cloud Computing environments. This paper firstly discusses the differences of a cloud SLM versus traditional SLMs and summarizes emerging challenges in service discovery, selection and management process of SLM in cloud. Secondly it overviews the current state of business and academy by a survey and a literature review. Finally it introduces a third party SLM framework for Cloud Service Providers (CSPs) and Cloud Service Consumers (CSCs). This framework, which aims at an easy-to-deploy and easy-to-use approach, called SLM as a Service, was tested in a real case. Results show that a third party SLM is equal, dependable and reasonably easy to implement.
Assessing Psychological Need Satisfaction in Exercise Contexts: Issues of Score Invariance, Item Modification, and Context

The researchers examined if scores from the original Psychological Need Satisfaction in Exercise Scale (Wilson, Rogers, Rodgers, & Wild, 2006) were invariant from a modified version specific to physical activity and then examined measurement invariance of scores across groups on the modified scale. Three groups were examined: (a) Students/staff from a university (N = 283), (b) a sample drawn from the general population (N = 214), and (c) individuals living with osteoporosis (N = 221). Measurement invariance was tested with four nested models using increased equality constraints per model. Results of invariance tests between two versions of the Psychological Need Satisfaction in Exercise Scale and between groups that completed the Psychological Need Satisfaction in Exercise Scale modified to physical activity supported configural and weak invariance of scores (i.e., equivalent factor structure and loadings). As such, the constructs of competence, autonomy, and relatedness were construed similarly across versions of the instrument and across two groups. Strong invariance (i.e., equivalent intercepts) was not supported, and therefore, direct score comparisons should be made with caution.
Foods and Drugs for the Consumer

I N THE early years of the industrial accident prevention movement, apostles of safety tried to turn hardfisted plant managers into humanitarians to further their ends. They interpreted accident statistics in terms of tragedies, telling woeful tales of desolation of homes which the installation of machine guards costing a few dollars would have prevented. And they failed miserably; the plant managers were hired to protect dividends, not lives. Only when safety engineers learned to sell accident prevention in terms of increased plant efficiency and larger cash profits did they achieve a measure of success. And in general they were successful only to the extent that they could convince owners and managers of the profitableness of safe practices and devices. The example of the accident prevention movement is significant for those seeking a basis for the appraisal of the food and drug industries, the products of which directly affect the physical welfare of the entire population. For if employers were not interested in preventing the maiming and killing of workmen in their own plants and under their very eyes, even less could they, as producers, be expected to show concern for the welfare of the unknown and unseen consumers of their products-unless such concern,
African American College Women's Body Image: An Examination of Body Mass, African Self-Consciousness, and Skin Color Satisfaction

The purpose of this study was to examine general and cultural factors associated with body image perceptions of African American women college students. A total of 124 African American college women attending a historically Black college completed the following scales: African Self-Consciousness (ASC) scale, the Skin Color Satisfaction Scale (SCSS), the Body Mass Index (BMI), and several body image measures. Results from simultaneous multiple regression analyses suggest that all three factors collectively accounted for a significant amount of variance in dimensions of body image satisfaction. Specifically, SCSS accounted for a significant amount of variance in three body image dimensions (i.e., appearance evaluation, satisfaction with specific body areas, internalization of social cultural messages of appearance), suggesting that the greater satisfaction with one's skin color was associated with more positive, internal perspectives of one's body image. The BMI accounted for a significant amount of variance in measures of appearance evaluation and satisfaction with body areas, such that greater BMI scores were related to a less positive evaluation of overall appearance but more satisfaction with specific body areas. Implications of the findings and suggestions for future research are discussed.
Korean Bio-Medical Corpus (KBMC) for Medical Named Entity Recognition

Named Entity Recognition (NER) plays a pivotal role in medical Natural Language Processing (NLP). Yet, there has not been an open-source medical NER dataset specifically for the Korean language. To address this, we utilized ChatGPT to assist in constructing the KBMC (Korean Bio-Medical Corpus), which we are now presenting to the public. With the KBMC dataset, we noticed an impressive 20% increase in medical NER performance compared to models trained on general Korean NER datasets. This research underscores the significant benefits and importance of using specialized tools and datasets, like ChatGPT, to enhance language processing in specialized fields such as healthcare.
Null Keys: Limiting Malicious Attacks Via Null Space Properties of Network Coding

The performance of randomized network coding can suffer significantly when malicious nodes corrupt the content of the exchanged blocks. Previous work have introduced error correcting codes by generalizing some well known bounds in coding theory. Such codes are based on introducing redundancy in space domain. Other approaches require the use of homomorphic hashing functions, which are computationally expensive. In this paper, we present a novel and computationally efficient security algorithm, referred to as Null Keys, to detect and contain malicious attacks based on the subspace properties of random linear network coding. The participating nodes verify the integrity of a block by checking if it belongs to the subspace spanned by the source blocks. This is possible when every node has a vector orthogonal to all the combinations of the source blocks. These vectors, referred to as null keys, belong to the null space of the source blocks and go through a random combination when distributed by the source. Unlike previous security approaches, our Null Keys algorithm allows nodes to rapidly detect corrupted blocks without changing the code or imposing redundancy on the exchanged data. We analytically evaluate the pollution produced by jamming attacks, and demonstrate the effectiveness of Null Keys by varying the strength of the malicious nodes. We also show, through extensive simulations, that the Null Keys approach is more effective than cooperative security using homomorphic hashing when it comes to limiting the pollution spread.
Activity and abundance of methane-oxidizing bacteria in secondary forest and manioc plantations of Amazonian Dark Earth and their adjacent soils

The oxidation of atmospheric CH4 in upland soils is mostly mediated by uncultivated groups of microorganisms that have been identified solely by molecular markers, such as the sequence of the pmoA gene encoding the β-subunit of the particulate methane monooxygenase enzyme. The objective of this work was to compare the activity and diversity of methanotrophs in Amazonian Dark Earth soil (ADE, Hortic Anthrosol) and their adjacent non-anthropic soil. Secondly, the effect of land use in the form of manioc cultivation was examined by comparing secondary forest and plantation soils. CH4 oxidation potentials were measured and the structure of the methanotroph communities assessed by quantitative PCR (qPCR) and amplicon pyrosequencing of pmoA genes. The oxidation potentials at low CH4 concentrations (10 ppm of volume) were relatively high in all the secondary forest sites of both ADE and adjacent soils. CH4 oxidation by the ADE soil only recently converted to a manioc plantation was also relatively high. In contrast, both the adjacent soils used for manioc cultivation and the ADE soil with a long history of agriculture displayed lower CH4 uptake rates. Amplicon pyrosequencing of pmoA genes indicated that USCα, Methylocystis and the tropical upland soil cluster (TUSC) were the dominant groups depending on the site. By qPCR analysis it was found that USCα pmoA genes, which are believed to belong to atmospheric CH4 oxidizers, were more abundant in ADE than adjacent soil. USCα pmoA genes were abundant in both forested and cultivated ADE soil, but were below the qPCR detection limit in manioc plantations of adjacent soil. The results indicate that ADE soils can harbor high abundances of atmospheric CH4 oxidizers and are potential CH4 sinks, but as in other upland soils this activity can be inhibited by the conversion of forest to agricultural plantations.
Management training and development at Aeroquip‐Vickers, Inc.: a process model – part 2

The second part of the article aims to show how the principles established during the evolution of the management development program at Aeroquip‐Vickers can be applied to other organizations. In particular, the design of each manager’s individual development program is a responsibility shared between the organization and the manager themselves. It was also found that most managers remember and learnt most from real, challenging situations they had to deal with and development programs need to recognise this by incorporating challenging assignments and opportunities as well as training and education.
Numerical Simulation of Flow Around the Colorado Micro Aerial Vehicle

Micro aerial vehicles (MAVs) are distinguished by their small size, low aspect ratio, and low velocity. As a result, MAVs fly at low Reynolds number flow regimes with significant drag characteristics and strong tip vortices. This investigation is focused on the aerodynamic characteristics of a recently developed MAV at the University of Colorado. The Colorado MAV has a flexible membrane wing with an aspect ratio of 1.2 and a chord of 0.27 m. Numerical simulations of the flow around the Colorado fixed wing MAV are presented using a steady state parallel compressible Navier-Stokes solver. The computational grid has 510,000 nodes and about 3 million tetrahedral elements. The maximum calculated lift coefficient is approximately 1.2. The airplane stall angle is at 30°. The high stall angle is attributed to the enhanced lift from a low pressure region above the wing caused by strong tip vortices. Minimum drag coefficient was calculated to be 0.06 at 2° angle of attack. A laminar separation bubble is formed on the upper surface of the wing at moderate angle of attack. The drag increases rapidly as the angle of attack increases. A maximum aerodynamic efficiency of L/D = 4 is observed when flying at 10 m/s.
A Framework for Session Initiation Protocol (SIP) Session Policies

Proxy servers play a central role as an intermediary in the Session Initiation Protocol (SIP) as they define and impact policies on call routing, rendezvous, and other call features. This document specifies a framework for SIP session policies that provides a standard mechanism by which a proxy can define or influence policies on sessions, such as the codecs or media types to be used. It defines a model, an overall architecture and new protocol mechanisms for session policies. [STANDARDS-TRACK]
The role of inhibitory processes in young children's difficulties with deception and false belief.

This research examines whether children's difficulties with deception and false belief arise from a lack of inhibitory control rather than from a conceptual deficit. In 3 studies, 3-year-olds deceived frequently under conditions requiring relatively low inhibitory control (e.g., misleading pictorial cues or arrows) but failed to do so under conditions of high inhibitory control (deceptive pointing). Study 2 ruled out that the findings were due to social intimidation: Children were equally successful using an arrow to deceive under anonymous and public conditions. Study 3 indicated that, under well-controlled conditions, children did not reveal greater understanding of false belief in deceptive than nondeceptive conditions. The results of these studies suggest that children may have greater deceptive abilities than some earlier studies indicated, and that the source of their difficulty on deceptive pointing tasks lies in a failure of inhibitory control. More generally, it is argued that children's performance on false belief tasks is also likely to be affected by inhibition deficits.
Constructions of small regular bipartite graphs of girth 6

In this article, some structures in the projective plane of order $q$ are found which allow us to construct small $k$‐regular balanced bipartite graphs of girth 6 for all $k\le q$. When $k=q$, the order of these $q$‐regular graphs is $2(q^2-1)$; and when $k\le q-1$, the order of these $k$‐regular graphs is $2(qk-2) $. Moreover, the incidence matrix of a $k$‐regular balanced bipartite graph of girth 6 having $2(qk-2)$ vertices, where $k$ is an integer and $q$ is a prime power with $3\le k\le q-1$, is provided. These graphs improve upon the best known upper bounds for the number of vertices in regular graphs of girth 6. © 2010 Wiley Periodicals, Inc. NETWORKS, Vol. 57(2), 121–127 2011
Self-evaluation of memory systems: Development of the questionnaire

Objectives: The term metamemory refers to the knowledge one has about the development and use of memory in general, and one's own memory processes in particular. The current theoretical perspective on memory processes is best described by the memory systems framework which represents a useful tool in specifying different ‘kinds’ of memory. We present here the Self-evaluation of Memory Systems Questionnaire (SMSQ), which assesses the multidimensional construct of metamemory based on the memory systems framework. Method: SMSQ has been developed on a large and heterogeneous sample (N = 3088) via both, web-based and paper-and-pencil form. With the aim of increasing its general utility, we used items referring to situations or materials which are highly likely for everyone to have encountered during their everyday life. Results: Analyses revealed good content validity, factorial validity, internal consistency reliability, and construct validity in terms of expected theoretical group differences. SMSQ is represented by six distinct factors: subjective evaluation, episodic memory, semantic memory, memory for numbers, visuospatial memory, and reminder and aids. Age differences found on SMSQ between young and old adults confirm the well-established empirical findings on the memory and aging. Conclusion: SMSQ is a brief, easily administrable, multidimensional metamemory questionnaire, marked with the sound background from the findings on memory systems and cognitive aging.
SLT-VEGF Reduces Lung Metastases, Decreases Tumor Recurrence, and Improves Survival in an Orthotopic Melanoma Model

SLT-VEGF is a recombinant cytotoxin comprised of Shiga-like toxin (SLT) subunit A fused to human vascular endothelial growth factor (VEGF). It is highly cytotoxic to tumor endothelial cells overexpressing VEGF receptor-2 (VEGFR-2/KDR/Flk1) and inhibits the growth of primary tumors in subcutaneous models of breast and prostate cancer and inhibits metastatic dissemination in orthotopic models of pancreatic cancer. We examined the efficacy of SLT-VEGF in limiting tumor growth and metastasis in an orthotopic melanoma model, using NCR athymic nude mice inoculated with highly metastatic Line IV Cl 1 cultured human melanoma cells. Twice weekly injections of SLT-VEGF were started when tumors became palpable at one week after intradermal injection of 1 × 106 cells/mouse. Despite selective depletion of VEGFR-2 overexpressing endothelial cells from the tumor vasculature, SLT-VEGF treatment did not affect tumor growth. However, after primary tumors were removed, continued SLT-VEGF treatment led to fewer tumor recurrences (p = 0.007), reduced the incidence of lung metastasis (p = 0.038), and improved survival (p = 0.002). These results suggest that SLT-VEGF is effective at the very early stages of tumor development, when selective killing of VEGFR-2 overexpressing endothelial cells can still prevent further progression. We hypothesize that SLT-VEGF could be a promising adjuvant therapy to inhibit or prevent outgrowth of metastatic foci after excision of aggressive primary melanoma lesions.
RECOGNITION AND LEARNING OF VISUAL SEQUENCES IN YOUNG CHILDREN

Two studies investigated recognition and learning of visual sequences in 4to 6-year old children. Success on these tasks implied discriminative mastery among sequences composed of identical elements but arranged in different sequential orders. Experiment I demonstrated that 4-year-old children could match sequences and that for all ages performance improved when sequences were perceptually present. Experiment II reported tasks of learning associate responses to sequences. On successively presented sequences, no children succeed at age 4, while at ages 5 and 6 most children succeeded. Errors decreased with age. On simultaneous presentation, a majority at all ages succeeded. The fact that these results occurred even though training had been given suggests that 4-year-old children are not likely to internally construct or maintain sequences without perceptual support. The results are seen as supporting Piaget's position on the development of serial ordering.
Creating a Digital Twin of Spinal Surgery: A Proof of Concept

Surgery digitalization is the process of creating a virtual replica of real-world surgery, also referred to as a surgical digital twin (SDT). It has significant applications in various fields such as education and training, surgical planning, and automation of surgical tasks. Given their detailed representations of surgical procedures, SDTs are an ideal foundation for machine learning methods, enabling automatic generation of training data. In robotic surgery, SDTs can provide realistic virtual environments in which robots may learn through trial and error. In this paper, we present a proof of concept (PoC) for surgery digitalization that is applied to an ex-vivo spinal surgery performed in realistic conditions. The proposed digitalization focuses on the acquisition and modelling of the geometry and appearance of the entire surgical scene. We employ five RGB-D cameras for dynamic 3D reconstruction of the surgeon, a high-end camera for 3D reconstruction of the anatomy, an infrared stereo camera for surgical instrument tracking, and a laser scanner for 3D reconstruction of the operating room and data fusion. We justify the proposed methodology, discuss the challenges faced and further extensions of our prototype. While our PoC partially relies on manual data curation, its high quality and great potential motivate the development of automated methods for the creation of SDTs. The quality of our SDT can be assessed in a rendered video available at https://youtu.be/LqVaWGgaTMY .