Miracle-dz/UniFAR-FTUs huggingface dataset:
Safety oriented automotive MCU power management

The new generation of Power Management Controller (PMC) for Microcontroller Units (MCU) in the automotive application field is targeting increased modularity and flexibility of use, aiming to simplify board design and reduce external components as well as to reduce both development time and high volume production cost. A structural PMC design approach is followed by breaking the Intellectual Property (IP) system into several fundamental building blocks. Each block has a well defined set of features to cover the most demanding applications but allowing for scalability and flexible use, and speed up overall system design. In this paper we present a scalable architecture for a 5V PMC in CMOS 55nm technology. It includes a novel bandgap voltage reference with high noise immunity and improved curvature trimming based on bipolar ratio, a set of Low Voltage Detectors (LVDs) working sequentially during rising/falling supply edges, High Voltage Detectors (HVD), and an auxiliary back-up 1.2V regulator able to support fast load transitions, while the main 1.2V regulator is dedicated to supply most of the power consumption. The PMC IP has been integrated in automotive MCUs, with area from 0.6 to 1.2mm2, and Si results indicate modular architecture provides excellent trade-off among system complexity, power, wide safety specification features, low risk, and time to market.
Location Tracking of a Single Inhabitant in Smart Home: A Discrete Event System Approach

In this paper, we propose a discrete event system approach for location tracking of a single indoor inhabitant in Smart Home. We first construct the discrete event system model for the dynamics of the inhabitant and define the motions from one zone to another zone in the house as the events of the model. The model size is then linear with the number of the zone which is an advantage compared with the previous work. We adopt the state tree in Graph Theory to describe the observations of these events. Each branch from the root node to the terminal node represents an observable event or the occurrence of a disturbance. We then use the state estimation knowledge of discrete event systems to construct an observer to implement location tracking. Our results are optimal. Finally, we propose an reset procedure to deal with transient sensor faults.
Model Checking in Bits and Pieces

Fully automated verification of concurrent programs is a difficult problem, primarily because of state explosion: the exponential growth of a program state space with the number of its concurrently active components. It is natural to apply a divide and conquer strategy to ameliorate state explosion, by analyzing only a single component at a time. We show that this strategy leads to the notion of a "split" invariant, an assertion which is globally inductive, while being structured as the conjunction of a number of local, per-component invariants. This formulation is closely connected to the classical Owicki-Gries method and to Rely-Guarantee reasoning. We show how the division of an invariant into a number of pieces with limited scope makes it possible to apply new, localized forms of symmetry and abstraction to drastically simplify its computation. Split invariance also has interesting connections to parametric verification. A quantified invariant for a parametric system is a split invariant for every instance. We show how it is possible, in some cases, to invert this connection, and to automatically generalize from a split invariant for a small instance of a system to a quantified invariant which holds for the entire family of instances.
Interpersonal Psychotherapy of Depression: A Prototype for Operational Specificity

Originally published in Contemporary Psychology: APA Review of Books, 1987, Vol 32(2), 183–185. Reviews the book, Interpersonal Psychotherapy of Depression by Gerald L. Klerman, Myrna M. Weissman, Bruce J. Rounsaville, and Eve S. Chevron (1984). The present volume represents a compelling and truly significant demonstration that comprehensive specificity need not be restricted to the behavioral paradigm. Interpersonal psychotherapy (IPT) of depression includes concepts and techniques deeply rooted in dynamic psychotherapies, and integrates these within a systematic and strategic interpersonal approach to treating clinical depression. The organization, clarity, and detail with which they present the material do indeed enable the authors to succeed admirably in achieving these interrelated purposes. This is an important work. In describing an approach to depression that is structured, short-term, and gaining empirical support, it is most timely given the seeming frequency of major depression in outpatients and characteristic third-party coverage of a limited number of sessions. (PsycINFO Database Record (c) 2006 APA, all rights reserved)
[Acute respiratory distress syndrome in infants at term and near term about 23 cases].

