gebhart/patrepeval huggingface dataset:
Modeling of endovascular patch welding using the computer program LATIS (1995)

A new computer program, LATIS, being developed at Lawrence Livermore National Laboratory is used to study the effect of pulsed laser irradiation on endovascular patch welding. Various physical and biophysical effects are included in these simulations: laser light scattering and absorption, tissue heating and heat conduction, vascular cooling, and tissue thermal damage. The geometry of a patch being held against the inner vessel wall (500 micrometers inner diameter) by a balloon is considered. The system is exposed to light pulsed from an optical fiber inside the balloon. A minimum in the depth of damage into the vessel wall is found. The minimum damage zone is about the thickness of the patch material that is heated by the laser. The more ordered the tissue the thinner the minimum zone of damage. The pulse length which minimizes the zone of damage is found to be the time for energy to diffuse across the layer. The delay time between the pulses is determined by the time for the heated layer to cool down. An optimal pulse length exists which minimizes the total time needed to weld the patch to the wall while keeping the thickness of the damaged tissue to less than 100 micrometers . For the case that is considered, a patch dyed with light absorbing ICG on the side next to the vessel (thickness of the dyed layer is 60 micrometers ), the best protocol is found to be 65-200 ms pulses applied over 2 min.
Oxygen Contamination in SrS:Ce Thin-Film Electroluminescent Devices (1988)

Oxygen contamination in SrS:Ce thin-film electroluminescent devices was studied. We found that the luminance is reduced by the oxygen contamination in the SrS:Ce thin films and that oxygen concentration is strongly influenced by the evaporation rate. The source of the oxygen contamination is SrCO 3 in the SrS:Ce pellet due to incomplete refining and/or reactions with atmospheric H 2 O and CO 2 . Significantly higher luminance has been obtained by reducing the SrCO 3 concentration in SrS:Ce pellets.
Maximum likelihood modeling with Gaussian distributions for classification (2002)

Maximum likelihood (ML) modeling of multiclass data for classification often suffers from the following problems: (a) data insufficiency implying overtrained or unreliable models, (b) large storage requirement, (c) large computational requirement and/or (d) the ML is not discriminating between classes. Sharing parameters across classes (or constraining the parameters) clearly tends to alleviate the first three problems. We show that in some cases it can also lead to better discrimination (as evidenced by reduced misclassification error). The parameters considered are the means and variances of the Gaussians and linear transformations of the feature space (or equivalently the Gaussian means). Some constraints on the parameters are shown to lead to linear discrimination analysis (a well-known result) while others are shown to lead to optimal feature spaces (a relatively new result). Applications of some of these ideas to the speech recognition problem are also given.
Comparison of cooperative spectrum sensing and sharing techniques in cognitive radio networks (2011)

Cognitive radio networks consist of primary and secondary networks. Primary networks are usually licensed to access a spectrum band. The secondary networks sense available opportunity to access in licensed band in absence of primary users. For a network designer, designing a cognitive radio network is complex process and need to consider many aspects. There exist several issues to be addressed in these kinds of networks. We present our comparative study on design issues in cognitive radio networks. First, we discuss in brief about some of prominent design issues. We then talk about an important issue in designing cognitive networks, cooperation. The cooperation is presented in terms of spectrum sensing and spectrum sharing. We have tried to categorize these aspects and then finally provide qualitative comparison with discussion.
The contribution of satellite glial cells to chemotherapy‐induced neuropathic pain (2012)

We propose that increased coupling by gap junctions is part of satellite glial cell activation, and that augmented coupling contributes to the lowering of pain threshold in oxaliplatin- and taxol-treated mice. We further propose that gap junction blockers may have potential in treating chemotherapy-induced neuropathic pain.
Mechanism of Inactivation of Bacteriophage J 1 by Dithiothreitol, Cysteine, Mercaptoethanol, or Thioglycollate (1973)

