Demand for the servi es of translators is on the in rease, and onsequently so is the demand for tools to help them improve their produ tivity. This thesis proposes a novel tool intended to give a translator intera tive a ess to the most powerful translation te hnology available: a ma hine translation system. The main new idea is to use the target text being produ ed as the medium of intera tion...

metabolic syndrome (mets) is characterized by a cluster of cardiovascular risk factors that include: abdominal obesity, dyslipidaemia, hypertension, insulin resistance and impaired glucose tolerance. recent genome wide association studies have identified several susceptibility regions involved in lipid metabolism that are also associated with mets. we have explored the association of 9 genetic ...

Aiming to predict new materials for magnetic refrigeration from high-throughput calculations asks an accurate, transferable, and resource-wise balanced approach. Here, we analyze the influence of various approximations on calculation key properties magnetocaloric materials, while revisiting well-known FeRh system benchmarking our We focus entropy change its contributions electronic, lattice, de...

A urate run-time analysis has been expensive for omplex programs, in part be ause most methods perform on all data. Some appli ations require only partial reorganization. An example of this is o -loading infrequently used data from a mobile devi e. Complete monitoring is not ne essary beause not all a esses an rea h the displa ed data. To support partial monitoring, this paper presents a framew...

Abstra t. The e e tive integration of de ision pro edures in formula simpli ation is a fundamental problem in me hani al veri ation. The main sour e of diÆ ulty o urs when the de ision pro edure is asked to solve goals ontaining symbols whi h are interpreted for the prover but uninterpreted for the de ision pro edure. To ope with the problem, Boyer & Moore proposed a te hnique, alled augmentati...

This research focuses on cognitive representations of the personal future during the second half of life. To investigate the developmental perspectives of people growing older, the anticipation of possible gains is studied. The participants of this study took part in the German Aging Survey and the sample comprises 2,934 subjects aged 40–85 years. To assess their anticipated ‘gains ’, we select...

In an electronic search of the literature, the authors systematically retrieved all published studies that investigated genetic susceptibility to peripheral arterial disease (PAD). They created a comprehensive database of all eligible studies, collecting detailed genetic and bioinformatics data on each polymorphism. Data from eligible studies were synthesized using meta-analysis techniques. Gen...

Metabolic syndrome (MetS) is characterized by a cluster of cardiovascular risk factors that include: abdominal obesity, dyslipidaemia, hypertension, insulin resistance and impaired glucose tolerance. Recent genome wide association studies have identified several susceptibility regions involved in lipid metabolism that are also associated with MetS. We have explored the association of 9 genetic ...