gebhart/patrepeval huggingface dataset:
Discrete-time hybrid modeling and verification (2003)

For hybrid systems described by interconnections of linear dynamical systems and logic devices, we recently (A. Bemporad et al., 2000, 2001) proposed mixed logical-dynamical (MLD) systems and the language HYSDEL (HYbrid System DEscription Language) as a modeling tool. For MLD models, we developed a reachability analysis algorithm which combines forward reach-set computation and feasibility analysis of trajectories by linear and mixed-integer linear programming. In this paper, the versatility of the overall analysis tool is illustrated in the verification of an automotive cruise control system for a car with a robotized manual gear shift.
A Scalable and Flexible Radio Access Network Architecture for Fifth Generation Mobile Networks (2016)

The fifth generation of mobile networks is expected to become the key enabling technology for new services and businesses in the Internet of Things realm, including automotive and industry communications. At the same time, the demand for the “bread and butter” services of mobile broadband will continue to increase, driving the need for ubiquitous data capacity everywhere. Compared to 3GPP LTE, fifth generation radio access networks need to support much more diverse requirements with a wide range of deployment options for infrastructure and spectrum availability. Based on this insight, this article discusses a flexible and scalable radio access network architecture design.
Improved treatment/disposal of reactive metals: Annual report (1987)

The relation of the infected to nephritis, rheumatic and heart diseases has been recognized but that to dermatoses has not been fully established nor applied clinically by dermatogists or otolaryngologists in the treatment of such patients. In order to assess to attitude of dermatologists as regards the dermatoses due to focal tonsillar infection, a questionnaire was sent to the departments of dermatology of 72 universities in Japan: 44 (61.1%) have replied. There were 40 dermatoses listed as possibly associated with a focal infection. About 60% of the universities endeavoured to detect the focus although the focus was not always removed when identified.
Management of Posterior Ankle Impingement as a Result of Ankle Instability a Case Report (2002)

Dancers may suffer from either anterolateral ankle instability secondary to recurrent inversion ankle sprains or posterior ankle impingement syndrome secondary to a large trigonal process or os trigonum. Ankle instability may cause posterior impingement syndrome by allowing the forward shift of the talus in the mortise during plantar flexion. Identifying the interrelationship between instability and impingement is a key step in returning the patient to dance. We describe the results of a dancer who presented with both anterolateral ankle instability and posterior ankle impingement, the surgical procedure used, and the comprehensive, dance-specific treatment protocol implemented to achieve a successful outcome.
Supplemental Figure from Phase 1 Study of Tabalumab, a Human Anti-B-Cell Activating Factor Antibody, and Bortezomib in Patients with Relapsed/Refractory Multiple Myeloma (2023)

&lt;p&gt;Percentage Change from Baseline (PCB) for B-cells (CD19+) and Immunoglobulins (Ig)at 20-day time intervals post-baseline.&lt;/p&gt;
High temperature polymer blends: an overview of the literature (1995)

Abstract A review of work which has been performed on high temperature polymer blends is presented. The discussion is divided into miscible and immiscible blends. It is pointed out that one problem with miscible polymer blends is that of processing in the miscible state. In the case of immiscible blends, particularly ones containing liquid crystal polymers, the issue of adhesion of the two phases is discussed. Finally, the need for better theoretical models for predicting miscibility in polymer blends is highlighted.
Analysis of a Cylindrical Hybrid Positron Camera with Bismuth Germanate (BGO) Scintillation Crystals (1978)

Theoretical design studies of a multilayer hybrid computed tomographic system which could perform both X-ray transmission computed tomography (XCT) and positron computed tomography (PCT) are presented. Use of BGO scintillation crystals makes it possible to achieve the highest spatial resolution and coincident data collection efficiency possible with the present technology. In the new hybrid system, the multilayer positioning is achieved by use of one dimensional Anger principle with BGO crystals. The ultimate resolution and counting rate attainable with the system is discussed in reference to the true to random ratio. Present study indicates that the resolution and efficiency that can be achieved in PCT mode are 5-6 mm fwhm with efficiency gain of over a hundred in comparison to the existing NaI(Tl) ring system at UCSD.
Caracterización del Espacio Web de Argentina (2006)

