gebhart/patrepeval huggingface dataset:
Using insurance to increase internet security (2008)

Managing security risks in the Internet has so far mostly involved methods to reduce the risks and the severity of the damages. Those methods reduce but do not eliminate risk, and the question remains on how to handle the residual risk. Current schemes applied by Internet Service Providers (ISPs) penalize the users, who suffer from the consequences. In this paper, we take a new approach to the problem of Internet security and advocate managing the residual risk by buying insurance against it and consequently re-arranging the incentive chain. We first analyze the current state of the Internet and investigate if it is possible to alleviate the existing problems by introducing insurance schemes. By performing detailed analysis we define an insurance policy that can survive in a competitive market. Following that, we analyze the impact of insurance-based ISPs on the rest of the network and attempt to answer whether using insurance can increase the overall security of the system and provide incentive to other ISPs to implement such policies.
Supplementary Table S5 from Single-Cell Transcriptome Analysis Reveals Gene Signatures Associated with T-cell Persistence Following Adoptive Cell Therapy (2023)

&lt;p&gt;Supplementary Table S5&lt;/p&gt;
Incorporating Sparse and Quantized Carbohydrates Suggestions in Model Predictive Control for Artificial Pancreas in Type 1 Diabetes (2022)

People with type 1 diabetes (T1D) face the challenge of administering exogenous insulin to maintain blood glucose (BG) levels in a safe physiological range, so as to avoid (possibly severe) complications. By automatizing insulin infusion, the artificial pancreas (AP) assists patients in this challenge. While insulin can decrease BG, having another input inducing glucose increase could further improve BG control. Here, we develop a model predictive control (MPC) algorithm that, in addition to insulin infusion, also provides suggestions of carbohydrates (CHOs) as a second, glucose-increasing, control input. Since CHO consumption has to be manually actuated, great care is paid in limiting the extra burden that may be caused to patients. By resorting to a mixed logical-dynamical MPC formulation, CHO intake is designed to be sparse in time and quantized. The algorithm is validated on the UVa/Padua T1D simulator, a well-established large-scale model of T1D metabolism, accepted by Food and Drug Administration (FDA). Compared with an insulin-only MPC, the new algorithm ensures increased time spent in the safe physiological range in 75% of patients. The improvement is limited for those already well controlled by the state-of-art strategy but relevant for the others: the 25th percentile of this metric is increased from 74.75% to 79.06% in the population. This is achieved while simultaneously decreasing time spent in hypoglycemia (from 0.5% to 0.12% in median) and with limited manual interventions (2.86 per day in median).
A comparison of the metabolic effects of sustained strenuous activity in polar environments on men and women (2020)

Abstract This study investigates differences in pre- to post-expedition energy expenditure, substrate utilisation and body composition, between the all-male Spear17 (SP-17) and all-female Ice Maiden (IM) transantarctic expeditions (IM: N = 6, 61 days, 1700 km; SP-17: N = 5, 67 days, 1750 km). Energy expenditure and substrate utilisation were measured by a standardised 36 h calorimetry protocol; body composition was determined using air displacement plethysmography. Energy balance calculation were used to assess the physical challenge. There was difference in the daily energy expenditure (IM: 4,939 kcal day −1 ; SP-17: 6,461 kcal day −1 , p = 0.004); differences related to physical activity were small, but statistically significant (IM = 2,282 kcal day −1 ; SP-17 = 3,174 kcal day −1 ; p = 0.004). Bodyweight loss was modest (IM = 7.8%, SP-17 = 6.5%; p &gt; 0.05) as was fat loss (IM = 30.4%, SP-17 = 40.4%; p &gt; 0.05). Lean tissue weight change was statistically significant (IM = − 2.5%, SP-17 = + 1.0%; p = 0.05). No difference was found in resting or sleeping energy expenditure, normalised to lean tissue weight ( p &gt; 0.05); nor in energy expenditure when exercising at 80, 100 and 120 steps min −1 , normalised to body weight ( p &gt; 0.05). Similarly, no difference was found in the change in normalised substrate utilisation for any of the activities ( p &gt; 0.05). Analysis suggested that higher daily energy expenditures for the men in Spear-17 was the result of higher physical demands resulting in a reduced demand for energy to thermoregulate compared to the women in Ice Maiden. The lack of differences between men and women in the change in energy expenditure and substrate utilisation, suggests no sex difference in response to exposure to extreme environments.
Optimal Multilayer Adaptation of SVC Video over Heterogeneous Environments (2008)

