Miracle-dz/UniFAR-FTUs huggingface dataset:
Joint ASV/AUV range-based formation control: Theory and experimental results

The use of groups of autonomous marine vehicles has enormous potential in numerous marine applications, perhaps the most relevant of which is the surveying and exploration of the oceans, still widely unknown and misunderstood. In many mission scenarios requiring the concerted operation of multiple marine vehicles carrying distinct, yet complementary sensor suites, relative positioning and formation control becomes mandatory. However, the constraints placed by the medium make it hard to both communicate and localize vehicles, even in relation to each other. In this paper, we deal with the challenging problem of keeping an autonomous underwater vehicle in a moving triangular formation with respect to 2 leader vehicles. We build upon our previous theoretical work on range-only formation control, which presents simple feedback laws to drive the controlled vehicle to its intended position in the formation using only ranges obtained to the leading vehicles with no knowledge of the formation path. We then introduce the real-world constraints associated with the use of autonomous underwater vehicles, especially the low frequency characteristics of acoustic ranging and its unreliability. We discuss the required changes to implement the solution in our vehicles, and provide simulation results using a full dynamic and communication model. Finally, we present the results of real world trials using MEDUSA-class autonomous marine vehicles.
Automatic Analysis of Intrapartum Fetal Heart Rate

Doctoral thesis statement for obtaining the academic title of " Doctor " , Resume 23 Shrnutí 24 1 1 Problem introduction Fetal heart activity is the prominent source of information about the fetal well being during delivery. Cardiotocography (CTG) – recording of fetal heart rate (fHR) and uterine contractions (TOCO) enables obstetricians to detect possible ongoing fetal hypoxia, which may occur during delivery even in a previously uncomplicated pregnancy. Figure 1 shows an example of the CTG recording. Even though fetus has its own natural defense mechanism to tackle the oxygen insufficiency during delivery, in some cases, only timely intervention can prevent adverse consequences [1]. Hypoxia, with prevalence lying in the region of 0.6% [21] to 3.5% [34], is considered to be the third most common cause of newborn death [9] in developed countries. Instrumental evaluation of the fetal well-being during delivery is more than hundred years old. Auscultation – sensing of the fetal heart rate (fHR) using a fetal stethoscope – introduced by Pinard in 1876 – was replaced in the decades after the second world war by electronic fetal monitoring (EFM) with cardiotocography as the most important representant. Cardiotocography was introduced in late 1960s and is still the most prevalent method of intrapartum hypoxia detection. It did not, however, bring the expected improvements in the delivery outcomes in comparison to previously used intermittent auscultation [33] and, moreover, continuous CTG is one of the main suspects for increased rate of cesarean sections for objective reasons [33]. To improve the results of cardiotocography, International Federation of Gynecology and Obstetrics (FIGO) introduced general guidelines [13] for CTG assessment. They are based on evaluation of macroscopic morphological fHR features and their relation to the tocographic measurement. Even though the guidelines are available for more than twenty years poor interpretation of CTG still persists [3] with large inter-observer as well as intra-observer assessment variations [6, 4]. Therefore one of this thesis' goals is to contribute to the discussion about the feasibility of the automatic evaluation of the fHR and to the possibility of improving the inter-observer and intra-observer variability. Recently ST-analysis has been getting much attention as an extension of the classical CTG measurements using additional information from the invasive measurement of the fetal ECG [28]. Although most studies show that ST-analysis is performing slightly better [2], it is important to keep in mind, that the first step to correctly interpret the ST …
Cardiac Health Status Implementation on Mobile Phone

ECG is a bio-medical signal which records the heart"s electrical signal versus time. It is an important diagnosis tool for assessing heart"s functions. In this paper we discuss the methods of feature extraction of ECG signals, both statistical and morphological who play a significant role in diagnosing most of the cardiac diseases. A mobile application is developed which extracts features of ECG signal like RR interval, QRS wave, SDNN etc. in real- time and use these features for diagnosing whether a patient suffers from different 8 types of arrhythmia. The model is embedded with a decision support system formed offline by learning the behavior of the signals of various patients suffering from arrhythmia.
A Linguistic or Pictorial Context: Does It Make a Difference?

