gebhart/patrepeval huggingface dataset:
Implementation of novel ECG compression algorithm using template matching (2012)

In this paper, a template based ECG compression algorithm for mobile device application is proposed and implemented. First of all, R-peak is detected in the ECG signal. Then, from the point of R-peak, we extract the information of QRS complex, PQ, and ST section to create a template for each of the interval. Template code is saved for the use of comparing real time input ECG. R-peak is detected in the pre-processing step from a normalized signal in 0 and 1 basis, and adaptive threshold is applied for good R-peak detection accuracy. Template for PQ interval, QRS complex, ST interval is created. Only template code that closely matched with the input signal is saved. The determining factor for `closely matched' is based on the calculation of MSE value after comparing the template with each of the intervals (PQ interval, QRS complex and ST interval) with real time input ECG signal. The performance of algorithm is evaluated by using the Massachusetts Institute of Technology-Boston's Beth Israel Hospital Normal Sinus Rhythm Database and different sampling record. The highest compression ratio is 15.2:1. The accuracy of the R-peak detection is 100%.
On the Processing of Proghrelin to Ghrelin (2006)

The orexigenic hormone ghrelin is a 28-amino-acid peptide derived from a 99-amino-acid precursor and acylated at Ser-3, which was initially isolated from rat stomach. In addition to stimulating appetite and growth, it also plays various important roles in energy homeostasis and in the cardiovascular and immune systems. Although analysis of its physiological effects has yielded many significant results, much less information is available on its biosynthesis and the mechanism of its acylation. In this report, we have studied the endoproteolytic processing of this molecule from its precursor (proghrelin) into mature ghrelin in various prohormone convertase null mouse strains generated in our laboratory and have identified the convertase responsible for this event. Using Western blotting, mass spectrometry, and immunocytochemical methods, we have demonstrated that (a) in mouse stomach, prohormone convertase 1/3 (PC1/3) is the endoprotease responsible for the conversion of proghrelin to ghrelin, (b) the acylation of this peptide is processing-independent, and (c) the expression of proghrelin mRNA is increased in the processing-deficient (PC1/3 null) mouse.
Orientation and motion of spin-labels in rabbit small intestinal brush border vesicle membranes (1982)

The temperature dependence of the packing (order) and fluidity (microviscosity) of rabbit small, intestinal brush border vesicle membranes and of liposomes made from their extracted lipids has been investigated by using a variety of lipid spin probes. The lipids in the brush border membrane are present essentially as a bilayer. Compared to other mammalian membranes, the brush border membrane appears to be characterized by a relatively high packing order as well as microviscosity. At body temperature, the lipid molecules undergo rapid, anisotropic motion, which is essentially a fast rotation about an axis approximately perpendicular to the bilayer normal. Both the order (motional anisotropy) and the microviscosity increase with decreasing temperature and with increasing distance from the center of the bilayer. Qualitatively similar motional or fluidity gradients have been reported for other mammalian and bacterial membranes. The liposomes made from the extracted lipids have a somewhat lower packing order and a slightly higher fluidity than brush border vesicle membranes. The differences are, however, small indicating that the packing and the fluidity (microviscosity) of the membrane are primarily determined by the lipid composition. Membrane-associated proteins and cytoskeleton cannot play a dominant role in determining the order and fluidity of the lipid bilayer. Discontinuities are observed in the temperature dependence of various spectral parameters, the order parameter S, the rotational correlation time tau, and 2,2,6,6-tetramethylpiperidinyloxy partitioning. They are assigned to phase transitions and/or phase separations of the membrane lipids. These discontinuities occur at about 30, 20, and 13 degrees C for 5-doxyl-, 12-doxyl-, and 16-doxylstearic acid, respectively. The apparent transition temperature depends on the location of the spin probe along the bilayer normal, being higher the closer the probe is to the membrane surface. This indicates the possibility that chain melting is progressive and spreads with increasing temperature from the center of the membrane outward.
Immunotropic properties of fractions isolated from human milk. (1984)

Several fractions of human milk alter the magnitude of the humoral immune response to SRBC in mice. Two fractions of human milk decrease the number of autologous rosettes formed by thymocytes in this test. None of the fractions tested change the ability of B cells to form EAC rosettes. We conclude that some fractions of human milk possess immunotropic properties in mice, and that they probably act on T cells.
Inhibition of Foaming in Solvents Containing Known Foamers (1944)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTInhibition of Foaming in Solvents Containing Known FoamersSydney. Ross and J. W. McBainCite this: Ind. Eng. Chem. 1944, 36, 6, 570–573Publication Date (Print):June 1, 1944Publication History Published online1 May 2002Published inissue 1 June 1944https://pubs.acs.org/doi/10.1021/ie50414a019https://doi.org/10.1021/ie50414a019research-articleACS PublicationsRequest reuse permissionsArticle Views227Altmetric-Citations62LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access options Get e-Alerts
A Novel Passive Converter for Improving Drive Characteristics of a Single Phase SRM (2009)

This paper presents a novel passive converter for single phase SRM. The proposed passive converter has additional passive power circuit which is consisted by three diodes and one capacitor in the front-end of conventional asymmetric converter to supply a high negative bias during demagnetization. The high negative bias can reduce the demagnetization time and negative torque from tail current in single phase SRM. So, It can extend positive torque region by the extended turn-off position. In this paper, the structure and operating modes of a novel passive converter are introduced with mathematical model. The proposed single phase SRM using passive converter is verified by the computer simulation and experimental results.
Closed-loop cycles of experiment design, execution, and learning accelerate systems biology model development in yeast (2019)

One of the most challenging tasks in modern science is the development of systems biology models: Existing models are often very complex but generally have low predictive performance. The construction of high-fidelity models will require hundreds/thousands of cycles of model improvement, yet few current systems biology research studies complete even a single cycle. We combined multiple software tools with integrated laboratory robotics to execute three cycles of model improvement of the prototypical eukaryotic cellular transformation, the yeast (<i>Saccharomyces cerevisiae</i>) diauxic shift. In the first cycle, a model outperforming the best previous diauxic shift model was developed using bioinformatic and systems biology tools. In the second cycle, the model was further improved using automatically planned experiments. In the third cycle, hypothesis-led experiments improved the model to a greater extent than achieved using high-throughput experiments. All of the experiments were formalized and communicated to a cloud laboratory automation system (Eve) for automatic execution, and the results stored on the semantic web for reuse. The final model adds a substantial amount of knowledge about the yeast diauxic shift: 92 genes (+45%), and 1,048 interactions (+147%). This knowledge is also relevant to understanding cancer, the immune system, and aging. We conclude that systems biology software tools can be combined and integrated with laboratory robots in closed-loop cycles.
Generation of 3D radiation patterns: a geometrical approach (2003)

This paper presents a geometrical approach to generate 3D radiation patterns for cellular antennas. The procedure is based on rotation of the vertical radiation pattern around the z-axis taking into account the horizontal radiation pattern. This method is useful in order to estimate the electromagnetic field intensity in points outside the vertical or horizontal planes.
Wireless Charging of a Metal-Body Device (2017)

Conventional tightly coupled inductive charging has been popular in the mobile device market for years. However, tightly coupled solutions have been unable to efficiently charge a metal encased device due to substantial heat generation. In this paper, we demonstrate that loosely coupled inductive charging technology is a viable solution to charge a metal encased device. Ample power can be delivered through the metal case with negligible case heating. Our prototype is built by machining a lump of aluminum which is attached to a commercial smart phone. Resonator coupling efficiency is measured to be 90% with a certified AirFuel Alliance transmitter. Measured power to a load is 8.2 W, which is suitable for mobile devices.
Incorporation and distribution of selenium into thiolase from Clostridium kluyveri. (1985)

Clostridium kluyveri incorporates selenium as selenomethionine into its acetoacetyl-CoA thiolase when grown in media containing normal sulfur-to-selenium ratios. Antibodies raised against the purified enzyme permitted quantitative immunoprecipitation of thiolase from crude cell extracts and thus facilitated the systematic analysis of the effects of wide variation in sulfur-to-selenium ratios on selenium incorporation into the enzyme. The extent of incorporation of selenium into thiolase was found to be dependent on the form of selenium supplied. When [75Se]selenomethionine was the source of selenium, the incorporation of selenium into thiolase was inversely proportional to the level of added methionine. However, similar levels of methionine failed to decrease the incorporation of selenium from selenite. To study the location of selenomethionine and methionine residues in the polypeptide chain of the enzyme, thiolase was prepared from cells cultured in the presence of H2 35SO4 or Na2 75SeO3. The 35S- or 75Se-labeled protein was treated with trypsin and the resulting peptides were isolated by reverse phase high performance liquid chromatography. The peptide maps of the enzyme indicated that selenium was distributed throughout the primary structure in a manner that paralleled methionine. From these studies, it is concluded that selenium occurs in thiolase adventitiously and is not required for any biological function.
A Deep Learning Framework Using Passive WiFi Sensing for Respiration Monitoring (2017)

This paper presents an end-to-end deep learning framework using passive WiFi sensing to classify and estimate human respiration activity. A passive radar test-bed is used with two channels where the first channel provides the reference WiFi signal, whereas the other channel provides a surveillance signal that contains reflections from the human target. Adaptive filtering is performed to make the surveillance signal source-data invariant by eliminating the echoes of the direct transmitted signal. We propose a novel convolutional neural network to classify the complex time series data and determine if it corresponds to a breathing activity, followed by a random forest estimator to determine breathing rate. We collect an extensive dataset to train the learning models and develop reference benchmarks for the later studies in the field. Based on the results, we conclude that deep learning techniques coupled with passive radars offer great potential for end-to-end human activity recognition.
High-Temperature Operation of InAs–GaAs Quantum-Dot Infrared Photodetectors With Large Responsivity and Detectivity (2004)

We have optimized the growth of multiple (40-70) layers of self-organized InAs quantum dots separated by GaAs barrier layers in order to enhance the absorption of quantum-dot infrared photodetectors (QDIPs). In devices with 70 quantum-dot layers, at relatively large operating biases (/spl les/-1.0 V), the dark current density is as low as 10/sup -5/ A/cm/sup 2/ and the peak responsivity ranges from /spl sim/0.1 to 0.3 A/W for temperatures T=150 K-175 K. The peak detectivity corresponding to these low dark currents and high responsivities varies in the range 6/spl times/10/sup 9//spl les/D/sup */(cm/spl middot/Hz/sup 1/2//W)/spl les/10/sup 11/ for temperatures 100/spl les/T(K)/spl les/200. These performance characteristics represent the state-of-the-art for QDIPs and indicate that this device heterostructure is appropriate for incorporation into focal plane arrays.
Temporal Logic Model Checking (2005)

Errors in safety-critical systems such as embedded controllers may have drastic consequences and can even endanger human life. It is therefore crucially important to verify the correctness of such systems in a logically precise manner during system design itself. This chapter is an introduction to model checking—an automated and practically successful approach for the formal verification of the correctness of hardware and software systems. The aim of this chapter is to introduce those important lines of research which transformed model checking from a method of primarily theoretical interest into a powerful tool for the analysis of computer hardware and soft ware. We shall focus in particular on those subjects which have shaped our thinking about model checking in the verification group of Carnegie Mellon University, most notably symbolic model checking and abstraction. The development of symbolic model checker [6, 24] was arguably a turning point in the formal methods field. Employing a combination of binary decision diagrams and fixed-point algorithms, the symbolic model verifier (SMV) became the first model checker to verify models with hundreds of Boolean variables and a tool to benchmark new ideas for more than a decade. Thus, after a brief theoretical introduction into logical foundations of model checking in Section 2, we will describe the methodology behind SMV in Section 3.1; we also cover bounded model checking, a more recent orthogonal symbolic model checking paradigm which is based on SAT solvers. Sections 3.2 and 3.3 finally are devoted to abstraction, the key principle underlying the big advances in software verification during the last few years. The focus in these sections will be on counterexample-guided abstraction refinement as well as predicate abstraction, both of which constitute key features of modern software verification tools.
An analysis of the EMV channel establishment protocol (2013)

With over 1.6 billion debit and credit cards in use worldwide, the EMV system (a.k.a. "Chip-and-PIN") has become one of the most important deployed cryptographic protocol suites. Recently, the EMV consortium has decided to upgrade the existing RSA based system with a new system relying on Elliptic Curve Cryptography (ECC). One of the central components of the new system is a protocol that enables a card to establish a secure channel with a card reader. In this paper we provide a security analysis of the proposed protocol, we propose minor changes/clarifications to the "Request for Comments" issued in Nov 2012, and demonstrate that the resulting protocol meets the intended security goals.
Intranasal Administration of a Polyethylenimine-Conjugated Scavenger Peptide Reduces Amyloid-β Accumulation in a Mouse Model of Alzheimer’s Disease (2016)

Amyloid-β (Aβ) aggregation in the brain plays a central and initiatory role in pathogenesis and/or progression of Alzheimer's disease (AD). Inhibiting Aβ aggregation is a potential strategy in the prevention of AD. A scavenger peptide, V24P(10-40), designed to decrease Aβ accumulation in the brain, was conjugated to polyethylenimine (PEI) and tested as a preventive/therapeutic strategy for AD in this study. This PEI-conjugated V24P(10-40) peptide was delivered intranasally, as nasal drops, to four-month-old APP/PS1 double transgenic mice for four or eight months. Compared with control values, peptide treatment for four months significantly reduced the amount of GdnHCl-extracted Aβ40 and Aβ42 in the mice's hippocampus and cortex. After treatment for eight months, amyloid load, as quantified by Pittsburgh compound B microPET imaging, was significantly decreased in the mice's hippocampus, cortex, amygdala, and olfactory bulb. Our data suggest that this intranasally delivered scavenger peptide is effective in decreasing Aβ accumulation in the brain of AD transgenic mice. Nasal application of peptide drops is easy to use and could be further developed to prevent and treat AD.
One‐pot synthesis of amino‐alcohols using a de‐novo transketolase and β‐alanine: Pyruvate transaminase pathway in <i>Escherichia coli</i> (2006)

Biocatalysis continues to emerge as a powerful technique for the efficient synthesis of optically pure pharmaceuticals that are difficult to access via conventional chemistry. The power of biocatalysis can be enhanced if two or more reactions can be achieved by a single whole cell biocatalyst containing a pathway designed de-novo to facilitate a required synthetic sequence. The enzymes transketolase (TK) and transaminase (TAm) respectively catalyze asymmetric carbon--carbon bond formation and amine group addition to suitable substrate molecules. The ability of a transaminase to accept the product of the transketolase reaction can allow the two catalysts to be employed in series to create chiral amino-alcohols from achiral substrates. As proof of principle, the beta-alanine: pyruvate aminotransferase (beta-A:P TAm) from Pseudomonas aeruginosa has been cloned, to create plasmid pQR428, for overexpression in E.coli strain BL21gold(DE3). Production of the beta-A:P TAm alongside the native transketolase (overexpressed from plasmid pQR411), in a single E.coli host, has created a novel biocatalyst capable of the synthesis of chiral amino alcohols via a synthetic two-step pathway. The feasibility of using the biocatalyst has been demonstrated by the formation of a single diastereoisomer of 2-amino-1,3,4-butanetriol (ABT) product, in up to 21% mol/mol yield, by the beta-A:P TAm, via transamination of L-erythrulose synthesized by TK, from achiral substrates glycolaldehyde (GA) and beta-hydroxypyruvate (beta-HPA). ABT synthesis was achieved in a one-pot process, using either whole cells of the dual plasmid strain or cell lysate, while the dual alcohol-amine functionality of ABT makes it an excellent synthon for many pharmaceutical syntheses.
3D audio augmented reality: implementation and experiments (2003)

Augmented reality (AR) presentations may be visual or auditory. Auditory presentation has the potential to provide hands-free and visually non-obstructing cues. Recently, we have developed a 3D audio wearable system that can be used to provide alerts and informational cues to a mobile user in such a manner as to appear to emanate from specific locations in the user's environment. In order to study registration errors in 3D audio AR representations, we conducted a perceptual training experiment in which visual and auditory cues were presented to observers. The results of this experiment suggest that perceived registration errors may be reduced through head movement and through training presentations that include both visual and auditory cues.
Scalable access control for distributed object systems (1999)

Rights to individual papers remain with the author or the author&apos;s employer. Permission is granted for noncommercial reproduction of the work for educational or research purposes. This copyright notice must be included in the reproduced paper. USENIX acknowledges all trademarks herein.
일차 생체 신이식 환자에 대한 Cipol-N 의 유효성 평가를 위한 공개, 다 기관 임상 시험 (1999)

Cyclosporine (CsA) has been one of the main immunosuppressants after kidney transplantation since its introduction in Korea. There was remarkable improvement of graft survival in kidney transplantation with CsA, compared with azathioprine. Cipol-N (Chong Kun Dang, Korea), microemulsion gelatin capsule formulation of CsA, is a new generic drug. This pure domestic brand of CsA was tested for bioequivalence in healthy adults compared with the reference drug of the same formulation, Sandimmun-Neoral (Novartis, Switzerland) in 1997. This open-label, multi-center study is designed to evaluate the efficacy of Cipol-N in primary kidney transplant recipients for 6 months after transplantation. A total of 59 patients from 4 medical centers were enrolled in the study. Maintenance immunosuppressive protocol was based on CsA and steroid dual therapy, which was induced 2 days prior to the operation. Acute rejection was diagnosed with clinical or pathological clue. Clinical criteria for the diagnosis of acute rejection were oliguria, graft swelling and tenderness, rising serum creatinine, fever, and papillary swelling and increased vascular resistant index on Doppler ultrasonography. Steroid pulse therapy was used as primary treatment. Steroid resistant acute rejection was treated with anti-lymphocyte agents such as OKT3, ATG, or ALG. The primary efficacy endpoint was onset of acute rejection or treatment failure, defined as graft loss, death, or premature termination from the study for any reason. Incidence and severity of acute rejection, actual survival rate of patient and graft, function of the graft, pharmacokinetics of the Cipol-N , and the primary efficacy variables were evaluated 6 months after transplantation. All enrolled patients were included in the primary analyses of efficacy on the basis of intent to treat. Mean age of the patients was 37.1 10.4 years old. Male and female ratio was 42：17. There were 38 related pairs, which included 5 HLA identical and 33 HLA haplo-identical matches, and 21 unrelated pairs. A total of 10 patients were withdrawn from the study before post- transplant 6 months. The causes for premature withdrawal were patient`s request without specific reason (6), partially rescued acute rejection (3), and patient`s death (1). There were 27 episodes of acute rejection in 25 patients, which were diagnosed clinically (11) and pathologically (16). Steroid pulse therapy and anti-lymphocyte agent were used in 24 and 3 cases respectively. There were 4 patients, who showed partial rescue but no graft loss due to acute rejection. Patient and graft survival was 98.3% at post-transplant 6 months. Serum creatinine concentration showed 1.3∼1.7 mg/dl all through the study period, which meant relatively stable graft function. Mean daily doses of Cipol-N at post-transplant 1 and 6 months were 325 and 300 mg respectively. With this short term study, we can report that Cipol-N showed relatively good efficacy in primary living donor kidney transplantation. Further study is needed for the evaluation of long term efficacy and safety.