gebhart/patrepeval huggingface dataset:
Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison (2006)

Analog and mixed signal (AMS) circuits are important integrated circuits that are usually needed at the interface between the electronic system and the real world. In contrast to digital designs, verification of AMS systems is a challenging task that requires lots of expertise and deep understanding of their behavior. Researchers started lately studying the applicability of formal methods for the verification of AMS systems as a way to tackle the limitations of conventional verification methods like simulation. This paper surveys research activities in the formal verification of AMS designs as well as compares the different proposed approaches
Comparative studies of mechanical and morphological properties of polylactic acid and polypropylene based natural fiber composites (2012)

In this study, natural fiber reinforced polylactic acid composites have been developed by hot pressing through film-stacking procedure. The reinforcement materials used are nettle, Grewia optiva and sisal fibers in the plain weave form. For comparison purposes, polypropylene-based composites using the same fibers have also been developed. Mechanical properties (tensile, compressive, flexural, and impact properties) of all the developed composites have been evaluated through standard test procedures. It has been found that the polylactic acid based composites have superior mechanical properties and can be a potential substitute for traditional synthetic fiber composites in many application areas. Polylactic acid/sisal composite showed overall the best performance in terms of mechanical behavior. The morphological study of the fractured surface during mechanical testing has been done using scanning electron microscopy, which provides the mechanism of failure of composites during different types of mechanical loadings.
Effect of low-energy laser irradiation on bone formation during experimental tooth movement in rats. (1999)

本研究の目的は矯正学的歯の移動時に移動歯周囲への低出力レーザー照射が牽引側歯槽骨の骨形成に与える影響を検討することである。実験的にラット上顎切歯を10g荷重で離開させ, 移動歯周囲に低出力レーザー (Ga-Al-As半導体レーザー, 出力100mW) を毎日1回移動歯周囲に9分間, 12日間に渡って照射した。離開直後 (0日) および4, 8, 12日目にカルセインによる骨標識を行い非脱灰研磨標本を作製し, bone histomorphometry法を用いて牽引側歯槽骨形成量を定量的に検索した。その結果, 12日間の切歯移動中レーザー照射群の新生骨面積量は非照射群に対して, 1.3倍有意に増大していた。また移動期間0～4日においてはレーザー照射群の新生骨面積量は非照射群に対して有意に増大していたが, 4～8日, 8～12日では両群に差がなかった。これらの結果から移動歯への低出力レーザー照射は牽引側歯槽骨の骨形成を促進させ, その効果は移動初期により強く認められた。以上より歯科矯正治療時の低出力レーザー照射は, 移動歯牽引側歯槽骨の骨形成を促進させることにより治療期間の短縮や後戻りの防止に有効である可能性が示唆された。
Metallic glasses…on the threshold (2009)

Metallic glasses, first discovered nearly 50 years ago, are currently among the most actively studied metallic materials. Available in sections up to several centimeters, with many novel, applicable properties, metallic glasses have also been the focus of research advancing our understanding of liquids and of glasses in general. Here we outline some key features of the glassy state in metals. The next few years will bring exciting advances, as we are on the threshold of exploiting new opportunities for microstructural design, opening up much broader application of the fascinating materials formed from metallic glasses and their derivatives.
ENSENANZA DE LA PSICOLOGIA EN LA ESCUELA DE MEDICINA (1955)

EL DR. ALFONSO MILLAN ELABORO UN INTERESANTE MEMORANDUM SOBRE LA REFORMA DE LA ENSENANZA EN LA ESCUELA NACIONAL DE MEDICINA; EN LO QUE CONCIERNE A LA MEDICINA PSICOLOGICA; DEL CUAL LA GACETA DE LA UNIVERSIDAD PRESENTA UN EXTRACTO EL CUAL CONTIENE: CONCEPTOS DE LA ACTUAL MEDICINA COMPRENSIVA E INTEGRAL; EL PROGRAMA DE TRABAJO GENERAL QUE SE PLANTEA; LOS METODOS DE TRABAJO Y QUE DEPARTAMENTO DE ACCION SOCIAL ESTARAN A CARGO.
Surge/noise suppression within electrical connectors (2002)

