gebhart/patrepeval huggingface dataset:
Real-time programming (WRTP'92) : preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992 (1992)

Selected papers: Time concepts in real-time software, L. Motus. A temporal logic approach to state reachability in real-time program synchronization and verification, D. Ionescu. ZAMAN, a simple language for expressing timing constraints, A. E. K. Sahraoui & D. Delfie . Reliability and efficiency aspects of real-time exception handling, C. Feder-Andres & R. Schorr A generalized approach to program generation for process control applications, C. K. Angelov et al . Prototyping real-time engineering systems using Hatley & Pirbhai's requirement model, D. A. Fensome. A behavioral analysis and modeling method for real-time systems, H. Gomaa. Heterogeneous prototypes in concurrent engineering of embedded software, P. Pulli & M. Heikki en. Deadline monotonic scheduling theory, N. C. Audsley et al . Specification of real-time systems for protection tasks in automated high-speed transportation systems, K. Jopke et al . Implementing mode changes and fault recovery for hard real-time systems in ada, A. Alonso & J. A. de a Puente. Towards an environment for complex real-time control systems developing, A. Garcia & A. Crespo The PMOS real-time kernel, P. J. Moylan. A communication model for cooperative real-time systems, C. Feder-Andres. Relative correctness of real-time systems, T. Szmuc. Applying object-oriented principles in control-system design, M. Tittus & B. Egardt Real-time toolbox for PC-MatLab, J. Houska & B. Sladek How to ensure software quality for real-time systems, B. Hindel. Some results on hard real-time scheduling, M. Litoiu. Architectural support for predictability in hard real-time systems, M. Colnaric & W. A. Hal ng.
Observation of a Variable, ZZ Ceti White Dwarf: GD154 (1993)

The ZZ Ceti stars form a class of variable white dwarfs: the hydrogen dominated atmosphere ones, which do pulsate in an instability strip in the effective temperature range 13000K-11500K. We know 22 such ZZ Ceti white dwarfs. Their variations are caused by nonradial g-mode pulsations with periods are in the range 100-1000 seconds. A subsample of the ZZ Ceti stars shows amplitude variations on time scales of the order of one month. These variations could be driven by nonlinear phenomena.
[Changes in the levels of human platelet membrane glycoproteins in patients with a new-type defect of platelet aggregation]. (1990)

Labeled avidin-biotin (LAB)-enzyme linked immunosorbent assay (ELISA) for quantitative measurement of the levels of human platelet membrane glycoproteins (GPs) Ib, IIb and IIIa was developed by using a group of murine monoclonal antibodies raised against human platelet membrane GPs. The contents of the GPs Ib, IIb and IIIa in patients with a new-type defect of platelet aggregation were detected and found to be in normal range. However, the amounts of GPs IIb and IIIa before washing in patients were significantly decreased in these patients when compared with those in controls (P less than 0.01), while after washing, normal levels could be obtained. The results reported have support the hypothesis that the pathogenesis of this defect in platelet aggregation seems not to be associated with the abnormality of the levels of GPs, but is a result of abnormal factor existing in the plasma. Further investigation on the properties of the factor is in progress.
Supplementary Information from Focal Gains of <i>VEGFA</i> and Molecular Classification of Hepatocellular Carcinoma (2023)

Supplementary Information from Focal Gains of &lt;i&gt;VEGFA&lt;/i&gt; and Molecular Classification of Hepatocellular Carcinoma
A Low-Cost Integrated Positioning System of GPS and Inertial Sensors for Autonomous Agricultural Vehicles (2003)

A low-cost integrated positioning system, consisting of a Garmin GPS and a set of solidstateinertial sensors, was developed for autonomous agricultural vehicle applications. Based on aposition-velocity-attitude (PVA) model of the vehicle, a PVA model-based Kalman filter was designedto integrate data from all sensors to provide accurate and robust vehicle positioning data. Thisintegrated positioning system was evaluated in different test sites. An RTK-DGPS receiver was usedto provide reference measurements. Test results showed that the maximum positioning error was0.50 m while the vehicle was traveling on a known path (determined based on static RTK-DGPSmeasurements) on a paved road nearby buildings and partially under trees. When the vehicle wastraveling on open field, the maximum error was 0.30 m compared with RTK-DGPS dynamicmeasurement. In both cases, the redundant positioning information was fused and the update ratewas increased to 50 Hz while the GPS receiver updated its positioning reading at 1 Hz. The testresults also demonstrated that, the integrated system could estimate the vehicle position accuratelywith a temporary GPS signal outage (up to 30 s). The accuracy of this low-cost integratedpositioning system can meet most tasks in precision farming applications.
Lumican Accumulates with Fibrillar Collagen in Fibrosis in Hypertrophic Cardiomyopathy (2022)

The ECM proteoglycan lumican is increased in HCM and co-localizes with fibrillar collagen throughout areas of fibrosis in HCM. Our data suggest that lumican may promote formation of thicker collagen fibres in HCM.
Supplementary Figure 4 from Improvements in Radiographic Progression-Free Survival Stratified by <i>ERG</i> Gene Status in Metastatic Castration-Resistant Prostate Cancer Patients Treated with Abiraterone Acetate (2023)

&lt;p&gt;Supplementary Figure 4. ERG FISH break apart assay&lt;/p&gt;
Spectrum Endoscope System (2009)

Considered as one of the most widely used medical instrument, electronic endoscope has become a powerful tool in cancer diagnosis and treatment. However, conventional endoscope that works in direct observation mode is difficult to distinguish tissue with potential cancer from normal tissue. To solve this problem, we developed a spectrum endoscope. This system uses the principle that different wavelength of light could strengthen the differences in physiological characteristics of tissue, which could be reflected by means of images. This spectrum endoscope system has not only all features of conventional endoscope system, but also the diagnostic capacity using the specific wavelength for observation. The system can also conduct spectrum estimation using Weiner estimation method. In the design of the system, several critical means were used to accelerate the imaging processing speed. The imaging results show that this spectrum endoscope system has a better image compared to the conventional endoscope.
Concentration of Tomato Products: Analysis of Energy Saving Process Alternatives (1982)

ABSTRACT Four process alternatives to the standard steam driven triple effect scraped surface evaporators are compared on a present value economic basis. Use of mechanical vapor recompression (MVR) evaporators, reverse osmosis (RO), and centrifugal separation of tomato fiber and serum are compared in different combinations. The lowest cost system was found to utilize centrifugation, RO, MVR and heat recovery with a total energy use of 88.7 Kcal/kg (160 Btu/1b) of tomato concentrate as compared to the conventional system requiring over 1110 Kcal/kg (2000 Btu/1b) concentrate. The viscosity of the recombined solids‐serum concentrate after a heat treatment was found to be 80% of the conventional concentrate. Mathematical models of the unit operations are developed and coupled with capital costs and energy costs for the unit operations to give present value system costs.
In vivocarbon nanotube-enhanced non-invasive photoacoustic mapping of the sentinel lymph node (2009)

Sentinel lymph node biopsy (SLNB), a less invasive alternative to axillary lymph node dissection (ALND), has become the standard of care for patients with clinically node-negative breast cancer. In SLNB, lymphatic mapping with radio-labeled sulfur colloid and/or blue dye helps identify the sentinel lymph node (SLN), which is most likely to contain metastatic breast cancer. Even though SLNB, using both methylene blue and radioactive tracers, has a high identification rate, it still relies on an invasive surgical procedure, with associated morbidity. In this study, we have demonstrated a non-invasive single-walled carbon nanotube (SWNT)-enhanced photoacoustic (PA) identification of SLN in a rat model. We have successfully imaged the SLN in vivo by PA imaging (793 nm laser source, 5 MHz ultrasonic detector) with high contrast-to-noise ratio (=89) and good resolution ( approximately 500 microm). The SWNTs also show a wideband optical absorption, generating PA signals over an excitation wavelength range of 740-820 nm. Thus, by varying the incident light wavelength to the near infrared region, where biological tissues (hemoglobin, tissue pigments, lipids and water) show low light absorption, the imaging depth is maximized. In the future, functionalization of the SWNTs with targeting groups should allow the molecular imaging of breast cancer.
Identification of LTV Dynamical Models with Smooth or Discontinuous Time Evolution by means of Convex Optimization (2018)

We establish a connection between trend filtering and system identification which results in a family of new identification methods for linear, time-varying (LTV) dynamical models based on convex optimization. We demonstrate how the design of the cost function promotes a model with either a continuous change in dynamics over time, or causes discontinuous changes in model coefficients occurring at a finite (sparse) set of time instances. We further discuss the introduction of priors on the model parameters for situations where excitation is insufficient for identification. The identification problems are cast as convex optimization problems and are applicable to, e.g., ARX models and state-space models with time-varying parameters. We illustrate usage of the methods in simulations of jump-linear systems, a nonlinear robot arm with non-smooth friction and stiff contacts as well as in model-based, trajectory centric reinforcement learning on a smooth nonlinear system.
Prospective cohort study on the predictors of fall risk in 119 patients with bilateral vestibulopathy (2020)

Falls and (severe) fall-related injuries are frequent among BV patients. A DHI score > 47 and an OSQ score > 27.5 might be indicative for BV patients at risk for falls, with a sensitivity of 70% and specificity of 60%. Residual vestibular function captured by single vestibular tests (vHIT, calorics, rotatory chair, cVEMP) or by overall vestibular function defined as the number of impaired vestibular sensors are not suitable to distinguish fallers and non-fallers in a BV population.
Exploiting Data-Parallelism on Multicore and SMT Systems for Implementing the Fractal Image Compressing Problem (2016)

This paper presents a parallel modeling of a lossy image compression method based on the fractal theory and its evaluation over two versions of dual-core processors: with and without simultaneous multithreading (SMT) support. The idea is to observe the speedup on both configurations when changing application parameters and the number of threads at operating system level. Our target application is particularly relevant in the Big Data era. Huge amounts of data often need to be sent over low/medium bandwidth networks, and/or to be saved on devices with limited store capacity, motivating efficient image compression. Especially, the fractal compression presents a CPU-bound coding method known for offering higher indexes of file reduction through highly time-consuming calculus. The structure of the problem allowed us to explore data-parallelism by implementing an embarrassingly parallel version of the algorithm. Despite its simplicity, our modeling is useful for fully exploiting and evaluating the considered architectures. When comparing performance in both processors, the results demonstrated that the SMT-based one presented gains up to 29%. Moreover, they emphasized that a large number of threads does not always represent a reduction in application time. In average, the results showed a curve in which a strong time reduction is achieved when working with 4 and 8 threads when evaluating pure and SMT dual-core processors, respectively. The trend concerns a slow growing of the execution time when enlarging the number of threads due to both task granularity and threads management.
Decomposition of multipath Lamb waves with sparse wavenumber analysis for structural health monitoring (2013)

Guided waves, such as Lamb waves, are attractive tools for monitoring large civil infrastructures due to their sensitivity to damage. Yet, interpreting guided wave data and identifying effects resulting from damage is often complicated by the multimodal and dispersive characteristics of guided waves and multipath interference from the medium's boundaries. In this paper, we present a method to decompose guided waves into a collection of multipath arrivals by combining sparse wavenumber analysis, a methodology for accurately recovering multimodal and dispersive properties, with additional ℓ <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1</sub> minimization techniques. Its application to experimental Lamb wave data shows that the estimates all correspond to expected paths.
A Framework for Opportunistic Forwarding in Disconnected Networks (2006)

In this paper, we analyze the performance of a family of opportunistic forwarding schemes (the K-copy relaying strategies) over disconnected wireless networks. We introduce a classification of mobility models based on their dynamic properties, and characterize the M <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> (marks-memory less) class. Statistical tools are combined with numerical simulations to show that some of the most used mobility models in the literature fall within the M <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> class. A mathematical framework is provided for evaluating the performance of opportunistic forwarding schemes in the presence of M <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> mobility, and it is shown that the finiteness of the mean time necessary to deliver a message depends only on the mobility characteristics and not on the relaying protocol specification
Current loadability of ICA for flip chip applications (2002)

Miniaturization is a key issue to achieve advanced performance of electronic devices and to decrease the overall cost of an electronic package. In this respect the flip chip technology provides excellent capabilities to meet the demands of recent and future products. Although solder joining is still the most common technology a great deal of research work has been conducted on conductive adhesives. They are successfully used as die attach, display and hybrid assembly. Progress with its application to flip chip devices has still to be made. Recently, the current carrying capability of isotropic conductive adhesive (ICA) has been a matter of great interest. Predominantly, corresponding characteristics of anisotropic conductive adhesives (ACAs) have been studied by several groups. Though interest, mainly on part of the automotive industry is shown, little is known about ICA's high current behaviour. This paper is part of a broad study focused on the current capabilities of isotropic conductive adhesives. Tests have been carried out on flip chip assemblies. The contact resistivities depending on different DC loads and increased environmental temperatures have been monitored. In-situ measurements have been carried out with an automated measuring system. TGA measurements were made to find out about degradation temperatures of the used materials. The results contribute to the following discussion about the failure mechanisms due to high current loads.
Browsing fatigue in handhelds (2005)

Focused Web browsing activities such as periodically looking up headline news, weather reports, etc., which require only selective fragments of particular Web pages, can be made more efficient for users of limited-display-size handheld mobile devices by delivering only the target fragments. Semantic bookmarks provide a robust conceptual framework for recording and retrieving such targeted content not only from the specific pages used in creating the bookmarks but also from any user-specified page with similar content semantics. This paper describes a technique for realizing semantic bookmarks by coupling machine learning with Web page segmentation to create a statistical model of the bookmarked content. These models are used to identify and retrieve the bookmarked content from Web pages that share a common content domain. In contrast to ontology-based approaches where semantic bookmarks are limited to available concepts in the ontology, the learning-based approach allows users to bookmark ad-hoc personalized semantic concepts to effectively target content that fits the limited display of handhelds. User evaluation measuring the effectiveness of a prototype implementation of learning-based semantic bookmarking at reducing browsing fatigue in handhelds is provided.
Tire and Car Contribution and Interaction to Low Frequency Interior Noise (2001)

&lt;div class="htmlview paragraph"&gt;A joint study was conducted between BMW and Goodyear with the objective of analysing the cause and identifying methods to reduce the structure-borne interior noise in a vehicle driving on rough road surfaces.&lt;/div&gt; &lt;div class="htmlview paragraph"&gt;A vibro-acoustic characterization of the car was performed by measuring the car vibro-acoustic transfer functions and by using a transfer path analysis technique to identify the main suspension parts affecting the interior noise at target frequencies. The vibration transmissibility characteristics of the tire were measured and also simulated by Finite Element in [1-200Hz] frequency range. The vibro-acoustic interaction between the tire and car sub-systems was examined.&lt;/div&gt; &lt;div class="htmlview paragraph"&gt;A Finite Element sensitivity analysis was used to define and build new prototype tires. A 3dB(A) interior noise improvement was obtained with these new tires at target frequencies.&lt;/div&gt;
Wet granulation in a laboratory scale high shear mixer : effect of chopper presence, design and impeller speed (2009)

International audience
A Parametric Blueprint for Optimum Cochlear Outer Hair Cell Design (2022)

Abstract The present work examines the hypothesis that cochlear outer hair cell (OHC) properties vary in precise proportions along the tonotopic map to optimize electro-mechanical power conversion. We tested this hypothesis using a very simple model of a single isolated OHC driving a mechanical load. Results identify three nondimensional ratios that are predicted to optimize power conversion: the ratio of the resistive-capacitive (RC) corner to the characteristic frequency (CF), the ratio of nonlinear to linear capacitance, and the ratio of OHC stiffness to cochlear load stiffness. Optimum efficiency requires all three ratios to be universal constants, independent of CF and species. The same ratios are cardinal control parameters that maximize power output by positioning the OHC operating point on the edge of a dynamic instability. Results support the hypothesis that OHC properties evolved to optimize electro-mechanical power conversion. Identification of the RC corner frequency as a control parameter reveals a powerful mechanism used by medial olivocochlear efferent system to control OHC power output. Results indicate the upper frequency limit of OHC power output is not constrained by the speed of the motor itself, but instead is likely limited by the size of the nucleus and membrane surface area available for ion-channel expression.
Blends of Immiscible Polystyrene/Polyamide 6 via Successive In‐Situ Polymerizations (2006)

Abstract Summary: A novel method has been successfully developed to prepare binary blends of PS and MCPA6. The blends are formed by the radical polymerization of styrene in CL, followed by the in‐situ anionic ring‐opening polymerization of CL in the presence of PS. The phase morphology investigated using SEM reveals that PS/MCPA6 blends with a PS content of 10 wt.‐% or lower consists of a MCPA6 matrix and a dispersed PS minor phase. Remarkably, phase inversion occurs in blends that have a PS content of 15 wt.‐% or higher, in which MCPA6 is no longer continuous but finely dispersed in the PS continuous phase. The phase inversion occurs at an extremely low PS content, and this phenomenon is unusual for traditional polymer blends prepared by melt blending. The probable reason for the particular phase morphology development is explained. The stability of the phase morphologies of the PS/MCPA6 blends after annealing at 250 °C is also investigated by SEM. SEM micrograph of the fractured surface of a PS/MCPA6 blend with a PS content of 20 wt.‐%, in which MCPA6, as spherical particles, is dispersed in the PS continuous phase. magnified image SEM micrograph of the fractured surface of a PS/MCPA6 blend with a PS content of 20 wt.‐%, in which MCPA6, as spherical particles, is dispersed in the PS continuous phase.
Assessing the effectiveness of a computerized blood order "consultation" system. (1991)

To optimize blood ordering and accurately assess transfusion practice, in 1987, an "on line" computerized, knowledge-based, blood order critiquing system was integrated into the HELP Hospital Information System (HIS) at LDS Hospital. Evaluations of the computerized ordering system demonstrated its benefits and limitations on transfusion practice. Based on this experience, a second generation blood ordering system using a consultation mode was developed. A pilot test of this blood order consultant system, using historical data in the HELP system's database, was performed. This pilot test demonstrated that the consultation system provided accurate recommendations for red blood cell (RBC) and platelet orders. Comparing the appropriateness of blood orders with the recommendations made by the director of the blood bank, the orders recommended by the computer "consultant" agreed 95.5% of the time. The computer consultation system also recommended fewer RBC units for transfusion. Preliminary results obtained using the consultant approach suggest that we may be able to simplify blood ordering practice and also reduce the number of units of blood products ordered. Based on these findings we are now preparing to compare the "critiquing" and "consultation" approaches using a clinical trial.