Scalable video coding (SVC) is a new video coding format which provides scalability in three‐dimensional (spatio‐temporal‐SNR) space. In this paper, we focus on the adaptation in SNR dimension. Usually, an SVC bitstream may contain multiple spatial layers, and each spatial layer may be enhanced by several FGS layers. To meet a bitrate constraint, the fine‐grained scalability (FGS) data of different spatial layers can be truncated in various manners. However, the contributions of FGS layers to the overall/collective video quality are different. In this work, we propose an optimized framework to control the SNR scalability across multiple spatial layers. Our proposed framework has the flexibility in allocating the resource (i.e., bitrate) among spatial layers, where the overall quality is defined as a function of all spatial layers′ qualities and can be modified on the fly.
Hepatic and Splenic Injury in Dogs Caused by Direct Impact to the Heart (1983)

The purpose of this study was to explore the possibility that nonpenetrating cardiac impact can directly result in hepatic and splenic injury through hemodynamic effects. Impact upon the anterior surface of the heart was produced in 34 open-chest anesthetized dogs. In 15 dogs the velocity of impact was 12 m/sec and in 19 dogs it was 18 m/sec. Pressure in the inferior vena cava transiently reached 194 +/- 25 mm Hg in the dogs impacted at 12 m/sec and 377 +/- 44 mm Hg in dogs impacted in 18 m/sec. Aortic pressure transiently reached 449 +/- 32 mm Hg in dogs impacted at 12 m/sec and 682 +/- 33 mm Hg in dogs impacted at 18 m/sec. Gross capsular lacerations of the liver occurred in six dogs (18%) following cardiac impact. All dogs showed hepatic congestion and most showed microscopic injury of liver cords, central veins, and portal tracts. Dogs that survived cardiac impact for the duration of observation (90 minutes) showed focal acute inflammation of liver triads and hepatic sinusoids, indicating a more subtle degree of injury. The spleens of eight dogs showed areas of grossly visible subcapsular hemorrhage. Subcapsular congestion of the spleen occurred in almost all dogs. This study shows therefore that nonpenetrating cardiac impact may result in hepatic and splenic injury. A likely mechanism may be the extraordinarily high venous pressure that develops at the instant of impact, although transient striking elevations of arterial pressure may also contribute.
Multiple Factors That Influence Wireline Formation Tester Pressure Measurements and Fluid Contacts Estimates (2001)

Pressure measurements using conventional wireline formation testers (WFTs) can be influenced by near-wellbore effects such as mudcake buildup and filtrate invasion, which are coupled physical events. These combined effects can change the interpretation of the pressure data, shifting the gradient curves and the fluid contact depths.Recent papers have discussed corrections for wettability and for capillary pressure effects on formation tester measurements, the next steps needed for improved predictive measurements.1,2,3 Suggestions by different investigators have stimulated interest in several research directions. Because the foregoing effects are the result of mud filtrate invasion, which normally involves multiphase flow, it is necessary to quantify all competing results using a numerical simulator that models all effects rigorously. The work described in this paper models the complete process quantitatively with an invasion simulator that includes the dynamically coupled effects of mudcake growth and multiphase, immiscible filtrate invasion.The simulator is used to model the invasion profile, that is, the changing oil-water ratio while pumping. It includes wettability and capillary pressure effects. Many of the parameters predicted in the simulation can be crosschecked from log data, including mobility estimates from WFTs and fluid saturations from NMR and array induction logs. Modern WFTs such as the Reservoir Description Tool (RDT) can monitor the fluid properties while pumping.4 This information can, in turn, be used to determine the volume fractions of the produced fluids. The same simulator used for invasion is used to match pump-out results and determine supercharge (i.e., elevated pressures near the wellbore) and capillary pressure effects.Several field examples are used to illustrate how these methods are combined to correct pressure measurements, gradients, and fluid contacts.
A Pro-Active Beamforming Protocol for Multi-Gbps Millimeter-Wave WPAN Systems (2010)