Spanish Abstract: En este trabajo de investigación se caracteriza el espacio web argentino a partir del análisis de una muestra, tomada a principios del año 2006, cercana a los 10 millones de páginas extraídas de 150.000 sitios. En particular, se realizó análisis de contenidos, de enlaces y de tecnologías utilizadas para construir sitios. Los resultados obtenidos son consistentes con los de otros espacios webs nacionales. Del estudio surgen las siguientes observaciones: Existe una importante proporción de dominios “com.ar” (97.6%). En lo referente al contenido, predominan términos relacionados con la actividad comercial, mientras que en los nombres de los sitios, aparecen mayormente términos relacionados con el turismo. El 72% de las páginas han sido creadas o modificadas en el último año, lo cual indica que el espacio web argentino está creciendo aceleradamente. Con referencia a tecnologías, el 48% de las páginas de la muestra son estáticas y el 52%, dinámicas, las cuales se encuentran construidas en gran parte utilizando herramientas libres. El 76% de los sitios se hallan alojados en servidores que residen en Argentina. De los indicadores anteriores se desprende que existe un importante desarrollo tecnológico y de la infraestructura de comunicaciones de Argentina relacionada con la web. English Abstract: This article presents the results of research on the characterization of the Argentinian web domain over a sample of almost 10 million web pages from 150.000 sites collected in the early 2006. Particularly, we have studied page contents, link structure and technologies used in the construction of the sites. The results are consistent with earlier research on other national web domains. This study reveals a number of interesting facts: To begin with, there is a significant proportion (97.6%) of “.com.ar” domains. As regards page contents, we have found a predominance of terms related to commercial activity. However, terms found in site names, extracted from their URLs, are mostly related to tourism. 72% of the pages have been created or modified in the last year, which indicates that the Argentinian web space is growing quickly. As for technologies, 48% of the pages from the sample are static and 52% dynamic, the latter being mostly built using free tools. Besides, 76% of the sites are hosted in servers geographically located in Argentina. These two facts show there is an important web-related technological development and communication infrastructure in Argentina.
Rational Development of a Cytotoxic Peptide To Trigger Cell Death (2012)

Defects in the apoptotic machinery can contribute to tumor formation and resistance to treatment, creating a need to identify new agents that kill cancer cells by alternative mechanisms. To this end, we examined the cytotoxic properties of a novel peptide, CT20p, derived from the C-terminal, alpha-9 helix of Bax, an amphipathic domain with putative membrane binding properties. Like many antimicrobial peptides, CT20p contains clusters of hydrophobic and cationic residues that could enable the peptide to associate with lipid membranes. CT20p caused the release of calcein from mitochondrial-like lipid vesicles without disrupting vesicle integrity and, when expressed as a fusion protein in cells, localized to mitochondria. The amphipathic nature of CT20p allowed it to be encapsulated in polymeric nanoparticles (NPs) that have the capacity to harbor targeting molecules, dyes or drugs. The resulting CT20p-NPs proved an effective killer, in vitro, of colon and breast cancer cells, and in vivo, using a murine breast cancer tumor model. By introducing CT20p to Bax deficient cells, we demonstrated that the peptide's lethal activity was independent of endogenous Bax. CT20p also caused an increase in the mitochondrial membrane potential that was followed by plasma membrane rupture and cell death, without the characteristic membrane asymmetry associated with apoptosis. We determined that cell death triggered by the CT20p-NPs was minimally dependent on effector caspases and resistant to Bcl-2 overexpression, suggesting that it acts independently of the intrinsic apoptotic death pathway. Furthermore, use of CT20p with the apoptosis-inducing drug, cisplatin, resulted in additive toxicity. These results reveal the novel features of CT20p that allow nanoparticle-mediated delivery to tumors and the potential application in combination therapies to activate multiple death pathways in cancer cells.
Unlocking a closed system: dosimetric commissioning of a ring gantry linear accelerator in a multivendor environment (2021)

