gebhart/patrepeval huggingface dataset:
Exploiting Fine-Grain Parallelism in Recursive LU Factorization (2012)

The LU factorization is an important numerical algorithm for solving system of linear equations. This paper proposes a novel approach for computing the LU factorization in parallel on multicore architectures. It improves the overall performance and also achieves the numerical quality of the standard LU factorization with partial pivoting. While the update of the trailing submatrix is computationally intensive and highly parallel, the inherently problematic portion of the LU factorization is the panel factorization due to its memory-bound characteristic and the atomicity of selecting the appropriate pivots. We remedy this in our new approach to LU factorization of (narrow and tall) panel submatrices. We use a parallel fine-grained recursive formulation of the factorization. It is based on conflict-free partitioning of the data and lock-less synchronization mechanisms. Our implementation lets the overall computation naturally flow with limited contention. Our recursive panel factorization provides the necessary performance increase for the inherently problematic portion of the LU factorization of square matrices. A large panel width results in larger Amdahl's fraction as our experiments have revealed which is consistent with related efforts. The performance results of our implementation reveal superlinear speedup and far exceed what can be achieved with equivalent MKL and/or LAPACK routines.
P04-41. Kinetics of antibody neutralization and viral evolution following envelope vaccination in SIV-infected rhesus monkeys (2009)

Poster presentation. Conclusion: Our results indicate that env vaccination is associated with an accelerated development of autologous neutralizing antibodies. These antibodies were focused at least in part on the V1 region of Env, since there was selective pressure in this region of the envelope for the evolution of mutational changes.
ChemInform Abstract: Asymmetric Synthesis. Part 25. Diastereoselective Synthesis of Indolizidinediol Alkaloid Analogs. (1991)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
Measurement of electroweak-induced production of Wγ with two jets in pp collisions at s = 8 $$ \sqrt{s}=8 $$ TeV and constraints on anomalous quartic gauge couplings (2017)

A measurement of electroweak-induced production of W and two jets is performed, where the W boson decays leptonically. The data used in the analysis correspond to an integrated luminosity of 19.7 fb -1 collected by the CMS experiment in s = 8 TeV proton-proton collisions produced at the LHC. Candidate events are selected with exactly one muon or electron, missing transverse momentum, one photon, and two jets with large rapidity separation. An excess over the hypothesis of the standard model without electroweak production of W with two jets is observed with a significance of 2.7 standard deviations. The cross section measured in the fiducial region is 10.8 4.1(stat) 3.4(syst) 0.3(lumi) fb, which is consistent with the standard model electroweak prediction. The total cross section for W in association with two jets in the same fiducial region is measured to be 23.2 4.3(stat) 1.7(syst) 0.6(lumi) fb, which is consistent with the standard model prediction from the combination of electroweakand quantum chromodynamics-induced processes. No deviations are observed from the standard model predictions and experimental limits on anomalous quartic gauge couplings f M,0-7 / 4 , f T,0-2 / 4 , and f T,5-7 / 4 are set at 95% confidence level.
Glossary of terms used in well logging (1970)

Abstract The "Glossary of Terms Used in Geophysical Exploration" published in Geophysics in February 1968 met with some justified criticism because of the emphasis on seismic exploration for oil. The Addendum published in April 1969 attempted to restore balance as far as mineral exploration was concerned. But one major area of geophysics had still been slighted: that of well logging. This present addendum is intended to complete our coverage of geophysical exploration terms.
Pre-Erythrocytic Vaccine Candidates in Malaria (2016)

A vaccine providing sterile immunity against malaria has been shown to be possible with antigens from the pre-erythrocytic stages of malaria. Therefore, it is reasonable to focus vaccine development efforts on the pre-erythrocytic stages, consisting of both sporozoites and liver stage parasites, where it is expected that sterile immunity against the parasite can be elicited to block the development of blood stage infection, clinical disease, and resulting parasite transmission. Accordingly, we will review the preclinical and clinical studies of malaria pre-erythrocytic efforts as well as highlight the advances, trends, and roadblocks encountered in these efforts.
Fully-integrated SONET OC48 transceiver in standard CMOS (2002)