In this paper, we proposes the pro-active beamforming (BF) protocol realized in media access control (MAC) layer following IEEE 802.15.3c criteria for millimeter-wave 60GHz wireless personal area networks (60GHz WPANs). The pro-active BF may be used when the piconet controller (PNC) is the source of data to one or multiple devices (DEVs). It allows multiple DEVs to train their own receiver antennas for optimal reception from the PNC with lower overhead. The pro-active BF realizes part of BF operation in association process, extending the system's BF capability. It also enables DEVs to associate with PNC with directional antenna pattern, thus enlarges the coverage area of a piconet. Since it may train multiple users simultaneously based on the proposed multi-resolution codebooks, it significantly decreases the BF set-up time and mitigates the high path loss of 60GHz WPAN systems. Simulation results show that the proposed pro-active BF further reduce more than 20% of the BF set-up time comparing with on-demand BF in the multiple DEVs scenarios. It is completely compliant to IEEE 802.15.3c, and adopted by IEEE 802.15.3c as an important compliment to the on-demand BF to realize Giga-bit-per-second (Gbps) communication in WPAN Systems.
Real-Time Implementation of Cross-Layer Optimization: Multi-Antenna High Speed Uplink Packet Access (2006)

We present a multi-antenna real-time implementation of a cross-layer uplink scheduler based on a recently developed framework. We outline the theory behind the stability-optimal scheduler, which achieves the entire stability region of the multiple access channel. We discuss the trade-off between theoretical optimality and real-time operation under real-world constraints, which leads to the development of an efficient fair scheduler. Finally, we evaluate the performance of the fair scheduler in experimental measurements (on state-of-the-art hardware) in a typical office scenario, which shows an increase in spectral efficiency and the possibility to guarantee a certain link quality of service threshold.
The Pyrogenicity of the Synthetic Adjuvant Muramyl Dipeptide and Two Structural Analogues (1978)

The pyrogenic efect of the synthetic adjuvant N-acetylmuramyl-L-alanine-D-isoglutamine, also known as muramyl dipeptide (MDP), was studied in rabbits. MDP induced biphasic fevers in rabbits, but two structural analogues, N-acetylmuramyl-L-alanine-D-glutamic acid (MDPA) and the dimethylester of MDPA, were 10 times less pyrogenic. This finding was supported by studies in which MDP and its analogues released leukocytic pyrogen (LP) from rabbit phagocytic cells in vitro. In addition, MDP released LP from human phagocytes. Human phagocytes, however, required a 10-fold greater concentration of MDP than did rabbit cells. The structural analogues were similarly less effective than the parent molecule in releasing LP from human cells. All preparations of MDP were negative in the limulus amebocyte lysate test and failed to show pyrogenic cross-tolerance with bacterial endotoxin. Thus MDP, which is a pyrogenic molecule, is also able to release LP from rabbit phagocytes and to a lesser degree from human phagocytes, but does not cause gelation of limulus amebocyte lysate.
Darwin-WGA: A Co-processor Provides Increased Sensitivity in Whole Genome Alignments with High Speedup (2019)

Whole genome alignment (WGA) is an indispensable tool in comparative genomics to study how different life-forms have been shaped by evolution at the molecular level. Existing software whole genome aligners require several CPU weeks to compare a pair of mammalian genomes and still miss several biologically-meaningful, high-scoring alignment regions. These aligners are based on the seed-filter-and-extend paradigm with an ungapped filtering stage. Ungapped filtering is responsible for the low sensitivity of these aligners but is used because it is 200× faster than performing gapped alignment, using dynamic programming, in software. In this paper, we show that both performance and sensitivity can be greatly improved by using a hardware accelerator for WGA. Using the genomes of two roundworms (C. elegans and C. Briggsae) and four fruit flies (D. melanogaster, D. simulans, D. yakuba, and D. pseudoobscura), we show that replacing ungapped filtering with gapped filtering increases the number of matching base-pairs in alignments by up to 3×. Our accelerator, Darwin-WGA, is the first hardware accelerator for whole genome alignment and accelerates the gapped filtering stage. Darwin-WGA also employs GACT-X, a novel algorithm used in the extension stage to align arbitrarily long genome sequences using a small on-chip memory, that provides better quality alignments at 2× improvement in memory and speed over the previously published GACT algorithm. Implemented on an FPGA, Darwin-WGA provides up to 24× improvement (performance/$) in WGA over iso-sensitive software. An ASIC implementation of the proposed architecture on TSMC 40nm technology takes around 43W power with 36mm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> area. It achieves up to 10× performance/watt improvement on whole genome alignments over state-of-the-art software at higher sensitivity, and up to 1,500× performance/watt improvement compared to iso-sensitive software. Darwin-WGA is released under open-source MIT license and is available from https://github.com/gsneha26/Darwin-WGA.
Thermomechanical Fatigue of Polymer Matrix Composites (1996)

