gebhart/patrepeval huggingface dataset:
Synthesis of correct-by-construction control protocols for hybrid systems using partial state information (2014)

This paper considers the problem of synthesizing output-feedback control laws for a class of discrete-time hybrid systems in order for the trajectories of the system to satisfy certain high-level specifications expressed in linear temporal logic. By leveraging ideas from robust interpretation of temporal logic formulas and bounded-error estimation, we identify a subclass of systems for which it is possible to reduce the problem to a state-feedback form. In particular, we use locally superstable hybrid observers to resolve the partial information at the continuous level. This allows us to use recent results in temporal logic planning to synthesize the desired controllers based on two-player perfect-information games. The overall control architecture consists of a hybrid observer, a high-level switching protocol and a low-level continuous controller. We demonstrate the proposed framework in a case study on designing control protocols for an aircraft air management system.
Young adult outcomes in the follow‐up of the multimodal treatment study of attention‐deficit/hyperactivity disorder: symptom persistence, source discrepancy, and height suppression (2017)

In the MTA follow-up into adulthood, the ADHD group showed symptom persistence compared to local norms from the LNCG. Within naturalistic subgroups of ADHD cases, extended use of medication was associated with suppression of adult height but not with reduction of symptom severity.
Some Fallacies in the Interpretation of Data Covering Vaccination Against Bang's Disease (1940)

The new interest in calfhood vaccination against Bang's disease is bringing out some interpretations, both of field observations and experimental data, that require the closest scrutiny if we are to evaluate correctly the effectiveness of artificial immunization. Certain fallacies and half-truths have for years beset the publications dealing with all preventive measures used against the disease, and it may be helpful to point out a few of these as we approach the flood of reports on calfhood vaccination that is sure to appear in the near future.
Ginsenoside Rh2 Reduces Ischemic Brain Injury in Rats (2004)

Ginseng was incubated under mildly acidic conditions and its inhibitory effect on a rat ischemia-reperfusion model was investigated. When ginseng was treated with 0.1% hydrochloric acid at 60 degrees C, its protopanaxadiol saponins were transformed to diasteromeric ginsenoside Rg3 and Delta20-ginsenoside Rg3. When the transformed ginseng extract, of which the main component was ginsenosides Rg3, was treated with human intestinal microflora, the main metabolite was ginsenoside Rh2. Orally administered acid-treated ginseng (AG) extract and ginsenoside Rh2 potently protect ischemia-reperfusion brain injury. The ginsenoside Rh2 also inhibited prostaglandin-E2 synthesis in lipopolysaccharide-stimulated RAW264.7 cells, but showed no in vitro antioxidant activity. These results suggest that AG and ginsenoside Rh2 can improve ischemic brain injury.
ADMINISTRATOR OF THE NATIONAL AERONAUTICS AND SPACE ADMINISTRATION (1967)

the invention are achieved binations flexible to provide the desired matrix flexibility. by providing an assembly and momting arrangement in Each conductor segment has a plurality of perforated Pads which all the solar cells forming the matrix are coplanar, used to form an electrical contact with one electrode
High resolution inductively coupled plasma etching of 30 nm lines and spaces in tungsten and silicon (2000)

Dry etching of 30 nm features was investigated for x-ray and integrated electronics applications. These typically require etching of either a tungsten absorber layer or a silicon mold. Through the use of an inductively coupled plasma source and accurate control over substrate temperature it was possible to achieve highly anisotropic patterning of tungsten and silicon. Densely patterned features as small as 30 nm and at pitches of 70 nm were etched in tungsten and silicon, to depths of 100 and 200 nm, respectively.
Fast Petroleum Well Drilling Monitoring Through Optimum-Path Forest (2010)

