gebhart/patrepeval huggingface dataset:
Type inference with simple selftypes is NP-complete (1997)

. The metavariable self is fundamental in object-oriented languages. Typing self in the presence of inheritance has been studied by Abadi and Cardelli, Bruce, and others. A key concept in these developments is the notion of selftype, which enables flexible type annotations that are impossible with recursive types and subtyping. Bruce et al. demonstrated that, for the language TOOPLE, type checking is decidable. Open until now is the problem of type inference with selftype. In this paper we present a simple type system with selftype, recursive types, and subtyping, and we prove that type inference is NP-complete. With recursive types and subtyping alone, type inference is known to be P-complete. Our example language is the object calculus of Abadi and Cardelli. Both our type inference algorithm and our lower bound are the first such results for a type system with selftype. CR Classification: Categories and Subject Descriptors: D.3.2 [Programming Languages]: Language Classifications---...
TET2 Mutations Revealed by Whole Genome Sequencing in Adult T-Cell Leukemia. (2012)

Abstract Abstract 2697 Adult T cell leukemia (ATL) is an aggressive peripheral T-cell neoplasm highly resistant to conventional therapies. The development of ATL is thought to be initiated by immortalization of T cells by human T cell leukemia virus type I (HTLV-I) infection in early childhood, followed by accumulating genetic hits during a long latency period, which eventually cause neoplastic transformation of T-cells. However, little has been known about those genetic hits that are involved in the pathogenesis of ATL, except for the role of tax protein in T-cell immortalization and alterations of other genes, including TP53, p16 and TCF8. So, in order to understand the genetic basis of ATL, we performed whole genome sequencing of paired-normal DNA from an ATL patient. In total 77 non-silent somatic mutations were detected, among which a TET2 mutation (R1261C) immediately drew our attention. TET2 mutations are found in a wide variety of myeloid malignancies in high frequency and implicated in their pathogenesis. The TET families of proteins are thought to be involved in the epigenetic regulation of gene expression through catalyzing conversion of 5'-methyl cytosine to 5'-hydroxymethyl cytosine, which are supposed to be further converted to unmethylated cytosine. One of the recent interests in TET2 mutations was the recent report of frequent TET2 mutations in peripheral T cell neoplasms, including angioimmunoblastic T-cell lymphomas, peripheral T-cell lymphomas not otherwise specified, as well as other B cell neoplasms, which is in agreement with the observation in TET2-deficient mice, which showed an expansion of bone marrow progenitor pools involving immature lymphoid populations, indicating that deregulated epigenetic machineries could be also involved in the development of mature lymphoid neoplasms. To explore this hypothesis, 144 samples of ATL were screened for mutations in TET2 and other epigenetic regulators commonly mutated in myeloid malignancies, including DNMT3A, IDH1/2 and spliceosome genes, using target deep sequencing. We found 16 TET2 mutations in 13 out of the 144 ATL cases (9%) together with other mutations, which was similar to the frequencies reported in other peripheral T cell neoplasms. Deep sequencing allowed for accurate estimation of allelic burden of these mutations. In most cases, TET2 mutations were found in the major tumor populations, indicating their early origin during clonal evolution. In addition, DNMT3A (2%), IDH1/2 (1%), SF3B1 (2%), ZRSR2 (1%) were also mutated, although at lower frequencies. In conclusion, we found TET2 mutation through whole genome sequencing. TET2 mutations were relatively common in ATL. Together with other mutations frequently found in myeloid malignancies, our finding provided an intriguing insight into the role of deregulated DNA methylation in the pathogenesis of ATL and also suggested that a common mechanism may underlie between the two very different blood cancers. Disclosures: No relevant conflicts of interest to declare.
Two-phase flow visualization and relative permeability measurement in transparent replicas of rough-walled rock fractures (1991)

CoIQ UI
Mechanism of Intestinal Absorption of Drugs from Oil in Water Emulsions. I (1972)

