gebhart/patrepeval huggingface dataset:
Joint Angle Measurement Using Strategically Placed Accelerometers and Gyroscope (2015)

Optical and magnetic encoders are widely used to measure joint angles. These sensors are required to be installed at the axes of rotation (joint centers). However, microelectromechanical system (MEMS) accelerometer and gyroscope-based joint angle measurement sensors possess the advantage of being flexible with regard to the point of installation. Inertial measurement units (IMUs) are capable of providing orientation and are also used for joint angle estimation. They conventionally fuse gyroscope and accelerometer data using Kalman filter-like algorithm to estimate the joint angles. This research presents a novel approach of measuring joint parameters—joint angles, angular velocities, and accelerations, of two links joined by revolute or universal joint. The gravity-invariant vestibular dynamic inclinometer (VDI) and planar VDI (pVDI) are used on each link to measure the joint parameters of links joined by revolute and universal joints, respectively. The VDI consists of two dual-axis accelerometers and an uniaxial gyroscope, while the pVDI consists of four strategically placed dual-axis accelerometers and a triaxial gyroscope. The measurements of joint parameters using the presented algorithms are independent of integration errors/drift, do not require knowledge of robot dynamics, and are computationally less burdensome.
Comparison of sperm binding potential of uninseminated, inseminated‐unfertilized, and fertilized‐noncleaved human oocytes under hemizona assay conditions (1991)

In this study, human oocytes obtained after ovarian hyperstimulation for in vitro fertilization (IVF) and gamete intrafallopian transfer (GIFT) were utilized to evaluate sperm/zona pellucida binding potential. Three groups of oocytes were evaluated: 1) uninseminated; 2) inseminated-unfertilized; and 3) fertilized-uncleaved. All oocytes had undergone germinal vesicle breakdown at the time of retrieval and were salt-stored (pH 7.2) for not more than 30 days. Sperm binding was recorded under hemizona assay (HZA) conditions using spermatozoa from eight fertile men (HZA control) and from 1) four teratozoospermic (HZA test) and 2) four normozoospermic (HZA test) infertile men. First, the mean numbers (+/- SD) of sperm tightly bound for fertile controls and teratospermic men to hemizonae from uninseminated oocytes were 69.7 +/- 16 and 14.5 +/- 7, respectively (P = 0.02). Likewise, hemizonae from uninseminated oocytes bound 102.0 +/- 19 and 114.0 +/- 28, respectively, for fertile controls and normospermic men (P = 0.5). Second, hemizonae obtained from inseminated-unfertilized IVF oocytes bound 44.2 +/- 12 and 19.7 +/- 6 for fertile controls and teratospermic men, respectively (P = 0.02). This category of oocytes bound 100.5 +/- 7 and 108.5 +/- 11 sperm, respectively, for fertile controls and normospermic semen (P = 0.3). Third, HZA results of fertilized but uncleaved oocytes showed a mean number of tightly bound sperm of 6.0 +/- 4 compared with 65.0 +/- 1 in control, uninseminated oocytes using fertile sperm. These results demonstrate that uninseminated and inseminated-unfertilized human oocytes, salt-stored under controlled pH conditions, give reliable information regarding sperm binding potential under HZA conditions.
Nanopantography:  A New Method for Massively Parallel Nanopatterning over Large Areas (2005)

We report a radically different approach to the versatile fabrication of nanometer-scale preselected patterns over large areas. Standard lithography, thin film deposition, and etching are used to fabricate arrays of ion-focusing microlenses (e.g., small round holes through a metal/insulator structure) on a substrate such as a silicon wafer. The substrate is then placed in a vacuum chamber, a broad-area collimated beam of ions is directed at the substrate, and electric potentials are applied to the lens arrays such that the ions focus at the bottoms of the holes (e.g., on the wafer surface). When the wafer is tilted off normal (with respect to the ion beam axis), the focal points in each hole are laterally displaced, allowing the focused beamlets to be rastered across the hole bottoms. In this "nanopantography" process, the desired pattern is replicated simultaneously in many closely spaced holes over an area limited only by the size of the broad-area ion beam. With the proper choice of ions and downstream gaseous ambient, the method can be used to deposit or etch materials. Data show that simultaneous impingement of an Ar(+) beam and a Cl(2) effusive beam on an array of 950-nm-diam lenses can be used to etch 10-nm-diam features into a Si substrate, a reduction of 95x. Simulations indicate that the focused "beamlet" diameters scale directly with lens diameter, thus a minimum feature size of approximately 1 nm should be possible with 90-nm-diam lenses that are at the limit of current photolithography. We expect nanopantography to become a viable method for overcoming one of the main obstacles in practical nanoscale fabrication: rapid, large-scale fabrication of virtually any shape and material nanostructure. Unlike all other focused ion or electron beam writing techniques, this self-aligned method is virtually unaffected by vibrations, thermal expansion, and other alignment problems that usually plague standard nanofabrication methods. This is because the ion focusing optics are built on the wafer.
Scalable Boolean Methods in a Modern Synthesis Flow (2019)