The Halcyon™ platform is self-contained, combining a treatment planning (Eclipse) system TPS) with information management and radiation delivery components. The standard TPS beam model is configured and locked down by the vendor. A portal dosimetry-based system for patient-specific QA (PSQA) is also included. While ensuring consistency across the user base, this closed model may not be optimal for every department. We set out to commission independent TPS (RayStation 9B, RaySearch Laboratories) and PSQA (PerFraction, Sun Nuclear Corp.) systems for use with the Halcyon linac. The output factors and PDDs for very small fields (0.5 × 0.5 cm<sup>2</sup> ) were collected to augment the standard Varian dataset. The MLC leaf-end parameters were estimated based on the various static and dynamic tests with simple model fields and honed by minimizing the mean and standard deviation of dose difference between the ion chamber measurements and RayStation Monte Carlo calculations for 15 VMAT and IMRT test plans. Two chamber measurements were taken per plan, in the high (isocenter) and lower dose regions. The ratio of low to high doses ranged from 0.4 to 0.8. All percent dose differences were expressed relative to the local dose. The mean error was 0.0 ± 1.1% (TG119-style confidence limit ± 2%). Gamma analysis with the helical diode array using the standard 3%Global/2mm criteria resulted in the average passing rate of 99.3 ± 0.5% (confidence limit 98.3%-100%). The average local dose error for all detectors across all plans was 0.2% ± 5.3%. The ion chamber results compared favorably with our recalculation with Eclipse and PerFraction, as well as with several published Eclipse reports. Dose distribution gamma analysis comparisons between RayStation and PerFraction with 2%Local/2mm criteria yielded an average passing rate of 98.5% ± 0.8% (confidence limit 96.9%-100%). It is feasible to use the Halcyon accelerator with independent planning and verification systems without sacrificing dosimetric accuracy.
monoterpenes in the southeastern United States (2014)

Q:1; 2; 3; 4 emissions on aerosol formation from isoprene and Q:5; 6; 7 monoterpenes in the southeastern United States Lu Xu, Hongyu Guo, Christopher M. Boyd, Mitchel Klein, Aikaterini Bougiatioti, Kate M. Cerully, James Ricky Hite, Gabriel Isaacman, Nathan M. Kreisberg, Christoph Knote, Kevin Olson, Abigail Koss, Allen H. Goldstein, Susanne V. Hering, Joost de Gouw, Karsten Baumann, Shan-Hu Lee, Athanasios Nenes, Rodney J. Weber, and Nga Lee Ng Q:8
Recent progress on CMOS successive approximation ADCs (2016)

Recent progress in CMOS integrated successive approximation (SAR) analog‐to‐digital converters (ADCs) is remarkable in terms of architecture and performance. Because of the inherent non‐necessity of active circuit elements such as operational amplifiers, the SAR architecture is suitable for fine CMOS processes. By using a time‐interleaved architecture, it achieves a very high speed conversion rate of 90 G‐sample/s with an 8‐bit resolution. Also, for applications with very low power consumption, such as wireless sensor nodes, it achieves 84 nW at 10‐bit, 200 k‐sample/s. A high signal to noise and distortion ratio (SNDR) can also be achieved by using several techniques such as an SAR architecture that combines oversampling and noise shaping. This survey paper explains the progress made recently in SAR‐ADC circuit techniques and the achieved performances. © 2016 Institute of Electrical Engineers of Japan. Published by John Wiley &amp; Sons, Inc.
Optical jitter due to refractive index variations in slow-light photonic crystal MZI switches (2007)

High effective index waveguides can reduce the size of integrated active MZIs significantly. We demonstrate numerically that they have high sensitivity to variations in material refractive index leading to significant pulse distortion due to jitter.
Kinesin and tau bind to distinct sites on microtubules (1994)

We have used a fluorescent derivative of kinesin, AF-kinesin (kinesin conjugated with 5-(iodoacetamido)fluorescein), to investigate the binding site of kinesin on microtubules and to compare this site with that to which tau binds. Microtubules saturated with tau will bind AF-kinesin in the presence of the ATP analogue, 5'-[beta,gamma-imino]triphosphate (AdoPP[NH]P). This shows that there are distinct binding sites for the two proteins. Further evidence comes from digestion studies where taxol-stabilised microtubules were treated with subtilisin, resulting in the cleavage of C-terminal residues from both the alpha- and beta-tubulin subunits. These treated microtubules can no longer bind tau, but are able to bind AF-kinesin in the presence of AdoPP[NH]P. Finally, AF-kinesin will support the gliding of subtilisin-digested microtubules in the presence of ATP at rates comparable to those obtained with non-digested microtubules. These results show directly that the binding site for kinesin is outside the C-terminal region of tubulin that is removed by subtilisin and is distinct from the binding site of tau.
Optimizing Ultra-High Performance Fiber-Reinforced Concrete (2011)