Mechanism of the absorption of drugs from oil in water emulsions was studied in the rat large intestine. Synthesized esters of fatty acids and phthalic acid-0.1% Polysorbate 80 was chosen as the emulsion system, the oil/water volume ratio was varied from 0 to 1, and the absorption from emulsions of sulfapyridine, salicylamide, and of acetanilide was investigated using in situ recirculation and loop techniques.In the absorption of drugs having partition coefficients of larger than one, amount of drugs in aqueous phase rather than their concentrations was a critical factor for the absorption from oil in water emulsions.In the absorption of poorly oil-soluble drugs, drug absorption from emulsions was larger than the one from aqueous solutions when the overall volume of emulsions was kept constant, which suggested the importance of absolute volume of aqueous phase in the absorption of drugs from such systems.Usually drugs dissolved in oil were absorbed mainly via aqueous phase.
Bariatric-Metabolic Surgery Utilisation in Patients With and Without Diabetes: Data from the IFSO Global Registry 2015–2018 (2021)

Patients with T2DM had different characteristics to those without T2DM. Older men were more likely to have T2DM, with higher rates of BMI <35 kg/m<sup>2</sup> and increased likelihood of food rerouting operations.
Etude comparative de différentes solutions bas-coût pour l'intégration de réseaux d'antennes en bande Ku (2003)

International audience
Cloning and sequencing of genes encoding the beta subunits of the ATP-synthases from<i>Enterobacter aerogenes</i>and<i>Flavobacterium ferrugineum</i> (1988)

The genes encoding the β-subunit of the ATPase from Enterobacter aerogenes and Flavobacterium ferrugineum were cloned and their sequences determined. The predicted amino acid sequences were compared with the corresponding proteins from other eubacteria. Homology values of 58–98% confirmed the highly conserved character of the ATPase β-subunit. The enterobacterial (Escherichia coli, E. aerogenes) β-subunits represent the shortest sequences, whereas the corresponding F. ferrugineum protein exhibits an additional 33 amino acid residues as insertions at three different locations.
Comparison of the subacute toxicity and efficacy of 3-hydroxypyridin-4- one iron chelators in overloaded and nonoverloaded mice (1991)

Five orally effective iron chelators of the 3-hydroxypyridin-4-one series have been administered intraperitoneally to iron-overloaded and nonoverloaded male mice at a dose of 200 mg/kg/24 h for a total of 60 days to investigate the effect on iron loading and toxicity. There was a significant reduction in hepatic iron at the end of the study in the iron-overloaded mice with all compounds studied using chemical iron quantitation (P less than .001) and with Perls' stain (P less than .01). Liver iron removal with the hydroxypyridinones ranged from 37% with CP20 to 63% with CP51, compared with 46% removal for desferrioxamine (DFO). There was no significant reduction in splenic or cardiac iron with any chelator. There were no deaths in iron-overloaded animals receiving any of the hydroxypyridin-4-ones, but significantly more deaths in the nonoverloaded groups as a whole (P less than .03). No weight loss was observed with any chelator. Significant reductions in hemoglobin and white cell count were observed with CP20(L1). No histologic abnormalities of kidney, spleen, bone marrow, or stifle joints were observed. Intracytoplasmic inclusion bodies were observed in the centrilobular hepatocytes of animals administered each of the hydroxypyridin-4-ones, while the DFO-treated and control groups showed no such changes.
A Mobile Phone Based Authentication Service for Home Appliances (2007)

We demonstrate a prototype of a mobile phone based authentication service that can easily be used by home appliance users. The system employs the mobile phone's strong user identification capabilities such as UIMs, device identifiers or digital certificates to authenticate users over the mobile phone network while services are delivered to their appliances via the Internet. The authentication method is targeted to be used on home appliances such as digital televisions with web browsers which do not have rich interfaces. Therefore it is designed not to require users to enter any user information or to install any hardware and/or software into the appliance. This is achieved by binding a service session on the Internet and mobile network session using a barcode scanner on a mobile phone terminal. The prototype also provides an alternative method for mobile phone terminals which does not have a barcode scanner function to complement user availability.
Micro-capillary tube in situ hybridisation: A novel method for processing small individual samples (2000)

We have developed a strategy to individually analyse large numbers of small tissue samples by RNA in situ hybridisation. Samples of approximately 0.4 mm x 0.5 mm are processed in rectangular capillary tubes fitted with nylon mesh and glass beads using standard protocols. Eighteen samples can be assayed simultaneously without loss, and background is low. Specifically, mouse Sox2 RNA expression is examined in the chorion of extraembryonic tissue of 7.5 days post-coitum embryos. This technique works equally well for double RNA labelling and could potentially be used for antibody staining of proteins.
STEM characterization on silica nanowires with new mesopore structures by space-confined self-assembly within nano-scale channels (2008)

