gebhart/patrepeval huggingface dataset:
Towards Provably Not-at-Fault Control of Autonomous Robots in Arbitrary\n Dynamic Environments (2019)

As autonomous robots increasingly become part of daily life, they will often\nencounter dynamic environments while only having limited information about\ntheir surroundings. Unfortunately, due to the possible presence of malicious\ndynamic actors, it is infeasible to develop an algorithm that can guarantee\ncollision-free operation. Instead, one can attempt to design a control\ntechnique that guarantees the robot is not-at-fault in any collision. In the\nliterature, making such guarantees in real time has been restricted to static\nenvironments or specific dynamic models. To ensure not-at-fault behavior, a\nrobot must first correctly sense and predict the world around it within some\nsufficiently large sensor horizon (the prediction problem), then correctly\ncontrol relative to the predictions (the control problem). This paper addresses\nthe control problem by proposing Reachability-based Trajectory Design for\nDynamic environments (RTD-D), which guarantees that a robot with an arbitrary\nnonlinear dynamic model correctly responds to predictions in arbitrary dynamic\nenvironments. RTD-D first computes a Forward Reachable Set (FRS) offline of the\nrobot tracking parameterized desired trajectories that include fail-safe\nmaneuvers. Then, for online receding-horizon planning, the method provides a\nway to discretize predictions of an arbitrary dynamic environment to enable\nreal-time collision checking. The FRS is used to map these discretized\npredictions to trajectories that the robot can track while provably\nnot-at-fault. One such trajectory is chosen at each iteration, or the robot\nexecutes the fail-safe maneuver from its previous trajectory which is\nguaranteed to be not at fault. RTD-D is shown to produce not-at-fault behavior\nover thousands of simulations and several real-world hardware demonstrations on\ntwo robots: a Segway, and a small electric vehicle.\n
Jones vector imaging by use of digital holography: simulation results (2003)

We present a method to image Jones vector by use of digital holography. We show that with unique hologram acquisition, our method permits to image and to calculate Jones vector and therefore polarization parameters. The idea is to use two reference waves polarized perpendicularly that interfere with object wave and to reconstruct separately the two wave fronts. The precision and limitations of the method are evaluated here using a numerical model.
Assay of Growth Hormone Levels in Human Plasma using Commercial Kits: Analysis of Some Factors Influencing the Results (1990)

The reliability of growth hormone (GH) assays, performed in 39 different laboratories, using five different immunoassay kits was evaluated. It was found that the variability in GH levels measured by different commercial assay kits may be due to human factors, as well as differences between the kits. The influence of the variation in amount of circulating GH, during provocative testing and spontaneous secretory episodes, on the results of GH assay was also evaluated. It was found that large molecular weight forms of GH may be underestimated by some assay kits.
Physical Validation of a Residual Impedance Rejection Method during Ultra-Low Frequency Bio-Impedance Spectral Measurements (2020)

Accurate and reliable measurement of the electrical impedance spectrum is an essential requirement in order to draw relevant conclusions in many fields and a variety of applications; in particular, for biological processes. Even in the state-of-the-art methods developed for this purpose, the accuracy and efficacy of impedance measurements are reduced in biological systems, due to the regular occurrence of parameters causing measurement errors such as residual impedance, parasitic capacitance, generator anomalies, and so on. Recent observations have reported the necessity of decreasing such inaccuracies whenever measurements are performed in the ultra-low frequency range, as the above-mentioned errors are almost entirely absent in such cases. The current research work proposes a method which can reject the anomalies listed above when measuring in the ultra-low frequency range, facilitating data collection at the same time. To demonstrate our hypothesis, originating from the consideration of the determinant role of the measuring frequency, a physical model is proposed to examine the effectiveness of our method by measuring across the commonly used vs. ultra-low frequency ranges. Validation measurements reflect that the range of frequencies and the accuracy is much greater than in state-of-the-art methods. Using the proposed new impedance examination technique, biological system characterization can be carried out more accurately.
An audio game for training navigation skills of blind children (2015)