ABSTRACT In two experiments this study tested the Graded Salience Hypothesis and the Defaultness Hypothesis. It weighs the effects of linguistic versus pictorial contexts in terms of activation (or suppression) of default, salient meanings when context invites nondefault, less-salient alternatives. Using a naming task, Experiments 1 and 2 looked into the processing speed of ambiguous probe words, following a linguistic or pictorial prime, supportive of the less-salient, nondefault meaning. Prime presentation was either limited to 350 ms (Experiment 1) or self-paced (Experiment 2). Findings support the Graded Salience Hypothesis and the Defaultness Hypothesis, showing that, as predicted, default meanings were activated initially even when context, whether linguistic or pictorial, was strongly biased toward the alternative, nondefault meaning. These novel findings suggest that linguistic and pictorial contexts affect linguistic disambiguation to the same extent.
Please Scroll down for Article European Journal of Developmental Psychology Emotion Understanding in Children with Frequent Somatic Complaints Emotion Understanding in Children with Frequent Somatic Complaints

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material. The assumption that an impaired ability to identify and express emotions (''alexithymia'') is related to a lack of physical well-being in children was investigated. Two groups of children (mean age 10 years), who differed in their reported frequency of somatic complaints, were asked to fill out a mood questionnaire and respond to emotion-evoking situations. The findings showed that the number of somatic complaints in children was unrelated to their ability to identify their own emotions when asked about hypothetical conflicting situations. Yet, both groups identified different emotions. Children with more somatic complaints reported more fear and fewer anger reactions. They also reported experiencing more negative emotion-evoking situations with peers. Fear suggests a stronger tendency for withdrawal, whereas the anger reaction of the healthier group implies a stronger tendency to approach (negative) emotion evoking situations. Consequently, the conflicting situation continues for the first group, whereas the second group will be more likely to solve it. Strong or long-lasting arousal has a negative effect on bodily functioning: it can disturb biological subsystems and bring about organic changes. The possibility that fewer social skills, for expressing emotions in a socially constructive way, or fewer coping strategies in the group who reported more somatic complaints also influence the intensity and duration of negative emotions is discussed. The authors want to thank Richard Cowan for his helpful comments, Marije Gijzel for her help with data collection and Fouad Karimi for designing the drawings that were used in this study.
Are mice calorically restricted in nature?

An important question about traditional caloric restriction (CR) experiments on laboratory mice is how food intake in the laboratory compares with that of wild mice in nature. Such knowledge would allow us to distinguish between two opposing views of the anti‐aging effect of CR – whether CR represents, in laboratory animals, a return to a more normal level of food intake, compared with excess food consumption typical of laboratory conditions or whether CR represents restriction below that of animals living in nature, i.e. the conditions under which house mice evolved. To address this issue, we compared energy use of three mouse genotypes: (1) laboratory‐selected mouse strains (= laboratory mice), (2) house mice that were four generations or fewer removed from the wild (= wild‐derived mice) and (3) mice living in nature (= wild mice). We found, after correcting for body mass, that ad libitum fed laboratory mice eat no more than wild mice. In fact, under demanding natural conditions, wild mice eat even more than ad libitum fed laboratory mice. Laboratory mice do, however, eat more than wild‐derived mice housed in similar captive conditions. Therefore, laboratory mice have been selected during the course of domestication for increased food intake compared with captive wild mice, but they are not particularly gluttonous compared with wild mice in nature. We conclude that CR experiments do in fact restrict energy consumption beyond that typically experienced by mice in nature. Therefore, the retarded aging observed with CR is not due to eliminating the detrimental effects of overeating.
The Stellar Population Associated with the IRAS Source 16132−5039

We report the discovery of a young massive stellar cluster and infrared nebula in the direction of the CS molecular cloud associated with the IRAS point source 16132-5039. Analysis of mid-infrared images from the more accurate Midcourse Space Experiment catalog reveals that there are two independent components associated with the IRAS source. The integral of the spectral energy distribution for these components between 8.28 and 100 μm gives lower limits for the bolometric luminosity of the embedded objects of 8.7 × 104 and 9 × 103 L⊙, which correspond to zero-age main-sequence O8 and B0.5 stars, respectively. The number of Lyman continuum photons expected from the stars that lie along the reddening line for early-type stars is about 1.7 × 1049 s-1, enough to produce the detected flux densities at 5 GHz. The near-infrared spectrum of the nebula increases with frequency, implying that free-free emission cannot be the main source of the extended luminosity, from which we conclude that the observed emission must be mainly dust-scattered light. A comparison of the cluster described in this paper with the young stellar cluster associated with the IRAS source 16177-5018, which is located at the same distance and in the same direction, shows that the mean visual absorption of the newly discovered cluster is about 10 mag smaller and that it contains less massive stars, suggesting that it was formed from a less massive molecular cloud.
Semantic Query for Integrated Heterogeneous Database Systems

