Miracle-dz/UniFAR-FTUs huggingface dataset:
The International planning competition series and empirical evaluation of AI planning systems

In this paper we consider the role of the International Planning Competition series in the evaluation of planners, both directly through the events themselves, and indirectly through the creation of resources and infrastructure. We also consider the problem of evaluation based on data collected both in the competitions and otherwise and examine some of the issues that arise in attempting to formulate and test hypotheses around the data.
Microtomography of Partially Molten Rocks: Three-Dimensional Melt Distribution in Mantle Peridotite

As mantle rocks melt, an interconnected network of liquid drives the ascent of magma to the sea floor. The permeability of the upper mantle controls melt segregation beneath spreading centers. Reconciling contradictory geochemical and geophysical observations at ocean ridges requires a better understanding of transport properties in partially molten rocks. Using x-ray synchrotron microtomography, we obtained three-dimensional data on melt distribution for mantle peridotite with various melt fractions. At melt fractions as low as 0.02, triple junctions along grain edges dominated the melt network; there was no evidence of an abrupt change in the fundamental character of melt extraction as melt fraction increased to 0.2. The porosity of the partially molten region beneath ocean ridges is therefore controlled by a balance between viscous compaction and melting rate, not by a change in melt topology.
A Model for Steady State Throughput of TCP CUBIC

For transmission control protocol (TCP), CUBIC is a TCP-friendly high-speed variant, in which the window size is a cubic function of time since the last loss event. TCP CUBIC is implemented in Linux operating systems and performs well in wired networks with large bandwidth-delay product. Most of the evaluations of TCP CUBIC are conducted via simulations or experiments. Analytical models for TCP CUBIC are few. In this paper, we propose a Markovian model to determine the steady state throughput of TCP CUBIC in wireless environment. The proposed model considers both congestion loss and random packet loss due to fading. We derive the stationary distribution of the Markov chain and obtain the average throughput based on the stationary distribution. Simulations are carried out to validate the analytical model. Results show that the simulated stationary distribution and the average throughput are both very close to our analytical results. Furthermore, we analyze the throughput performance of TCP CUBIC. Results show that random packet loss reduces the normalized average throughput more for end-to-end flow with large bandwidth-delay product. We propose an improvement to increase the throughput performance of TCP CUBIC by moderately increasing the window growth factor and the multiplicative decrease factor.
Can You Feel Me Now?

SUMMARY Mental health professionals have long recognized the importance of empathy in individual therapy. Practitioners and researchers continue to identify the complex role race and other aspects of social identity group membership have on client assessment, engagement, and service utilization. Recent applications of racial identity theory and the worldview construct have contributed to an understanding of the dynamics of therapeutic intervention and clinical supervision. This article describes the work of a Black, Haitian, female client and a White, Anglo-Saxon, male therapist at a community-based family service program. The roles of empathy, racial identity, and worldview on the dynamics of the therapeutic alliance are discussed.
Aqueous leaf extract of Ocimum gratissimum improves hematological parameters in alloxan-induced diabetic rats via its antioxidant properties

Objective: This study was designed to investigate the effects of Ocimum gratissimum(OG) on hematological parameters and oxidative stress in diabetic rats. Materials and Methods: Twenty-five male rats (150–200 g) were randomly grouped into five as control, normal + OG, diabetic untreated, diabetic + OG, and diabetic + glibenclamide groups. Diabetes was induced by 100 mg/kg of alloxan monohydrate in the diabetic untreated and diabetic + OG groups followed by treatment with distilled water and 400 mg/kg OG, respectively, whereas control, normal + OG, and diabetic + glibenclamide groups were treated with distilled water, 400 mg/kg OG, and 5 mg/kg glibenclamide, respectively. Body weight and fasting blood glucose level were monitored weekly. After 28 days of treatments, under anesthesia induced by 50 mg/kg sodium thiopental i.p., blood samples were obtained for hematological analysis, malondialdehyde (MDA) level determination, and superoxide dismutase (SOD) activity. Data were compared using analysis of variance and Student's t-test. Results: There was a significant decrease in the fasting blood glucose of the diabetic + OG animals compared to the diabetic untreated and the initial reduction in weight observed in this group was reversed at the end of the experiments. Packed cell volume, red blood cell count, and hemoglobin concentration were significantly increased (P < 0.05) in the diabetic + OG when compared with the untreated group. The MDA concentration was significantly lowered (P < 0.01) in the diabetic + OG group when compared with diabetic untreated while SOD activity was significantly reduced in the diabetic untreated group. Conclusion: It was concluded that OG reverses anemia secondary to alloxan-induced diabetes mellitus in rats probably via its antioxidant activity.
Moving a rubber hand : the sense of ownership and agency in bodily self-recognition