With the continuous push to improve Quality of Results (QoR) in EDA, Boolean methods in logic synthesis have been recently drawing the attention of researchers. Boolean methods achieve better QoR than algebraic methods but require higher computational cost. In this paper, we introduce the Scalable Boolean Method (SBM) framework. The SBM consists of 4 optimization engines designed to be scalable in a modern synthesis flow. The first presented engine is a generalized resubstitution framework based on computing, and implementing, the Boolean difference between two nodes. The second consists of a gradient-based AIG optimization, while the third one is based on heterogeneous elimination for kerneling. The last proposed engine is a revisiting of maximum set of permissible functions computation with BDDs. Altogether, the SBM framework enables significant synthesis results. We improve 12 of the best known area results in the EPFL synthesis competition. Embedded in a commercial EDA flow, the new Boolean methods enable -2.20% combinational area savings and -5.99% total negative slack reduction, after physical implementation, at contained runtime cost.
Nanoelectroablation for human carcinoma therapy (2013)

The use of nanosecond pulsed electric fields to ablate tumors (nanoelectroablation) is now well established in the murine xenograft model system. In order bring this therapy into the clinic for the treatment of human tumors we are developing both a pulse generator as well as delivery electrodes to target the tumors to be treated. We will describe the PulseCure® Model MBR-1 100 ns pulse generator and the first human clinical trial data using nanoelectroablation to scarlessly ablate basal cell carcinomas.
SSEL: An Extensible Specification Language for SoC Security (2021)

A critical component of System-on-Chip (SoC) design entails specification of security requirements for trustworthy system operation. In this paper, we address this problem through the design of a new Security Specification Language (SSEL) to standardize the definition and implementation of SoC security requirements. We demonstrate that a viable path to the development of such a language is to build it on top of an existing programming language, extending a subset of the underlying language constructs and introducing new security-specific constructs as APIs. SSEL realizes this idea by building on top of a subset of C. We show how SSEL constructs can be used to develop executable specifications of a diverse set of usecases in modern SoC platforms. We show the application of SSEL in designing specifications for unlocking Logic Locked (LL)IPs, Authentication, and Secure Boot.
Small synopses for group-by query verification on outsourced data streams (2009)

Due to the overwhelming flow of information in many data stream applications, data outsourcing is a natural and effective paradigm for individual businesses to address the issue of scale. In the standard data outsourcing model, the data owner outsources streaming data to one or more third-party servers, which answer queries posed by a potentially large number of clients on the data owner's behalf. Data outsourcing intrinsically raises issues of trust, making outsourced query assurance on data streams a problem with important practical implications. Existing solutions proposed in this model all build upon cryptographic primitives such as signatures and collision-resistant hash functions, which only work for certain types of queries, for example, simple selection/aggregation queries. In this article, we consider another common type of queries, namely, “GROUP BY, SUM” queries, which previous techniques fail to support. Our new solutions are not based on cryptographic primitives, but instead use algebraic and probabilistic techniques to compute a small synopsis on the true query result, which is then communicated to the client so as to verify the correctness of the query result returned by the server. The synopsis uses a constant amount of space irrespective of the result size, has an extremely small probability of failure, and can be maintained using no extra space when the query result changes as elements stream by. We then generalize our synopsis to allow some tolerance on the number of erroneous groups, in order to support semantic load shedding on the server. When the number of erroneous groups is indeed tolerable, the synopsis can be strengthened so that we can locate and even correct these errors. Finally, we implement our techniques and perform an empirical evaluation using live network traffic.
Design, Synthesis, and Antiviral, Fungicidal, and Insecticidal Activities of Tetrahydro-β-carboline-3-carbohydrazide Derivatives (2014)