As electronic systems become more sensitive and sophisticated, they also become more susceptible to upset or failure caused by stray transient surges and noise. This is partially due to the use of integrated circuits and other vulnerable components. Suppression is therefore a vital part of today's military and commercial electronic systems. This article covers the methods of suppression which can be integrated within electrical connectors, how this is accomplished, the corresponding electrical performance, and the details needed for proper documentation.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Oxygen Reduction Electrocatalysis on Ordered Intermetallic Pd–Bi Electrodes Is Enhanced by a Low Coverage of Spectator Species (2020)

The sluggish rate of the oxygen reduction reaction (ORR) reduces the performance of fuel cell devices. We demonstrated that ordered intermetallic Pd3Bi and Pd31Bi12 are up to ∼11× more active than state-of-the-art Pt/C and Pd/C catalysts for the ORR. Temperature-dependent electrochemical measurement indicates that the activation energy (Ea) for the ORR on Pd31Bi12 and Pd/C is lower than that of Pd3Bi and Pt/C under a wide range of overpotentials. The resulting Ea indicates that a larger pre-exponential factor (surface site availability) is the primary reason for the enhanced ORR performance on Pd–Bi intermetallics. The increased number of active sites provides more available sites for O2 activation and conversion, which agrees with the Ea measurements. This study deepens our understanding of catalyst–electrolyte and catalyst–adsorbate interaction during the ORR on state-of-the-art Pd–Bi ordered intermetallic catalysts. Fundamental knowledge gained from this study suggests that further increasing the tolerance of the electrode active sites to the adsorption of spectator species by designing appropriate catalysts can improve the ORR performance.
Changes in Lymphocyte Subsets and Cytokines During European Porcine Reproductive and Respiratory Syndrome: Increased Expression of IL-12 and IL-10 and Proliferation of CD4 <sup>−</sup> CD8 <sup>high</sup> (2009)

The changes in peripheral blood mononuclear cells (PBMCs) have been studied in several reports in an attempt to determine the immune response against porcine reproductive and respiratory syndrome virus (PRRSV) infection. However, how these changes are evoked after PRRSV infection has not yet been clarified. The aim of this study was to analyze the changes seen in lymphocyte subsets and immunomodulatory cytokine expression in pigs after an acute experimental infection with a European PRRSV field isolate. Pigs were inoculated intramuscularly with PRRSV field isolate 2982. Samples from blood, medial retropharyngeal and tracheobronchial lymph nodes, and spleen were collected at different time points for flow cytometry studies and for cytokine expression by ELISA. CD21(+) cell counts increased in PBMCs and tracheobronchial lymph node cells from 17 to 24 dpi, coinciding with an increase in PRRSV-specific antibody titer in blood. CD3(+) T-cell counts increased mainly due to an enhancement of CD4(-)CD8(high) and CD4(+)CD8(+) T cells. CD4(-)CD8(low) T cells were decreased in all organs studied, whereas CD4(+)CD8(-) T cells decreased only in the spleen. The drop in viremia correlated with an enhancement of CD4(-)CD8(high) T cells, and with a higher expression of interleukin-10 (IL-10) and interleukin-12 p40 (IL-12 p40). No efficient interferon-gamma (IFN-gamma) response was detected during the acute phase of the infection, and the expression of interferon-alpha (IFN-alpha) was late and reached its maximum expression once the viremia decreased. These results point to IL-10 and IL-12 as cytokines that might play a significant role in the PRRSV immune response, as may CD4(-)CD8(high) T cells.
Mapping DSP applications on processor/coarse-grain reconfigurable array architectures (2006)

Results from mapping five real-world DSP applications on a system-on-chip that incorporates coarse-grain reconfigurable hardware with an instruction-set processor is presented. The reconfigurable logic is realized by a 2-dimensional array of processing elements. A mapping method for improving application's performance by accelerating critical software parts, called kernels, on the coarse-grain reconfigurable array is proposed. For mapping the detected kernels on the reconfigurable logic a priority-based mapping algorithm has been developed. Important overall application speedups, due to the kernels' acceleration, have been reported for the five applications. These overall performance improvements range from 1.27 to 3.07, with an average value of 2.16, relative to an all-software execution
Geology and Geography at the American Association Meeting (1898)

Article MetricsDownloadsCitationsNo data available.012345AugSepOctNovDecJan630Total6 Months12 MonthsTotal number of downloads for the most recent 6 whole calendar months.
Regioselective bromination of 1,4-naphthoquinones (1981)