Most of us take for granted that our body is our body. One typically experiences one’s body as something belonging just to oneself, as something that can only be “me”. However, this poses a fundamental problem in philosophy and psychology: how do we know that the body is our own? It has been suggested that two distinct experiences of our own body help us recognize it as such: the sense of ownership, that is the experience that a limb is part of one’s body, and the sense of agency, that is the experience of being able to voluntarily control limb movement. In the present thesis we introduce a new version of the classical rubber hand illusion that is based on finger movements instead of stroking and systematically investigate how ownership and agency contributes to bodily self-recognition. To induce “the moving rubber hand illusion” participants control the movements of the index finger of a right wooden model hand in full view by moving their own right index finger, which is hidden from view. The illusion is quantified subjectively with visual analogue rating scales and behaviourally as changes in manually indicated sensed hand position (“proprioceptive drift”). In 9 separate experiments involving a total of 352 healthy volunteers we first characterized the basic constrains of the illusion. Secondly, we examined the relationship of ownership and agency. And finally, investigate a possible relationship between the illusion and individual differences in delusion proneness (using Peter’s Delusion Inventory). Our results show that synchronized movements of the model’s index finger and the participant’s index can trigger a strong illusory feeling of ownership of the model hand and robust experience of agency. The moving rubber hand illusion is similarly strong as the classical version, and follows similar temporal, spatial and anatomical rules. Asynchronous seen and felt finger movements, a too great distance between the real and model hands (≥27 cm), or the model placed in an anatomically implausible position abolishes the ownership-illusion. We also found that ownership and agency can be dissociated. Unlike ownership, agency can be experienced for the model hand when it is when placed in an anatomically implausible position. And ownership can be experienced irrespective of the hand moving actively or passively, so with or without agency. Furthermore only ownership, but not agency ratings correlate with the proprioceptive drift. Finally, we observed that delusion prone-individuals tend to give generally higher overall ratings on agency, when they experience the hand moved passively. Collectively, these observations advance our understanding of how ownership and agency contribute to bodily self-recognition. Ownership and agency constitute different processes: Integration of spatio-temporally congruent signals from moving limbs determine the sense of ownership and a match of movement intentions and feedback determines the sense of agency. These results offer new ways to study bodily selfrecognition both at the behavioural and neural level.
Neuroanatomical differences in visual, motor, and language cortices between congenitally deaf signers, hearing signers, and hearing non-signers

We investigated effects of sign language use and auditory deprivation from birth on the volumes of three cortical regions of the human brain: the visual cortex surrounding the calcarine sulcus in the occipital lobe; the language-related cortex in the inferior frontal gyrus (pars triangularis and pars opercularis); and the motor hand region in the precentral gyrus. The study included 25 congenitally deaf participants and 41 hearing participants (of which 16 were native sign language users); all were right-handed. Deaf participants exhibited a larger calcarine volume than hearing participants, which we interpret as the likely result of cross-modal compensation and/or dynamic interactions within sensory neural networks. Deaf participants also had increased volumes of the pars triangularis bilaterally compared to hearing signers and non-signers, which we interpret is related to the increased linguistic demands of speech processing and/or text reading for deaf individuals. Finally, although no statistically significant differences were found in the motor hand region for any of the groups, the deaf group was leftward asymmetric, the hearing signers essentially symmetric and the hearing non-signers were rightward asymmetric – results we interpret as the possible result of activity-dependent change due to life-long signing. The brain differences we observed in visual, motor, and language-related areas in adult deaf native signers provide evidence for the plasticity available for cognitive adaptation to varied environments during development.
Optimization of Regular Expression Pattern Matching Circuit Using At-Most Two-Hot Encoding on FPGA

Regular expression pattern matching circuits have been implemented based on NFA. Most of them adapted the one-hot state encoding. Recently FPGAs with 6-input lookup tables (6-LUTs) such as Virtex-5has been announced. However, if regular expression matching circuits are implemented using one-hot encoding on FPGAs with 6-LUTs, additional inputs of6-LUTs may be wasteful. In this paper, we propose anew state encoding scheme, called At Most Two Hot(AMTH) encoding, to allow 6-LUTs to be fully utilized. AMTH encoding scheme leads to about 19% area saving compared to the one-hot encoding in the implementation of Snort IDS regular expression.
Bioinspired dynamic inclination measurement using inertial sensors