Training blind children to use audio-based navigation is a demanding and risky task, as children can walk into objects and hurt themselves. Furthermore, training outdoors is dangerous due to traffic, noise and weather conditions. Having a controlled indoor environment is safer but not always available. To tackle this problem, we developed an audio-based computer game, Legend of Iris (LOI), specifically designed to train navigation skills. The game is a 3D exploration game, which uses the headtracking capabilities of the Oculus Rift to create an immersive experience, and the new sound libraries AstoundSound and Phonon3D, to generate an accurate and realistic soundscape. These libraries use a head-related transfer function, allowing the player to localize the audio source in 3D space. The design of LOI involved selecting sounds that are easily recognizable to provide cues to blind people playing the game. A subset of these cues were incorporated into the game. To verify the effectiveness of the game in developing audio orientation and navigation skills, we performed a preliminary qualitative experiment with blind children in a dedicated school. LOI scored high in terms of accuracy and immersion, but a larger test is required to make statistical conclusions.
Exploring variability and performance in a sub-200 mV processor (2008)

Abstract—In this study, we explore the design of a subthreshold processor for use in ultra-low-energy sensor systems. We describe an 8-bit subthreshold processor that has been designed with en-ergy efficiency as the primary constraint. The processor, which is functional below 200 mV, consumes only 3.5 pJ/inst at 350 mV and, under a reverse body bias, draws only 11 nW at 160 mV. Process and temperature variations in sub-threshold circuits can cause dramatic fluctuations in performance and energy consumption and can lead to robustness problems. We investigate the use of body biasing to adapt to process and tem-perature variations. Test-chip measurements show that body bi-asing is particularly effective in subthreshold circuits and can elim-inate performance variations with minimal energy penalties. Re-duced performance is also problematic at low voltages, so we in-vestigate global and local techniques for improving performance while maintaining energy efficiency. Index Terms—Low voltage, process variation, sensor network processing, subthreshold. I.
The selective sorption of D,L‐amino acids by chemically modified chitosan gels and its application to liquid chromatography (1989)

Abstract The sorption of D , L ‐amino acids, DNP‐ L ‐amino acids and dipeptides by N ‐octanoyl‐ and N ‐benzoyl‐chitosan gels was investigated under various conditions. The results indicate that optical resolution of D , L ‐amino acids by liquid column chromatography has been achieved, using the chemically modified chitosan gels as a stationary phase.
Reduction of SISO H-infinity output feedback control problem (2020)

We consider the linear matrix inequality (LMI) problem of H∞ output feedback control problem for a generalized plant whose control input, measured output, disturbance input, and controlled output are scalar. We provide an explicit form of the optimal value. This form is the unification of some results in the literature of H∞ performance limitation analysis. To obtain the form of the optimal value, we focus on the non-uniqueness of perpendicular matrices, which appear in the LMI problem. We use the null vectors of invariant zeros associated with the dynamical system for the expression of the perpendicular matrices. This expression enables us to reduce and simplify the LMI problem. Our approach uses some well-known fundamental tools, e.g., the Schur complement, Lyapunov equation, Sylvester equation, and matrix completion. We use these techniques for the simplification of the LMI problem. Also, we investigate the structure of dual feasible solutions and reduce the size of the dual. This reduction is called a facial reduction in the literature of convex optimization.
Le Conflit Sino-Soviétique. By Mario Bettati. Volume I: Le conflit entre partis [333 pp. 11.80 F]; Volume II: Le conflit entre Etats [270 pp. 11.00 F] [Paris: Armand Colin, 1971 ]. (1972)

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Control strategy for an off-grid hybrid stirling engine/supercapacitor power generation system (2013)

In this paper, a novel control strategy is proposed for a hybrid Stirling engine/supercapacitor power generation system functioning in isolated sites rich in sunshine. The controller should drive the system through its electrical part to satisfy the varying load demand and maintain the state of charge of the supercapacitor at an appropriate level. The system includes a thermodynamic machine (Stirling Engine) that drives a Permanent Magnet Synchronous Generator (PMSG). An appropriate power electronics is interfaced between this PMSG and the AC load to be supplied with the desired power. In order to meet the load transient demand, a supercapacitor is used and its delivered power is controlled by mean of a bidirectional DC/DC converter. As the testbed is under construction, a simulation scenarios are proposed to assess the efficiency of the proposed control architecture.
1. Private Sprache in den Hymnen (2019)