Journal Article Mechanism of Inactivation of Bacteriophage J 1 by Dithiothreitol, Cysteine, Mercaptoethanol, or Thioglycollate Get access Akira Murata, Akira Murata Laboratory of Applied Microbiology, Department of Agricultural Chemistry, Saga University, Saga 840, Japan Search for other works by this author on: Oxford Academic Google Scholar Kazuko Kitagawa Kazuko Kitagawa Laboratory of Applied Microbiology, Department of Agricultural Chemistry, Saga University, Saga 840, Japan Present Address: Kyushu Factory, Ajinomoto Co., Inc. Search for other works by this author on: Oxford Academic Google Scholar Agricultural and Biological Chemistry, Volume 37, Issue 9, 1 September 1973, Pages 2159–2165, https://doi.org/10.1080/00021369.1973.10860965 Published: 01 September 1973 Article history Received: 04 May 1973 Published: 01 September 1973
<i>Hermes</i>, a Functional Non-Drosophilid Insect Gene Vector From <i>Musca domestica</i> (1996)

Hermes is a short inverted repeat-type transposable element from the house fly, Musca domestica. Using an extra-chromosomal transpositional recombination assay, we show that Hermes elements can accurately transpose in M. domestica embryos. To test the ability of Hermes to function in species distantly related to M. domestica we used a nonautonomous Hermes element containing the Drosophila melanogaster while (w+) gene and created D. melanogaster germline transformants. Transgenic G1 insects were recovered from 34.6% of the fertile G0 adults developing from microinjected w- embryos. This transformation rate is comparable with that observed using P or hobo vectors in D. melanogaster, however, many instances of multiple-element insertions and large clusters were observed. Genetic mapping, Southern blotting, polytene chromosome in situ hybridization and DNA sequence analyses confirmed that Hermes elements were chromosomally integrated in transgenic insects. Our data demonstrate that Hermes elements transpose at high rates in D. melanogaster and may be an effective gene vector and gene-tagging agent in this species and distantly related species of medical and agricultural importance.
A System-On-Chip Platform for HRTF-Based Realtime Spatial Audio Rendering (2010)

A system-on-chip platform for realtime rendering of spatial audio signals is presented. The system is based on a Xilinx Virtex-5 ML507 FPGA platform. On the chip an embedded μBlaze microprocessor core and FIR filters are configured. Filtering is carried out in the FPGA hardware for performance reasons whereas the signal management is performed on the embedded processor. The azimuth and elevation angles of a virtual audio source relative to the listener’s head can be modified in real time. The system is equipped with a compass sensor to track the head orientation. This data is used to transform the room related coordinates of the virtual audio source to the head related coordinates of the listener, so that a fixed position of the virtual sound source relative to the room can be attained regardless of the listener’s head rotation. Head related transfer functions (HRTF) were sampled in steps of 30◦ for azimuth and elevation. Interpolation for intermediate angles is done by either interpolating between the coefficients of the measured HRTFs at the four adjacent angles (azimuth and elevation), or by feeding the audio signal through the corresponding four filters, and mixing the outputs together. In the latter case the required four filter processes per output stereo channel do not result in longer computing time because of the true parallel operation of the FPGA system. The system output is identical to the output of a corresponding Matlab prototype. Keywords-Mixed-reality audio; realtime HRTF interpolation; systemon-chip;
Flocculation and Coagulation of Ca- and Mg-Saturated Montmorillonite in the Presence of a Neutral Polysaccharide (1995)

Abstract The objective of this study was to observe flocculation of montmorillonite in the presence of a glucose polymer (dextran) and to observe the effect of saturating cation and coagulant addition on the flocculation process. Flocculation of montmorillonite was dependent on polymer molecular weight, polymer/clay ratio (w/w), nature of exchangeable cation, and ionic strength of the suspension to which the polymer was added. The T500 dextran (molecular weight = 5 × 10 5 ) caused enhanced sedimentation of Ca-montmorillonite suspension at a polymer/clay ratio of ≤0.01. Increasing the polymer concentration above this level stabilized the suspension such that sedimentation was less than or equal to that of the control. The T2000 dextran (molecular weight = 2 × 10 6 ) caused a similar increase in the sedimentation of Ca-montmorillonite at polymer/clay ratios of <0.1. The ability of the T2000 polymer to cause flocculation at greater polymer/clay ratios as compared to the T500 polymer was attributed to the lower osmotic pressure between clay particles for equal concentrations of the two polymers. Flocculation of Ca-montmorillonite by dextran was enhanced when the clay had initially been coagulated by the addition of salt. Reduction of the diffuse double layer upon addition of salt permitted the polymer to extend beyond the electrostatic barrier of the clays. Dextran was not able to flocculate Mg-montmorillonite suspensions with or without the presence of coagulant. The displacement of water molecules at the clay surface rather than within the hydration shell of the more highly polarizing Mg cations by polymer segments resulted in a greater polymer collapse on the clay surface leaving fewer and shorter polymer loops and tails available for contacting adjacent clay particles.
On-chip delay measurement for silicon debug (2004)

