gebhart/patrepeval huggingface dataset:
Optimal semi-partitioned scheduling in soft real-time systems (2014)

Semi-partitioned real-time scheduling algorithms extend partitioned ones by allowing a (usually small) subset of tasks to migrate. The first such algorithm to be proposed was directed at soft real-time (SRT) sporadic task systems where bounded deadline tardiness is acceptable. That algorithm, called EDF-fm, has the desirable property that migrations are boundary-limited, i.e., they can only occur at job boundaries. However, it is not optimal because per-task utilization restrictions are required. In this paper, a new optimal semi-partitioned scheduling algorithm for SRT sporadic task systems is proposed that eliminates such restrictions. This algorithm, called EDF-os, preserves the boundary-limited property. In overhead-aware schedulability experiments presented herein, EDF-os proved to be better than all other tested alternatives in terms of schedulability in almost all considered scenarios. It also proved capable of ensuring very low tardiness bounds, which were near zero in most considered scenarios.
Optomechanics for a four-stage hybrid-self-electro-optic-device-based free-space optical backplane (1997)

We present the design, fabrication, and testing of optomechanics for a free-space optical backplane mounted in a standard 6U VME backplane chassis. The optomechanics implement an optical interconnect consisting of lenslet-to-lenslet, as well as conventional lens-to-lens, links. Mechanical, optical, electrical, thermal, material, and fabrication constraints are studied. Design trade-offs that affect system scalability and ease of assembly are put forward and analyzed. Novel mounting techniques such as a thermal-loaded interference-fitted lens-mounting technique are presented and discussed. Diagnostic tools are developed to quantify the performance of the optomechanics, and experimental results are given and analyzed.
Virtual Parallel Computing and a Search Algorithm Using Matrix Product States (2012)

We propose a form of parallel computing on classical computers that is based on matrix product states. The virtual parallelization is accomplished by representing bits with matrices and by evolving these matrices from an initial product state that encodes multiple inputs. Matrix evolution follows from the sequential application of gates, as in a logical circuit. The action by classical probabilistic one-bit and deterministic two-bit gates such as NAND are implemented in terms of matrix operations and, as opposed to quantum computing, it is possible to copy bits. We present a way to explore this method of computation to solve search problems and count the number of solutions. We argue that if the classical computational cost of testing solutions (witnesses) requires less than O(n2) local two-bit gates acting on n bits, the search problem can be fully solved in subexponential time. Therefore, for this restricted type of search problem, the virtual parallelization scheme is faster than Grover's quantum algorithm.
Olopatadine 0.2% ophthalmic solution: the first ophthalmic antiallergy agent with once-daily dosing (2008)

Olopatadine 0.2% was found to be a safe and effective medication for the reduction of itching with a duration of action of up to 24 h. The added convenience of a once-a-day dosing regimen is a major advancement in this drug class.
Handbook of plastic materials and technology (1990)

Partial table of contents: MATERIALS. Acetals (S. Sinker). Fluorocarbon Polymers, FEP (C. Sperati). Ionomers (R. Longworth). Nylons (P. Damm & P. Matthies). Phenolic Resins (J. Keegan). Polybutylene (A. Chatterjee). Polyethylene, LDPE (D. Bibee). Polystyrene (W. Brown). Rubbery Styrenic Block Copolymers (G. Holden). Fillers, Calcium Sulfate (R. Duncan). Fillers, Mica (M. Fenton). Fillers, Silica (Quartz) (J. Moreland). Reinforced Plastics, Vinyl Esters (V. Messick & M. White). Reinforced Plastics, Matched Metal Dies (R. Meyer). TECHNOLOGY. Blow Molding (C. Irwin). Extrusion (C. Rauwendaal). Reaction Injection Molding (RIM) (F. Sweeney). Mold Materials, Aluminum (W. Lewi). Sprayed Metal Molds (L. Grant). Design, Considerations (M. Blumenfeld). Rheology (P. Shah). Testing, Quality Control (L. Buchoff). Robotics (F. Ramos). Computer Integrated Manufacturing (CIM) (J. Rainville). Appendices. Index.
Characterization of DLK1(PREF1) + /CD34 + cells in vascular stroma of human white adipose tissue (2015)