Die vorliegende Studie zeigt anhand textimmanenter Analysen von literarischen Texten moderner Autoren wie Stefan George, Hugo von Hofmannsthal, Rainer Maria Rilke u. a., dass Privatheit als ästhetisches Phänomen eines der zentralen Paradigmen bei der Bestimmung und Deutung ›hermetischer‹ Literatur um 1900 darstellt. Dadurch, dass sich moderne Dichtung bestimmten Leserkreisen verschließt, inszeniert sie sich als exklusives Medium für wenige Eingeweihte und avanciert so zur privaten Kunst.
Office Blood Pressure versus Ambulatory Blood Pressure Measurement in Childhood Obesity (2022)

Abstract Background The prevalence of obesity-related co-morbidities is rising parallel to the childhood obesity epidemic. High blood pressure (BP), as one of these co-morbidities, is detected nowadays at increasingly younger ages. The diagnosis of elevated BP and hypertension, especially in the childhood population, presents a challenge to clinicians. The added value of ambulatory blood pressure measurement (ABPM) in relation to office blood pressure (OBP) measurements in obese children is unclear. Furthermore, it is unknown how many overweight and obese children have an abnormal ABPM pattern. In this study we evaluated ABPM patterns in a population of overweight and obese children and adolescents, and compared these patterns with regular OBP measurements. Methods In this cross-sectional study in children and adolescents with overweight or obesity aged 4–17 years who were referred to secondary pediatric obesity care in a large general hospital in The Netherlands, OBP was measured during a regular outpatient clinic visit. Additionally, all participants underwent a 24-uur ABPM on a regular week-day. Outcome measures were OBP, mean ambulatory BP, BP load, ambulatory BP pattern (normal BP, white-coat hypertension, elevated BP, masked hypertension, ambulatory hypertension), and BP dipping. Results We included 82 children aged 4–17 years. They had a mean BMI Z-score of 3.3 (standard deviation 0.6). Using ABPM, 54.9% of the children were normotensive (95% confidence interval 44.1–65.2), 26.8% had elevated BP, 9.8% ambulatory hypertension, 3.7% masked hypertension, and 4.9% white-coat hypertension. An isolated night-time BP load &gt; 25% was detected in almost a quarter of the children. Forty percent of the participants lacked physiologic nocturnal systolic BP dipping. In the group of children with normal OBP, 22.2% turned out to have either elevated BP or masked hypertension on ABPM. Conclusions In this study a high prevalence of abnormal ABPM patterns in overweight or obese children and adolescents was detected. Additionally, OBP poorly correlated with the child’s actual ABPM pattern. Herewith, we emphasized the usefulness of ABPM as an important diagnostic tool in this population.
Reaction Products of Acetylcholinesterase and VX Reveal a Mobile Histidine in the Catalytic Triad (1999)

ADVERTISEMENT RETURN TO ISSUEPREVCommunicationNEXTReaction Products of Acetylcholinesterase and VX Reveal a Mobile Histidine in the Catalytic TriadCharles B. Millard, Gertraud Koellner, Arie Ordentlich, Avigdor Shafferman, Israel Silman, and Joel L. SussmanView Author Information Departments of Structural Biology and Neurobiology The Weizmann Institute of Science Rehovot 76100 Israel, Israel Institute for Biological Research Ness Ziona 70450 Israel Cite this: J. Am. Chem. Soc. 1999, 121, 42, 9883–9884Publication Date (Web):October 6, 1999Publication History Received30 July 1999Published online6 October 1999Published inissue 1 October 1999https://doi.org/10.1021/ja992704iCopyright © 1999 American Chemical SocietyRIGHTS & PERMISSIONSArticle Views716Altmetric-Citations135LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InReddit Read OnlinePDF (79 KB) Get e-AlertsSUBJECTS:Adducts,Imidazoles,Monomers,Peptides and proteins,Physiology Get e-Alerts
Modelling Crustacean Fisheries: Effects of Parasites on Management Strategies (1992)