Biologically, the vestibular feedback is critical to the ability of human body to balance in different conditions. This balancing ability inspires analysis of the reference equilibrium position in dynamic environments. The research proposes and experimentally validates the concept of equilibrium for the human body modeled as an inverted pendulum, which is instrumental in explaining why we align the body along the surface normal when standing on a surface but not on an incline, and tend to lean backward or forward on non-static surfaces e.g. accelerating or decelerating bus. This equilibrium position—the dynamic equilibrium axis—is dependent only on the acceleration of surface of contact (e.g. gravity) and acts as the reference to the orientation measurements. The research also draws design inspiration from the two human ears—symmetry and plurality of inertial sensors. The vestibular dynamic inclinometer and planar vestibular dynamic inclinometer consist of multiple (two or four) symmetrically placed accelerometers and a gyroscope. The sensors measure the angular acceleration and absolute orientation, not the change in orientation, from the reference equilibrium position and are successful in separating gravity from motion for objects moving on ground. The measurement algorithm is an analytical solution that is not time-recursive, independent of body dynamics and devoid of integration errors. The experimental results for the two sensor combinations validate the theoretically (kinematics) derived analytical solution of the measurement algorithm.
ERP project dynamics and enacted dialogue: perceived understanding, perceived leeway, and the nature of task-related conflicts

Different views on change and IT- related outcomes have been proposed in the literature. Most privilege the technological deterministic and organizational imperative positions. This article introduces two types of process views on change arising from designers' inability to forecast the impacts of ERP on work and governance:• a dialectical process due to the lack of perceived leeway by the actors, and• a teleological process view, where actors feel they have more leeway and where they try to take advantage of technological effects that they feel they can controlBuilding on the concept of enactment and on the nature of conflicts, this work demonstrates the necessity to articulate these views in a theoretical framework describing the dynamics of ERP projects.This framework is employed to interpret problems arising from ERP choice and implementation in the French context. During the "chartering phase," the deterministic vision dominates the perceptions of designers. During the "project phase," the designers come closer to the organizational imperative view when they customize the system and make integration/differentiation choices. During the "shakedown" and subsequent phases, organizational outcomes are often not realized because of job and governance conflicts with end users.
Information landscapes and problem hardness

In [20] we introduced a new concept of a landscape: the information landscape. We showed that for problems of very small size (e.g. a 3-bit problem), it can be used to generally and accurately predict the performance of a GA. Based on this framework, in this paper we develop a method to predict GA hardness on realistic landscapes. We give empirical results which support our approach.
REST API Management and Evolution Using MDA

Nowadays, the REST (Representational State Transfer) is becoming the most commonly used way how to create, publish, and consume Web Services, exploiting JSON (JavaScript Object Notation) as the data exchange format. However, there are still no official standards for REST (like WSDL for Web Services) and for JSON (like XML Schema for the XML language). Next, there are no defined instructions how the resource versions should be managed. In this paper we focus on managing and generating REST resources based on the MDA (Model-Driven Architecture) principle which enables designing and maintenance of complex projects. We introduce a way how to describe the REST API in MDA and how to provide automatic evolution management between subsequent API versions derived from the original version. The proposed solution describes a novel model which represents REST requests and algorithms for providing evolution of this model based on changes done in the PIM (Platform-Independent Model) of MDA.
Impact of urbanization and gender on frequency of metabolic syndrome among native Abuja settlers in Nigeria

Background: Metabolic syndrome (MetS) is an important cause of morbidity and mortality. Nigeria is currently undergoing rapid epidemiological transition. The objective was to study whether urbanization is associated with increased prevalence of MetS between native rural Abuja settlers and genetically related urban dwellers. Materials and Methods: It was a cross-sectional study. Three hundred and forty-two urban native Abuja settlers and 325 rural dwellers were used for the study. Fasting blood lipid, glucose, waist circumference, blood pressure, and body mass index were determined. MetS was defined according to three standard criteria. SPSS 16.0 was used for statistical analysis. P<0.05 was used as statistically significant. Results: Obesity, hypertriglyceridemia, and hypertension were commoner among urban dwellers than rural dwellers. MetS was associated more with the female gender. Urbanization significantly increases the frequency of MetS using the three standard definitions. The prevalence of MetS using International Diabetes Federation, World Health Organization, and National Cholesterol Education Program Adult Treatment Panel III among rural versus urban dwellers were 7.7% vs. 14.9%, P<0.05; 0% vs. 0.9%, P>0.05; and 3.7% vs. 13.7%, P<0.05, respectively. Conclusion: This study shows that MetS is a major health condition among rural and urban Nigerians and that urbanization significantly increases the prevalence of MetS. This can be explained on the basis of higher prevalence of dyslipidemia, obesity, and hypertension in urban setting, possibly as a result of stress, diet, and reduction in physical activity. Effective preventive strategy is therefore required to stem the increased risk associated with urbanization to reduce the cardiovascular risk associated with MetS among Nigerians.
Repressive Coping Style, Acute Stress Disorder, and Posttraumatic Stress Disorder After Myocardial Infarction

