Miracle-dz/UniFAR-FTUs huggingface dataset:
On supervisor synthesis of discrete event systems

In this paper we propose a deadlock control policy for a class of nets, called G-system with limited shared resources, which is a large class of discrete event systems generalizing well-known models presented in the literature. A relevant property of the system behavior is to be non-blocking, i.e., from any reachable state, a desirable state can be always obtained under supervision. The analysis of the system leads us to characterize deadlock situations in terms of an unmarked siphon based on the Petri nets model. Our deadlock prevention policy is to make all unmarked siphons satisfying cs-property when all elementary siphons are properly supervised. Compared with the existing policies, the advantage of the policy is that a much smaller number of supervisor places are added and unnecessary iterative processes are avoided. Finally, the application of the approach is illustrated with a realistic G-system example.
Rapid whole-genome sequencing identifies a novel homozygous NPC1 variant associated with Niemann–Pick type C1 disease in a 7-week-old male with cholestasis

Niemann–Pick type C disease (NPC; OMIM #257220) is an inborn error of intracellular cholesterol trafficking. It is an autosomal recessive disorder caused predominantly by mutations in NPC1. Although characterized as a progressive neurological disorder, it can also cause cholestasis and liver dysfunction because of intrahepatocyte lipid accumulation. We report a 7-wk-old infant who was admitted with neonatal cholestasis, and who was diagnosed with a novel homozygous stop-gain variant in NPC1 by rapid whole-genome sequencing (WGS). WGS results were obtained 16 d before return of the standard clinical genetic test results and prompted initiation of targeted therapy.
Regional Variability of Cerebral Blood Oxygenation Response to Hypercapnia

In functional magnetic resonance imaging studies changes in blood oxygenation level-dependent (BOLD) signal intensities during task activation are related to multiple physiological parameters such as cerebral blood flow, volume, and oxidative metabolism, as well as to the regional microvascular anatomy. Consequently, the magnitude of activation-induced BOLD signal changes may vary regionally and between subjects. The aim of this study was to use a uniform global stimulus such as hypercapnia to quantitatively investigate the regional BOLD response in the human brain. In 10 healthy volunteers, T2*-weighted gradient echo images were acquired for a total dynamic scanning time of 9 min during alternating periods of breath holding for 30 s after expiration and self-paced normal breathing for 60 s. Hypercapnia-induced BOLD signal changes in the sensorimotor cortex, frontal cortex, basal ganglia, visual cortex, and cerebellum were significantly different (P < 0.001) and varied from 1.8 to 5.1%. The highest BOLD signal changes were found in the cerebellum and visual cortex, whereas the lowest BOLD signal increase was observed in the frontal cortex. These results demonstrate a regional dependence of the BOLD signal changes during breath hold-induced hypercapnia, indirectly supporting the notion of regional different sensitivities of BOLD responses to task activation.
The Glutamine Residue of the Conserved GGQ Motif in Saccharomyces cerevisiae Release Factor eRF1 Is Methylated by the Product of the YDR140w Gene*

Polypeptide release factors from eubacteria and eukaryotes, although similar in function, belong to different protein families. They share one sequence motif, a GGQ tripeptide that is vital to release factor (RF) activity in both kingdoms. In bacteria, the Gln residue of the motif in RF1 and RF2 is modified to N5-methyl-Gln by the S-adenosyl l-methionine-dependent methyltransferase PrmC and the absence of Gln methylation decreases the release activity of Escherichia coli RF2 in vitro severalfold. We show here that the same modification is made to the GGQ motif of Saccharomyces cerevisiae release factor eRF1, the first time that N5-methyl-Gln has been found outside the bacterial kingdom. The product of the YDR140w gene is required for the methylation of eRF1 in vivo and for optimal yeast cell growth. YDR140w protein has significant homology to PrmC but lacks the N-terminal domain thought to be involved in the recognition of the bacterial release factors. Overproduced in S. cerevisiae, YDR140w can methylate eRF1 from yeast or man in vitro using S-adenosyl l-methionine as methyl donor provided that eRF3 and GTP are also present, suggesting that the natural substrate of the methyltransferase YDR140w is the ternary complex eRF1·eRF3·GTP.
Dynamic 3-D Virtual Fixtures for Minimally Invasive Beating Heart Procedures

Two-dimensional or 3-D visual guidance is often used for minimally invasive cardiac surgery and diagnosis. This visual guidance suffers from several drawbacks such as limited field of view, loss of signal from time to time, and in some cases, difficulty of interpretation. These limitations become more evident in beating-heart procedures when the surgeon has to perform a surgical procedure in the presence of heart motion. In this paper, we propose dynamic 3-D virtual fixtures (DVFs) to augment the visual guidance system with haptic feedback, to provide the surgeon with more helpful guidance by constraining the surgeon's hand motions thereby protecting sensitive structures. DVFs can be generated from preoperative dynamic magnetic resonance (MR) or computed tomograph (CT) images and then mapped to the patient during surgery. We have validated the feasibility of the proposed method on several simulated surgical tasks using a volunteer's cardiac image dataset. Validation results show that the integration of visual and haptic guidance can permit a user to perform surgical tasks more easily and with reduced error rate. We believe this is the first work presented in the field of virtual fixtures that explicitly considers heart motion.
Lipooligosaccharide biosynthesis in Neiseria gonorrhoeae: cloning, identification and characterization of the α1,5 heptosyltransferase I gene (rfaC)

The identical partial deep‐core structure of Hepα1–3Hepα1–5KDO In Salmonella typhimurium LT2 LPS and Neisseria gonorrhoeae LOS enabled us to isolate a DNA fragment from N. gonorrhoeae that was able to complement the α1,5 LOS heptosyltransferase defect in the S. typhimurium rfaC630 (SA1377) mutant. SDS‐PAGE analysis confirmed the production of wild‐type LPS in the transformant. Subcloning revealed that complementation was due to a 1.2 kb fragment. Sequence analysis revealed a complete open reading frame capable of encoding a 36–37 kDa peptide. In vitro transcription‐translation analysis of the 1.2 kb clone confirmed that a 37 kDa protein was encoded by this DNA fragment. The DNA sequence‐deduced protein had 36% identity and 58% similarity to S. typhimurium heptosyltransferase I (RfaC). Primer extension analysis indicated that transcription of the cloned gene in N. gonorrhoeae strain 1291 begins 144bp upstream of the start codon at a G nucleotide. An isogenic mutant of N. gonorrhoeae strain 1291 with an m‐Tn3 insertion inside the coding sequence expressed a single truncated LOS with a similar molecular mass to S. typhimurium rfaC LPS. We conclude that the 1.2 kb fragment encodes the α1,5 LOS heptosyltransferase 1 (RfaC) in N. gonorrhoeae. Our studies also provide further evidence that the third KDO residue in S. typhimurium LPS is added after the core synthesis is completed.
Aging faster in office? the effect of extended service in political office on longevity

ABSTRACT Politicians’ health problems are often publicly related to occupational stress. We investigate the effect of serving longer time in office on US governors’ life expectancy. Results indicate that health problems are relevant for the decision to continue a political career. We find no evidence that serving longer in political office is detrimental to health.
Virtual Reality: Blessings and Risk Assessment

Objectives: This paper presents an up-to-date overview of research performed in the Virtual Reality (VR) environment ranging from definitions, its presence in the various fields, and existing market players and their projects in the VR technology. Further an attempt is made to gain an insight on the psychological mechanism underlying experience in using VR device. Methods: Our literature survey is based on the research articles, analysis of the projects of various companies and their findings for different areas of interest. Findings: In our literature survey we observed that the recent advances in virtual reality enabling technologies have led to variety of virtual devices that facilitate people to interact with the digital world. In fact in the past two decades researchers have tried to integrate reality and VR in the form of intuitive computer interface. Improvements: This has led to variety of potential benefits of VR in many applications such as News, Healthcare, Entertainment, Tourism, Military and Defence etc. However despite the extensive research efforts in creating virtual system environments it is yet to become apparent in normal daily life.
Client Evaluation of a Specialist Inpatient Parent-Infant Psychiatric Service

Objective: The aim of this paper was to collect feedback on a specialist parent-infant psychiatric service in terms of client satisfaction with inpatient treatment, and the impact on health outcomes of providing written information about available support options in the community following discharge. Methods: Women (n = 37) from consecutive admissions between January 2006 and December 2007 were contacted by telephone and administered a service quality evaluation questionnaire. Results: Women were happy with the quality of inpatient care provided but suggested areas of improvement included continuity of staff during the inpatient stay and better communication between inpatient and outpatient services post-discharge. At discharge, women were not confident with their ability in coping with motherhood but confidence with parenting skills increased post-discharge. Use of recommended post-discharge community support and/or health services was poor. Conclusion: As adherence with discharge recommendations was less than ideal, greater involvement of primary/community health care professionals, and active participation of clients and carers, in discharge planning is required. Increased emphasis on the practical skills of motherhood as well as opportunities to develop the mother-infant relationship may assist mothers in gaining confidence to interact with their baby and pick up infant cues.
Iron Stress and Pyoverdin Production by a Fluorescent Pseudomonad in the Rhizosphere of White Lupine (Lupinus albus L.) and Barley (Hordeum vulgare L.)

Induction of high-affinity iron transport during root colonization by Pseudomonas fluorescens Pf-5 (pvd-inaZ) was examined in lupine and barley growing in microcosms. P. fluorescens Pf-5 (pvd-inaZ) contains a plasmid carrying pvd-inaZ; thus, in this strain, ice nucleation activity is regulated by pyoverdin production. Lupine or barley plants were grown for 18 or 8 days, respectively, in soil amended with 2% calcium carbonate and inoculated with P. fluorescens Pf-5 (pvd-inaZ) at a density of 4 x 10(sup8) CFU g (dry weight) of soil(sup-1). A filter paper blotting technique was used to sample cells from the rhizosphere in different root zones, and then the cells were resuspended for enumeration and measurement of ice nucleation activity. The population density of P. fluorescens Pf-5 (pvd-inaZ) in the rhizosphere decreased by one order of magnitude in both lupine and barley over time. The ice nucleation activity ranged from -3.4 to -3.0 log ice nuclei CFU(sup-1) for lupine and -3.0 to -2.8 log ice nuclei CFU(sup-1) for barley, was similar in all root zones, and did not change over time. An in vitro experiment was conducted to determine the relationship between ice nucleation activity and pyoverdin production in P. fluorescens Pf-5 (pvd-inaZ). An ice nucleation activity of approximately -3.0 log ice nuclei CFU(sup-1) was measured in the in vitro experiment at 25 to 50 (mu)M FeCl(inf3). By using the regression between ice nucleation activity and pyoverdin production determined in vitro and assuming a P. fluorescens Pf-5 (pvd-inaZ) population density of 10(sup8) CFU g of root(sup-1), the maximum possible pyoverdin accumulation by P. fluorescens Pf-5 (pvd-inaZ) in the rhizosphere was estimated to be 0.5 and 0.8 nmol g of root(sup-1) for lupine and barley, respectively. The low ice nucleation activity measured in the rhizosphere suggests that nutritional competition for iron in the rhizosphere may not be a major factor influencing root colonization by P. fluorescens Pf-5 (pvd-inaZ).
Phase Balancing Using Energy Storage in Power Grids Under Uncertainty

Phase balancing is essential to safe power system operation. We consider a substation connected to multiple phases, each with single-phase loads, generation, and energy storage. A representative of the substation operates the system and aims to minimize the cost of all phases and to balance loads among phases. We first consider ideal energy storage with lossless charging and discharging, and propose both centralized and distributed real-time algorithms taking into account system uncertainty. The proposed algorithm does not require any system statistics and asymptotically achieves the minimum system cost with large energy storage. We then extend the algorithm to accommodate more realistic non-ideal energy storage that has imperfect charging and discharging. The performance of the proposed algorithm is evaluated through extensive simulation and compared with that of a benchmark greedy algorithm. Simulation shows that our algorithm leads to strong performance over a wide range of storage characteristics.
A smartphone based quadrotor: Attitude and position estimation

This paper describes the results obtained in the implementation of a solution implementing real-time precise and accurate attitude and position estimation algorithms designed for control applications based on an Android smartphone. The topic of the paper is in particular the application of this solution to dynamics sensing in a quadrotor Unmanned Aerial Vehicle (UAV). The attitude estimation is based on an Explicit Complementary Filter (ECF). The position estimation is implemented through a complementary filter using acceleration readings provided by the smartphone sensors and the position derived by a vision based motion capture system. The parameters of the algorithms are tuned through the minimisation of the estimation error for sets of sample acquisitions. Moreover, these settings are chosen in order to minimise the issues related with the fact that Android is not a Real Time Operating System (RTOS). Finally, it was verified that the chosen solution provides performances adequate to the quadrotor stabilisation. The results of a set of experimental tests are used to show the performances of the proposed solution. For the attitude estimation algorithm, a comparison is moreover provided in order to highlight the difference with standard Android orientation estimation algorithm.
An approach to the design of low-jitter differential clock recovery circuits for high performance ADCs

This paper presents a design methodology for the simultaneous optimization of jitter and power consumption in ultra-low jitter clock recovery circuits (<;100fsrms) for high-performance ADCs. The key idea is twofold: a) a smart parameterization of transistor sizes to have smooth dependence of specifications on the design variables, b) performing a design space sub-sampling which allows capturing the whole circuit performance for reducing computation resources and time during optimization. The proposed methodology, which can easily incorporate process voltage and temperature (PVT) variations, has been used to perform a systematic design space exploration that provides sub-100fs jitter clock recovery circuits in two CMOS commercial processes at different technological nodes (1.8V 0.18μm and 1.2V 90nm).
Oral contraceptive use and bone density change in adolescent and young adult women: a prospective study of age, hormone dose, and discontinuation.