Automatic inspection of petroleum well drilling has became paramount in the last years, mainly because of the crucial importance of saving time and operations during the drilling process in order to avoid some problems, such as the collapse of the well borehole walls. In this paper, we extended another work by proposing a fast petroleum well drilling monitoring through a modified version of the Optimum-Path Forest classifier. Given that the cutting's volume at the vibrating shale shaker can provide several information about drilling, we used computer vision techniques to extract texture informations from cutting images acquired by a digital camera. A collection of supervised classifiers were applied in order to allow comparisons about their accuracy and effciency. We used the Optimum-Path Forest (OPF), EOPF (Efficient OPF), Artificial Neural Network using Multilayer Perceptrons (ANN-MLP) Support Vector Machines (SVM), and a Bayesian Classifier (BC) to assess the robustness of our proposed schema for petroleum well drilling monitoring through cutting image analysis.
Agora: a GUI approach to multimodal user interfaces (2002)

Multi-modal user interfaces bring the best of the two worlds to the user; the navigational aspect of graphical user interfaces and the declarative aspect of voice interfaces. The user can move around forms providing a concrete visual representation, while speech input allows natural form filling and form navigation. Unlike the unimodal speech interfaces, the visual interface efficiently reflects the state of the dialog as well as the speech recognition and understanding results. Agora uses a hierarchical form flow motivated from the traditional GUI design philosophy and is loosely based on VoiceXML. Agora also brings up several design issues including: ambiguity resolution, modality synchronization, focus representation, preferred modality for input and output.
Flash evaporation of compounds with a pulsed-discharge CO_2 laser (1976)

Pulsed laser radiation at 10.6 microm has been used to evaporate a number of compounds chosen for their difficulty of evaporation with conventional techniques. An average laser power of 8 W, pulsed at 50 Hz with a 1-msec duration, has been found sufficient to obtain useful evaporation rates for Al(2)O(3) and other highly refractory materials. For easily decomposed materials such as CdS and ZnS, comparison of cw and pulsed evaporation through measurement of optical and photoconductive film properties consistently indicates higher stoichiometry in pulsed evaporation, as well as higher refractive index. The dynamics of film growth during a single laser pulse has been studied by means of a unique thickness monitor.
3D reconstruction of an outdoor archaeological site through a multi-view stereo technique (2013)

This paper describes the experimentation of a common multi-view stereo technique on a particularly complex test case: the “Via Colonnata” in the archaeological site of Kyme Eolica in Turkey. The study demonstrates that it is possible to create a detailed 3D model of an area sized tens of square meters without the need to use any dedicated device like laser scanners, drones or helium balloons, but just employing a digital camera and open source software. The reconstruction process implemented in this study addresses and solves some of the most relevant problems related to the reconstruction of large areas and the subsequent mapping of a texture on the geometrical model. In particular, we suggest some guidelines for the acquisition phase that help to reduce the subsequent problems related both to 3D geometry creation and texture mapping. In the pre-processing phase, we propose an automated technique for filtering of unimportant areas, based on the analysis of the disparity maps related to each image pair (the farther areas from the current point of view are masked out, in order to obtain a 3D model free of artifacts/defects). For the texture mapping process, in order to reduce the blur resulting from averaging and blending operations in overlapping areas, we propose a method that automatically identifies the most appropriate subset of images to be projected on the 3D model.
An Integrated Controlled-Current PWM Rectifier Chopper Link for Sliding Mode Position Control (1987)

Position controllers must handle kinetic energy exchanges during acceleration and deceleration of large inertias. Temporary buffer storage in capacitors is expensive. The system that can manage the power exchange with ease is the integrated controlled-current pulsewidth-modulated (PWM) rectifier/controlled-current PWM chopper link. Bidirectional power is accomplished by bidirectional current flow in the dc link for both modulators. The three-phase currents in the rectifier side are near sinusoidal in waveform at unity power factor. The performance of the system as a position controller in an environment of the sliding mode strategy is studied. The sliding mode strategy offers robust characteristics to the controller.
A buried-channel charge-coupled device with non-overlapping gate structure for a CMOS/BCCD process (1992)