According to our previous research on the antiviral activity of β-carboline and tetrahydro-β-carboline derivatives, using (1S,3S)-1-methyl-2,3,4,9-tetrahydro-1H-pyrido[3,4-b]indole-3-carbohydrazide (1) as a lead compound, series of novel tetrahydro-β-carboline derivatives containing acylhydrazone moiety were designed, synthesized, and first evaluated for their biological activities. Most of these compounds exhibited excellent antiviral activity both in vitro and in vivo. The in vivo inactivation, curative, and protection activities of compounds 8, 9, 12, 16, 28, 29, and 30 were much higher than that of ribavirin (37.6%, 39.4%, and 37.9% at 500 μg/mL) and the lead compound (40.0%, 42.3%, and 39.6% at 500 μg/mL). Especially, the in vitro and in vivo activities of compound 16 (36.9%, 33.6%, 30.2%, and 35.8%) at 100 μg/mL, which were very close to that of ribavirin (40.0% for in vitro activity) at 500 μg/mL. Compounds 9 and 29 were chosen for the field trials of antiviral efficacy against TMV (tobacco mosaic virus); the results exhibited that both compounds, especially compound 29, showed better activities than control plant virus inhibitors. At the same time, the fungicidal results showed that compounds 6, 9, and 11 exhibited good fungicidal activities against 14 kinds of phytopathogens. Additionally, compounds 3 and 23 exhibited moderate insecticidal activity against the four tested species of insects.
Mapping of the mastoparan-binding site on G proteins. Cross-linking of [125I-Tyr3,Cys11]mastoparan to Go (1991)

Mastoparan (MP) activates GTP-binding regulatory proteins (G proteins) by promoting GDP/GTP exchange through a mechanism similar to that of G protein-coupled receptors (Higashijima, T., Burnier, J., and Ross, E. M. (1990) J. Biol. Chem. 265, 14176-14186). [Tyr3, Cys11]MP was synthesized and shown to have regulatory activity similar to that of mastoparan when assayed in the presence of dithiothreitol (DTT). Activation by [Tyr3,Cys11]MP in the absence of DTT was complex in its kinetics, concentration dependence, and dependence on detergents. [125I-Tyr3,Cys11]MP bound covalently to the alpha subunit of G proteins. Cross-linking was blocked by mastoparan or [Tyr3,Cys11]MP. Cross-linking was enhanced by the addition of beta gamma subunits, but no cross-linking to beta gamma subunits was observed. Cross-linking was inhibited by incubation of Go with guanosine 5'-O-(thiotriphosphate) and Mg2+ and was reversed by incubation with DTT or 2-mercaptoethanol. Stoichiometry of labeling was consistent with the cross-linking of one molecule of [125I-Tyr3,Cys11]MP/alpha subunit, and CNBr hydrolysis of the [125I-Tyr3,Cys11]MP-alpha o adduct yielded one major labeled peptide fragment of approximately 6 kDa. Amino acid sequencing of this CNBr fragment prepared from recombinant alpha o showed that cross-linking occurred at Cys3. No alpha o sequence was obtained from the same fragment prepared from bovine brain alpha o, which is blocked by a myristoyl group at Gly2. Regulation of Go by MP was eliminated by tryptic proteolysis of the amino-terminal region. These observations suggest that the amino-terminal region of G protein alpha subunits contributes to the mastoparan-binding site, which may also be the receptor-binding site, and is involved in regulation of nucleotide exchange.
4-aminoquinoline analogs of chloroquine with shortened side chains retain activity against chloroquine-resistant Plasmodium falciparum (1996)