1,4-Naphthoquinones unsymmetrically substituted in the benzenoid ring undergo bromination at the 2- and/or 3-positions. The isomeric composition of the products is strongly influenced by the conditions of bromination, addition of hydrogen bromide usefully complementing the conventional procedure involving addition of bromine. In favourable cases, involving methoxynaphthoquinones, these two procedures afford controlled access to individual 2- and 3-bromo derivatives.
Microwave-circuit modeling of high lead-count plastic packages (1997)

A microwave-circuit model topology for elevated-paddle surface-mount packages is extended to packages with high-lead counts. Features such as irregular lead structures, long wirebonds, smaller pitches, and finite-lead thickness are all examined. The modeling technique is applied to a shrink small-outline package (SSOP-24) with the results compared to measurements of a 25 times size scale model. The circuit model is used to investigate the performance of a matched transition.
Development of a Wireless Bridge Monitoring System With Energy Harvesting Modules (2011)

The paper presents the first results obtained in a research project started in 2009. Goal of the project is the development of a multi-sensor wireless bridge monitoring system with sensors that are supplied by energy harvesting modules. Parallel to the hardware development one group of our research team develops the software for the online data handling and evaluation. Our research team consists of four groups: Structural Engineering Group, Sensor Group, Wireless Group and Algorithm Group. Each group contributes to the project. Currently a standard monitoring system with external power supply is running on a pre-stressed concrete bridge. Vibrations, cracks, temperature, and moisture of the five span bridges are constantly monitored for at least one year. This system shall be replaced by the new system. The paper presents the concept of the energy harvesting modules and the online algorithms used to evaluate the measurements. The results obtained so far from the currently running monitoring system will also be presented.
A low-voltage regulator circuit with self-bias to improve accuracy (2003)

There are a number of applications where a voltage follower with low output impedance, capable of driving capacitive load, is required. In many cases, the load also consists of a resistor in parallel with a large capacitor. The operational amplifier (opamp) design for such loads is quite challenging when a high closed-loop bandwidth is also required. In this paper, a novel technique is presented whereby the opamp is biased off the load itself, thereby increasing accuracy while at the same time remaining simple enough to be compensated easily.
NASH Is the Most Rapidly Growing Etiology for Acute‐on‐Chronic Liver Failure‐Related Hospitalization and Disease Burden in the United States: A Population‐Based Study (2019)

Acute-on-chronic liver failure (ACLF) is characterized by multiple organ failure (OF) with high short-term mortality. There is lack of population-based data on trends on etiology specific ACLF related burden. National Inpatient Sample (2006-2014) was queried using ICD-09 codes for admissions with cirrhosis and ACLF (≥2 extrahepatic OF). Of 1,928,764 admissions for cirrhosis between 2006 and 2014, 112,174 (5.9%) had ACLF (4.5%, 1.2%, and 0.2% with ACLF 1, 2, and 3, respectively). The brain was the most common OF in 11.9%, followed by respiratory failure in 7.7%, cardiac failure in 6.3%, and renal failure in 5.6%. ACLF increased by 24% between 2006 and 2014 with a 63% increase in 179,104 patients with nonalcoholic steatohepatitis (NASH) cirrhosis (3.5% to 5.7%); a 28% increase in patients with 429,306 alcoholic cirrhosis (5.6% to 7.2%); a 25% increase in patients with 1,091,053 with other etiologies (5.2% to 6.5%); and no significant change in 229,301 patients with viral hepatitis (VH) (4.0% to 4.1%). In-hospital mortality was higher among ACLF patients compared with patients without ACLF (44% versus 4.7%; P < 0.0001). Each NASH-related ACLF patient compared with other etiologies had a longer mean length of stay (14 versus 12 days), was associated with higher median total charges (US $151,196 versus US $134,597), and had more frequent use of dialysis (45% versus 36%) and longterm care (32% versus 26%; P < 0.0001 for all). Results remained similar in a subgroup analysis after including half of admissions with cryptogenic cirrhosis as NASH. In conclusion, NASH cirrhosis is the most rapidly growing indication for ACLF-related hospitalization and use of hospital resources. In the setting of improved treatment options for chronic hepatitis, the health care burden of chronic viral-related liver disease remains stable. Population-based strategies are needed to reduce the health care burden of cirrhosis, particularly related to NASH.
Cardiovascular risk profile of early and later onset type 2 diabetes (2007)