The reproductive performance of commercially important crustaceans may be considerably affected by symbiotic nemertean egg predators and parasitic castrators. Because these parasites commonly affect only females or feminize males, they may be protected by management practices that protect females. To manage a parasitized stock, we suggest that strategies should vary depending on the recruitment dynamics of both host and parasite. For a certain spatial scale, recruitment to a population may be "open" or "closed" depending on the behavior of planktonic larvae, the duration of these planktonic stages, and the flush rate of the environment of the adult host. Both hosts and parasites may have open or closed larval recruitment. We developed mathematical models to investigate the impact of protection of females on a hypothetical fishery for different combinations of host and parasite recruitment dynamics. The models suggest that the common practice of releasing females is not advantageous when a fishery is affected by a parasite. Retaining females in the catch is preferable in most cases. Treating or culling infected females may be advisable when host recruitment is closed.
High-Accuracy All-Digital Resolver-to-Digital Conversion (2011)

In this paper, a high-accuracy all-digital resolverto-digital (R/D) converter is presented. The two basic components of a conventional tracking R/D converter, the phase detector and the loop filter, are software implemented by frequency-shifting techniques and a decoupled double synchronous reference frame-based phase-locked loop (DSRF-PLL). This PLL allows the simultaneous extraction of the angular position and speed of the rotatory resolver, even in the presence of gain and phase errors in the resolver. In order to increase accuracy and to minimize the time lag of the whole system, oversampling methods and downsampling finite-impulse response digital filters are introduced. Finally, DSP implementation issues, like the use of techniques to synchronize the resolver output signals with the excitation one, are discussed. Using these combined techniques and a standard DSP with a 12-bit analog-to-digital converter, resolutions of up to 14 bits can be achieved with a computation cost of about 13% of the total (100 MIPs). The paper presents the main techniques, simulation, and experimental results.
Apolipoprotein A-I, A-II, B, C-II, and C-III in Children with Insulin-dependent Diabetes Mellitus (1992)

This study was conducted to determine whether changes in the levels of plasma apolipoproteins (apo) A-I, A-II, B, C-II, and C-III, along with cholesterol and triglycerides, could provide additional information on these parameters in relation to the control of glycemia. Plasma and lipoprotein lipids and apolipoprotein levels were measured in 123 insulin-dependent diabetic children (4- to 12-years-old), classified into good, fair, and poor diabetic control based on HbA1c and fructosamine levels, and in 62 comparable healthy controls. Total cholesterol, very low density lipoprotein cholesterol, and low density lipoprotein cholesterol, as well as total triglycerides, very low density lipoprotein, low density lipoprotein, and high density lipoprotein (HDL) triglycerides, and apo B and apo C-III were increased significantly in children with fair and poor diabetic control. While in diabetic children with good control, only very low density lipoprotein cholesterol was elevated significantly compared with healthy control subjects. Conversely, the levels of cholesterol in HDL, HDL2, HDL3, and apo A-I were decreased significantly in the three diabetic groups, but apo A-II and apo C-II did not change. We conclude that in children with insulin-dependent diabetes mellitus, abnormalities in plasma lipid, lipoprotein, and apolipoprotein levels occur, the extent of which depends on the degree (extent) of glycemic control (the poorer the control the more substantial the abnormality). We suggest that measurement of apo C-III level along with apo B and apo A-I in these patients may be a sensitive indicator to alterations in glycemic control.
Detrusor internal and external work in relation to passive urethral resistance in a canine model of the lower urinary tract (1996)