This article describes how the tensile behavior of ultra-high performance fiber-reinforced concrete (UHP-FRC) was optimized by improving the matrix packing density, using very high strength fine diameter steel fibers, and tailoring the fiber-to-matrix interface bond properties. The developed UHP-FRC mixtures achieved record high tensile strengths, up to 37 MPa (5.36 ksi). The energy absorption capacity up to peak stress was about an order of magnitude higher than the values reported by other researchers. The results imply that the new material has the potential to be particularly useful for structures subjected to blast, impact or seismic loading.
ERCP in Thoracoomphalopagus Conjoined Twins (2006)

Conjoined twins are said to occur about 1 in 200000 live births, with a female preponderance of 3:1. Only 5–25% of these live births survive. It is generally accepted that conjoined twins arise from a uniovular gestation that fails to undergo complete separation of the embryonic disc at the 13th-14th day stage. We report a 4 month old pair of female thoracoomphalopagus conjoined twins referred for separation in whom ERCP was an important investigation. Computed Tomography of the abdomen and pelvis (Figure 1 to be shown if accepted) revealed a fused liver with a replaced hepatic artery arising from an enlarged SMA. The liver was perfused by both infants. There was also a shared portal vein. There were two gallbladders. There were multiple loops of bowel; the extent of the sharing was unknown. There were two separate distal colons and rectum. Subsequent abdominal ultrasound confirmed findings of the CT. CT Cholangiogram performed a few days later revealed a confluence of bile ducts draining both livers in the midline. The bile ducts drained into a shared common bile duct which then drained into a shared duodenum. The dominant bile duct in the RUQ in one twin joined in the midline with the dominant duct draining the liver in the other twin's RU and LU abdomen. Again seen was a common shared duodenum. ERCP was requested four weeks later to help to further delineate the biliary anatomy in preparation for anticipated separation. The ERCP (Figure 2 to be shown if accepted) revealed a shared postbulbar duodenum. Cannulation of a shared ampulla of vater confirmed a shared CBD which bifurcated into separate cystic ducts, gallbladders and intra-hepatic biliary trees. The pancreas in the two infants was also discrete. The surgical separation approximately 3 weeks later was successful. This operation revealed that the twins shared liver, 90 cm small bowel starting at the post-bulbar duodenum, a common ampulla of vater and CBD. The intra-abdominal anatomy of thoracoomphalopagus or omphalopagus conjoined twins is usually investigated by ultrasunography, contrast radiology, angiography, computed tomography and MRI. In this case ERCP was helpful in delineating aambiguous biliary anatomy in what is now a successful separation. After performing a literature search, we believe to have reported the first case of ERCP in a thoracoomphalopagus conjoined twin. We believe that this procedure is useful in assisting a multidisciplinary team in planning surgical separation.
Abstract B28: Trisomy suppress tumorgenesis in the NP-cis tumor model (2009)

Abstract Down syndrome results from trisomy for human chromosome 21 (chr21). People with DS have an increased risk of getting leukemia, but the likelihood of solid tumors might be reduced by contribution of several genes. We showed that trisomy in Ts65Dn “Down syndrome” mice reduces tumor number in the ApcMin model of intestinal cancer and that tumor number is inversely proportional to copy number of the Ets2 gene [Sussan TE, Nature 451, 73–75]. The current study provides evidence for additional dosage sensitive tumor repressor gene(s) in the cancer model, NP-cis. These mice carry a single copy of both the tightly linked Nf1 and p53 genes in cis. Tumors form by LOH. When NP-cis mice were crossed with Ts65Dn, trisomic offspring survived significantly longer than euploid. In contrast to the intestinal adenoma finding, introduction of a null allele of Ets2 in either trisomic or euploid mice (resulting in 2 or one copies of Ets2, respectively) had no effect on survival. This result demonstrates further dosage effects of genes trisomic in these mice and in Down syndrome. The lack of Ets2 effect in the NP-cis model is consistent with a protective mechanism that involves up-regulation of p53 by Ets2, thereby sensitizing trisomic cells to p53-mediated apoptosis. This mechanism would not work in NP-cis since tumors form due to loss of p53. In this regard, in vitro analysis of fibroblast cell lines from several genotypes showed that trisomic cells expressing more Ets2 than euploid were more sensitive to induction of apoptosis by camptothecin and showed a higher frequency of senescence. Other genes, like Endostatin, a cleavage product of Col18a1, and Rcan1 have been shown to inhibit angiogenesis in adosage dependent manner in xenograft models of tumor growth [Zorick TS, EJHG 9, 811-4, Baek KH, Nature 459, 1126-30]. In contrast to results from xenografted tumors, endogenous tumors formed in trisomic, NP-cis mice showed no reduction in angiogenesis. Our findings indicate that multiple mechanisms involving other genes trisomic in Ts65Dn mice likely contribute to reduced tumor incidence in Down syndrome. Citation Information: Cancer Res 2009;69(23 Suppl):B28.
Intermodal beat lengths in birefringent two-mode fibers (1996)