Sorting of native (unpermeabilized) SVF-cells from human subcutaneous (s)WAT for cell surface staining (cs) of DLK1 and CD34 identified three main populations: ~10% stained cs-DLK1+/cs-CD34-, ~20% cs-DLK1+/cs-CD34+dim and ~45% cs-DLK1-/cs-CD34+. FACS analysis after permeabilization showed that all these cells stained positive for intracellular DLK1, while CD34 was undetectable in cs-DLK1+/cs-CD34- cells. Permeabilized cs-DLK1-/cs-CD34+ cells were positive for the pericyte marker α-SMA and the mesenchymal markers CD90 and CD105, albeit CD105 staining was dim (cs-DLK1-/cs-CD34+/CD90+/CD105+dim/α-SMA+/CD45-/CD31-). Only these cells showed proliferative and adipogenic capacity. Cs-DLK1+/cs-CD34- and cs-DLK1+/cs-CD34+dim cells were also α-SMA+ but expressed CD31, had a mixed hematopoietic and mesenchymal phenotype, and could neither proliferate nor differentiate into adipocytes. Histological analysis of sWAT detected DLK1+/CD34+ and DLK1+/CD90+ cells mainly in the outer ring of vessel-associated stroma and at capillaries. DLK1+/α-SMA+ cells were localized in the CD34- perivascular ring and in adventitial vascular stroma. All these DLK1+ cells possess a spindle-shaped morphology with extremely long processes. DLK1+/CD34+ cells were also detected in vessel endothelium. Additionally, we show that sWAT contains significantly more DLK1+ cells than visceral (v)WAT. We conclude that sWAT has more DKL1+ cells than vWAT and contains different DLK1/CD34 populations, and only cs-DLK1-/cs-CD34+/CD90+/CD105+dim/α-SMA+/CD45-/CD31- cells in the adventitial vascular stroma exhibit proliferative and adipogenic capacity.
Aging and partial body weight support affects gait variability (2008)

Increased levels of BWS increased lower extremity kinematic variability. If the intent of BWS training is to decrease variability in gait patterns, this did not occur based on our results. However, we did not perform a training study. Thus, it is possible that after several weeks of training and increased habituation, these initial increased variability values will decrease. This assumption needs to be addressed in future investigation with both "healthy" elderly and elderly fallers. In addition, it is possible that BWS training can have a positive transfer effect by bringing overground kinematic variability to healthy normative levels, which also needs to be explored in future studies.
Motion Planning for Dual-Arm Manipulation of Elastic Rods (2020)

We present a novel motion planning strategy for the manipulation of elastic rods with two robotic arms. In previous work, it has been shown that the free configuration space of an elastic rod, i.e., the set of equilibrium shapes of the rod, is a smooth manifold of a finite dimension that can be parameterized by one chart. Thus, a sampling-based planning algorithm is straightforward to implement in the product space of the joint angles and the equilibrium configuration space of the elastic rod. Preliminary results show that planning directly in this product space is feasible. However, solving for the elastic rod's shape requires the numerical solution of differential equations, resulting in an excessive and impractical runtime. Hence, we propose to pre-compute a descriptor of the rod, i.e., a roadmap in the free configuration space of the rod that captures its main-connectivity. By doing so, we can plan the motion of any dual-arm robotic system over this roadmap with dramatically fewer solutions of the differential equations. Experiments using the Open Motion Planning Library (OMPL) show significant runtime reduction by an order of magnitude.
Research directions for automated software verification: using trusted hardware (2002)

Service providers hosting software on servers at the request of content providers need assurance that the hosted software has no undesirable properties. This problem applies to browsers which host applets, networked software which can host software agents, etc. The hosted software's properties are currently verified by testing and/or verification processes by the hosting computer. This increases cost, causes delay, and leads to difficulties in version control. By furnishing content providers with a physically secure computing device with an embedded certified private key, such properties can be verified and/or enforced by the secure computing device at the content provider's site; the secure device can verify such properties, statically whenever possible, and by inserting checks into the executable binary when necessary. The resulting binary is attested by a trusted signature, and can be hosted with confidence. The position paper is a preliminary report that outlines scientific and engineering goals in this project.
Optimizing specimen processing for ancient soft tissue specimens (2015)

