Industrial GaInP/GaAs Power HBT MMIC Process

UMS has developed an industrial power HBT process especially dedicated to power MMICs in the 10GHz frequency range. The process has been qualified and meets the very demanding specifications required for X-Band high power amplifiers. Aside from the obvious RF performances, this includes the demonstration of the necessary stability and reproducibility of the process, associated with state-of-art reliability. It is important to note that the later has been achieved without affecting the high frequency capability of the devices, and demonstrated directly on high power transistors. Thanks to its intrinsic qualities this process can naturally also be used for other applications, like low phase noise voltage controlled oscillators, and power amplifiers at lower frequencies (for mobile phones for instance)

From coinductive proofs to exact real arithmetic: theory and applications

Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs. The extracted programs construct and combine exact real number algorithms with respect to the binary signed digit representation of real numbers. The data type corresponding to the coinductive definition of continuous functions consists of finitely branching non-wellfounded trees describing when the algorithm writes and reads digits. We discuss several examples including the extraction of programs for polynomials up to degree two and the definite integral of continuous maps

Global distribution of two fungal pathogens threatening endangered sea turtles

This work was supported by grants of Ministerio de Ciencia e Innovación, Spain (CGL2009-10032, CGL2012-32934). J.M.S.R was supported by PhD fellowship of the CSIC (JAEPre 0901804). The Natural Environment Research Council and the Biotechnology and Biological Sciences Research Council supported P.V.W. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. Thanks Machalilla National Park in Ecuador, Pacuare Nature Reserve in Costa Rica, Foundations Natura 2000 in Cape Verde and Equilibrio Azul in Ecuador, Dr. Jesus Muñoz, Dr. Ian Bell, Dr. Juan Patiño for help and technical support during samplingPeer reviewedPublisher PD

Anti-müllerian hormone is not associated with cardiometabolic risk factors in adolescent females

<p>Objectives: Epidemiological evidence for associations of Anti-Müllerian hormone (AMH) with cardiometabolic risk factors is lacking. Existing evidence comes from small studies in select adult populations, and findings are conflicting. We aimed to assess whether AMH is associated with cardiometabolic risk factors in a general population of adolescent females.</p> <p>Methods: AMH, fasting insulin, glucose, HDLc, LDLc, triglycerides and C-reactive protein (CRP) were measured at a mean age 15.5 years in 1,308 female participants in the Avon Longitudinal Study of Parents and Children (ALSPAC). Multivariable linear regression was used to examine associations of AMH with these cardiometabolic outcomes.</p> <p>Results: AMH values ranged from 0.16–35.84 ng/ml and median AMH was 3.57 ng/ml (IQR: 2.41, 5.49). For females classified as post-pubertal (n = 848) at the time of assessment median (IQR) AMH was 3.81 ng/ml (2.55, 5.82) compared with 3.25 ng/ml (2.23, 5.05) in those classed as early pubertal (n = 460, P≤0.001). After adjusting for birth weight, gestational age, pubertal stage, age, ethnicity, socioeconomic position, adiposity and use of hormonal contraceptives, there were no associations with any of the cardiometabolic outcomes. For example fasting insulin changed by 0% per doubling of AMH (95%CI: −3%,+2%) p = 0.70, with identical results if HOMA-IR was used. Results were similar after additional adjustment for smoking, physical activity and age at menarche, after exclusion of 3% of females with the highest AMH values, after excluding those that had not started menarche and after excluding those using hormonal contraceptives.</p> <p>Conclusion: Our results suggest that in healthy adolescent females, AMH is not associated with cardiometabolic risk factors.</p&gt

Investigation of the XCAT phantom as a validation tool in cardiac MRI tracking algorithms.