The present research was undertaken to evaluate the effects of mechanical constraint on the response of polymer matrix composites during thermal cycling. Analytical and experimental techniques were used to characterize the response of carbon-fiber-reinforced cyanate ester and bismaleimide composites. Cross-ply laminates were subjected to thermal cycles from 24 to 177°C in the unconstrained, fully constrained, and overconstrained conditions. Laminate response, damage mechanisms, and residual compressive properties were characterized for each material and degree of constraint. The results of this research indicate that the level of constraint can have a significant effect on the response of polymer matrix composites during thermal cycling. However, longer-term testing is required to determine if the observed changes in response will ultimately affect the final failure mode and fatigue endurance of the materials.
Two-Fold Noise-Cancelling Low-Noise Amplifier in 28-nm CMOS (2019)

In this paper, a low-noise amplifier (LNA) employing a cross-coupled common-gate stage for wideband input matching is presented. By applying a two-fold noise cancellation technique, the channel thermal noise of the first stage is removed which improves its noise performance and linearity. We perform a detailed analysis of the transfer function, noise and linearity, which are then verified in simulations in TSMC 28-nm LP CMOS technology. The presented LNA achieves a power gain of 18.9-16 dB within 100 MHz up to 3.7 GHz and the input and output return loss of better than 10 dB. The IIP3 is +2.8 dBm and the noise figure (NF) ranges 1.58-2.4 dB over the band of interest with 24 mW DC power consumption.
ChemInform Abstract: Conformational Control of Enolate Geometry: A Short Synthesis of Germacrene‐D. (1986)

Abstract Aus dem Cyclohexenon (I) wird Germacren D (VIII) hergestellt und in Mintsul‐ ?d (IX) bzw. β‐Bourbonen (X) übergeführt.
Characterization of soluble forms of nonchimeric type V adenylyl cyclases (1997)

Type V adenylyl cyclase (ACV) belongs to the family of Ca2+-inhibited cyclases. We have generated two soluble forms of the enzyme containing the C1 or C1a region (which lacks the C-terminal 112 amino acids) linked to the C2 domain and compared their regulation with the full-length ACV. All three forms of ACV were stimulated by the alpha subunit of the stimulatory G protein Gs (G(s alpha)) and forskolin. However, the synergistic stimulation by both these activators was markedly enhanced in the soluble enzymes. Moreover, the alpha subunit of the inhibitory G protein Gi (G(i alpha)) inhibited all forms of the enzyme, indicating that the regions for G(s alpha) and G(i alpha) interaction are preserved in the soluble forms. Ca2+ inhibited forskolin-stimulated adenylyl cyclase (AC) activity of the full-length and C1-C2 forms of ACV but did not alter the activity of the C1a-C2 form. Maximal stimulation of AC activity by combination of G(s alpha) and forskolin obliterated the Ca2+-mediated inhibition of the full-length and C1-C2 forms of ACV. In 45Ca2+ overlay experiments, the C1-C2 but not the C1a-C2 soluble ACV bound Ca2+. Moreover, proteins corresponding to the C1a and C2 domains did not bind calcium. On the other hand, the proteins corresponding to C1 and its C-terminal 112 amino acids (C1b) bound 45Ca2+. To our knowledge, this is the first report of nonchimeric soluble forms of AC in which regulation by G(s alpha) and G(i alpha) is preserved. Moreover, we demonstrate that the 112 amino acid C1b region of ACV is responsible for the binding of Ca2+ and inhibition of enzyme activity.
Investigation of basic imaging properties in digital radiography. I. Modulation transfer function (1984)