AIM to precise the incidence of acute respiratory distress syndrome in infants at term and near term and the clinical characteristics of this disease not yet well recognised. METHODS Retrospective study of the medical records of infants admitted in the paediatric intensive care unit for ARDS along a period of 4 years. Diagnosis of ARDS was based on the following criterias: (1) Gestational age > or =35 weeks of gestation; (2) Severe and immediate respiratory distress requiring mechanical ventilation with PEEP > or =4 cmH2O and FiO2 > or = 0.5 during at least 6 hours; (3) Dependence on oxygen > or =48 hours ; (4) Diffuse alveolar damage in the chest radiograph; (5) PaO2 < or =60 mmHg under FiO2 > or = 0.5. RESULTS During the period of the study, 23 infants (gestational age = 36 +/- 1.1 weeks of gestation; birth weight = 2756 +/- 453 gr) were included in the study. Their mean age at admission was 16.5 +/- 14.6 hours. The majority of infants (91.3%) were born by caesarean section before the onset of labour in 78.3% cases. All infants had a severe acute hypoxemic respiratory failure (D(A -a)O2 = 468 +/- 165; OI = 19 +/- 8.4). Five infants (21.7 %) improved their oxygenation parameters under conventional mechanical ventilation (CMV) (p < 0.001; p = 0.002 et p = 0.003 respectively for D(A - a)O2, OI and PaO2/FiO2). Eighteen infants (78.2%) required high frequency oscillatory ventilation (HFOV)with a rapid and persistant improvement of oxygenation parameters. Five patients (21.7%) developed pulmonary air leak. One infant died. CONCLUSION ARDS represents 6.8% of etiology of respiratory distress in infants at term and near term. Caesarean section before the onset of labour seems to be a triggering factor. The outcome seems to be favourable (rate of survival = 95.7%) if the management is suitable.
A Speech Chaotic Encryption Algorithm Based on Network

Considering chaotic synchronization, the TCP protocol is usually adopted to transport encrypted data on networks at present. A block encryption algorithm is proposed to digital speech codes in this paper. The method uses the UDP protocol to cipher text. It partially solves the problem of decryption for receiver when some data packages are lost during transportation. It encrypts message with chaotic sequences which randomly come from chaos model database, so the randomness of chaotic sequence is enhanced greatly. Furthermore, it can overcome the disadvantages of short period when data amount is great. The algorithm is testified with testing program written by the authors.
Anticoagulant and antiplatelet drugs

Thrombosis plays an important role in the pathogenesis of the acute ischemic syndromes and the complications of percutaneous coronary revascularization. Rupture of the atherosclerotic plaque is the initiating event, occurring spontaneously in the acute ischemic syndromes or induced by percutaneous revascularization devices, exposing thrombogenic subendothelial components and leading to platelet aggregation and initiation of the coagulation cascade. A growing thrombotic mass may lead to partial or complete thrombotic arterial occlusion and end-organ ischemia or infarction. Moreover, platelet-thrombus formation may be important in the progression of stable atherosclerotic plaques, which is now thought to be due not only to gradual cellular proliferation, but also to episodic rupture, thrombus formation, and incorporation of thrombus into the plaque. Antithrombotic agents are therefore employed in the management of acute and chronic coronary artery disease (Tables I and II).
Gestalt Switching: Hanson, Aronson, and Harre

This discussion takes up an attack by Jerrold Aronson (seconded by Rom Harre) on the use made by Norwood R. Hanson of the Gestalt-Switch Analogy in the philosophy of science. Aronson's understanding of what is implied in a gestalt switch is shown to be flawed. In his endeavor to detach conceptual understanding from perceptual identification he cites several examples, without realizing the degree to which such gestalt switches can affect conceptualizing or how conceptualizing can affect gestalts. In particular, he has not confronted the possibility of such gestalt selection being involved in the basic identification of what we term "entities".
Effects of Age and Auditory and Visual Dual-Tasks on Closed Road Driving Performance