Abstract The aim of this study was to determine the cardiovascular disease (CVD) risk profile between early (<40 years of age) and later (>40 years of age) onset type 2 diabetes (T2DM) patients without prior history of CVD. A cross‐sectional study was undertaken on hospital‐based patients identified from the diabetes register. T2DM patients without prior history of CVD were included for analysis. The CVD risk profile as defined by obesity, dyslipidaemia and hypertension was compared between early and later onset T2DM patients. The proportion of lipid and blood pressure lowering treatment in each group was also determined. In all, 1057 T2DM patients were identified of whom 67 (6.3%) and 990 (93.7%) were aged below and above 40 years, respectively. Sixty‐seven and 667 patients did not have CVD complications in the early and later onset cohorts, respectively. Despite being ∼three decades younger with a shorter duration of diabetes, early onset patients had poorer glycaemic control compared to the later onset cohort. A significant proportion of these young diabetic patients had hypertension (∼80%) and adverse dyslipidaemic profile (∼80%) with higher triglyceride and lower HDL. Morbid obesity (body mass index >40) was more common among the early onset cohort (∼25%). Significantly less early onset patients were treated with statin and anti‐hypertensive medications particularly among female subjects. It was concluded that, despite having an adverse CVD risk profile, early onset patients with T2DM were less likely to receive cardio‐protective treatment. Copyright © 2007 John Wiley & Sons.
The I-880 Field Experiment: Effectiveness Of Incident Detection Using Cellular Phones (1998)

This report describes the evaluation of the effectiveness and adequacy of cellular phones for incident detection as an alternative to infrastructure-based surveillance systems. The analysis was part of the I-880 field experiment using the California Highway Patrol's (CHP) Computer Aided Dispatch (CAD) incident database. Cellular phones have the highest detection rate among the examined detection sources. Results from the study, however, indicate that incidents reported by cellular phones show greater incident durations than similar incidents reported by the CHP or the Freeway Service Patrol (FSP). This additional delay is attributed to the incident verification process. Index Terms: cellular radio // incident management
Veränderungen der Lebensweise und Alltagskultur bei Studenten im Laufe des Studiums (1989)

Die empirische Untersuchung thematisiert das vielfältige kulturelle Verhalten von Studenten im Laufe ihres Studiums, wobei der Besuch von Kulturveranstaltungen, Geselligkeiten und das Leseverhalten im Zentrum stehen. Dabei zeigt sich, daß das Bedürfnis nach Geselligkeit eindeutig vorherrschend ist. Die Nutzung der verschiedensten kulturellen Veranstaltungen steigerte sich bei einem Drittel der Studenten, blieb bei einem weiteren Drittel konstant, wohingegen beim restlichen Drittel das Interesse abnahm. Bei dieser Entwicklung ist die spezifische Persönlichkeitsstruktur des betreffenden Studenten von besonderer Bedeutung. Allgemein wird festgestellt, daß wissenschaftlich interessierte Studenten auch ein verstärktes kulturelles Freizeitverhalten zeigen, insbesondere im Hinblick auf das Leseverhalten, während die wissenschaftlich am wenigsten interessierten Studenten auch kulturell am wenigsten ambitioniert sind. Der Autor fordert vom Lehrkörper ein stärkeres Problembewußtsein hinsichtlich der Bedeutung der kulturellen Entwicklung der Studentenpersönlichkeit und kritisiert die Inanspruchnahme angeblicher Leistungsreserven für zusätzliche wissenschaftliche Arbeit. Primär- und Sekundärquellen wurden verwertet. (ICB)
The Action of Tick Extracts on Blood Coagulation and Fibrinolysis (1967)

Summary Anticoagulant activity was found in the salivary glands, gut, eggs and coxal fluid of the tick O. moubata. The activity is due to antithrombin action in all 4 sources. A second anticoagulant was found in the salivary glands only, this was shown to have anti-factor IX action and is the first reported instance of such an activity extracted from a natural source. Fibrinolytic activity was found to be present in the gut, uterus, eggs and coxal fluid of O. moubata. This activity was shown to be a plasminogen activator which does not require a pro-activator and some of its physical characteristics were determined. Eggs of the tick D. andersoni were shown to have both antithrombin and plasminogen activator activity, but it was not possible to carry out detailed investigations on this material.
NEW YORK ACADEMY OF MEDICINE, SECTION OF OPHTHALMOLOGY, NEW YORK SOCIETY FOR CLINICAL OPHTHALMOLOGY (1957)