A buried-channel CCD is presented, suitable for integration in a high-energy ion-implanted CMOS process. The BCCD channel is high-energy ion-implanted and the gate structure is non-overlapping. The required submicron spacings between adjacent gates are created by a sequence of processing steps. No demands are imposed on the lithography used. SEM photographs show a well-defined gate structure with straight spacings exhibiting minor width variation. The parasitic potential well, associated with the presence of spacing between the gates, has little influence on charge transport performance. Delay lines have been operated with transfer inefficiency of 10-5 and less.
Finite-Difference Wave Propagation Modeling on Special-Purpose Dataflow Machines (2012)

Modeling wave propagation through the earth is an important application in geoscience. We present a framework for wave propagation modeling on special-purpose hardware, which dramatically improves the application performance compared to conventional CPUs. We utilize custom hardware platforms consisting of a mix of x86 CPUs and dataflow engines connected by high-bandwidth communication links. Application programmers describe their algorithms in a domain specific language using Java syntax, with special dataflow semantics overlayed on top of the Java language. The application-specific dataflow engines run at hundreds of MHz with massive parallelism and deliver high performance/Watt, up to 30 times more energy efficient than conventional CPUs. The power efficiency of this approach suggests that dataflow computing may have a key role to play in the improvements in power efficiency necessary to reach exascale computing.
Your digital image: factors behind demographic and psychometric predictions from social network profiles (2014)

We demonstrate how information gathered from social network profiles can be used to predict personal attributes such as gender and age, religious and political views, intelligence, happiness and personality traits. Our approach is based on applying machine learning techniques to a large dataset of people who volunteered their Facebook profiles along with their demographic and psychometric test results. We combine various features from the profile, including the numbers or rates of posting status updates, pictures and group memberships, and the specific items liked by individuals. Our system provides insights regarding how the predictions are made, allowing people to understand how they may be perceived by others based on their social network profiles.
Enhanced thermal donor formation in silicon exposed to a hydrogen plasma (1988)

Czochralski silicon samples have been heated at temperatures between 350-450 degrees C in a hydrogen plasma. Thermal donors are generated at about five times the rate found after furnace annealing, even if the ambient is hydrogen gas. The final donor concentration is comparable for the two types of processing. There is no significant evidence for hydrogen passivation effects and donors are not produced in plasma treated FZ silicon. Heating samples in an argon plasma does not enhance the rate of donor formation. Possible mechanisms for the enhancement are outlined briefly.
Valproic Acid‐Induced Neural Tube Defects in Mouse and Human: Aspects of Chirality, Alternative Drug Development, Pharmacokinetics and Possible Mechanisms (1991)

Administration of the antiepileptic drug valproic acid (VPA) during early pregnancy can result in a 1-2% incidence of spina bifida aperta, a closure defect of the posterior neural tube in the human. The predominant defect produced by VPA in the mouse is exencephaly, a closure defect of the anterior neural tube. Recent experiments demonstrate that an appropriate dosing regimen (consecutive doses of VPA on day 9 of gestation) can also result in a low incidence of spina bifida aperta, and a high incidence of spina bifida occulta in the mouse as a potential animal model. Relatively high doses and concentrations of VPA are needed in the mouse to produce neural tube defects, the human appears to be more sensitive in this regard. Maximal concentrations and not AUC (area under the concentration-time curve) values correlate with the incidence of neural tube defects in the mouse which could in part be explained by saturation of plasma protein binding, increased free drug available for placental transfer and the embryonic neuroepithelium acting as a "deep compartment". It is likely that the parent drug and not a metabolite is the proximate teratogen. Structure-activity relationships show a strict structural requirement for high teratogenic potency: the molecule must contain an alpha-hydrogen atom, a carboxyl function, branching on carbon atom 2 with two chains containing 3 carbon atoms each for maximum activity. If these two carbon chains are different, then enantiomers are present such as the R- and S-enantiomers of 2-n-propyl-4-pentenoic acid (4-en-VPA), 2-n-propyl-4-pentynoic acid (4-yn-VPA) and 2-ethylhexanoic acid. These enantiomers were synthesized and shown to be significantly different in regard to teratogenic potency. Pharmacokinetic studies indicate that both enantiomers of each compound reach the embryo to the same degree. Therefore, the intrinsic teratogenic activity of the enantiomers differ, suggesting a stereoselective interaction between the drugs and a chiral structure within the embryo, is involved in the mechanism of action. In sharp contrast to the teratogenic effect, the anticonvulsant activity and neurotoxicity of this compound class show broad structural specificity, opening the possibility for development of novel antiepileptic agents with low teratogenic potency such as 2-n-propyl-2-pentenoic acid (2-en-VPA). The molecular mechanism of the teratogenicity of VPA is quite unknown; of the several hypothesis suggested, the interaction of VPA with embryonic folate metabolism is discussed here.
Solution Structure and Functional Ligand Screening of HI0719, a Highly Conserved Protein from Bacteria to Humans in the YjgF/YER057c/UK114 Family<sup>,</sup> (2002)