The aim of this study was to understand how visual and auditory dual tasks impact upon the driving behavior of young and old participants. The effect of a secondary task on measures of driving performance including the recognition of road signs, detection and avoidance of large low contrast road hazards, judgment of cone gaps, and time to complete the course was assessed for young and older participants as they drove around a 5 km closed road driving course. The secondary task required participants to verbally report the sums of pairs of numbers presented either through a computer speaker (auditorially) or via a dashboard mounted monitor (visually) while driving. The results show that drivers reported fewer road signs, increased their time to complete the road course, and misjudged cone gaps more frequently under the dual-task (visual and auditory) conditions compared to the single task condition and these effects were greater for the older participants.
Noise Reduction in Medical Images - comparison of noise removal algorithms -

The Medical community uses several image acquisition techniques for diagnosing and suggesting the corresponding therapies. Therefore the obtained images from clinical examinations should be treated to assist doctors in results interpretation. In this paper, we focus on denoising task in order to determine the benefits and drawbacks for each algorithm. For this, we used as database, images acquired from the most common techniques namely Magnetic Resonance (MR), Computed Tomography (CT), Ultrasounds, Scintigraphy and X-Ray. The effectiveness of discussed algorithms is compared on the basis of: Signal to Noise Ratio (SNR), Peak to Signal noise (PSNR), Root Mean square Error (RMSE) and the Mean Structure Similarity Index (MSSIM). Experimental results demonstrate that the NL-Means algorithm clearly outperforms the others denoising approaches for all noises levels.
Empathy as a special case of emotional mediation of social behavior

Empathy can be viewed as an intervening variable to explain complex webs of causation between multiple factors and the resulting responses. The mediating role of emotion, implicit in the concept of an intervening variable, can be at the basis of the flexibility of empathic responses. Knowledge of the underlying neurophysiological mechanisms is needed for empathy to be considered as a biologically functional intervening variable.
Evaluation of stress-induced effect on electronic characteristics of nMOSFETs using mechanical stress simulation and drift-diffusion device simulation

We evaluated the stress-induced effect on electronic characteristics of nMOSFETs using mechanical stress simulation and drift-diffusion device simulation. The simulation model includes the electron mobility model that takes the stress effects into consideration. We evaluated the variation in the electronic characteristics of nMOSFET during the actual resin-molding packaging process (QFP process). The stress distribution in the nMOSFET was considered in the device simulation. As a result, the experimental results were evaluated reasonably using the proposed simulation method. It is demonstrated that the device simulation is useful and versatile for evaluating the stress-induced effect on electronic characteristics of a semiconductor device.
From Prevention to Partnership: Child Welfare Services Across Three Decades

SUMMARY. Throughout the lifetime of the NCB there have been significant changes of emphasis and direction in child welfare services in Britain, which are often reflected in the Bureau's own history. The priority given to the related spheres of child-care, child protection, delinquency control and preventive work with vulnerable families has shifted over the three decades and changed priorities have contributed to a changing service ethos. The new Children Act aims at balance and a fresh synthesis, centred on partnership; a concept which promises much but has yet to be fully tried and tested.
[Short-term effect evaluation of health education on the prevention of AIDS among university students in Changsha].

OBJECTIVE To survey the sexual sense and AIDS knowledge and to evaluate the instant effect of health education for university students in Changsha. METHODS According to the KABP survey, 235 students in 2 universities in Changsha were investigated by anonymous questionnaires before and after the health education. The health education on sex and AIDS knowledge was carried out by a professor from an AIDS laboratory. Three hundred and eighty-eight pre- or post-educational questionnaires were analyzed and compared. RESULTS Some of the students accepted such behaviors as unmarriage sexual act, multipartners, homosexuality, and commercial sexual act. These sexual senses were not instantly corrected by the health education. Most of the students investigated had some AIDS knowledge and the knowledge was improved instantly by the health education. CONCLUSION There may be some high risk factors for AIDS transmission and venereal disease which may not be corrected by instant education among some university students in Changsha, whereas sexual hygiene and AIDS knowledge of most of the students investigated can be improved by a short-term education, which can be considered as a major form of health education.
Heap Monotonic Typestates (Extended Abstract)