Efficient test and debug techniques are indispensable for performance characterization of large complex integrated circuits in deep-submicron and nanometer technologies. Performance characterization of such chips requires on-chip hardware and efficient debug schemes in order to reduce time to market and ensure shipping of chips with lower defect levels. In this paper we present an on-chip scheme for delay fault detection and performance characterization. The proposed technique allows for accurate measurement of delays of speed paths for speed binning and facilitates a systematic and efficient test and debug scheme for delay faults. The area overhead associated with the proposed technique is very low.
Multi-object Tracking via Constrained Sequential Labeling (2014)

This paper presents a new approach to tracking people in crowded scenes, where people are subject to long-term (partial) occlusions and may assume varying postures and articulations. In such videos, detection-based trackers give poor performance since detecting people occurrences is not reliable, and common assumptions about locally smooth trajectories do not hold. Rather, we use temporal mid-level features (e.g., supervoxels or dense point trajectories) as a more coherent spatiotemporal basis for handling occlusion and pose variations. Thus, we formulate tracking as labeling mid-level features by object identifiers, and specify a new approach, called constrained sequential labeling (CSL), for performing this labeling. CSL uses a cost function to sequentially assign labels while respecting the implications of hard constraints computed via constraint propagation. A key feature of this approach is that it allows for the use of flexible cost functions and constraints that capture complex dependencies that cannot be represented in standard network-flow formulations. To exploit this flexibility we describe how to learn constraints and give a provably correct learning algorithms for cost functions that achieves finitetime convergence at a rate that improves with the strength of the constraints. Our experimental results indicate that CSL outperforms the state-of-the-art on challenging real-world videos of volleyball, basketball, and pedestrians walking.
An evaluation of the RGB-D SLAM system (2012)

We present an approach to simultaneous localization and mapping (SLAM) for RGB-D cameras like the Microsoft Kinect. Our system concurrently estimates the trajectory of a hand-held Kinect and generates a dense 3D model of the environment. We present the key features of our approach and evaluate its performance thoroughly on a recently published dataset, including a large set of sequences of different scenes with varying camera speeds and illumination conditions. In particular, we evaluate the accuracy, robustness, and processing time for three different feature descriptors (SIFT, SURF, and ORB). The experiments demonstrate that our system can robustly deal with difficult data in common indoor scenarios while being fast enough for online operation. Our system is fully available as open-source.
Software to Manage a Continuous Production of Flexible Polyurethane Foams by Slabstock Technology (1997)

Software, for IBM or IBM Compatible, operating in MS DOS environment, has been developed to manage a Continuous Flexible Polyurethane Foam Production. It is subdivided into a Main Menu and into various Sub-Menus that, all together, manage a series of activities, starting from the purchase of all raw materials up to the sale of produced foams. A series of databases, interconnected among them, allows the production of any foam corresponding to the formulations, using either sophisticated machines as Foamax Type or more economical ones. In addition the software allows the calculation of Foam Cost, Raw Materials, and Produced Foam Stocks, while the Raw Materials are purchased and utilized, and the Foams are produced and sold. A Testing and a Print Menu complete its performance.
The Effect of the Substitution Position of Dibenzofuran on the Photophysical and Charge‐Transport Properties of Host Materials for Phosphorescent Organic Light‐Emitting Diodes (2012)