A fully-integrated transceiver in standard 0.18 /spl mu/m CMOS exceeds all SONET OC-48 requirements. The serial interfaces are 2.488 or 2.667 Gb/s CMC and the parallel ones are 622 or 666 Mb/s LVDS. The output clock rms jitter is 1 ps and total power consumption including all the input/output interfaces is 500 mW.
Real-time Informative Surgical Skill Assessment with Gaussian Process Learning (2021)

Endoscopic Sinus and Skull Base Surgeries (ESSBSs) is a challenging and potentially dangerous surgical procedure, and objective skill assessment is the key components to improve the effectiveness of surgical training, to re-validate surgeons' skills, and to decrease surgical trauma and the complication rate in operating rooms. Because of the complexity of surgical procedures, the variation of operation styles, and the fast development of new surgical skills, the surgical skill assessment remains a challenging problem. This work presents a novel Gaussian Process Learning-based heuristic automatic objective surgical skill assessment method for ESSBSs. Different with classical surgical skill assessment algorithms, the proposed method 1) utilizes the kinematic features in surgical instrument relative movements, instead of using specific surgical tasks or the statistics to assess skills in real-time; 2) provide informative feedback, instead of a summative scores; 3) has the ability to incrementally learn from new data, instead of depending on a fixed dataset. The proposed method projects the instrument movements into the endoscope coordinate to reduce the data dimensionality. It then extracts the kinematic features of the projected data and learns the relationship between surgical skill levels and the features with the Gaussian Process learning technique. The proposed method was verified in full endoscopic skull base and sinus surgeries on cadavers. These surgeries have different pathology, requires different treatment and has different complexities. The experimental results show that the proposed method reaches 100\% prediction precision for complete surgical procedures and 90\% precision for real-time prediction assessment.
Performance optimizations for wireless wide-area networks (2004)

We present a comparative performance study of a wide selection of optimization techniques to enhance application performance in the context of wide-area wireless networks (WWANs). Unlike in traditional wired and wireless IP-based networks, applications running over WWAN cellular environments are significantly affected by the vagaries of the cellular wireless medium. Prior research has proposed and analyzed optimizations at individual layers of the protocol stack. In contrast, we introduce the first detailed experiment-based evaluation and comparison of all such optimization techniques in a commercial WWAN testbed. This paper, therefore, summarizes our experience in implementing and deploying an infrastructure to improve WWAN performance.The goals of this paper are: (1) to perform an accurate benchmark of application performance over such commercially deployed WWAN environments, (2) to implement and characterize the impact of various optimization techniques across different layers of the protocol stack, and (3) to quantify their interdependencies in realistic scenarios. Additionally, we also discuss measurement pitfalls that we experienced and provide guidelines that may be useful for future experimentation in WWAN environments.
BIODEGRADABLE CONTRACEPTIVE DRUG DELIVERY SYSTEM. (1979)

Sustained release of drugs from polymeric matrices has received increased interest. However, unitl now only a few examples are available where steroids are covalently bonded to a polymeric system and no data are available about the coupling of steroids to biodegradable polymers. This paper reports a new derivatization of 17 alpha -ethynyl-17 beta -hydroxy steroids, which is applicable for attachment to biodegradable poly( alpha -amino acids). Poly(hydroxyalkyl)-L-glutamines are prepared through base catalyzed polymerization of gamma -benzyl-L-glutamate N-carboxyanhydride giving the polymeric benzyl-L-glutamate, followed by displacement of the benzyl group with the desired hydroxyalkyl amines. The polymers are water soluble but upon substitution with hydrophobic steroids become water insoluble. Microparticles of the drug-polymer conjugate have been subcutaneously implanted in female rats. Liquid scintillation counting of urine and feces indicate that the contraceptive steroid is released in near zero order kinetics for more than 200 days.
Synthesis, characterization and relaxation of highly organized side-chain liquid crystalline polymers (2007)