Despite many reports concerning processing of ancient soft tissues, scant attention has been paid to optimizing procedures for processing soft tissues that have been altered by taphonomic processes. To determine the best procedures, we investigated the rehydration solution, time of exposure to the solutions, fixative solution and exposure to heat. Processes were evaluated based on the minimum section thickness, degree of tissue fragmentation, definition of tissue architecture and penetration of stains. We found that in desiccated samples, tissue architecture was optimized by using Ruffer's solution for rehydration and Schaffer's solution as fixative, because these tissues require water restoration within the tissues due to their compacted character. Heating enhanced penetration of dyes in these specimens, which improved diagnosis. Saponified tissues that had suffered extensive decomposition were more labile and required slow water uptake. The best histological sections were obtained using Sandison's solution followed by fixation with formaldehyde and avoiding heat. To obtain the best results with paleohistological specimens, the procedure must be determined by the condition of the sample and by accounting for the nature of its damage.
IL-17 Signaling Triggers Degradation of the Constitutive NF-κB Inhibitor ABIN-1 (2017)

IL-17 activates NF-κB and inducing expression of proinflammatory genes. IL-17 drives disease in autoimmune conditions, and anti-IL-17 antibodies have shown impressive success in the clinic. Although produced by lymphocytes, IL-17 predominantly signals in fibroblasts and epithelial cells. IL-17-driven inflammation is kept in check by negative feedback signaling molecules, including the ubiquitin editing enzyme A20, whose gene <i>TNFΑIP3</i> is and similarly linked to autoimmune disease susceptibility. Accordingly, we hypothesized that ABIN-1 might play a role in negatively regulating IL-17 signaling activity. Indeed, ABIN-1 enhanced both tonic and IL-17-dependent NF-κB signaling in IL-17-responsive fibroblast cells. Interestingly, the inhibitory activities of ABIN-1 on IL-17 signaling were independent of A20. ABIN-1 is a known NF-κB target gene, and we found that IL-17-induced activation of NF-κB led to enhanced ABIN-1 mRNA expression and promoter activity. Surprisingly, however, the ABIN-1 protein was inducibly degraded following IL-17 signaling in a proteasome-dependent manner. Thus, ABIN-1, acting independently of A20, restricts both baseline and IL-17-induced inflammatory gene expression. We conclude that IL-17-induced signals lead to degradation of ABIN-1, thereby releasing a constitutive cellular brake on NF-κB activation.
Primordial Oil Slick (1971)

Calculations and some preliminary experiments suggest that an early methane atmosphere would have been polymerized by solar ultraviolet radiation in geologically short periods of time. An oil slick 1 to 10 meters thick could have been produced in this way and might well have been of considerable importance in the development of life.
CLAWS: Cross-Layer Adaptable Wireless System enabling full cross-layer experimentation on real-time software-defined 802.15.4 (2014)