A twist in the tail: The effect of varying the substitution position of dibenzofuran on its photophysical properties and organic light-emitting diode device performance was systematically investigated by synthesizing three compounds with 2-, 3- and 4-substitution patterns (see scheme). The proper selection of substitution position can control the photophysical properties and performance of the materials. As a service to our authors and readers, this journal provides supporting information supplied by the authors. Such materials are peer reviewed and may be re-organized for online delivery, but are not copy-edited or typeset. Technical support issues arising from supporting information (other than missing files) should be addressed to the authors. Please note: The publisher is not responsible for the content or functionality of any supporting information supplied by the authors. Any queries (other than missing content) should be directed to the corresponding author for the article.
A Case Study on The Data Processing and Interpretation of Aeromagnetic Survey Conducted in The Low Latitude Area: Stung Treng, Cambodia (2012)

본 연구는 캄보디아 스퉁트렝 지역의 항공자력탐사 자료처리 및 해석에 관한 사례 연구이다. 자료처리 및 해석에는 다음의 세 가지 관점에 중점을 두었다. 첫째, 저위도 지역 자력자료의 자기극변환 시 문제가 되는 편각방향의 영상 왜곡을 고찰하고 이를 최소화하기 위한 여러 방법을 검토함으로써 최선의 결과를 도출하는 방안을 모색하였다. 둘째, 조사지역은 사전정보가 거의 없기 때문에 전통적인 자료처리 기법과 함께 geographic information system (GIS) 분야의 경사, 곡률 및 최대 경사면 방위각 등의 기법을 새로이 도입, 검토하였다. 이로부터 조사지역의 구조지질 정보를 도출하고 그 유용성을 확인하였다. 마지막으로, 오일러 곱풀기를 이용하여 자력이상대의 심도정보를 도출하고 앞서의 고찰결과와 종합하여 향후의 정밀 조사영역을 선정, 추천하였다. 본 연구에서 수행한 일련의 자료처리 과정은 국내는 물론 해외 자원개발에 있어서 적절한 지침이 될 수 있을 것으로 여겨진다. In this case study, we present the various and consistent processing techniques for the reasonable interpretation of aeromagnetic data. In the processing stage, we especially focused on the three major respects. First, in the low latitude area, severe artifacts are occurred as a result of reduction to the pole technique. To overcome this problem, variable alternative methods were investigated. From the comparison of each technique, we concluded that energy balancing method gives more fruitful result. Second, because of limited a priori information, it is nearly impossible to employ detailed geological survey due to wide and thick spreading of soils in the survey area. So we especially investigated the new techniques such as extracting slope, curvature and aspect information mainly used in GIS field as well as conventional methods. Finally, by using the Euler deconvolution, we extracted the depth information on the magnetic anomalous body. From the synthetic analysis between depth information and previous discussed results, the detailed future survey area was proposed. We think that a series of processing techniques discussed in this study may perform an important role in the domestic and abroad resource development project as a useful guideline.
Two-phase minislot scheduling algorithm for HFC QoS services provisioning (2002)

Data-over-cable service interface specifications v1.1 (DOCSIS v1.1) defines five upstream services for supporting per-flow quality of service (QoS). The cable modem termination system (CMTS) must periodically grant upstream transmission opportunities to the QoS flows based on their QoS parameters. This study proposes a two-phase minislot scheduling algorithm to reduce the QoS violation rate. In the scheduling sequence determination phase, the flow whose packets are most unlikely to violate QoS is scheduled first. In the minislot assignment phase, the scheduler allocates to a flow the available interval where the likelihood of packet violation is minimum. Simulation results demonstrate that our scheduling algorithm can reduce the QoS violation rate by 80% - 35% over that of the first-come-first-serve-random-selection algorithm and increase the utilization by 25% as well.
Extending typestate checking using conditional liveness analysis (1993)

The authors present a practical extension to typestate checking, which is capable of proving programs free of uninitialized variable errors even when these programs contain conditionally initialized variables where the initialization of a variable depends upon the equality of one or more tag variables to a constant. The user need not predeclare the relationship between a conditionally initialized variable and its tags, and this relationship may change from one point in the program to another. The technique generalizes liveness analysis to conditional liveness analysis. Like typestate checking, this technique incorporates a dataflow analysis algorithm in which each point in a program is labeled with a lattice point describing statically tracked information, including the initialization of variables. The labeling is then used to check for programming errors such as referencing a variable which may be uninitialized.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Über hochacide Kohlenwasserstoffe (1962)