CONTEXT Oral contraceptive (OC) use is common, but bone changes associated with use of contemporary OC remain unclear. OBJECTIVE The objective of the study was to compare bone mineral density (BMD) change in adolescent and young adult OC users and discontinuers of two estrogen doses, relative to nonusers. DESIGN AND SETTING This was a prospective cohort study, Group Health Cooperative. PARTICIPANTS Participants included 606 women aged 14-30 yr (50% adolescents aged 14-18 yr): 389 OC users [62% 30-35 μg ethinyl estradiol (EE)] and 217 age-similar nonusers; there were 172 OC discontinuers. The 24-month retention was 78%. MAIN OUTCOME MEASURE The main outcome measure was BMD measured at 6-month intervals for 24-36 months. RESULTS After 24 months, adolescents using 30-35 μg EE OCs, but not those using lower-dose OCs, had significantly smaller adjusted mean percentage BMD gains than nonusers at the spine [group means (95% confidence interval for between group differences) 1.32 vs. 2.26% (-1.89, -0.13%)] and whole body [1.45 vs. 2.03% (-1.29%, -0.13%)]. Adolescents who discontinued 30-35 μg EE OC showed significantly smaller gains than nonusers at the spine after 12 months [0.51 vs. 1.72% (-2.38%, -0.30%)]. Young adult OC users did not differ from nonusers. However, OC discontinuers of both doses differed significantly from nonusers at the spine 12 months after discontinuation [-1.32% < 30 μg EE, -0.92% 30-35 μg EE vs. +0.27% nonusers (-2.48, -0.54, and -1.94%, -0.55%, respectively)]. Results were similar for mean absolute BMD change (grams per square centimeter). CONCLUSIONS Both OC use and discontinuation were associated with BMD losses/smaller gains relative to nonusers (differences < 2% after 12-24 months for all skeletal sites). The clinical significance of these results regarding future fracture risk is unknown. Study of longer-term trends after discontinuation is needed.
Extraction of effective parameters in terahertz time-domain spectroscopy

