gebhart/patrepeval huggingface dataset:
Efficient algorithms for interface timing verification (1994)

This paper presents algorithms for computing separations between events that are constrained to obey prespecified relationships in their relative time of occurrence. The algorithms are useful for interface timing verification, where event separations are checked against timing requirements. The first algorithm computes separations when only linear and max constraints exist. The algorithm must converge to correct maximum separation values in a finite number of steps, or report an inconsistence of the constraints, irrespective of the existence of infinite constraint bounds or infinite event separations. It is conjectured to run in \(O(VE + V^2 {\text{ log }}V)\) time, where V is the number of events, and E is the number of relationships between them. The other algorithms extend the first, and compute event separations in the NP-complete version of the problem where min constraints exist. Experiments demonstrate the algorithms are efficient in practice.
Qualitätskontrolle von Shuntsystemen - Ein Prüfstand zur automatisierten Testung von Liquordrainagesystemen (1997)

Article Qualitätskontrolle von Shuntsystemen - Ein Prüfstand zur automatisierten Testung von Liquordrainagesystemen was published on January 1, 1997 in the journal Biomedical Engineering / Biomedizinische Technik (volume 42, issue s2).
Cloning and Expression in <i>Saccharomyces cerevisiae</i> of a Synthetic Gene for the Type-I Trophoblast Interferon Ovine Trophoblast Protein-1: Purification and Antiviral Activity (1991)

Ovine trophoblast protein-1 (oTP-1) is a unique, Type I, trophoblast interferon (IFN) that possesses potent antiviral activity and is thought to be primarily responsible for maternal recognition of pregnancy in sheep. To provide sufficient amounts of protein for detailed studies, a synthetic gene for oTP-1 was designed and assembled in Escherichia coli, subcloned into a yeast expression plasmid, and used to overproduce recombinant oTP-1 in Saccharomyces cerevisiae. Recombinant oTP-1 was purified from soluble yeast extract using sequential ion-exchange and molecular sieve chromatography. Recombinant oTP-1 purified in this fashion exhibited potent antiviral activity (0.6 x 10(8) U/mg) similar to native oTP-1. This expression system will enable production of large quantities of soluble, biologically active, and correctly processed recombinant oTP-1. Furthermore, the synthetic gene construct facilitates introduction of mutations for ongoing structure/function studies of this unique, Type I, trophoblast IFN.
Marginal Distributions in Evolutionary Algorithms (1999)

In this paper, the description of two gene pool recombination operators is described. Both operators are based on the estimation of the distribution of the parents and its use to generate new individuals. The Univariate Marginal Distribution Algorithm (UMDA) uses simple univariate distributions. It is a perfect algorithm for linear problems. The Bivariate Marginal Distribution Algorithm (BMDA) is an extension of UMDA. In BMDA, the most important pair dependencies are taken into account. The dependencies are measured by the Pearson&apos;s chi-square statistics. The structure of a problem is being discovered during an optimization. BMDA works well for linear problems as well as for problems with interacting genes. 1 Introduction Evolutionary algorithms work over populations of strings. The main schema of evolutionary algorithms is simple. The initial population is generated randomly. From the current population, a set of high quality individuals is selected first. The better the indi...
Time and location-based hybrid recommendation system (2017)

With the development of the Internet, e-commerce industry rises rapidly. Online shopping becomes more and more convenient and fast. However it is very difficult for consumers to find satisfied commodity because of abundant and mixed commodity. Especially when people purchase the items which they are not familiar with or consume in a strange place. The study of the recommended system is to figure out those problems referred above. Traditional recommended methods use the similarity of user and item, in addition some people use the content of the item. This paper will convert recommended problem into classification problem and merge together the knowledge-based method. We also propose a flexibility and scalable feature selection approach. As we know, people's activeness and item's popularity change with time. So we abstract time context from time window and time decay in this paper. Though location-based recommendation becomes more and more important, geography information often sparse. In order to solve the problem we apply a new method to fill the missing location information and abstract spatial properties of users and items. The result of recommendation had been improved by using our methods.
NUEVOS REGISTROS DE MEGALOMYRMEX FOREL, 1884 (HYMENOPTERA: FORMICIDAE) PARA ECUADOR, CON LA DESCRIPCIÓN DEL MACHO DE M. GLAESARIUS KEMPF, 1970 (2005)