This study was conducted to evaluate whether passive urethral resistance, detrusor internal work, and detrusor external work are independent measures of the voiding process. Passive urethral resistance, detrusor internal work, detrusor external work, and detrusor total work of 5 canines were determined under nonobstructive and obstructive outlet conditions. All urodynamic analyses were performed on a surgically exposed urinary tract. Solid-state pressure transducers were used to measure the intravesical and distal urethral pressures, while an ultrasonic flow meter was used to obtain a simultaneous measure of urinary flow rate. Detrusor contractions were induced using bilateral electrical stimulation of the pelvic nerves. Varying degrees of outlet obstruction were created using an inflatable sphincter cuff secured around the proximal urethra. Urethral resistance, internal work, and total work increased with increasing obstruction, while external work decreased with increasing obstruction. Internal work was linearly and negatively correlated to external work. At low degrees of obstruction, internal and external work changed more rapidly than passive urethral resistance per unit change in obstruction. As obstruction was increased, the change in work parameters per unit change in obstruction decreased, while the change in passive urethral resistance per unit change in obstruction increased. Our results indicate that at low degrees of outlet obstruction (cuff volume <60% of isometric cuff volume), detrusor internal and external work are more sensitive to changes in obstruction than passive urethral resistance. It therefore appears prudent to use these work parameters with a passive urethral ???.
<title>Scalable software architecture for high-speed color document compression based on JPEG2000: VI</title> (2002)

The processing of colored documents with Document Management Systems (DMS) is possible with the modern document scanning systems today. Because of the enormous amount of image data generated scanning a typical A4 document with a 300 dpi resolution, image compression is used. The JPEG compression scheme is widely used for such image data. The lack of image quality caused by necessary lossy compression, can significantly reduce the recognition quality of a subsequent optical character recognition (OCR) process, which is essential to any DMS system. The new standard JPEG2000 (Part 6), a high performance system for compressing and archiving scanned documents, particularly those containing text and image, is overcoming the gap between high compression and legibility of documents suitable to be managed inside DMS systems. The utilization of JPEG2000 (Part 6) results in substantially higher image quality in comparison to standard compression techniques. This high quality is achieved by combining automatic text detection with bitonal compression of text and color/grayscale wavelet compression of images. Since the innovative JPEG2000 (Part 6) compression scheme is a complex image processing system, allocating some computational performance, a scalable software system has been designed to meet the throughput of high-performance document scanners.
Oceanisphaera litoralis gen. nov., sp. nov., a novel halophilic bacterium from marine bottom sediments (2003)

A polyphasic taxonomic study was performed to characterize a new bacterial isolate, designated KMM 3654(T), from a marine bottom sand sample. The strain was Gram-negative, encapsulated, aerobic, moderately halophilic and grew between 0.5 and 10 % NaCl and at 4-42 degrees C. Its DNA G+C content was 56.4 mol%. Isolate KMM 3654(T) was phylogenetically closely related to members of the genus Oceanimonas, showing 96.7 and 95.6 % 16S rRNA gene sequence similarity to Oceanimonas doudoroffii DSM 7028(T) and Oceanimonas baumannii ATCC 700832(T), respectively. Strain KMM 3654(T) shared some physiological and chemotaxonomic properties with these two Oceanimonas species, but differed from them in morphology, growth at 4 degrees C, urease activity, weak phenol degradation and utilization of phenylacetate. On the basis of phenotypic and phylogenetic evidence, Oceanisphaera litoralis gen. nov., sp. nov. is proposed, with the type strain KMM 3654(T) (=DSM 15406(T)).
Simultaneous Strain and Temperature Recovery: Error Analysis. (1996)

Measurement of two physical parameters with a single optical fibre length can be carried out using two independent measurements simultaneously. This paper reports on the analysis of the systematic errors associated with the measurement process. The effect of these errors is calculated for interferometric (Fabry-Perot), dual mode, polarimetric, dispersive fourier transform spectroscopy and fibre Bragg grating sensor systems.
FLEET UTILIZATION, KNOWING WHEN TO SAY WHEN / (1992)

SUBTITLE: ACCORDING TO PRIVATE AND FOR-HIRE CARRIERS ALIKE, CUSTOMERS AND COST SHOULD DETERMINE HOW MANY VEHICLES AND DRIVERS A FLEET FIELDS.