We have synthesized several 4-aminoquinolines with shortened side chains that retain activity against chloroquine-resistant isolates of Plasmodium falciparum malaria (W. Hofheinz, C. Jaquet, and S. Jolidon, European patent 94116281.0, June 1995). We report here an assessment of the activities of four selected compounds containing ethyl, propyl, and isopropyl side chains. Reasonable in vitro activity (50% inhibitory concentration, < 100 nM) against chloroquine-resistant P. falciparum strains was consistently observed, and the compounds performed well in a variety of plasmodium berghei animal models. However, some potential drawbacks of these compounds became evident upon in-depth testing. In vitro analysis of more than 70 isolates of P. falciparum and studies with a mouse in vivo model suggested a degree of cross-resistance with chloroquine. In addition, pharmacokinetic analysis demonstrated the formation of N-dealkylated metabolites of these compounds. These metabolites are similarly active against chloroquine-susceptible strains but are much less active against chloroquine-resistant strains. Thus, the clinical dosing required for these compounds would probably be greater for chloroquine-resistant strains than for chloroquine-susceptible strains. The clinical potential of these compounds is discussed within the context of chloroquine's low therapeutic ratio and toxicity.
A high-performance 64-bit adder implemented in output prediction logic (2002)

Output Prediction Logic (OPL) is a technique that can be applied to conventional CMOS logic families to obtain considerable speedups. When applied to static CMOS, OPL retains the restoring character of the logic family. Speedups of 2/spl times/ to 3/spl times/ over (optimized) conventional static CMOS are demonstrated for a variety of circuits, ranging from chains of gates, to datapath circuits, and to random logic benchmarks. Such speedups are obtained using identical netlists without remapping. When applied to pseudo-nMOS and dynamic families in combination with remapping to wide-input NORs, OPL yields even greater speedups over static CMOS. In this paper we present a novel 64-bit adder design implemented in OPL, using a combination of 8-bit Carry Look Ahead (CLA) and Carry Select (CS). The very fast wide-input OPL NORs enabled the use of 8-bit CLA units instead of the usual 4-bit. Using a process-independent metric for comparison, this adder is twice as fast as previously published 64-bit adders.
Evolutionary engineering of Saccharomyces cerevisiae for efficient aerobic xylose consumption (2012)

Industrial biotechnology aims to develop robust microbial cell factories, such as Saccharomyces cerevisiae, to produce an array of added value chemicals presently dominated by petrochemical processes. Xylose is the second most abundant monosaccharide after glucose and the most prevalent pentose sugar found in lignocelluloses. Significant research efforts have focused on the metabolic engineering of S. cerevisiae for fast and efficient xylose utilization. This study aims to metabolically engineer S. cerevisiae, such that it can consume xylose as the exclusive substrate while maximizing carbon flux to biomass production. Such a platform may then be enhanced with complementary metabolic engineering strategies that couple biomass production with high value-added chemical. Saccharomyces cerevisiae, expressing xylose reductase, xylitol dehydrogenase and xylulose kinase, from the native xylose-metabolizing yeast Pichia stipitis, was constructed, followed by a directed evolution strategy to improve xylose utilization rates. The resulting S. cerevisiae strain was capable of rapid growth and fast xylose consumption producing only biomass and negligible amount of byproducts. Transcriptional profiling of this strain was employed to further elucidate the observed physiology confirms a strongly up-regulated glyoxylate pathway enabling respiratory metabolism. The resulting strain is a desirable platform for the industrial production of biomass-related products using xylose as a sole carbon source.
FluidCam 1 & 2 - UAV-based Fluid Lensing Instruments for High-Resolution 3D Subaqueous Imaging and Automated Remote Biosphere Assessment of Reef Ecosystems (2015)

We present NASA ESTO FluidCam 1 & 2, Visible and NIR Fluid-Lensing-enabled imaging payloads for Unmanned Aerial Vehicles (UAVs). Developed as part of a focused 2014 earth science technology grant, FluidCam 1&2 are Fluid-Lensing-based computational optical imagers designed for automated 3D mapping and remote sensing of underwater coastal targets from airborne platforms. Fluid Lensing has been used to map underwater reefs in 3D in American Samoa and Hamelin Pool, Australia from UAV platforms at sub-cm scale, which has proven a valuable tool in modern marine research for marine biosphere assessment and conservation. We share FluidCam 1&2 instrument validation and testing results as well as preliminary processed data from field campaigns. Petabyte-scale aerial survey efforts using Fluid Lensing to image at-risk reefs demonstrate broad applicability to large-scale automated species identification, morphology studies and reef ecosystem characterization for shallow marine environments and terrestrial biospheres, of crucial importance to improving bathymetry data for physical oceanographic models and understanding climate change’s impact on coastal zones, global oxygen production, carbon sequestration.
High Contrast Grating Based Saturable Absorber for Mode-locked Lasers (2010)