Formerly known as the gap in the electromagnetic spectrum, the terahertz technology is being developed in several fields of science. A terahertz time-domain spectroscopy system will be presented and used to obtain transmission spectra of organic samples. This work proposes the implementation of an algorithm able to extract effective optical parameters of the analyzed samples in terahertz and also their thickness, using only the transmittance as experimental data. Lactose samples were characterized using the proposed method.
Role of the Osmotic Stress Regulatory Pathway in Morphogenesis and Secondary Metabolism in Filamentous Fungi

Environmental stimuli trigger an adaptative cellular response to optimize the probability of survival and proliferation. In eukaryotic organisms from mammals to fungi osmotic stress, mainly through the action of the high osmolarity glycerol (HOG) pathway, leads to a response necessary for adapting and surviving hyperosmotic environments. In this review we show that the osmoadaptative response is conserved but not identical in different fungi. The osmoadaptative response system is also intimately linked to morphogenesis in filamentous fungi, including mycotoxin producers. Previous studies indicate that the response to osmotic stress is also coupled to the biosynthesis of natural products, including mycotoxins.
Burkholderia multivorans survival and trafficking within macrophages.

Cystic fibrosis (CF) patients are at great risk of opportunistic lung infection, particularly by members of the Burkholderia cepacia complex (Bcc). This group of bacteria can cause damage to the lung tissue of infected patients and are difficult to eradicate due to their high levels of antibiotic resistance. Although the highly virulent Burkholderia cenocepacia has been the focus of virulence research for the past decade, Burkholderia multivorans is emerging as the most prevalent Bcc species infecting CF patients in North America. Despite several studies detailing the intramacrophage trafficking and survival of B. cenocepacia, no such data exist for B. multivorans. The results of this study demonstrated that the clinical CF isolates C5568 and C0514 and an environmental B. multivorans isolate, ATCC 17616, were able to replicate and survive within murine macrophages in a manner similar to that of B. cenocepacia strain K56-2. These strains were also able to survive but were unable to replicate within human THP-1 macrophages. Differences in macrophage uptake were observed among all three B. multivorans strains; these variances were attributed to major differences in O-antigen production. Unlike B. cenocepacia-containing vacuoles, which delay phagosomal maturation in murine macrophages by 6 h, all B. multivorans-containing vacuoles co-localized with lysosome-associated membrane protein-1, a late endosome/lysosomal marker, and the lysosomal marker dextran within 2 h of uptake. Together, these results indicated that, whilst both Bcc species were able to survive and replicate within macrophages, they utilized different intramacrophage survival strategies. To observe differences in virulence, the strains were compared using the Galleria mellonella (wax worm) model. When compared with the B. multivorans strains tested, B. cenocepacia K56-2 was highly virulent in this model and killed all worms within 24 h when injected at 10(7) c.f. u. B. multivorans clinical isolates C5568 and C0514 were significantly more virulent than the soil isolate ATCC 17616, which was avirulent even when worms were injected with 10(7) c.f. u. These results suggest strain differences in the virulence of B. multivorans isolates.
Combining integral projection and Gabor transformation for automatic facial feature detection and extraction