Objective The study examined the associations between repressive coping style, acute stress disorder (ASD) and subsequent posttraumatic stress disorder (PTSD) after myocardial infarction (MI) to ascertain the efficacy of repressive coping style in immediate and long-term adjustment to stress. Methods A total of 116 MI patients were examined twice: within a week of their MI (time 1) and 7 months later (time 2). At time 1, repressive coping style, perceived threat, and ASD were measured by self-report questionnaires. In addition, medical measures indicative of the severity of the MI were obtained from patients’ hospital records. At time 2, PTSD was assessed. The distribution of the repressive coping style was compared with that of 72 matched control subjects. Results Findings revealed the adaptiveness of repressive coping style both in the immediate and longer-term aftermath of MI: repressors endorsed less ASD and PTSD than nonrepressors. In addition, the contribution of repressive coping style to PTSD was unique and beyond the implications of severity of MI, perceived threat, and immediate ASD. Conclusions The findings support the role of repressive coping style as a stress-buffer; several mechanisms that explain this role are suggested.
Real-Time Simulation of Permanent Magnet Motor Drive on FPGA Chip for High-Bandwidth Controller Tests and Validation

Presented is a real-time simulator of a permanent magnet synchronous motor (PMSM) drive implemented on an FPGA card. Real-time simulation of PMSM drives enable thorough testing of control strategies and rapid deployment of vehicular or industrial applications. The PMSM model is based on Park transform with a reference frame on the rotor and assumes sinusoidal flux induction. A 3-phase IGBT inverter drives the PMSM machine. Both models are implemented with the RT-LAB real-time simulation platform of Opal-RT Technologies using a Simulink blockset called Xilinx System Generator (XSG), and without any VHDL coding. The paper explains various aspects of the design of the motor drive models in fixed-point representation in XSG, as well as actual simulation validation against a standard PMSM drive model built in Simulink. The PMSM drive, along with a test source for the pulse width modulation, is coded for an FPGA card. The model has user-selectable dead time, modulation index, source angle offset, and frequency. The overall model compilation and simulation is entirely automated by RT-LAB. The drive can also run in a closed loop with a controller executing on a CPU of a real-time simulator. The final PMSM drive model runs with a 20-ns integration time step, allows for time multiplexing of d-q values, and has an I/O latency of 310 ns (250 ns for the PMSM machine alone). The drive is directly connected to RT-LAB digital inputs and analog outputs (1 microsecond settling time) on the FPGA card and has a resulting total hardware-in-the-loop latency of 1.31 microseconds
Bmc Medical Informatics and Decision Making Medical Communication and Technology: a Video-based Process Study of the Use of Decision Aids in Primary Care Consultations

Background: Much of the research on decision-making in health care has focused on consultation outcomes. Less is known about the process by which clinicians and patients come to a treatment decision. This study aimed to quantitatively describe the behaviour shown by doctors and patients during primary care consultations when three types of decision aids were used to promote treatment decision-making in a randomised controlled trial.
SPAG9 May Be a Potential Prognostic Marker of Endometrial Hyperplasia and Grade 1 Endometrioid Adenocarcinoma Treated with Progestin

Background: Sperm-associated antigen 9 (SPAG9), a recently characterized oncogene, may serve as a marker for the early diagnosis of endometrial cancer. However, whether SPAG9 can be a prognostic marker of complex atypical endometrial hyperplasia (CAEH) or grade 1 endometrioid adenocarcinoma (EA) treated with progestin is still unknown. Methods: Progestin therapy was performed in 27 women diagnosed with CAEH (19/27, CAEH group) or grade 1 EA (8/27, EA group). The expression of SPAG9 was measured in pre and post progestin-treated endometrial specimens by immunohistochemistry. The expression of SPAG9 was also examined by real-time polymerase chain reaction (PCR) and Western blot in Ishikawa cells and ECC-1 cells with or without progestin treatment. Results: (1) CAEH showed a significantly better therapeutic efficacy than EA. (2) The expression of SPAG9 was lower in CAEH than in EA. (3) SPAG9 expression significantly declined in the endometrial tissues of women responding to progestin. (4) Significant downregulations of SPAG9 were validated by reverse transcription PCR (RT-PCR) and Western blot both in Ishikawa cells and ECC-1 cells treated with progestin. Conclusion: SPAG9 may be associated with the efficacy of progestin treatment in CAEH and grade 1 EA. It may help to distinguish CAEH from grade 1 EA and serve as a new prognostic marker of CAEH or grade 1 EA treated with progestin.
The Translation Correction Tool: English-Spanish User Studies

Machine translation systems should improve with feedback from post-editors, but none do beyond the very localized benefit of adding the corrected translation to parallel training data (for statistical and example-base MTS) or a memory data base. Rule based systems to date improve only via manual debugging. In contrast, we introduce a largely automated method for capturing more information from the human post-editor, so that corrections may be performed automatically to translation grammar rules and lexical entries. This paper focuses on the information capture phase and reports on an experiment with English-Spanish translation.