A novel semiconductor saturable absorber based on high contrast grating is investigated for the first time. The extremely broad reflection band, low saturation fluence, and large design flexibility make it useful in mode-locked femtosecond lasers.
Model‐based optimization of hydrogen generation by methane steam reforming in autothermal packed‐bed membrane reformer (2010)

Abstract An autothermal membrane reformer comprising two separated compartments, a methane oxidation catalytic bed and a methane steam reforming bed, which hosts hydrogen separation membranes, is optimized for hydrogen production by steam reforming of methane to power a polymer electrolyte membrane fuel cell (PEMFC) stack. Capitalizing on recent experimental demonstrations of hydrogen production in such a reactor, we develop here an appropriate model, validate it with experimental data and then use it for the hydrogen generation optimization in terms of the reformer efficiency and power output. The optimized reformer, with adequate hydrogen separation area, optimized exothermic‐to‐endothermic feed ratio and reduced heat losses, is shown to be capable to fuel kW‐range PEMFC stacks, with a methane‐to‐hydrogen conversion efficiency of up to 0.8. This is expected to provide an overall methane‐to‐electric power efficiency of a combined reformer‐fuel cell unit of ∼0.5. Recycling of steam reforming effluent to the oxidation bed for combustion of unreacted and unseparated compounds is expected to provide an additional efficiency gain. © 2010 American Institute of Chemical Engineers AIChE J, 2011
Single-graph multiple flows: Energy efficient design alternative for GPGPUs (2014)

We present the single-graph multiple-flows (SGMF) architecture that combines coarse-grain reconfigurable computing with dynamic dataflow to deliver massive thread-level parallelism. The CUDA-compatible SGMF architecture is positioned as an energy efficient design alternative for GPGPUs. The architecture maps a compute kernel, represented as a dataflow graph, onto a coarse-grain reconfigurable fabric composed of a grid of interconnected functional units. Each unit dynamically schedules instances of the same static instruction originating from different CUDA threads. The dynamically scheduled functional units enable streaming the data of multiple threads (or graph flows, in SGMF parlance) through the grid. The combination of statically mapped instructions and direct communication between functional units obviate the need for afull instruction pipeline and a centralized register file, whose energy overheads burden GPGPUs. We show that the SGMF architecture delivers performance comparable to that of contemporary GPGPUs while consuming ~57% less energy on average.
3D-TV Content Generation: 2D-to-3D Conversion (2006)

The next major advancement in television is expected to be stereoscopic three-dimensional television (3D-TV). A successful roll-out of 3D-TV will require a backward-compatible transmission and distribution system, inexpensive 3D displays that are equal or superior to high-definition television (HDTV), and an adequate supply of high-quality 3D program material. With respect to the last factor, we reckon that the conversion of 2D material to stereoscopic 3D could play an important role. In this paper we provide (a) an overview of the fundamental principle underlying 2D-to-3D conversion techniques, (b) a cursory look at a number of approaches for depth extraction using a single image, and (c) a highlight of the potential use of surrogate depth maps in depth image based rendering for 2D-to-3D conversion. This latter approach exploits the ability of the human visual system to combine reduced disparity information that are located mainly at edges and object boundaries with pictorial depth cues to produce an enhanced sensation of depth over 2D images
Whispering gallery mode resonators as optical reference cavities (2011)

Highly stabilized lasers are an increasingly valuable tool for metrology. For many applications, however, existing Fabry Pérot systems are too bulky and cumbersome. We are investigating the use of miniature monolithic whispering gallery mode resonators as reference cavities for laser stabilization. We seek to exploit the benefit of small size and vibration resistance by suppressing thermally induced frequency fluctuations. We have theoretically investigated the viability of using a thin-film coating to achieve temperature compensation. We have experimentally investigated an active temperature stabilization scheme based on birefringence in a crystalline resonator. We also report progress of laser locking to the resonators.