This paper is a review of recent work performed in our department on highly oriented side-chain liquid crystalline polymers made from aligned mesomorphic vinyl ether monomers. The chemistry involved in making the polymers, the techniques used for obtaining alignment of the monomers, the physical structure of the oriented polymers, and the dielectric relaxation are the presented topics. Thermal stabilization by crosslinking using bifuctional vinyl ether monomers is also described. Crosslinked polymers exhibited an almost reversible degree of mesogen group orientation after heating to 200°C.
Actively mode-locked grating coupled surface emitting semiconductor laser (GCSEL) (2003)

An external cavity, actively mode-locked grating coupled surface emitting semiconductor laser (GCSEL) is demonstrated for the first time. The pulse width from the oscillator is 27 ps and its optical spectrum bandwidth is 0.07 nm at 975.9 nm. ©2002 Optical Society of America.
An Extended SVD-based Terminal and Model Order Reduction Algorithm (2006)

The paper proposes a new combined terminal and model order reduction method for compact modeling of interconnect circuits. The new method extends the existing SVDMOR method by using higher order moment information for terminal responses during the terminal reduction and by applying separate SVD low-rank approximations on input and output terminals respectively. This is in contrast to SVDMOR method where input and output terminal responses are SVD approximated at the same time, which can lead to large error when the numbers of inputs and outputs are quite different. We analyze the passivity requirement for combined terminal and model order reduction and show the passivity enforcement may significantly hamper the terminal reduction effects. We also improve the computation efficiency of SVDMOR. Our experimental results show that ESVDMOR outperforms the SVDMOR in terms of accuracy for the similar reduced model sizes in a number of interconnect circuits when the input and output terminals are different
Towards the Verification of Human-Robot Teams (2005)

Human-Agent collaboration is increasingly important. Not only do high-profile activities such as NASA missions to Mars intend to employ such teams, but our everyday activities involving interaction with computational devices falls into this category. In many of these scenarios, we are expected to trust that the agents will do what we expect and that the agents and humans will work together as expected. But how can we be sure? In this paper, we bring together previous work on the verification of multi-agent systems with work on the modelling of human-agent teamwork. Specifically, we target human-robot teamwork. This paper provides an outline of the way we are using formal verification techniques in order to analyse such collaborative activities. A particular application is the analysis of human-robot teams intended for use in future space exploration.
Genome-wide association of major depression: description of samples for the GAIN Major Depressive Disorder Study: NTR and NESDA biobank projects (2008)