A tool for automatically assembling electrical terminals with a box insulator comprising a piston-activated jaws assembly for securing a wire in place in a work station so that press-driven tools can crimp the wire to a metal connector, after which a piston-activated slide forces an insulated box over the metal connector and its crimped connection thereby completing the assembly.
Exploring Preservice Teachers’ Emerging Understandings of Disciplinary Literacy

This qualitative inquiry examined 14 secondary preservice teachers’ emerging understandings of disciplinary literacy. Data included preservice teachers’ written reflections and annotated lesson plans, which were analyzed for understanding of discipline-specific habits of thinking, texts, reading and writing demands of academic texts, language and vocabulary, and instructional tools. Findings revealed the current literacy course provided limited understanding of disciplinary literacy, exposing areas for course improvement. Annotated lesson plans and structured reflections were useful tools to help preservice teachers examine instructional decisions and strengthen understanding of disciplinary literacy. Limitations included small sample size, minimal sources of triangulated data, short duration of study, and inadequate focus on disciplinary literacy as the mainstay of the course. Implications for strengthening teacher preparation through course reframing and collaborative partnerships are discussed.
The Borrelia burgdorferi flagellum-associated 41-kilodalton antigen (flagellin): molecular cloning, expression, and amplification of the gene

Monoclonal antibodies directed against the major Borrelia burgdorferi flagellar protein, the 41-kilodalton (kDa) protein flagellin, were used to monitor cloning and expression of the flagellin gene from a Borrelia burgdorferi genomic library. The structure of the gene was analyzed, and recombinant nonfusion flagellin was produced in Escherichia coli. A DNA sequence analysis of the 41-kDa flagellin gene revealed the presence of an open reading frame that encoded a protein having 336 amino acid residues and a calculated molecular mass of 35.8 kDa, indicating that there was posttranslational modification of the natural 41-kDa flagellin protein. Upstream from the AUG start codon sequence we identified motifs corresponding to consensus procaryotic promoter elements which could be utilized by the cloned flagellin gene when it was expressed in E. coli MC1061. The deduced flagellin protein sequence exhibited high levels of homology to sequences of flagellin proteins from Bacillus subtilis and Salmonella typhimurium. The levels of sequence similarity for the amino- and carboxy-terminal portions were about 65 and 56%, respectively. DNA sequence information on the flagellin gene was used to design oligonucleotides for gene amplification by the polymerase chain reaction method, and by using this method 0.01 pg of Borrelia burgdorferi DNA could be detected. Our results provide a basis for further biochemical analysis of the 41-kDa flagellin protein, investigation of the role of this protein in host-pathogen interactions, and development of a standardized reagent for diagnostic systems for Borrelia burgdorferi infections.
Explaining Development Aid Allocation by Growth: A Meta Study

The empirical literature explaining the driving forces behind the flows of development aid consists of (at least) 166 studies. One factor that has been analyzed in 30 of these studies is growth in the recipient country. A priori the effect may as well be positive as negative. This is an interesting factor for two reasons: (1) It is relatively easy to interpret the results, and (2) it is an important piece in the picture which suggests aid ineffectiveness. The paper is a meta- analysis of the 211 growth-aid estimates found in the 30 empirical studies. Additionally, we present new evidence using a panel data for 147 countries for the period 1967-2004. The result from both the meta-analysis and the primary data analysis is that growth does generate aid, so the dominating sign is positive. This result is driven partly by the large development banks.
Probabilities of death from breast cancer and other causes among female breast cancer patients.