Resumen: Se presentan seis nuevas citas para Ecuador del genero solenopsidino de hormigas Megalomyrmex Forel, incluidas dentro de tres grupos de especies: M. modestus Emery (grupo de Modestus); M. bidentatus Fernandez & Baena, M. cyendyra Brandao, M. leoninus Forel, M. staundingeri Emery (grupo de Leoninus); M. cuatiara Brandao (grupo de Silvestrii). Se incluyen comentarios relativos a cada registro. El macho de M. glaesarius Kempf (grupo de Leoninus) se describe por primera vez, a partir de muestreos realizados en las estribaciones occidentales de los Andes ecuatorianos, con nuevos datos biologicos registrados para la especie. Palabras clave: Hymenoptera, Formicidae, hormigas, Megalomyrmex, macho de M. glaesarius, nuevos registros, Ecuador. New records of Megalomyrmex Forel, 1884 (Hymenoptera: Formicidae) from Ecuador, with the description of the male of M. glaesarius Kempf, 1970
Robust estimation of planar rigid body motion in magnetic resonance imaging (2000)

In magnetic resonance imaging, some schemes require slow data acquisition in order to achieve acceptable spatial resolution and signal-to-noise ratio. However, long scanning periods allow patient motion to distort the reconstructed images. In cases of planar rigid body motion, rotational and translational transformations can be assumed to model the patient motion. In this study, we develop a novel technique for estimating the parameters of these transformations. It is based on fixing two markers to the patient and using a post-processing algorithm to estimate the location of these two markers during the scan time. The key factor in this algorithm is to incorporate a priori information about the geometric shape of the markers to achieve accurate estimation. Computer simulation results confirmed the ability of the algorithm to estimate the unknown parameters.
Self-mixing interferometry and its applications (2016)

This paper reviews the self-mixing interference (SMI) in terms of its operation principle, the features of SMI signals and its configuration. SMI refers to a phenomenon that occurs when a small fraction of the light emitted by a laser is backscattered or reflected by an external target and re-enters the laser active cavity, thus leading to the modulation of the laser output power. This is a remarkably universal phenomenon, occurring in lasers regardless of type. A few application examples are presented based on the research work done in our group, including SMI sensing for displacement measurement, material parameters and laser parameters. An SMI with the laser operating at the relaxation oscillation is introduced which has potential for achieving more sensitive sensing.
LCCF: a scheduling algorithm for asynchronous optical switches (2005)

Using optical technology for packet switch fabrics offers several advantages such as scalability, high bandwidth, lower power consumption, and lower cost. These optical fabrics may work in synchronous or asynchronous fashion. This paper focuses on the asynchronous optical switch scheduling (AOSS) problem. We show that the AOSS problem is NP-complete for switches with more than three ports by formulating it as an open-shop problem. A heuristic scheduling algorithm, longest complement connection first (LCCF), is proposed to approximate the optimal solution. LCCF generates optimum schedule lengths for switches with two ports and is 2-approximation for larger switches. Our analysis will demonstrate that LCCF uses minimum speedup when compared to existing algorithms across a wide range of switching systems. Simulation also shows that LCCF algorithm achieves nearly optimum results in average cases. In addition, LCCF is simple and can be implemented in a distributed fashion.
The human TruB family of pseudouridine synthase genes, including the Dyskeratosis Congenita 1 gene and the novel member TRUB1 (2003)