"Critical" channel diameters were found (below which space confinement takes effect, leading to more uniform and ordered mesopore structures) in the study of evaporation-induced co-assembly of triblock-copolymer (P123) and silica molecular precursors (TEOS, tetraethyl orthosilicate) by employing channels in anodized aluminum oxide (AAO, 13-200 nm channel diameter) and in track-etched polycarbonate (EPC, 10-80 nm channel diameter) and for the first time we have observed a new mesopore structure (i.e., packed hollow spheres) in silica nanowires formed in AAO channels with diameters from 30 to 80 nm.
Two novel mutations of <i>SCN9A</i> (Nav1.7) are associated with partial congenital insensitivity to pain (2010)

Insensitivity to pain is a rare disorder that is commonly associated with Hereditary Sensory and Autonomic Neuropathies (HSAN I-V) resulting often in autonomic dysfunction and premature death. Very few individuals have been reported with pain insensitivity lacking such autonomic neuropathies. We performed genetic, neurologic, psychological, and psychophysical evaluations in such an individual (OMIM 243000) and her first degree relatives. Sequence analysis of genomic DNA revealed two novel SCN9A mutations in this index case (IC). One was a non-conservative missense mutation (C1719R) in exon 26 present only in the IC and one parent. Further sequence analysis of the child's DNA revealed a 1-bp splice donor deletion in intron 17 which was also present in the other parent and one sibling. Detailed psychophysical testing was used to phenotypically characterize the IC, her family members, and 10 matched normal controls. Similar to family members and controls the IC showed normal somatosensory functioning for non-nociceptive mechanoreception and warmth. However, she demonstrated diminished ability to detect cool temperatures combined with profound deficits in heat and mechanical nociception. Congenital insensitivity to pain in our IC was associated with two novel SCN9A mutations which most likely resulted in a Nav1.7 channelopathy. However, in contrast to individuals with other SCN9A mutations, the observed pain insensitivity was relative and not absolute, which may be consistent with hypomorphic effects of one or both mutations. The ability to sense at least some danger signals may be advantageous and ameliorate the otherwise increased morbidity and mortality of some individuals with congenital insensitivity to pain.
Robotic Micromanipulation of Biological Cells with Friction Force-Based Rotation Control (2020)

Cell manipulation is a critical procedure in related biological applications such as embryo biopsy and intracytoplasmic sperm injection (ICSI), where the biological cell is required to be oriented to the desired position. To bridge the gap between the techniques and the clinical applications, a robotic micromanipulation method, which utilizes friction forces to rotate the cell with standard micropipettes, is presented in this paper. Force models for both in-plane and out-of-plane rotations are well established and analyzed for the rotation control. For better controllability, calibration steps are also designed for adjusting the orientation of the micropipette with a more efficient way. A cell orientation recognition algorithm based on the superpixel segmentation and spectral clustering is reported and achieved high validation accuracy (96%) for estimating the orientation of the oocyte. The extracted visual information further facilitates the feedback control of cell rotation. Experimental results show that the overall success rate for the cell rotation control was about 95% with orientation precision of ±1°.
<title>Status of high-rate low-occupancy scintillating fiber charged-particle tracking</title> (1993)