To enable accessing deep web information at semantic level, this paper develops a semantic query rewriting mechanism on heterogeneous database enabled web information system with complex ontology mapping technology. It discusses the procedure of converting database schema and instances to ontologies at first, and then the patterns of complex ontology mappings, and the ontology-based query planning in Mediator-Wrapper based environment with GAV style querying request. The relational algebra rewriting is discussed in detail.
Research, Innovation and Knowledge Management: the Ict Factor

We define the knowledge cycle with its processes and outcome. We look in detail at how innovation comes about, how ICT plays a role in innovation and what impact higher education has on the whole process. A. Background The Information Communication Technology (ICT) is considered the driving force behind the long unprecedented economic growth period of the last decade. It provided the infrastructure for economic development, helped create the knowledge society, contributed to innovation and created value for the economy. More importantly, it brought the world closer together by improving the dissemination of knowledge, accelerating research, stimulating innovation and facilitating collaboration. As we have all witnessed, the advent of the internet, broadband communication, open source collaboration, and the rapidly improving computing capacity has changed the world economy drastically [1]. The knowledge economy and the globally integrated enterprise have become a reality [2]. The competitive playing field between industrialized and emerging markets is levelling. The economies of industrialized countries are moving into services. Business models and processes are globalized. ICT is changing quickly, shortening its life cycle and speeding up its obsoleteness. Innovation has become the battle cry for many countries looking for job creation and better living conditions. Research is needed to use existing knowledge and to create new knowledge. It is the means for maintaining intellectual leadership. Knowledge management is the solution for sustaining a competitive edge in a knowledge economy. Higher education plays a major role in all these processes by preparing and providing the required human capacity through education, creating and disseminating knowledge to society, and directly contributing to economic development. We shall explore the ICT factor in research, innovation and knowledge management. The whole question will be how and where value is created and what ICT contributes to this value creation process. Lastly what role does higher education role play and how does it adapt to this quickly changing environment.
Predicting Phenotypic Severity of Uncertain Gene Variants in the RET Proto-Oncogene

Although reported gene variants in the RET oncogene have been directly associated with multiple endocrine neoplasia type 2 and hereditary medullary thyroid carcinoma, other mutations are classified as variants of uncertain significance (VUS) until the associated clinical phenotype is made clear. Currently, some 46 non-synonymous VUS entries exist in curated archives. In the absence of a gold standard method for predicting phenotype outcomes, this follow up study applies feature selected amino acid physical and chemical properties feeding a Bayes classifier to predict disease association of uncertain gene variants into categories of benign and pathogenic. Algorithm performance and VUS predictions were compared to established phylogenetic based mutation prediction algorithms. Curated outcomes and unpublished RET gene variants with known disease association were used to benchmark predictor performance. Reliable classification of RET uncertain gene variants will augment current clinical information of RET mutations and assist in improving prediction algorithms as knowledge increases.
Generating E(cid:11)ective Constraint Programs: An Application of Automated Reasoning

Constraint programming has proven to be successful at solving a wide range of problems including important industrial problems. To solve a problem, one first “models” it by characterising its solutions by the constraints that they must satisfy. Then the highly-refined search methods of constraint programming can be used to search for a solution automatically. Unfortunately, a typical problem can be modelled in many ways, some of which may be much easier to solve than others. Formulating an effective model requires considerable expertise and is an impediment to the take-up of constraint programming. We are addressing this so-called “modelling bottleneck” by developing an intelligent compiler that can automatically refine a high-level problem specification into a model that can be solved effectively by existing constraint solvers. This paper presents our work as an exercise in automated reasoning (AR) and from this viewpoint focuses on the issue of designing an appropriate architecture for this form of reasoning. A model, abstract or concrete, can be read declaratively as an existentially quantified conjunction of constraints; the goal is to find values for the existentiallyquantified variables that satisfy the conjunction. Our intelligent compiler—of which we have a running prototype [1]– is based on a set of compositional refinement rules that capture some of the expertise of human modellers. Thus, refinement rules map an abstract model to a logically equivalent concrete one. It is not hard to see that our work is applied AR and, interestingly, we are encountering many issues that arise elsewhere in AR. Effective modelling involves more than just refinement, and again the issues are familiar in the field of AR. For example, models can be made more efficient by judiciously adding constraints that are implied by others in the model—deduction! Models often contain many symmetries, which result in symmetries in the search space. Consequently, expert modellers often add symmetry-breaking constraints to a model, which can drastically reduce the size of the search space. Again, this is common in theorem proving—for example, “consider x and y and without loss of generality let x be the smaller of the two. ”
Neuropsychological and Psychiatric Outcomes in Dextro-Transposition of the Great Arteries across the Lifespan: A State-of-the-Art Review

