gebhart/patrepeval huggingface dataset:
Cyclic and multiresidue codes for arithmetic operations (1971)

In this paper, the cyclic nature of <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">AN</tex> codes is defined after a brief summary of previous work in this area is given. New results are shown in the determination of the range for single-error-correcting <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">AN</tex> codes when <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">A</tex> is the product of two odd primes <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">p_1</tex> and <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">p_2</tex> , given the orders of 2 modulo <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">p_1</tex> and modulo <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">p_2</tex> . The second part of the paper treats a more practical class of arithmetic codes known as separate codes. A generalized separate code, called a multiresidue code, is one in which a number <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">N</tex> is represented as \begin{equation} [N, \mid N \mid _ {m1}, \mid N \mid _{m2}, \cdots , \mid N \mid _{mk}] \end{equation} where <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">m_i</tex> are pairwise relatively prime integers. For each <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">AN</tex> code, where <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">A</tex> is composite, a multiresidue code can be derived having error-correction properties analogous to those of the <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">AN</tex> code. Under certain natural constraints, multiresidue codes of large distance and large range (i.e., large values of <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">N</tex> ) can be implemented. This leads to possible realization of practical single and/or multiple-error-correcting arithmetic units.
Microfabricated Atomic Clocks at NIST (2004)

This paper presents the latest progress in the development, fabrication, and characterization of microfabricated atomic frequency references at NIST. With volumes below 10 mm3 the physics packages contain the complete integrated assembly for probing the ground-state hyperfine splitting frequency of the alkali atoms by coherent population trapping (CPT). This technique allows for a simple and compact device containing a vertical-cavity surface-emitting laser (VCSEL), optics to shape the laser beam, a vapor cell containing the atoms, and a detector. We present an improved technique for microfabricating the miniature alkali vapor cells. When integrated into a CPT clock, a clear reduction of long-term frequency drifts is observed. This leads to a fractional frequency instability of less than 10-11 at one hour of integration, a more than one order of magnitude improvement over previous results. We identify the remaining sensitivities of the clock frequency to environmental influences and propose ways to reduce them.
Monensin inhibits collagenase production in osteoblastic cell cultures and also inhibits both collagenase release and bone resorption in mouse calvaria cultures. (1985)

Monensin, a monovalent cation ionophore, inhibited collagenase production in mouse osteoblast-rich bone cell and clonal osteogenic cell cultures. Inhibition of parathyroid hormone-stimulated bone resorption by monensin was also studied in calvaria cultures. Collagenase activity levels in the medium decreased concomitantly with the inhibition of bone resorption by monensin, indicating that monensin inhibited bone resorption by blocking collagenase secretion from osteoblasts in bone explants.
Leveraging Meta-path based Context for Top- N Recommendation with A Neural Co-Attention Model (2018)

Heterogeneous information network (HIN) has been widely adopted in recommender systems due to its excellence in modeling complex context information. Although existing HIN based recommendation methods have achieved performance improvement to some extent, they have two major shortcomings. First, these models seldom learn an explicit representation for path or meta-path in the recommendation task. Second, they do not consider the mutual effect between the meta-path and the involved user-item pair in an interaction. To address these issues, we develop a novel deep neural network with the co-attention mechanism for leveraging rich meta-path based context for top-N recommendation. We elaborately design a three-way neural interaction model by explicitly incorporating meta-path based context. To construct the meta-path based context, we propose to use a priority based sampling technique to select high-quality path instances. Our model is able to learn effective representations for users, items and meta-path based context for implementing a powerful interaction function. The co-attention mechanism improves the representations for meta-path based con- text, users and items in a mutual enhancement way. Extensive experiments on three real-world datasets have demonstrated the effectiveness of the proposed model. In particular, the proposed model performs well in the cold-start scenario and has potentially good interpretability for the recommendation results.
Organic semiconductors for organic field-effect transistors (2009)

The advantages of organic field-effect transistors (OFETs), such as low cost, flexibility and large-area fabrication, have recently attracted much attention due to their electronic applications. Practical transistors require high mobility, large on/off ratio, low threshold voltage and high stability. Development of new organic semiconductors is key to achieving these parameters. Recently, organic semiconductors have been synthesized showing comparable mobilities to amorphous-silicon-based FETs. These materials make OFETs more attractive and their applications have been attempted. New organic semiconductors resulting in high-performance FET devices are described here and the relationship between transistor characteristics and chemical structure is discussed.
Learning and evaluating the content and structure of a term taxonomy (2009)

In this paper, we describe a weakly supervised boot-straping algorithm that reads Web texts and learns tax-onomy terms. The bootstrapping algorithm starts with two seed words (a seed hypernym (Root concept) and a seed hyponym) that are inserted into a doubly anchored hyponym pattern. In alternating rounds, the algorithm learns new hyponym terms and new hypernym terms that are subordinate to the Root concept. We conducted an extensive evaluation with human annotators to eval-uate the learned hyponym and hypernym terms for two categories: animals and people.
SSCS members access wealth of technical information through IEEE Xplore (2001)

The IEEE and its member societies publish nearly one third of the world's literature on electrical and electronic engineering — a vast treasury of information that was released in the year 2000 through a new online delivery system called IEEE Xplore. The more than 750 Gbytes of IEEE information — 660,000 articles, papers, and standards since 1988 — includes over three million pages of content from journals, transactions, magazines, conference proceedings, and standards. IEEE Xplore is the gateway that leads engineers to the specific piece of information needed within such an immense mass of data.
Synthesis and characterization of <i>N</i>‐ and <i>O</i>‐alkylated poly[aniline‐<i>co</i>‐<i>N</i>‐(2‐hydroxyethyl) aniline] (2011)

Abstract Poly[aniline‐ co ‐ N ‐(2‐hydroxyethyl) aniline] was synthesized in an aqueous hydrochloric acid medium with a determined feed ratio by chemical oxidative polymerization. This polymer was used as a functional conducting polymer intermediate because of its side‐group reactivity. To synthesize the alkyl‐substituted copolymer, the initial copolymer was reacted with NaH to obtain the N ‐ and O ‐anionic copolymer after the reaction with octadecyl bromide to prepare the octadecyl‐substituted polymer. The microstructure of the obtained polymers was characterized by Fourier transform infrared spectroscopy, 1 H‐NMR, and X‐ray diffraction. The thermal behavior of the polymers was investigated by thermogravimetric analysis and differential scanning calorimetry. The morphology of obtained copolymers was studied by scanning electron microscopy. The cyclic voltammetry investigation showed the electroactivity of poly [aniline‐ co ‐ N ‐(2‐hydroxyethyl) aniline] and N and O ‐alkylated poly[aniline‐ co ‐ N ‐(2‐hydroxyethyl) aniline]. The conductivities of the polymers were 5 × 10 −5 S/cm for poly[aniline‐ co ‐ N ‐(2‐hydroxyethyl) aniline] and 5 ×10 −7 S/cm for the octadecyl‐substituted copolymer. The conductivity measurements were performed with a four‐point probe method. The solubility of the initial copolymer in common organic solvents such as N ‐methyl‐2‐pyrrolidone and dimethylformamide was greater than polyaniline. The alkylated copolymer was mainly soluble in nonpolar solvents such as n ‐hexane and cyclohexane. © 2011 Wiley Periodicals, Inc. J Appl Polym Sci, 2012
A new 3D optical triangulation sensor for robotics (2002)

Describes an optical range sensor that measures distance and orientation from surfaces. The sensor uses three laser diodes and a position sensitive detector (PSD) camera. The lasers are parallel to each other in a way that their interception points with the surface define a triangle. The coordinates of each intersection point imaged on the camera can be determined by triangulation. The orientation of the triangular surface patch can be calculated by the cross product of any two sides of the triangle. Experimental results taken with a first prototype show distance accuracy of about 0.05 mm, and orientation accuracy of 0.1/spl deg/. The prototype can take measures from 60 mm to 750 mm.
Live VM Migration Under Time-Constraints in Share-Nothing IaaS-Clouds (2017)

Live VMmigration helps attain both cloud-wide load balancing and operational consolidation while the migrating VMs remain accessible to users. To avoid periods of high-load for the involved resources, IaaS-cloud operators assign specific time windows for such migrations to occur in an orderly manner. Moreover, providers typically rely on share-nothing architectures to attain scalability. In this paper, we focus on the real-time scheduling of live VM migrations in large share-nothing IaaS clouds, such that migrations are completed on time and without adversely affecting agreed-upon SLAs. We propose a scalable, distributed network of brokers that oversees the progress of all on-going migration operations within the context of a provider. Brokers make use of an underlying special purpose file system, termed MigrateFS, that is capable of both replicating and keeping in sync virtual disks while the hypervisor livemigrates VMs (i.e., RAM and CPU state). By limiting the resources consumed during migration, brokers implement policies to reduce SLA violations while seeking to complete all migration tasks on time. We evaluate two such policies, one based on task prioritization and a second that considers the financial implications set by migration deadline requirements. Using our MigrateFS prototype operating on a real cloud, we demonstrate the feasibility of performing migrations within time windows. By simulating large clouds, we assess the effectiveness of our proposed broker policies in a share-nothing configuration; we also demonstrate that our approach stresses 24 percent less an already saturated network if compared to an unsupervised set up.
Molding Compounds For Optical Disk Substrates (1987)

Birefringence is generally caused by the orientation of the optical anisotropic molecular chain introduced during the injection molding of plastic substrates. It was found that the degree of birefringence of molded disk depends on the value of the difference between the polarizabilities parallel and perpendicular to the molecular chain. This difference in polarizabilities is proportional to the optical elastic constant of the polymer in the elastic state. It was determined that the negative and positive segmental polarizabilities may be fully compensated by mixing two polymers with opposite molecular optical anisotropy in an optimal ratio. Using this method an injection molded substrate was developed which demonstrated minimal birefringence.
Active Control of Supersonic Inlet Unstart Using Vortex Generator Jets (2009)

An experimental study was conducted to investigate the effects of Wheeler Doublets (WDs), Vortex Generator Jets (VGJs), and their combination on supersonic inlet unstart. The final objective of the investigation was to achieve active control of unstart through the use of an unstart detection technique and the most effective of these actuators. Actuators were placed in the inner side wall of a floor-mounted inlet-isolator model in a Mach 5 flow. Unstart is initiated by increasing the back pressure by deflecting a flap at the downstream end of the isolator. Exclusive use of either WDs or VGJs was seen to have some effect on the back pressure but did not have a significant impact on delaying unstart. The combination of WDs and VGJs allowed the isolator’s back pressure to be raised steadily about 32% higher than the maximum mean pressure achieved by the baseline case as well as resulted in a reduction of isolator pressure unsteadiness of about 34%. The WDs+VGJs combination was successful because the presence of the WDs mitigated the unstart-inducing effect the VGJs had on the flow. Once the WDs+VGJs combination had proven to be the most effective actuator, an unstart detection technique and control logic were developed to form a closed loop control scheme aimed at preventing unstart. An important part of the control scheme was the identification of a wall-pressure-signal precursor to unstart that reliably predicted unstart onset. Experimental tests of this control system resulted in the achievement of active control of supersonic inlet unstart at a 50% success rate. In addition, areas that could significantly increase the success rate for the current unstart control technique were found, such as better unstart detection techniques and faster acting valves. The investigation showed that once the inlet-isolator system had unstarted, re-start was not achieved by activating the WDs+VGJs.
Functional characterization of a bacterial expansin from <i>Bacillus subtilis</i> for enhanced enzymatic hydrolysis of cellulose (2008)

Expansin is a plant protein family that induces plant cell wall-loosening and cellulose disruption without exerting cellulose-hydrolytic activity. Expansin-like proteins have also been found in other eukaryotes such as nematodes and fungi. While searching for an expansin produced by bacteria, we found that the BsEXLX1 protein from Bacillus subtilis had a structure that was similar to that of a beta-expansin produced by maize. Therefore, we cloned the BsEXLX1 gene and expressed it in Escherichia coli to evaluate its function. When incubated with filter paper as a cellulose substrate, the recombinant protein exhibited both cellulose-binding and cellulose-weakening activities, which are known functions of plant expansins. In addition, evaluation of the enzymatic hydrolysis of filter paper revealed that the recombinant protein also displayed a significant synergism when mixed with cellulase. By comparing the activity of a mixture of cellulase and the bacterial expansin to the additive activity of the individual proteins, the synergistic activity was found to be as high as 240% when filter paper was incubated with cellulase and BsEXLX1, which was 5.7-fold greater than the activity of cellulase alone. However, this synergistic effect was observed when only a low dosage of cellulase was used. This is the first study to characterize the function of an expansin produced by a non-eukaryotic source.
Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery (2009)

<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> There are varieties of constraints for a short-term scheduling problem of crude oil operations in a refinery. These constraints are difficult to model and complicate the short-term scheduling problem. Among them, oil residency time and high fusion point crude oil transportation constraints are the challenging ones. With high setup cost for high fusion point oil transportation, it is desired that the volume of high fusion point oil can be transported as much as possible by a single setup. This may result in late transportation of other types of crude oil, leading to the violation of crude oil residency time constraint. These constraints are ignored by existing methods in the literature. To solve this problem, this paper studies the problem in a control theory perspective by viewing an operation decision in the schedule as a control. With this idea, the system is modeled by a hybrid Petri net. With this model and tank grouping strategy, schedulability analysis is carried out and schedulability conditions are presented with tank charging and discharging costs being taken into consideration. These conditions are necessary for determining a refining schedule and can be used to check whether a target-refining schedule is realizable or not. If so, a feasible detailed schedule for the refining schedule can be easily obtained by creating the operation decisions one by one. </para>
Electromagnetically coupled microstrip ring-type antennas of arbitrary shape (2002)

Microstrip antennas have been used widely with advanced MIC/MMIC technology. This paper focuses on the modeling of microstrip elements of arbitrary shape in multilayered media. Emphasis is placed on the impact of the excitation mechanism on the circuit performance. To avoid the soldered probe-feed excitation, electromagnetically coupled (EMC) microstrip feedlines are preferred in this analysis. The change in resonant frequency due to the presence of proximity coupling from the embedded microstrip line is presented. Several microstrip ring-type antennas of arbitrary configuration are considered including circular, elliptical, polygonal and other arbitrarily-shaped rings. The mixed potential integral equation (MPIE) method combined with the triangular angular expansion function is developed to model general microstrip geometries. This method starts from meshing the whole microstrip geometry with small triangular faces. An evolution of the algorithm developed by McKinzie (see Ph.D. dissertation, UCLA, 1992) is used in this analysis. Both spatial-domain Green's functions, as obtained from vector and scalar potentials respectively, are evaluated by computing a Sommerfeld-type integral. By means of the moment method (MM) a matrix equation can be set up. Several numerical techniques are applied to speed up calculation. They are discussed and several examples are shown.
Stereovision-based 3D obstacle detection for automotive safety driving assistance (2009)

This paper describes the implementation of a realtime architecture dedicated to obstacle detection in the automotive domain, and more particularly to pre-crash situations. The method, based on stereovision, is of high complexity and can not run in real-time on standard processors. Therefore, the application is accelerated with the use of special purpose hardware; in particular, a highly parallelized disparity engine is presented. A prototype board was built, which achieves a performance of 460 GOPS and computes the application at the rate of 22 frames per second, thus reaching road safety constraints.
Dual mode cross-slotted filters realized with superconducting films (2000)

A planar superconducting single stage dual mode filter has been investigated and tested. The basic element of the device is a square patch resonator diagonally crossed by unequal slots to provide both a size reduction and a simple way to couple the two degenerate modes. The effect of further cuts, realized on the conductor surface, is also investigated with respect to the power handling capability and miniaturization requirements. Two different filter topologies operating in C band with 1% fractional bandwidth have been designed and fabricated using Nb and YBa2Cu3O7 films grown on 10×10×0.5 mm3 LaAlO3 (100) substrates. Device response is studied performing power and intermodulation measurements. Third order products start to appear above the noise floor (−120 dBm) at input power Pin≈−20 dBm, whereas thermomagnetic breakdown is observed above 20 dBm.
File System Scalability with Highly Decentralized Metadata on Independent Storage Devices (2016)

This paper discusses using hard drives that integrate a key-value interface and network access in the actual drive hardware (Kinetic storage platform) to supply file system functionality in a large scale environment. Taking advantage of higher-level functionality to handle metadata on the drives themselves, a serverless system architecture is proposed. Skipping path component traversal during the lookup operation is the key technique discussed in this paper to avoid performance degradation with highly decentralized metadata. Scalability implications are reviewed based on a fuse file system implementation.
A Multi-Physics 3D Modeling Methodology for Multi-Cylinder Diesel Engine Thermal Management and Fatigue Life Prediction (2015)

<div class="section abstract"><div class="htmlview paragraph">Durability assessments of modern engines often require accurate modeling of thermal stresses in critical regions such as cylinder head firedecks under severe cyclic thermal loading conditions. A new methodology has been developed and experimentally validated in which transient temperature distributions on cylinder head, crankcase and other components are determined using a Conjugate Heat Transfer (CHT) CFD model and a thermal finite element analysis solution. In the first stage, cycle-averaged gas side boundary conditions are calculated from heat transfer modeling in a transient in-cylinder simulation. In the second stage, a steady-state CHT-CFD analysis of the full engine block is performed. Volume temperatures and surface heat transfer data are subsequently transferred to a thermal finite element model and steady state solutions are obtained which are validated against CFD and experimental results. With the goal of emulating an engine test strategy for durability under extreme warm up and cool down cycles, a transient thermal analysis is performed for several loading cycles. Simulated transient temperature traces demonstrate good agreement with time-varying thermocouple measurements on the cylinder head. Temperature distributions at many times during the thermal shock test are utilized to calculate thermal stresses followed by a fatigue life analysis. It is demonstrated that transient thermal stress modeling is critical for the fatigue predictions at some locations on the cylinder head. This comprehensive methodology significantly improves the fidelity of engine thermal management and durability prediction and reduces the cost of engine development under severe fatigue prone conditions.</div></div>