A novel human gene denominated TruB pseudouridine (psi) synthase homolog 1 (E. coli) (approved symbol, TRUB1) has been identified and characterized. Spanning approximately 40 kb on chromosome 10 and including 8 exons, TRUB1 is the first described human ortholog of bacterial TruB/psi55, a gene involved in tRNA pseudouridinilation. TRUB1 gene encodes a 349-amino acid product, with a VFAVHKPKGPTSA box in positions 71-83 corresponding to motif I of the TruB family (probably involved in conserving protein structure). The TruB domain of TRUB1 lies between W104 and I255, and contains another short motif, GGTLDS AARGVLVV, including the highly conserved D residue that characterizes motif II (involved in uridine recognition and in catalytic function of psi synthases). Northern blot analysis revealed that TRUB1 mRNA is widely expressed in various human tissues (especially heart, skeletal muscle and liver). Phylogenetic analysis of the TruB domain revealed another human gene (approved symbol TRUB2) encoding a conserved TruB domain, located on human chromosome 9. Thus, the human TruB family includes at least three members: i.e. DKC1 (previously identified), TRUB1 and TRUB2. The TRUB1 and TRUB2 products could be the hitherto unidentified human tRNA psi synthases. Although TRUB1 is not highly similar to DKC1/dyskerin (whose mutations cause X-linked dyskeratosis congenita) and putatively affects tRNA rather than rRNA modification, it is the most similar human protein to dyskerin. Study of TRUB1 (and TRUB2) should facilitate understanding of the molecular mechanisms of RNA modification and the involvement of psi synthases in human pathology, including dyskeratosis-like diseases.
Inhibition of cruzipain, the major cysteine proteinase of the protozoan parasite, <i>Trypanosoma cruzi</i>, by proteinase inhibitors of the cystatin superfamily (1995)

Cruzipain, the major cysteine proteinase from Trypanosoma cruzi epimastigotes, purified to a sequentially pure form, exists in multiple forms with pI values between 3.7 and 5.1, and an apparent molecular mass of 41 kDa. The enzyme is stable between pH 4.5-9.5. Cruzipain was found to be rapidly and tightly inhibited by various protein inhibitors of the cystatin superfamily (kass = 1.7-79 x 10(6) M-1s-1, Kd = 1.4-72 pM). These results suggest a possible defensive role for the host's cystatins after parasite infection, and may be of use for the design of new therapeutic drugs.
BCH code based multiple bit error correction in finite field multiplier circuits (2011)