We use an accousto-opitc method to measure the beat lengths between the LP(01) and the LP(11) modes propagating both in an elliptical-core polarization-maintaining fiber and in a bow-tie high-birefringence (Hi-Bi) fiber for a wide range of optical wavelengths. The Hi-Bi fiber exhibits considerable polarization splitting in the measured beat lengths at all measured wavelengths. According to theory for circular-core fibers, the beat length should have a minimum at the wavelength at which the two modes have the same group velocity in the fiber. We find that for the elliptical-core fiber such a minimum does not exist in the two-mode region. Based on our measurements we discuss the use of different fiber types in various two-mode devices.
Deformable part models revisited: A performance evaluation for object category pose estimation (2011)

Deformable Part Models (DPMs) as introduced by Felzenszwalb et al. have shown remarkably good results for category-level object detection. In this paper, we explore whether they are also well suited for the related problem of category-level object pose estimation. To this end, we extend the original DPM so as to improve its accuracy in object category pose estimation and design novel and more effective learning strategies. We benchmark the methods using various publicly available data sets. Provided that the training data is sufficiently balanced and clean, our method outperforms the state-of-the-art.
Genetic variation in the HLA region is associated with susceptibility to herpes zoster (2014)

Herpes zoster, commonly referred to as shingles, is caused by the varicella zoster virus (VZV). VZV initially manifests as chicken pox, most commonly in childhood, can remain asymptomatically latent in nerve tissues for many years and often re-emerges as shingles. Although reactivation may be related to immune suppression, aging and female sex, most inter-individual variability in re-emergence risk has not been explained to date. We performed a genome-wide association analyses in 22,981 participants (2280 shingles cases) from the electronic Medical Records and Genomics Network. Using Cox survival and logistic regression, we identified a genomic region in the combined and European ancestry groups that has an age of onset effect reaching genome-wide significance (P>1.0 × 10(-8)). This region tags the non-coding gene HCP5 (HLA Complex P5) in the major histocompatibility complex. This gene is an endogenous retrovirus and likely influences viral activity through regulatory functions. Variants in this genetic region are known to be associated with delay in development of AIDS in people infected by HIV. Our study provides further suggestion that this region may have a critical role in viral suppression and could potentially harbor a clinically actionable variant for the shingles vaccine.
An Efficient Management System for Wireless Sensor Networks (2010)

Wireless sensor networks have garnered considerable attention recently. Networks typically have many sensor nodes, and are used in commercial, medical, scientific, and military applications for sensing and monitoring the physical world. Many researchers have attempted to improve wireless sensor network management efficiency. A Simple Network Management Protocol (SNMP)-based sensor network management system was developed that is a convenient and effective way for managers to monitor and control sensor network operations. This paper proposes a novel WSNManagement system that can show the connections stated of relationships among sensor nodes and can be used for monitoring, collecting, and analyzing information obtained by wireless sensor networks. The proposed network management system uses collected information for system configuration. The function of performance analysis facilitates convenient management of sensors. Experimental results show that the proposed method enhances the alive rate of an overall sensor node system, reduces the packet lost rate by roughly 5%, and reduces delay time by roughly 0.2 seconds. Performance analysis demonstrates that the proposed system is effective for wireless sensor network management.