PURPOSE: To describe our magnetic resonance imaging (MRI) simulated implementation of the 4D digital extended cardio torso (XCAT) phantom to validate our previously developed cardiac tracking techniques. Real-time tracking will play an important role in the non-invasive treatment of atrial fibrillation with MRI-guided radiosurgery. In addition, to show how quantifiable measures of tracking accuracy and patient-specific physiology could influence MRI tracking algorithm design. METHODS: Twenty virtual patients were subjected to simulated MRI scans that closely model the proposed real-world scenario to allow verification of the tracking technique's algorithm. The generated phantoms provide ground-truth motions which were compared to the target motions output from our tracking algorithm. The patient-specific tracking error, ep, was the 3D difference (vector length) between the ground-truth and algorithm trajectories. The tracking errors of two combinations of new tracking algorithm functions that were anticipated to improve tracking accuracy were studied. Additionally, the correlation of key physiological parameters with tracking accuracy was investigated. RESULTS: Our original cardiac tracking algorithm resulted in a mean tracking error of 3.7 ± 0.6 mm over all virtual patients. The two combinations of tracking functions demonstrated comparable mean tracking errors however indicating that the optimal tracking algorithm may be patient-specific. CONCLUSIONS: Current and future MRI tracking strategies are likely to benefit from this virtual validation method since no time-resolved 4D ground-truth signal can currently be derived from purely image-based studies

Bayesian Inference Semantics: A Modelling System and A Test Suite

We present BIS, a Bayesian Inference Seman- tics, for probabilistic reasoning in natural lan- guage. The current system is based on the framework of Bernardy et al. (2018), but de- parts from it in important respects. BIS makes use of Bayesian learning for inferring a hy- pothesis from premises. This involves estimat- ing the probability of the hypothesis, given the data supplied by the premises of an argument. It uses a syntactic parser to generate typed syn- tactic structures that serve as input to a model generation system. Sentences are interpreted compositionally to probabilistic programs, and the corresponding truth values are estimated using sampling methods. BIS successfully deals with various probabilistic semantic phe- nomena, including frequency adverbs, gener- alised quantifiers, generics, and vague predi- cates. It performs well on a number of interest- ing probabilistic reasoning tasks. It also sus- tains most classically valid inferences (instan- tiation, de Morgan’s laws, etc.). To test BIS we have built an experimental test suite with examples of a range of probabilistic and clas- sical inference patterns

Heterostructures for High Performance Devices

Contains an introduction, reports on thirteen research projects and a list of publications.Charles S. Draper Laboratory Contract DL-H-418483DARPA/NCIPT Subcontract 542383Joint Services Electronics Program Contract DAAL03-89-C-0001IBM Corporation FellowshipNational Science Foundation FellowshipVitesse SemiconductorAT&T Bell LaboratoriesHertz Foundation FellowshipNational Science FoundationTRWBelgian American Education Foundation (BAEF) FellowshipNational Science Foundation Grant ECS 90-08485Harvard University. Division of Applied PhysicsAT&T Bell Laboratories FellowshipNational Science Foundation Grant ECS 90-0774

The contrasting role of technology as both supportive and hindering in the everyday lives of people with mild cognitive deficits: a focus group study

Background: It is well known that people with mild cognitive deficits face challenges when performing complex everyday activities, and that the use of technology has become increasingly interwoven with everyday activities. However, less is known of how technology might be involved, either as a support or hindrance, in different areas of everyday life and of the environments where challenges appear. The aim of this study was to investigate the areas of concern where persons with cognitive deficits meet challenges in everyday life, in what environments these challenges appear and how technology might be involved as part of the challenge and/or the solution to the challenge. Methods: Data were gathered through four focus group interviews with participants that live with cognitive deficits or cohabit with a person with cognitive deficits, plus health professionals and researchers in the field. Data were transcribed, coded and categorized, and finally synthesized to trace out the involvement of technology. Results: Five areas of concern in everyday life were identified as offering challenges to persons with cognitive deficits: A) Managing personal finances, B) Getting around, C) Meeting family and friends, D) Engaging with culture and media and, E) Doing everyday chores. Findings showed that the involvement of technology in everyday activities was often contrastive. It could be hindering and evoke stress, or it could bring about feelings of control; that is, being a part of the solution. The involvement of technology was especially obvious in challenges linked to Managing personal finances, which is a crucial necessity in many everyday activities. In contrast, technology was least obviously involved in the area Socializing with family and friends. Conclusions: The findings imply that technology used for orientation and managing finances, often used outside home, would benefit from being further developed in order to be more supportive; i.e. accessible and usable. To make a positive change for many people, the ideas of inclusive design fit well for this purpose and would contribute to an age-friendly society