Our website uses cookies to enhance your experience. By continuing to use our site, or clicking "Continue," you are agreeing to our Cookie Policy | Continue JAMA Ophthalmology HomeNew OnlineCurrent IssueFor Authors Podcast Publications JAMA JAMA Network Open JAMA Cardiology JAMA Dermatology JAMA Health Forum JAMA Internal Medicine JAMA Neurology JAMA Oncology JAMA Ophthalmology JAMA Otolaryngology–Head & Neck Surgery JAMA Pediatrics JAMA Psychiatry JAMA Surgery Archives of Neurology & Psychiatry (1919-1959) JN Learning / CMESubscribeJobsInstitutions / LibrariansReprints & Permissions Terms of Use | Privacy Policy | Accessibility Statement 2023 American Medical Association. All Rights Reserved Search All JAMA JAMA Network Open JAMA Cardiology JAMA Dermatology JAMA Forum Archive JAMA Health Forum JAMA Internal Medicine JAMA Neurology JAMA Oncology JAMA Ophthalmology JAMA Otolaryngology–Head & Neck Surgery JAMA Pediatrics JAMA Psychiatry JAMA Surgery Archives of Neurology & Psychiatry Input Search Term Sign In Individual Sign In Sign inCreate an Account Access through your institution Sign In Purchase Options: Buy this article Rent this article Subscribe to the JAMA Ophthalmology journal
Rapid synthesis and characterization of mesoporous nanocrystalline MgAl<sub>2</sub>O<sub>4</sub> via flash pyrolysis route (2013)

In this work, we demonstrate an effective, fast and low-cost route for the synthesis of mesoporous MgAl2O4 powder. This synthesis procedure successfully reduces the overall synthesis time for nanosized MgAl2O4 powder from days to a few hours. The as-synthesized powder was found to be amorphous in nature. Upon calcination at 700 °C (2 h) and 900 °C (4 h) in presence of air, the as-synthesized MgAl2O4 amorphous powder was transformed into a disorder and order nanocrystalline phase respectively. The structural information of evolvement phase was analyzed through Rietveld refinement technique and Fourier transform infrared spectroscopy. The specific surface area of MgAl2O4 powder calcined at 700 °C and 900 °C was found to be 118.14 m2/g and 74.67 m2/g, respectively.
Leukocyte Transfusions (1971)

Tests for leukoagglutinins and lymphocytotoxic antibodies were performed on sera from 34 recipients of 78 transfusions of leukocytes obtained from donors with chronic myelogenous leukemia. The presence of preformed leukocyte alloantibodies directed against donor cells predisposed to transfusion reactions of variable severity and failure of the transfused cells to survive and circulate in their new host. Studies in vitro demonstrated that these antibodies could inhibit granulocyte phagocytosis and bactericidal capacity. Pretransfusion compatibility testing for transfusion of leukocytes is recommended. Leukocytes should not be given if they are agglutinated by the recipient's serum or if the lymphocytes show damage in lymphocytotoxicity tests.
[Repair of large and complicated defect with multiple expanders]. (1998)

Carefully planned, this maneuver shows better effects than the conventional method in repairing the skin defects of face, neck and upper limb.
Some Studies in Machine Learning Using the Game of Checkers (1959)

Two machine-learning procedures have been investigated in some detail using the game of checkers. Enough work has been done to verify the fact that a computer can be programmed so that it will learn to play a better game of checkers than can be played by the person who wrote the program. Furthermore, it can learn to do this in a remarkably short period of time (8 or 10 hours of machine-playing time) when given only the rules of the game, a sense of direction, and a redundant and incomplete list of parameters which are thought to have something to do with the game, but whose correct signs and relative weights are unknown and unspecified. The principles of machine learning verified by these experiments are, of course, applicable to many other situations.
The treatment of migraines and tension-type headaches with intravenous and oral niacin (nicotinic acid): systematic review of the literature (2005)

Although niacin's mechanisms of action have not been substantiated from controlled clinical trials, this agent may have beneficial effects upon migraine and tension-type headaches. Adequately designed randomized trials are required to determine its clinical implications.
Evaluation of environmental tests for tin whisker assessment (2009)

Hyperdontia was more common in premaxilla, and the most common accessory tooth was mesiodens. Unlike earlier studies, no bilateral accessory teeth were found. Also no gender dimorphism was discerned.