HI0719 belongs to a large family of highly conserved proteins with no definitive molecular function and is found in organisms ranging from bacteria to humans. We describe the NMR structure of HI0719, the first solution structure for a member of this family. The overall fold is similar to the crystal structures of two homologues, YabJ from Bacillus subtilis and YjgF from Escherichia coli, and all three structures are similar to that of chorismate mutase, although there is little sequence homology and no apparent functional connection. HI0719 is a homotrimer with a distinct cavity located at the subunit interface. Six of the seven invariant residues in the high identity group of proteins are located in this cavity, suggesting that this may be a binding site for small molecules. Using previously published observations about the biological role of HI0719 family members as a guide, over 100 naturally occurring small molecules or structural analogues were screened for ligand binding using NMR spectroscopy. The targeted screening approach identified six compounds that bind to HI0719 at the putative active site. Five of these compounds are either α-keto acids or α,β-unsaturated acids, while the sixth compound is structurally similar. Previous studies have proposed that some HI0719 homologues may act on small molecules in the isoleucine biosynthetic path and, if this is correct, the ligand screening results presented here suggest that the interaction most likely occurs with 2-ketobutyrate and/or its unstable enamine precursor.
Alcoholysis of Naturally Occurring Imides: Misleading Interpretation of Antifungal Activities (2010)

The frequent presence of the sulfur-containing amide penangin (10) in leaf extracts of Glycosmis species turned out to be the result of decomposition of imides generated by extraction and storage in MeOH. Reinvestigation of Glycosmis mauritiana and G. cf. puberula with acetone revealed the presence of six imides. In addition to penimides A (1) and B (2) and ritigalin (6), three new derivatives, krabin (4), isokrabin (5), and methoxypenimide B (3), were isolated and identified by spectroscopic methods. All six imides were shown to be susceptible to different rates of methanolic cleavage, leading to their corresponding methyl esters and sulfur-containing amides. Whereas the decomposition products penangin (10), isopenangin (11), and sinharin (14) are known, the corresponding cleavage of methyl N-methylthiocarbamate (7) from ritigalin (6), monitored in situ by (1)H NMR spectroscopy, is described here for the first time. Its structure was further confirmed by GC-MS coupling. HPLC-UV comparison of many different samples of G. mauritiana, extracted with MeOH, revealed considerable chemical variations in sulfur-containing amides, strongly correlated with different antifungal potency. The lack of activity of many methanolic crude extracts can be explained by a preponderance of the inactive decomposition product penangin (10), whereas the corresponding naturally occurring imides penimides A (1) and B (2) and methoxypenimide B (3), extracted with acetone, showed high fungitoxic properties.
Lecithin:cholesterol acyltransferase and serum fatty acids. (1981)