In recent years, researchers have developed a large and growing set of protocols and algorithms to improve the throughput and capacity of wireless networks. These schemes span the physical (PHY), medium access control (MAC), and higher layers of the protocol stack. Most effective innovations however require cross-layer modifications of both PHY and higher layers. To date, the verification of those designs has been limited to simulations or small setups relying often on off-line processing of the results. MAC layer results that rely on even the tiniest modification of the PHY can only be verified under simplified networking assumptions. Similarly, novel PHY algorithms are typically only verified for a single wireless link, avoiding complex scenarios. Most importantly, there is almost no cooperation between PHY and networking communities, as the tools and testbeds they use are incompatible. In this paper, we propose a methodology for fully flexible PHY, MAC, and network layer verification that is designed to (a) reuse existing software components from PHY and network communities, (b) enable both simple- and expert-level modification and configuration of all components, (c) have real-time performance benchmarked with off-the-shelf systems, and (d) enable large networking experiments including off-the-shelf nodes for rapid experimentation, testing, and comparison. The main contribution of this paper is the introduction of an approach that enables the realization of full software-defined radio (SDR) sensor nodes, all running on a single field-programmable gate array and reusing PHY layer SDR tools and typical operating systems such as Contiki OS. Subsequently, the paper will illustrate the strengths of the proposed approach by demonstrating communication with off-the-shelf sensor nodes. This allows fair benchmarking with state-of-the-art or off-the-shelf solutions. Finally, some cross-layer improvements are proposed and compared with the baseline off-the-shelf system. This proves our claims that the proposed platform is a very useful tool for cross-layer experimentation, in that it allows full cross-layer control of the PHY and network layers, and moreover enables elegant comparison with state-of-the-art designs. This architecture is provided to the open source community ( http://claws.be/ ), in order to become a framework for validating and benchmarking wireless cross-layer innovations.
We should be using nonlinear indices when relating heart-rate dynamics to cognition and mood (2015)

Both heart rate (HR) and brain functioning involve the integrated output of a multitude of regulatory mechanisms, that are not quantified adequately by linear approximations such as means and standard deviations. It was therefore considered whether non-linear measures of HR complexity are more strongly associated with cognition and mood. Whilst resting, the inter-beat (R-R) time series of twenty-one males and twenty-four females were measured for five minutes. The data were summarised using time, frequency and nonlinear complexity measures. Attention, memory, reaction times, mood and cortisol levels were assessed. Nonlinear HR indices captured additional information, enabling a greater percentage of the variance in behaviour to be explained. On occasions non-linear indices were related to aspects for behaviour, for example focused attention and cortisol production, when time or frequency indices were not. These effects were sexually dimorphic with HR complexity being more strongly associated with the behaviour of females. It was concluded that nonlinear rather than linear methods of summarizing the HR times series offers a novel way of relating brain functioning and behaviour. It should be considered whether non-linear measures of HR complexity can be used as a biomarker of the integrated functioning of the brain.
In vivo assessment of staphylococcal endolysin LysRODI for mastitis prevention (2018)

Trabajo presentado en el 2nd International Symposium on Antimicrobial Hydrolytic Enzymes, celebrado en Nueva York (Estados Unidos), del 6 al 8 de noviembre de 2018
Interactive AVO time‐alignment and neural network classification (2001)

PreviousNext No AccessSEG Technical Program Expanded Abstracts 2001Interactive AVO time‐alignment and neural network classificationAuthors: John EastwoodBrian WestJohn EastwoodExxonMobil Upstream Research Company and Brian WestExxonMobil Upstream Research Companyhttps://doi.org/10.1190/1.1816585 SectionsAboutPDF/ePub ToolsAdd to favoritesDownload CitationsTrack CitationsPermissions ShareFacebookTwitterLinked InRedditEmail Permalink: https://doi.org/10.1190/1.1816585FiguresReferencesRelatedDetails SEG Technical Program Expanded Abstracts 2001ISSN (print):1052-3812 ISSN (online):1949-4645Copyright: 2001 Pages: 2135 publication data© 2001 Copyright © 2001 Society of Exploration GeophysicistsPublisher:Society of Exploration Geophysicists HistoryPublished: 03 Jan 2005 CITATION INFORMATION John Eastwood and Brian West, (2001), "Interactive AVO time‐alignment and neural network classification," SEG Technical Program Expanded Abstracts : 257-260. https://doi.org/10.1190/1.1816585 Plain-Language Summary PDF DownloadLoading ...
Excitation energy-dependent photocurrent switching in a single-molecule photodiode (2019)

The direction of electron flow in molecular optoelectronic devices is dictated by charge transfer between a molecular excited state and an underlying conductor or semiconductor. For those devices, controlling the direction and reversibility of electron flow is a major challenge. We describe here a single-molecule photodiode. It is based on an internally conjugated, bichromophoric dyad with chemically linked (porphyrinato)zinc(II) and bis(terpyridyl)ruthenium(II) groups. On nanocrystalline, degenerately doped indium tin oxide electrodes, the dyad exhibits distinct frequency-dependent, charge-transfer characters. Variations in the light source between red-light (∼1.9 eV) and blue-light (∼2.7 eV) excitation for the integrated photodiode result in switching of photocurrents between cathodic and anodic. The origin of the excitation frequency-dependent photocurrents lies in the electronic structure of the chromophore excited states, as shown by the results of theoretical calculations, laser flash photolysis, and steady-state spectrophotometric measurements.
Subtle Expressivity in a Robotic Computer (2003)

A Robotic Computer, which moves its monitor &amp;amp;quot;head &amp;amp;quot; and &amp;amp;quot;neck &amp;amp;quot; but has no explicit face, is being designed to interact with users in a natural way for applications such as learning, rapport-building, interactive teaching, and posture improvement. In all these applications, the robot will need to move in subtle ways that express its state, and that promote appropriate movements in the user, but that don&amp;apos;t distract or annoy. Toward this goal, we are giving the system the ability to recognize subtle expressions as well as the ability to have them. This paper describes the design of this system, initial findings on the perceived qualities of its expressions, and planned future work aimed at measuring behavioral effects of its expressiveness.
Theoretical Study on Elementary Reaction Steps in Thermal Decomposition Processes of Syringol-Type Monolignol Compounds (2017)

This paper theoretically investigated a large number of reaction pathways and kinetics to describe the vapor-phase pyrolytic behavior of several syringol-type monolignol compounds that are derived from the primary pyrolysis of lignin: 1-(4-hydroxy-3,5-dimethoxyphenyl)prop-2-en-1-one (HDPP), sinapyl alcohol, 3-hydroxy-1-(4-hydroxy-3,5-dimethoxyphenyl)propan-1-one (HHDPP), 1-(4-hydroxy-3,5-dimethoxyphenyl)propane-1,3-diol (HDPPD), and syringol. The possible pyrolytic pathways involving unimolecular decomposition, addition, and abstraction reactions were investigated by comparing the energy barriers calculated at the B3LYP/6-311++G(d,p) level. In the proposed pathways, all syringol-type monolignols containing a side chain undergo its cleavage to form syringol through the formation of syringaldehyde or 4-vinylsyringol. Syringol is then converted into two products: (a) pyrogallol via the homolysis of the O-CH<sub>3</sub> bond and hydrogenation or (b) guaiacol via addition of an H atom with a carbon bearing methoxyl group in syrignol and the subsequent demethoxylation. The pyrolytic pathways of pyrogallol are classified into two processes: (a) the concerted dehydrogenation of the two hydroxyl H atoms and the unimolecular decomposition to produce acetylene (C<sub>2</sub>H<sub>2</sub>), ethynol (C<sub>2</sub>HOH), and CO or (b) the displacement of an OH with H to produce catechol and resorcinol. Additionally, HDPP undergoes O-CH<sub>3</sub> bond cleavage to form but-1-en-3-yne. The high-pressure limit rate constants for all the proposed elementary reaction steps were evaluated on the basis of transition state theory.
An Evaluation of Passive Automotive Suspension Systems with Variable Stiffness and Damping Parameters (1986)

SUMMARY Passenger discomfort, suspension working space and dynamic tyre loading parameters are calculated for different combinations of spring stiffness and damping coefficient representing the suspension system in a quarter car model subject to realistic random disturbance inputs from roads of widely differing quality. Sprung and unsprung masses and the tyre vertical stiffness and damping coefficient employed derive from a current production car. Designs which are best for the specific conditions represented are identified and their performance properties in other (off-design) conditions are considered, and conventional design is explained as the inevitable consequence of the need to compromise if fixed suspension parameters are used. Performance improvements possible if variable parameters can be employed are evaluated as a function of the ranges of variability provided, and a stratagem for controlling parameters is proposed.
A Preliminary Study of Growth Hormone Therapy for Crohn's Disease (2000)

Our preliminary study suggests that growth hormone may be a beneficial treatment for patients with Crohn's disease.
Mechanical tensile strain engineering of Ge for gain achievement (2010)

We show that the recombination energy of the direct band gap photoluminescence of germanium can be controlled by an external mechanical stress. The deformation is provided by an apparatus used for blister test. This strain leads to a significant change of the room temperature direct band gap recombination of germanium. An energy red-shift up to 60 meV is demonstrated for the room temperature photoluminescence of a thin germanium membrane (125 nm wavelength shift from 1535 to 1660 nm). This photoluminescence shift is correlated to the inplane tensile strain present in the film. A biaxial tensile strain larger than 0.6 % is achieved by this method. The wavelength shift is correlated to the predicted band gap shift as obtained from a 30 band k. p formalism. An excellent agreement is obtained between the experimental band gap shift and the theoretical one. This mechanical deformation allows to approach the direct band gap condition for germanium. We will discuss the possibility to achieve lasing with n-doped layers and the application of an external mechanical stress.