The effect of various digital parameters, such as the sampling aperture, sampling distance, and display aperture, on the modulation transfer function (MTF) of digital radiographic imaging systems was investigated by means of theoretical simulation studies. The MTFs were also determined experimentally to confirm the relationship used in the simulation studies. The results indicate that the overall MTF of a digital system cannot specify the resolution properties in the same way as can the MTFs of analog systems. The MTF of a digital system may include a "false" response due to aliasing, which could lead to an incorrect interpretation of the resolution properties. The magnitude of aliasing that will occur in a digitized signal depends on the sampling parameters chosen and on the frequency content of the radiologic object being imaged. Thus, the type of object to be detected as well as various digital parameters must be considered in the design and evaluation of digital imaging systems.
A Framework for P2P E-Business Collaboration (2005)

This work describes an enhancement to the loop-mediated isothermal amplification (LAMP) reaction which results in improved performance. Enhancement is achieved by adding a new set of primers to conventional LAMP reactions. These primers are termed "swarm primers" based on their relatively high concentration and their ability to create new amplicons despite the theoretical lack of single-stranded annealing sites. The primers target a region upstream of the FIP/BIP primer recognition sequences on opposite strands, substantially overlapping F1/B1 sites. Thus, despite the addition of a new primer set to an already complex assay, no significant increase in assay complexity is incurred. Swarm priming is presented for three DNA templates: Lambda phage, Synechocystis sp. PCC 6803 rbcL gene, and human HFE. The results of adding swarm primers to conventional LAMP reactions include increased amplification speed, increased indicator contrast, and increased reaction products. For at least one template, minor improvements in assay repeatability are also shown. In addition, swarm priming is shown to be effective at increasing the reaction speed for RNA amplification via RT-LAMP. Collectively, these results suggest that the addition of swarm primers will likely benefit most if not all existing LAMP assays based on state-of-the-art, six-primer reactions.
The Utilization of Biomechanics to Understand and Manage the Acute and Long-term Effects of Concussion (2015)

The acute and long-term effects of concussive and subconcussive head impacts on brain health have gained tremendous attention over the past five years. The treatment and management of concussion involves multiple providers from multiple disciplines and backgrounds. Varied backgrounds and approaches to assessing cognitive and motor function before and post-concussion are limiting factors in the efficient and effective management of concussion as discipline-specific rating scales and assessments serve as a barrier to effective patient hand-offs between providers. Combining principles of motor behavior with biomechanical approaches to data analysis has the potential to improve the continuity of care across the multiple providers managing athletes with concussion. Biomechanical measures have been developed and validated using mobile devices to provide objective and quantitative assessments of information processing, working memory, set switching, and postural stability. These biomechanical outcomes are integral to a clinical management algorithm, the Concussion Care Path, currently used across the Cleveland Clinic Health System. The objective outcomes provide a common data set that all providers in the spectrum of care can access which facilitates communication and the practice of medicine and in understanding the acute and long-term effects of concussion and subconcussive exposure on neurological function.
Distill: Domain-Specific Compilation for Cognitive Models (2021)

This paper discusses our proposal and implementation of Distill, a domain-specific compilation tool based on LLVM to accelerate cognitive models. Cognitive models explain the process of cognitive function and offer a path to human-like artificial intelligence. However, cognitive modeling is laborious, requiring composition of many types of computational tasks, and suffers from poor performance as it relies on high-level languages like Python. In order to continue enjoying the flexibility of Python while achieving high performance, Distill uses domain-specific knowledge to compile Python-based cognitive models into LLVM IR, carefully stripping away features like dynamic typing and memory management that add overheads to the actual model. As we show, this permits significantly faster model execution. We also show that the code so generated enables using classical compiler data flow analysis passes to reveal properties about data flow in cognitive models that are useful to cognitive scientists. Distill is publicly available, is being used by researchers in cognitive science, and has led to patches that are currently being evaluated for integration into mainline LLVM.