Advances in prenatal diagnosis, perioperative management, and postoperative care have dramatically increased the population of survivors of neonatal and infant heart surgery. The high survival rate of these patients into adulthood has exposed the alarming prevalence of long-term neuropsychological and psychiatric morbidities. Dextro-transposition of the great arteries (d-TGA) is one of the most extensively studied cyanotic congenital heart defect (CHD) with regard to neurodevelopmental outcomes. Landmark studies have described a common neurodevelopmental and behavioral phenotype associated with d-TGA. Children with d-TGA display impairments in key neurocognitive areas, including visual–spatial and fine motor abilities, executive functioning, processing speed, and social cognition. As they grow older, they may face additional challenges with a worsening of deficits in higher order cognitive skills, problems in psychosocial adjustment and a higher-than-expected rate of psychiatric disorders, such as attention-deficit hyperactivity disorder, depression, and anxiety. The aim of this review is to summarize the available recent data on neuropsychological and psychiatric outcomes in individuals with d-TGA after the arterial switch operation. We present findings within a life-span perspective, with a particular emphasis on the emerging literature on adolescent and young adult outcomes. Finally, we propose avenues for future research in the CHD adult neuropsychology field. Among these avenues, we explore the potential mechanisms by which pediatric neurodevelopmental impairments may have lifelong adverse effects as well as alternative interventions that could optimize outcomes.
Traditionally, Software Has Been Perceived, Negotiating in Service-oriented Environments

developed, and delivered as a product. However, the Internet has created a recent surge of interest in developing software as a service delivered and consumed on demand. The benefit of this approach is seen in the looser coupling between business problems and the associated software solutions—hence the increased ability to evolve systems as business requirements change. This shift toward a service-oriented model of software brings about a number of benefits as well as research challenges. The concept of delivering software as a service is relatively simple: “Do not buy software, simply use it as and when you need it. ” Putting such a concept into practice, however, is far more complex and involves many issues. In this article, we address the questions: What are the characteristics of a market for software services? What are the characteristics of negotiating in such an environment? The work presented here is based upon ongoing research into service-oriented software and is designed to form a framework for the next generation of service-based software moving far beyond turnkey systems, outsourcing, ASPs, and current Web services technology. The decision to buy or rent software usually depends on the characteristics of the needs and the way allocating available resources are chosen. For example, it is more likely that one would rent a car if the need is just temporary or the up-front cost is better allocated elsewhere. Delivering software as a service addresses customers with temporary or rapidly changing needs, where software can be rented over the Internet, composed to deliver the required outcome, and then discarded. Logical separation of need from the need-fulfillment mechanism is at the heart of the service model. For instance, the different activities run by a bank could be considered as different services run by different commercial bodies and then combined to provide the customer with a certain service [9]. Customer credit analysis, money transfer, fund management, and Internet banking could all be done by different entities at the back end. The final service received by the customer is a combination of a number of these services. A service-oriented model of software is one in which software functionality is delivered as a service, where each time functionality is required, service elements are identified, terms and conditions are negotiated, executed, and then discarded [2, 4]. This concept of “discarding” is crucial to the service model since it implies no further obligation to that
v 2 7 A ug 2 00 0 Local quantum constraints

We analyze the situation of a local quantum field theory with constraints, both indexed by the same set of space–time regions. In particular we find “weak” Haag–Kastler axioms which will ensure that the final constrained theory satisfies the usual Haag–Kastler axioms. Gupta– Bleuler electromagnetism is developed in detail as an example of a theory which satisfies the “weak” Haag–Kastler axioms but not the usual ones. This analysis is done by pure C*– algebraic means without employing any indefinite metric representations, and we obtain the same physical algebra and positive energy representation for it than by the usual means. The price for avoiding the indefinite metric, is the use of nonregular representations and complex valued test functions. We also exhibit the precise connection with the usual indefinite metric representation. We conclude the analysis by comparing the final physical algebra produced by a system of local constrainings with the one obtained from a single global constraining and also consider the issue of reduction by stages. For the usual spectral condition on the generators of the translation group, we also find a “weak” version, and show that the Gupta–Bleuler example satisfies it.