To identify the genomic regions that confer risk and protection for major depressive disorder (MDD) in humans, large-scale studies are needed. Such studies should collect multiple phenotypes, DNA, and ideally, biological material that allows gene expression analysis, transcriptomic, proteomic, and metabolomic studies. In this paper, we briefly review linkage studies of MDD and then describe the large-scale nationwide biological sample collection in Dutch twin families from the Netherlands Twin Register (NTR) and in participants in the Netherlands Study of Depression and Anxiety (NESDA). Within these studies, 1,862 participants with a diagnosis of MDD and 1,857 controls at low liability for MDD have been selected for genome-wide genotyping by the US Foundation for the National Institutes of Health Genetic Association Information Network. Stage 1 genome-wide association results are scheduled to be accessible before the end of 2007. Genome-wide association results are open-access and can be viewed at the dbGAP web portal (http://www.ncbi.nlm.nih.gov). Approved users can download the genotype and phenotype data, which have been made available as of 9 October 2007.
Bespoke Cache Enclaves: Fine-Grained and Scalable Isolation from Cache Side-Channels via Flexible Set-Partitioning (2021)

Cache partitioning is a principled defense against side-channel attacks on shared last-level caches (LLCs). Such defenses allocate isolated cache regions to distrusting applications and prevent a spy from monitoring the cache accesses of a victim. But current solutions have severe practical limitations. Way-partitioning is not scalable as the number of partitions is limited by cache associativity and page-coloring is inflexible as it requires coupled DRAM and LLC allocations in the same ratio. For cache partitioning to be practical, we need a scheme that can scale to a large number of fine-grained partitions and places no restrictions on DRAM allocations.This paper proposes Bespoke Cache Enclaves (BCE), a secure cache partitioning substrate that is scalable in supporting hundreds of isolated cache partitions and is flexible in allocating cache space independent of memory allocations. BCE allocates cache space at the granularity of a cluster, a group of a few sets (e.g., 64 KB in size). The key insight of BCE is a configurable cache indexing function (determining the line to set mapping) that guides cache lines of a domain to only the allocated cache sets, enabling flexible set-partitioning independent of memory allocations. BCE achieves this by modifying the cache indexing hardware to include a Cluster-Indirection Module (CIM), which maps logical-to-physical clusters of a domain and a Load-Balancing Hash (LBH), which uniformly distributes lines of a domain among its clusters. Our implementation of BCE with a 32MB 16-way LLC scalably supports up to 512 isolated partitions while incurring negligible storage overheads (<2%) and slowdown (1% on average) compared to a non-secure unpartitioned LLC.
A Study of The Relationship between The Interleukin‐6 Gene and Obstructive Sleep Apnea (2010)

Abstract Because obstructive sleep apnea (OSA) is associated with increased levels of inflammatory cytokines, we examined the relationship between OSA and polymorphisms for interleukin‐6 ( IL6 ). Six single nucleotide polymorphisms (SNPs) within IL6 were genotyped in 259 African Americans from the Cleveland Family Study with replication conducted in the Cardiovascular Health Study ( n = 124). OSA was dichotomized into apnea hypopnea index (AHI) &gt; 15, or on treatment versus absent: AHI &lt; 5. Logistic regression was conducted, adjusting for age and sex in models with and without body mass index (BMI). SNP IL6 –6021 was associated with a decreased risk of OSA after adjusting for BMI (Odds Ratio for T allele 0.24, 95%CI [0.09–0.67], p = 0.006, q = 0.07) under an additive model. This same allele was associated with increased BMI. The results from the replication sample were consistent in direction though not statistically significant ( p = 0.23). The SNPs were studied in European‐ Americans, although, the minor allele frequency in IL6 –6021 was too low (4%) for meaningful comparisons. A synonymous SNP within the IL6 coding region was protective of OSA in African Americans; with qualitatively similar findings observed in another cohort. This suggests that variants in IL6 may influence the risk of OSA in a pathway that is not explained by obesity. Clin Trans Sci 2010; Volume 3: 337–339
Design and Biological Evaluation of Novel, Balanced Dual PPARα/γ Agonists (2009)

An X-ray-guided design approach led to the identification of a novel, balanced class of alpha-ethoxy-phenylpropionic acid-derived dual PPARalpha/gamma agonists. The series shows a wide range of PPARalpha/gamma ratios within a rather narrow structural space. Advanced compounds possess favorable physicochemical and pharmacokinetic profiles and show a high efficacy in T2D and dyslipidemia animal models.
Stat! (2013)

Exploratory analysis on big data requires us to rethink data management across the entire stack -- from the underlying data processing techniques to the user experience. We demonstrate Stat! -- a visualization and analytics environment that allows users to rapidly experiment with exploratory queries over big data. Data scientists can use Stat! to quickly refine to the correct query, while getting immediate feedback after processing a fraction of the data. Stat! can work with multiple processing engines in the backend; in this demo, we use Stat! with the Microsoft StreamInsight streaming engine. StreamInsight is used to generate incremental early results to queries and refine these results as more data is processed. Stat! allows data scientists to explore data, dynamically compose multiple queries to generate streams of partial results, and display partial results in both textual and visual form.
Regularized Programming with the Bosque Language (2019)

The rise of Structured Programming and Abstract Data Types in the 1970’s represented a major shift in programming languages. These methodologies represented a move away from a programming model that reflected incidental features of the underlying hardware architecture and toward a model that emphasized programmer intent more directly. This shift simultaneously made it easier and less error prone for a developer to convert their mental model of a system into code and led to a golden age of compiler and IDE tooling development. This paper takes another step on this path by further lifting the model for iterative processing away from low-level loop actions, enriching the language with algebraic data transformation operators, and further simplifying the problem of reasoning about program behavior by removing incidental ties to a particular computational substrate and indeterminate behaviors. We believe that, just as structured programming did years ago, this regularized programming model will lead to massively improved developer productivity, increased software quality, and enable a second golden age of developments in compilers and developer tooling.
Thermal Transformation of Indigenous Diaspore (2015)

Indigenous diaspore is a high density hard mineral. It becomes harder on heating up to 550oC. The dispore has been characterized thermally by thermal gravimetric analysis and x-ray diffraction. Results show that the indigenous mineral increases its density after heating at various temperatures for 1 hour. Increase in density points out the increase in hardness due to the formation of a more crystalline compact material corundum using as abrasive.
A Demographic Study in Subgroups of Women Seeking Help for Premenstrual Syndrome (1989)

Eighty-two consecutive cases of women who sought help for premenstrual syndrome (PMS) at the PMS clinic, University Hospital of Umeå, Sweden were studied. The presence of PMS was diagnosed by prospective daily rating of symptoms. The women also completed a modified Moos menstrual distress questionnaire (MDQ)- and an Eysenck Personality Inventory (EPI). Two patients were excluded because of poor daily ratings. The remaining 80 women were divided after the diagnostic procedure into three groups: group I with pure PMS, group II called the premenstrual aggravation group and group III where cyclicity of symptoms could not be ascertained. Several demographic factors concerning marital status, education, employment, and previous medical, psychiatric and PMS history were studied, as well as menstrual problems per se. No significant differences between the three subgroups were found in the analysis of the demographic factors. The only difference was that the pure PMS group contained a significantly smaller number of patients with pathologically high scores for neuroticism in the EPI, together with a smaller number of patients with a psychiatric history.
Portable terahertz spectrometer with InP related semiconductor photonic devices (2012)

We demonstrate several optical beating sources based on 1.55 &#956;m photonic devices. Broadband antenna-integrated, low-temperature-grown (LTG) InGaAs photomixers for widely tunable continuous-wave THz generation and detection are also verified. The novel optical beat sources show a beat frequency tuning range from 0.3THz to over 1.34 THz. The dual-mode laser diode (DML) consists of one phase and two active sections. Micro-heaters are used to independently tune the wavelengths of the two DML laser modes. Broadband antenna-integrated, LTG InGaAs photomixers are used as THz wave generators and detectors. This use of 1.55 &#956;m photonic devices could connect current THz and InP-based communication technologies because the well-developed InP-based optoelectronic technologies are already expected to enable the integration of tunable LD sources with other optical components such as semiconductor optical amplifiers (SOAs), electro-absorption modulators, and waveguide-type THz photomixers. As well as realizing an optical fibercoupled THz time-domain spectroscopy (TDS) system, we also successfully achieved continuous frequency tuning of the CW THz emissions. Our results show that photomixing using the photonic devices is a promising approach to realize compact, cost-effective, and portable THz spectrometer.
Induced Polarization (1990)

This is the completely revised and updated version of the popular and highly regarded textbook, Applied Geophysics. It describes the physical methods involved in exploration for hydrocarbons and minerals, which include gravity, magnetic, seismic, electrical, electromagnetic, radioactivity, and well-logging methods. All aspects of these methods are described, including basic theory, field equipment, techniques of data acquisition, data processing and interpretation, with the objective of locating commercial deposits of minerals, oil, and gas and determining their extent. In the fourteen years or so since the first edition of Applied Geophysics, many changes have taken place in this field, mainly as the result of new techniques, better instrumentation, and increased use of computers in the field and in the interpretation of data. The authors describe these changes in considerable detail, including improved methods of solving the inverse problem, specialized seismic methods, magnetotellurics as a practical exploration method, time-domain electromagnetic methods, increased use of gamma-ray spectrometers, and improved well-logging methods and interpretation.