This paper presents a design methodology for multiple bit error detection and correction in Galois field arithmetic circuits such as the bit parallel polynomial basis (PB) multipliers over GF(2 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">m</sup> ). These multipliers are crucial in most of the cryptographic hardware designs and hence it is essential to ensure that they are not vulnerable to security threats. Security threats arising from injected soft (transient) faults into a cryptographic circuit can expose the secret information, e.g. the secret key, to an attacker. To prevent such soft or transient fault related attacks, we consider fault tolerance as a method of mitigation. Most of the current fault tolerant schemes are only multiple bit error detectable but not multiple bit error correctable. Keeping this in view, we present a multiple bit error correction scheme based on the BCH codes, with an efficient bit-parallel Chien search module. This paper details the design procedure as well as the hardware implementation specs. Comparison with existing methods demonstrate improved area, and reduced delay performances.
In situ flow-injection monitoring of ammonia in landfill leachate (1997)

A portable, 12 V battery-powered, automated spectrophotometric field monitor has been developed that permits the continuous long-term recording of the total ammonia concentration in the surrounding aquatic environment. The flow-injection (FI)–based monitor incorporates a gas diffusion unit and an acceptor stream containing an acid-base indicator. The detection system utilizes a red solid-state light-emitting diode source and photodiode detector. Remote control and data processing are achieved by an in-house–designed microcomputer system. The instrumentation was fully evaluated in the laboratory and was shown to operate unattended for periods of up to 1 week (analyzing every hour) before battery charging and reagent replacement were required. The precision and accuracy of the chemical monitor was examined by continuously analyzing a sample of a known ammonia concentration (80.0 mg L−1 NH3-N) at 60 minute intervals over a 7 day period (n = 170). The calculated mean concentration was 79.0 mg L−1 (using 50 and 150 mg L−1 standards) with an RSD of 5.2%. The detection limit (3σ) was determined as 2.5 mg L−1. The feasibility of using the system in situ was demonstrated by a 2 week field trial in which the automated field monitor was successfully deployed at a landfill leachate lagoon. Data from the trial are presented, and the potential applications of the system in environmental management are discussed. © 1997 John Wiley & Sons, Inc. Lab Robotics and Automation 9: 175–183, 1997.
A Convenient Synthesis of Aryl-Substituted N-Carbamoyl/N-Thiocarbamoyl Narcotine and Related Compounds (2002)

The reaction of nornarcotine and 5-bromonornarcotine, synthesized from noscapine, with suitable aromatic isocyanates or isothiocyanates provides a general method for the synthesis of aryl-substituted N-carbamoyl or N-thiocarbamoylnarcotine and related compounds. Similarly, 15a has been prepared via the reduction of the lactone ring moiety of noscapine. Also, an improved procedure, which utilizes narcotine N-oxide⋅HCl for generation of nornarcotine, is described.
Proximal metatarsal osteotomy and distal soft tissue reconstruction as treatment for hallux valgus deformity (2005)

The correction of a hallux valgus deformity with a proximal 1(st) metatarsal osteotomy and distal soft tissue repair is achieved with a three-incision technique. A lateral soft tissue release and reconstruction at the first metatarsophalangeal joint releases contracted structures including the lateral capsule, the transverse inter-metatarsal ligament and the conjoint adductor tendon. Rarely is the lateral sesamoid excised. Through a medial incision, the medial eminence or exostosis is resected. The sesamoids are realigned and the medial capsule is reefed. With a third incision, a proximal first metatarsal osteotomy is performed that corrects a widened 1-2 intermetatarsal angle. With correction of the hallux valgus and the 1-2 intermetatarsal angle, pronation of the hallux is corrected. This correction is routinely used for hallux valgus deformities characterized by subluxation of the metatarsophalangeal joint. In the presence of a mild hallux valgus deformity an osteotomy may not be necessary. With degenerative arthritis or a congruent metatarsophalangeal joint, alternative surgical procedures are indicated.
An OpenFlow-based collaborative intrusion prevention system for cloud networking (2015)

Software-Defined Networking (SDN) is an emerging architecture that is ideal for today's high-bandwidth, dynamic network environments. In this architecture, the control and data planes are decoupled from each other. Although much research has been performed into how SDN can resolve some of the most-glaring security issues of traditional networking, less research has addressed cloud security threats, and, in particular, botnet/malware detection and in-cloud attacks. This work proposes an intrusion prevention system for cloud networking with SDN solutions. To realize collaborative defense, mechanisms of botnet/malware blocking, scan filtering and honeypot are implemented. Malicious traffic is isolated because bot-infected VMs are removed effectively and efficiently from the private cloud. The scanning behavior can be filtered at a very early stage of prevention, making the VMs less exploitable. A honeypot mechanism is also deployed to trap attackers. Experimental results show the high detection rate, high prevention accuracy and low vulnerability of the proposed system.
Pseudoarginine: synthesis and properties of derivatives of delta-(1-imidazolyl)norvaline. (1990)

An analogue of arginine has been synthesized in which an imidazole ring occupies the position of the guanidino group of the natural amino acid. It was expected that peptides containing this amino acid when protonated might bind at enzymic sites specific for arginine, but that the pK of the imidazole ring, near 7, would facilitate entry of such peptides into cells, in contrast to peptides containing arginine. Other analogues of arginine can be visualized with a low side-chain pK, including isomers of the imidazole derivative which is the subject of this paper. These are viewed as 'pseudoarginines'. Our initial observations concern the properties of delta-(1-imidazolyl)norvaline in which a ring nitrogen atom is attached to norvaline, which thus becomes comparable to the guanidino delta-nitrogen. Its synthesis is described along with several derivatives examined as substrates or inhibitors. Potential ligands containing delta-(1-imidazolyl)norvaline (ImNva) did not give evidence of interaction with trypsin or plasma kallikrein, serine proteinases which bind arginine derivatives. However, clostripain, a bacterial cysteine proteinase specific for arginine, was readily inactivated by Cbz-Phe-ImNva-CH2F and the rate of inactivation showed an acid pH-dependence not observed, for example, in the inactivation of clostripain by Bz-Phe-LysCH2F.
The Church Divided (1983)

Abstract In 1839, the rising tension of the controversies regarding both Church Extension and the spiritual independence of the Church, combined with the economic depression and a darkening social environment, contributed to a series of religious revivals within the Church of Scotland. Chalmers, Welsh, and Gordon walked out of the General Assembly. This chapter narrates the culmination of The Disruption of 1834. The Disruption, Chalmers maintained, was not secession. Rather it was a tragic severing of the relationship between the true Church of Scotland and the British State which had broken its pledge to preserve the Church's integrity. For him, it was the Free Church that now represented the national Establishment and Christian commonwealth. To achieve the goal of a national territorial ‘establishment’, based upon the voluntary contributions, Chalmers devised his celebrated Sustentation Fund scheme.
The Personal Hearing System—A Software Hearing Aid for a Personal Communication System (2009)

A concept and architecture of a personal communication system (PCS) is introduced that integrates audio communication and hearing support for the elderly and hearing-impaired through a personal hearing system (PHS). The concept envisions a central processor connected to audio headsets via a wireless body area network (WBAN). To demonstrate the concept, a prototype PCS is presented that is implemented on a netbook computer with a dedicated audio interface in combination with a mobile phone. The prototype can be used for field-testing possible applications and to reveal possibilities and limitations of the concept of integrating hearing support in consumer audio communication devices. It is shown that the prototype PCS can integrate hearing aid functionality, telephony, public announcement systems, and home entertainment. An exemplary binaural speech enhancement scheme that represents a large class of possible PHS processing schemes is shown to be compatible with the general concept. However, an analysis of hardware and software architectures shows that the implementation of a PCS on future advanced cell phone-like devices is challenging. Because of limitations in processing power, recoding of prototype implementations into fixed point arithmetic will be required and WBAN performance is still a limiting factor in terms of data rate and delay.
Digital zoom camera with image sharpening and noise suppression (2004)

The intention of zooming in a video camera is to obtain more detailed visual information than the full frame view. The optical zooming mechanisms provide this additional information, however, when optically zoomed, the camera no longer detects the full frame view, which was detected before zooming. Digital zooming can detect the full view at all times, however, fails to provide additional visual information when zoomed. In applications such as visual surveillance and manufacturing quality measurement, it is required to detect the full frame view at all times, the camera should be capable of providing additional visual information when zoomed to the region of interest (ROI). This paper presents a video camera system incorporating an autonomous pan, tilt and zoom functionality based on ROI decided upon motion detection capability, which provides more visual information in zoomed modes while detecting the full view at all times. The intelligent ROI decision can be made not only based on motion but also shape, color, sizes etc. of targeted objects for tracking. Image sharpening and noise reduction methods are also provided within the camera system. Standard testing results indicate that this camera system can resolve up to 800 TV lines and produces comparable color quality to other CCD based CCTV surveillance cameras, especially at good lighting conditions.
Nanostructure Silicon Anodes Prepared by Chemical Reduction Method for Lithium Ion Batteries (2013)

Silicon is a promising anode material in high energy density application of lithium ion batteries because it is known to have the largest specific capacity (~4200mAh/g), ten time that of the commercially graphite carbon. However, they have shown great capacity fading and short battery life due to big volume changes upon insertion and extraction of lithium, which results in pulverization and loss of the electrical contact between the active material and the current collector. \nIn this thesis, we successfully fabricated two kinds of nanostructured silicon anodes by chemical reduction method and test them versus Li as half-cell. Porous Si showed a reversible capacity of 1482mAh/g after 30 cycles, which is 50% of its initial capacity. Carbon coating greatly improves the cycling stability and increase the capacity retention to 85%. Compared Si nanosheets structure, graphene-silica sandwich structure showed great improvements in capacity and cycling stability. This chemical reduction method is facile, mass productive and thus is promising in the nanostructure silicon anode fabrication.
Enhanced fluorescence quenching in receptor-containing conjugated polymers: a calix[4]arene-containing poly(phenylene ethynylene) (2004)

A fluorescent poly(phenylene ethynylene) containing calix[4]arene-based receptor units has a sensitivity to quenching by the N-methylquinolinium ion that is over three times larger than that seen in a control polymer lacking calix[4]arenes.