In order to achieve subject-independent facial feature detection and extraction and obtain robustness against illumination variety, a novel method of combining integral projection and Gabor transformation is presented in this paper. First, to avoid manually picked expression features, we employ binary image and gray-level integral projection to detect and locate the exact position of human facial features automatically. Second, we segment the extracted areas into small cells for 7times7 pixels each and apply Gabor transformation on each cell. This greatly reduces the execution time of the Gabor transformation while retaining important information. Finally, a support vector machine is used for classifying facial emotions and when tested on the JAFFE database, the method has achieved a high recognition rate of 94%.
Rapid Multi-Query Path Planning For A Vertical Take-Off and Landing Unmanned Aerial Vehicle

This paper presents an online approach for multi-query path planning that enables an unmanned aircraft to quickly react to newly located or changed obstacles. All three spatial dimensions are considered during planning, as it is likely to be necessary for urban terrain with overhangs or inside buildings.Asampling-based motion planning approach is combined with an anytime path search such that an online trade-off between path optimality and rapid path computation is possible. The presented global path planner can rapidly handle global cost changes acquired during flight. Moreover, the multi-query property of the planning system supports combinatorial optimization problems such that the decisional autonomy is maximized during flight. This increase in system autonomy is achieved for holonomic maneuvering through scenes with unforeseen obstacle changes. This way, a common constraining requirement for unmanned aircraft can be relaxed: with onboard sensing and planning capabilities, a highly reliable, real-time remote control link is not necessary to ensure collision-free flight and higher level decision-making.