Abstract Die CH‐Acidität von 1.1.3.3‐Tetraphenyl‐propen und von 1.1.5.5‐Tetraphenyl‐pentadien nimmt um viele Zehnerpotenzen zu, wenn mindestens 2 der Phenylreste zu einem Biphenylenrest eingeebnet werden. Derartige Kohlenwasserstoffe geben in geeigneten Lösungsmitteln bereits mit 0.1 n wäßrigen Laugen tieffarbige Salze, die bei Ausschluß von Luft beständig sind. Die durch Entladung der roten bzw. blauen Anionen mit K 3 Fe(CN) 6 resultierenden paramagnetischen Radikale sind gelb und fallen durch ihre geringe Reaktionsgeschwindigkeit mit O 2 auf. Im Falle des 1.1.5.5‐Bis‐biphenylen‐pentadiens‐(1.4) liefert das mesomere Anion mit Methyljodid zwei verschiedene Methylderivate. — Es wird eine qualitative theoretische Deutung für den Einfluß der Biphenylenbindungen auf die Säuredissoziationskonstanten vorgeschlagen.
A hierarchical based approach for coupling aware delay analysis of combinational logic blocks (2002)

In this paper, we present a two-level hierarchical based approach to estimate delays of digital VLSI circuit which takes the interconnects and crosstalk noise into consideration. First, the circuit is partitioned into individual gates driving interconnect lines. Circuit-level characterization is performed for the individual sub-circuits and the interconnects. A static timing simulator has been developed to accurately estimate the delays under the consideration of interconnect coupling. Instead of a single worst delay number, the delay is represented in terms of transition intervals, i.e. the best-case and worst-case delays, by using the information obtained from the circuit level characterization process. Examples show that the simulator produces accurate results compared with SPICE simulations.
Antiviral Drug Screen of Kinase inhibitors Identifies Cellular Signaling Pathways Critical for SARS-CoV-2 Replication (2020)

ABSTRACT Emergence of a highly contagious novel coronavirus, SARS-CoV-2 that causes COVID-19, has precipitated the current global health crisis with over 479,000 deaths and more than 9.3 million confirmed cases. Currently, our knowledge of the mechanisms of COVID-19 disease pathogenesis is very limited which has hampered attempts to develop targeted antiviral strategies. Therefore, we urgently need an effective therapy for this unmet medical need. Viruses hijack and dysregulate cellular machineries in order for them to replicate and infect more cells. Thus, identifying and targeting dysregulated signaling pathways that have been taken over by viruses is one strategy for developing an effective antiviral therapy. We have developed a high-throughput drug screening system to identify potential antiviral drugs targeting SARS-CoV-2. We utilized a small molecule library of 430 protein kinase inhibitors, which are in various stages of clinical trials. Most of the tested kinase antagonists are ATP competitive inhibitors, a class of nucleoside analogs, which have been shown to have potent antiviral activity. From the primary screen, we have identified 34 compounds capable of inhibiting viral cytopathic effect in epithelial cells. Network of drug and protein relations showed that these compounds specifically targeted a limited number of cellular kinases. More importantly, we have identified mTOR-PI3K-AKT, ABL-BCR/MAPK, and DNA-Damage Response (DDR) pathways as key cellular signaling pathways critical for SARS-CoV-2 infection. Subsequently, a secondary screen confirmed compounds such as Berzosertib (VE-822), Vistusertib (AZD2014), and Nilotinib with anti SARS-CoV-2 activity. Finally, we found that Berzosertib, an ATR kinase inhibitor in the DDR pathway, demonstrated potent antiviral activity in a human epithelial cell line and human induced pluripotent stem cell (hIPSC)-derived cardiomyocytes. These inhibitors are already in clinical trials of phase 2 or 3 for cancer treatment, and can be repurposed as promising drug candidates for a host-directed therapy of SARS-CoV-2 infection. In conclusion, we have identified small molecule inhibitors exhibiting anti SARS-CoV-2 activity by blocking key cellular kinases, which gives insight on important mechanism of host-pathogen interaction. These compounds can be further evaluated for the treatment of COVID-19 patients following additional in vivo safety and efficacy studies. Disclosures None declared.