The rate of cholesterol esterification in vitro was significantly lower (-20%) in non-obese diabetics than in non-obese controls. More specifically, this decrease was found to be in cholesteryl linoleate synthesis. The concentration of serum free fatty acid, particularly of oleic acid, was 2-3 times higher in diabetic patients than in controls. The decreased rate of serum cholesterol esterification was associated with an increase in serum free fatty acid concentration and with a decrease of linoleic acid in serum phospholipids.
Effect of Low-Intensity Aerobic Exercise on Insulin-Like Growth Factor-I and Insulin-Like Growth Factor-Binding Proteins in Healthy Men (2010)

Increased concentrations of circulating insulin-like growth factor-I (IGF-I) or IGF-I relative to IGF-binding proteins (IGFBPs) are associated with increased risk of developing several forms of cancer. Conversely, exercise is linked with reduced risk. This study aims to investigate the effect of a low-intensity exercise program on circulating levels of IGF-I, IGFBP-1, and IGFBP-3, in previously sedentary males. Fourteen healthy men participated in cycle ergometer training at lactate threshold intensity for 60 min/day, 5 days/week for 6 weeks. After aerobic training, insulin sensitivity improved by 20%, while fasting insulin levels decreased by 13%. Simultaneously, low-intensity aerobic training decreased the circulating levels of IGF-I by 9%, while IGFBP-1 levels increased by 16%. An interesting finding was that higher pretraining level of IGF-I was associated with greater decline in IGF-I with training. Insulin-sensitizing low-intensity aerobic exercise is thus considered to be an effective method for downregulating IGF-I and upregulating IGFBP-1 levels.
MOUSE CURSOR CONTROL SYTEM BASED ON SSVEP (2017)

This paper proposes a computer mouse-like device that is controlled by eye movements using a single channel of EOG. SSVEP BCIs have determined a user’s intent or gaze through frequency spectrum analysis of the EEG signal. In this paper, a user independent human computer interface system using eye movement and blink feature detection is introduced. It describes a method of controlling the mouse cursor on a computer screen using the electrical potentials developed by eye movements known as Electrooculography. EOG signal is used to detect eye movement and features. The EOG signal is recorded from electrodes placed at appropriate positions around the eyes. The cursor control application is implemented offline. The detection accuracy for horizontal and vertical saccades movement are 100% and 98% respectively. In this paper we are providing idea to control mouse cursor using human eyes movement, mouse cursor moves when eye glance to a particular direction.. It controls mouse moving by automatically affecting the position where eyesight focused. The system was validated using a series of tests on normal control individuals. The validation results show high accuracy and precision.
Predictors of blood pressure response in the SYMPLICITY HTN-3 trial (2014)

Post hoc analyses, although derived from limited patient cohorts, reveal several potential confounding factors that may partially explain the unexpected blood pressure responses in both the sham control and RDN groups. These hypothesis-generating data further inform the design of subsequent research to evaluate the potential role of RDN in the treatment of resistant hypertension. CLINICALTRIALS.GOV IDENTIFIER: NCT01418261.
On-line textile designing (1966)

At the Spring Joint Computer Conference, Mr. Walter Finke charged our industry with standing aloof and disregarding the
Numerical solver of the time-dependent Schrödinger equation with Coulomb singularities (2006)

This paper addresses a very fundamental and important problem in the numerical analysis of atomic and molecular systems: How to discretize Hamiltonians with divergent potential terms, such as Coulomb singularities. At the point of a Coulomb singularity, the wave function cannot be described by a Taylor series expansion, which results in problems when standard discretization schemes are used. We propose using the known asymptotic form of the wave function near the singularity instead of the (nonexistent) Taylor series. This principle, namely discretization by asymptotic behavior correspondence (ABC), is employed in this paper for obtaining grid-discretizations for the Coulomb potential in Cartesian, cylindrical and spherical coordinate systems. We show that computations with the ABC discretization are faster and more precise than with a naive discretization by orders of magnitude. The ABC discretization is well suited for the standard numerical time propagators, such as the Crank-Nicholson, Peaceman-Rachford, and leapfrog schemes. We use the latter, since it is faster and has the same order of accuracy. The leapfrog scheme is generalized to allow absorbing potentials at the grid boundaries.