Issues necessary for good charged particle tracking in a solenoidal magnetic field are discussed. The advantages to high energy physics experiments of using a tracking detector made using scintillating fibers are presented. Upon passage of a charged particle through a fiber, light is emitted. For a fraction of the photons, the fiber acts like a wave guide, transmitting the photons to a transducer outside the active detection region. The design uses scintillating fibers of approximately 1 mm diameter and is highly segmented as well as capable of very high data rates. Systems with up to 10<SUP>6</SUP> channels are simple in design so that `industrialization' can easily be accomplished. Results from the production of prototypes are presented.
Two New Lignans from the Roots of<i>Pulsatilla koreana</i> (2010)

Two new lignans, (2 R,3 R)-2 β-(4''-hydroxy-3''-methoxybenzyl)-3 α-(4'-hydroxy-3'-methoxybenzyl)-γ-butyrolactone 2-O-( β-D-glucopyranoside) (1) and (1 S,2 R,3 S)-dimethyl-1,2,3,4-tetrahydro-3,6,7-trihydroxy-1-(3',4'-dihydroxyphenyl)naphthalene-2,3-dicarboxylate (2) together with nine known compounds (3-11) were isolated from the ethyl acetate fraction of the roots of Pulsatilla koreana. Their chemical structures were established based on physicochemical and spectroscopic data analyses. All isolates were investigated for their inhibition effects against the classical pathway of the complement system. Among them, compound 6 showed significant inhibitory activity with an IC (50) value of 75.9 µM, compounds 8 and 9 had moderate effects with IC (50) values of 182.2 and 166.5 µM, respectively.
Coverage Expansion through Dynamic Relay Vehicle Deployment in mmWave V2I Communications (2018)

In millimeter wave (mmWave) vehicle-toinfrastructure (V2I) communications for autonomous vehicles, the small coverage of road side units (RSUs) is an open problem. We propose a multi-hop relaying method using dynamic vehicle deployment in order to increase the coverage of RSUs. The key idea of our method is to leverage the movement controllability of autonomous vehicles to extend the multi- hop relay distance. The proposed deployment method considers blockage because it is a crucial problem in mmWave communications, although it is not a crucial problem in microwave communications. We formulate the deployment problem as an optimization problem and obtain its lower and upper bounds performances. We also introduce a mmWave connectivity graph, from which the vehicle position that achieves the lower bound performance can be obtained by solving a shortest-path problem. Simulation results demonstrate that even when only 7.5% of all vehicles'' positions are controllable, the proposed deployment method can achieve a coverage of 80%, which is more than twice the coverage achieved by the relaying without deployment.
Network dynamics of chalcogenide glasses. I. Germanium diselenide (1988)

The scattering function S(Q,E) of vitreous ${\mathrm{GeSe}}_{2}$ at 13 K was measured with inelastic neutron scattering over a wide range of variables (1<Q<8 A${\r{}}^{\mathrm{\ensuremath{-}}1}$, 0<E<45 meV), with use of a chopper spectrometer at the Intense Pulsed Neutron Source. The data are analyzed in terms of the effective one-phonon density of states G(E), the Q dependence of S(Q,E) at different values of energy transfer E, and the elastic structure factor ${S}_{\mathrm{el}(\mathrm{Q}}$). The data are discussed in terms of the normal modes of vibration of a Ge(${\mathrm{Se}}_{1/2}$${)}_{4}$ molecule. Certain features in the data can be unambiguously identified with such modes on the basis of the behavior of the dynamic structure factor S(Q,E) at fixed E. Other features cannot be explained in this way and their understanding must await the development of a detailed microscopic model.
Metal Matrix-Ceramic Reinforcement Interaction in Long Fiber MMCs (Al-SiC) Obtained with Different Preparation Technologies/ Die Wechselwirkungen bei der keramischen Verstärkung von Metallmatrix-Verbundwerkstoffen (Al-SiC) nach unterschiedlicher Herstellungstechnologie (1993)

Article Metal Matrix-Ceramic Reinforcement Interaction in Long Fiber MMCs (Al-SiC) Obtained with Different Preparation Technologies/ Die Wechselwirkungen bei der keramischen Verstärkung von Metallmatrix-Verbundwerkstoffen (Al-SiC) nach unterschiedlicher Herstellungstechnologie was published on October 1, 1993 in the journal Practical Metallography (volume 30, issue 10).
Quantitative Analysis of Atomic Resolution HAADF-STEM (Z-contrast) Imaging for PbTiO3 / SrTiO3 Substrate Dielectric Thin Films (2006)

Extended abstract of a paper presented at Microscopy and Microanalysis 2006 in Chicago, Illinois, USA, July 30 – August 3, 2006
Millions of cantilevers and atomic force microscopy up to 100 MHz (2004)

In this paper, gives an overview on a currently running project entitled "Atomic Force Microscopy up to 1GHz". The project is addressed in the following three issues; (i) nanocantilever fabrication, (ii) cantilever detection and excitation, and (iii) circuitry.
Computer program for dosage calculations (1984)

Journal Article Computer program for dosage calculations Get access Darrix C. Bjornson, M.S., MAJ, Darrix C. Bjornson, M.S., MAJ Chief Hematology-Oncology Pharmacy Pharmacy Service Search for other works by this author on: Oxford Academic Google Scholar Richard P. Mansour, M.D. MAJ Richard P. Mansour, M.D. MAJ Hematologv-Oncology Fellow Hematology-Oncology Service Department of Medicine Letterman Army Medical Center Presidio of San Francisco, CA 94129 Search for other works by this author on: Oxford Academic Google Scholar American Journal of Hospital Pharmacy, Volume 41, Issue 4, 1 April 1984, Pages 648–652, https://doi.org/10.1093/ajhp/41.4.648b Published: 01 April 1984
Protein C in murine neonatal sepsis (2005)

Introduction Community-acquired pneumonia remains a common condition worldwide. It is associated with significant morbidity and mortality. The aim of this study was to evaluate conditions that could predict a poor outcome. Design Retrospective analyse of 69 patients admitted to the ICU from 1996 to 2003. Demographic data included age, sex and medical history. Etiologic agents, multiorgan dysfunction, nosocomial infections, SAPS II and PORT scores were recorded for each patient. For statistical analysis we used a t test, chi-square test and Mann-Whitney U test on SPSS . A value of P less than 0.05 was considered significant. Results Forty-seven patients were male and 22 patients were female. Mean age was 52 years. Sixty-seven percent had serious pre-morbid conditions including pulmonary disease (34.8%), cardiac problems (36.2%), diabetes (13%) and chronic liver disease (5.8%); 40.6% were smokers, drug abusers or alcohol dependents. Sixtyeight patients required invasive mechanical ventilation. The average length of ventilation was 13.5 days, median 8 days. The mean SAPS II score was 40.14 and the mean PORT score was 141. The mortality rate was 27.5% (SAPS II estimated mortality, 35%). Complications reported were ARDS (40.6%), septic shock (34.8%), acute renal failure (2.9%), cardiac arrest (8.7%) and nosocomial infeccions (46.4%). Mortality rates were higher for previous hepatic (75%) and metabolic (33%) diseases. We found a close association between crude mortality and SAPS II score (P = 0.003) and development of complications (P = 0.0028). Respiratory dysfunction (P = 0.006) and septic shock (P = 0.022) were most significantly related to mortality. No significant differences were founded regarding age, comorbidities, PORT score, etiologic agents, nosocomial infections and length of invasive mechanical ventilation. Conclusions Previous hepatic chronic disease was strictly related to higher mortality as well as isolation of MRSA. ARDS and septic shock predicted a poor outcome. SAPS II score was the best severity indicator of mortality.
Chemico-pharmacological Studies on Antitussives. II (1962)

It has been found that 1-(3′, 4′-dihydroxyphenazyl)-4-(2-hydroxypropyl) piperazine dihydrochloride (TN-1261) is an effective antitussives of having 12% (with dogs) and 10% (with cats) of codein action. The action towards centripetal path (the action for stretch receptor impulse), the comparison of medication dosage in the different administration process, the influence of decerebration by midcollicular transaction, the action towards medullary cough center and the action towards centrifugal path of respiration have determined that the action site was central nervous, being different from the narcotic antitussive effect of morphine group.
Layer-by-Layer Technique to Developing Functional Nanolaminate Films with Antifungal Activity (2015)

The layer-by-layer (LbL) deposition method was used to build up alternating layers (five) of different polyelectrolyte solutions (alginate, zein-carvacrol nanocapsules, chitosan and chitosan-carvacrol emulsions) on an aminolysed/charged polyethylene terephthalate (A/C PET) film. These nanolaminated films were characterised by contact angle measurements and through the determination of water vapour (WVTR) and oxygen (O2TR) transmission rates. The effect of active nanolaminated films against the Alternaria sp. and Rhizopus stolonifer was also evaluated. This procedure allowed developing optically transparent nanolaminated films with tuneable water vapour and gas properties and antifungal activity. The water and oxygen transmission rate values for the multilayer films were lower than those previously reported for the neat alginate or chitosan films. The presence of carvacrol and zein nanocapsules significantly decreased the water transmission rate (up to 40 %) of the nanolaminated films. However, the O2TR behaved differently and was only improved (up to 45 %) when carvacrol was encapsulated, i.e. nanolaminated films prepared by alternating alginate with nanocapsules of zein-carvacrol layers showed better oxygen barrier properties than those prepared as an emulsion of chitosan and carvacrol. These films containing zein-carvacrol nanocapsules also showed the highest antifungal activity (∼30 %), which did not significantly differ from those obtained with the highest amount of carvacrol, probably due to the controlled release of the active agent (carvacrol) from the zein-carvacrol nanocapsules. Thus, this work shows that nanolaminated films prepared with alternating layers of alginate and zein-carvacrol nanocapsules can be considered to improve the shelf-life of foodstuffs.