BACKGROUND Among cancer patients, probabilities of death from that cancer and other causes in the presence of competing risks are optimal measures of prognosis and of mortality across demographic groups. We used data on breast cancer patients from the Surveillance, Epidemiology, and End Results (SEER) Program in a competing-risk analysis. METHODS We determined vital status and cause of death for 395,251 white and 35,259 black female patients with breast cancer diagnosed from January 1, 1973, through December 31, 2000, by use of SEER data. We calculated probabilities of death from breast cancer and other causes according to stage, race, and age at diagnosis; for cases diagnosed from January 1, 1990, to December 31, 2000, we also calculated some such probabilities according to tumor size and estrogen receptor (ER) status. All statistical tests were two-sided. RESULTS The probability of death from breast cancer after nearly 28 years of follow-up ranged from 0.03 to 0.10 for patients with in situ disease to 0.70 to 0.85 for patients with distant disease, depending on race and age. The probability of death from breast cancer at the end of the follow-up period generally declined with age at diagnosis; the probability among the oldest (> or =70 years) compared with the youngest (<50 years) patients was 33% lower for white and 46% lower for black patients with localized disease and 14% lower for white patients and 13% lower for black patients with distant disease. The probability of death from breast cancer exceeded that from all other causes for patients diagnosed with localized disease before age 50 years, with regional disease before age 60 years, and with distant disease at any age. The probability of death from breast cancer for patients diagnosed with localized or regional disease was statistically significantly greater in black patients than in white patients (all six P values < or =.01 for age groups 30-49 to 60-69 years; two P values < or =.04 for ages > or =70 years). Among patients with localized or regional disease and known ER status, the probability of death from breast cancer after nearly 11 years of follow-up ranged from 0.04 to 0.11 for patients with localized ER-positive tumors of 2 cm or less to 0.37 to 0.53 for patients with regional ER-negative tumors. CONCLUSIONS The probability of death from breast cancer versus other causes varied substantially according to stage, tumor size, ER status, and age at diagnosis in both white and black patients.
A low power CMOS single-chip receiver and system-on-package for 60GHz mobile applications

A low power single-chip CMOS receiver and system-on-package(SoP) in the low-temperature co-fired ceramic (LTCC) module for 60GHz mobile application are proposed. The single-chip receiver consists of a 4-stage current re-use LNA, Cgs compensating resistive mixer, Ka-band low phase noise VCO, high-suppression frequency doubler, and 2-stage current re-use drive amplifier. The size of the fabricated receiver using a standard 0. 13µm CMOS technology is 2.67mm × 0.75mm including probing pads. An RF bandwidth is 6.2GHz, from 55 to 61.2GHz and an LO tuning range is 7.14GHz, from 48.45GHz to 55.59GHz. The conversion gain and input P1dB are −9.5dB and −12.5dBm, respectively, at RF frequency of 59GHz. The proposed single-chip receiver describes very good noise performances and linearity with very low DC power consumption of only 21.9mW. The CMOS single-chip receiver and a LTCC 2×2 patch array antenna with 8.9dBi antenna gain compose the LTCC SoP module for 60GHz mobile applications.
Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

We address the problem of explaining Boolean Conjunctive Query (BCQ) failure in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog+/− rules. Our proposal relies on an interactive and argumentative approach where the processes of explanation takes the form of a dialogue between the User and the Reasoner. We exploit the equivalence between argumentation and ICR-semantics to prove that the Reasoner can always provide an answer for user's questions.
Considerations for Community-Based mHealth Initiatives: Insights From Three Beacon Communities

Mobile health (mHealth) is gaining widespread attention for its potential to engage patients in their health and health care in their daily lives. Emerging evidence suggests that mHealth interventions can be used effectively to support behavior change, but numerous challenges remain when implementing these programs at the community level. This paper provides an overview of considerations when implementing community-based mHealth initiatives, based on the experiences of three Beacon Communities across the United States that have launched text messaging (short message service, SMS) pilot programs aimed at diabetes risk reduction and disease management. The paper addresses lessons learned and suggests strategies to overcome challenges related to developing text message content, conducting marketing and outreach, enrolling participants, engaging providers, evaluating program effectiveness, and sustaining and scaling the programs.