gebhart/patrepeval huggingface dataset:
Modeling, Identification, and Control of Rapid Thermal Processing Systems (1994)

A wafer temperature control system is developed for rapid thermal processing (RTP) semiconductor manufacturing equipment. The control algorithm is based on a physical model describing the heat transfer effects in advanced RTP equipment. A model identification procedure is proposed to estimate the uncertain parameters of the model from a set of experiments. Through singular value analysis, the impact of equipment design on feedback controller development is studied. An internal model control (IMC) design methodology is used to develop a low‐order multivariable feedback control algorithm. The feedback controller is coordinated with additional modules including feedforward control and gain scheduling to achieve improved performance and flexibility. The algorithms are applied to three different multizone RTP systems. Temperature controlled ramps are demonstrated from 20 to 900°C at 45°C/s with less than ±5°C during the ramp at high temperatures and less than ±1°C average nonuniformity during steady state as measured by three radially distributed temperature sensors.
A New Method for Evaluating Foam-Damaging Effect by Free Fatty Acids (2002)

The foam damaging effect (FDE) value of a free fatty acid, representing its extent of adsorption on a foam cell surface, is described. This FDE value is calculated using the surface excess, which is quantitatively measured by the excess surface concentration of solute in a bulk solution. The increase in FDE value following the addition of free fatty acid to a sample beer showed a high correlation with decreasing rate of foam thickness. The total FDE value of the free fatty acids showed a negative correlation with foam stability (the NIBEM value) for the tested beers, which were produced with the same malt ratio and fermentation conditions. Di- and trihydroxyoctadecenoic acids derived from linoleic acid were the decisive compounds that determined the total FDE value of the fatty acids in the tested beers. The addition of di- and trihydroxyocatedecenoic acids to beer resulted in decreased foam adhesion. These hydroxy fatty acids can be controlled by various mashing conditions. The findings presented so far indicate that the FDE value will be useful for controlling the foam behavior of beer.
Evaluating fungi-degraded date pits as a feed ingredient for Nile tilapia<i>Oreochromis niloticus</i>L. (2008)

Five isocaloric-isonitrogenous diets containing 0, 150, 300, 450 and 600 g kg−1 of fungi Trichoderma reesei-degraded date pits (DDP), as a replacement for dietary corn, were fed to triplicate groups of Nile tilapia Oreochromis niloticus L. fingerlings (1.88 g initial weight), for 9 weeks, in 70 L fibreglass tanks. Each tank was considered as an experimental unit and was part of a water recirculating system utilizing filtered and aerated ground well water (24 ± 3 °C). Tilapia growth performance, namely, weight gain, feed conversion, specific growth rate and protein efficiency ratio were similar and superior in fish fed diets containing 150 and 300 g kg−1 DDP, when compared with those fish fed the other diets. Fish fed the control diet with 450 g kg−1 DDP had better growth efficiency performance than those fed diets containing 0 and 600 g kg−1. Fish fed the diet with 600 g kg−1 DDP were inferior to all other groups. Tilapia body composition was affected by increasing DDP level in the diets as body fat was decreased, while body moisture was increased. In conclusion, DDP could replace 300 g kg−1 of dietary corn with better growth results. Further increase of date pits replacements to 450 g kg−1 will affect growth performance, when compared with the control.
Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework (2013)

This paper proposes analysis technique for dynamic verification of APEX framework. APEX provides a list of permissions to a user to install software with some restrictions and user can also change these permissions at runtime. Model checking is a technique of formal verification to explore all possible paths with a large amount of inputs. Using this technique, we provide complete assurance about the APEX execution. We used a popular model checking tool Java Pathfinder (JPF), to verify APEX framework. The important aspect of this study is that we have identified a race condition in APEX using this tool.
ProSight PTM 2.0: improved protein identification and characterization for top down mass spectrometry (2007)

ProSight PTM 2.0 (http://prosightptm2.scs.uiuc.edu) is the next generation of the ProSight PTM web-based system for the identification and characterization of proteins using top down tandem mass spectrometry. It introduces an entirely new data-driven interface, integrated Sequence Gazer for protein characterization, support for fixed modifications, terminal modifications and improved support for multiple precursor ions (multiplexing). Furthermore, it supports data import and export for local analysis and collaboration.
Profiles for the situated web (2002)

The World Wide Web is evolving into a medium that will soon make it possible for conceiving and implementing situation-aware services. A situation-aware or situated web application is one that renders the user with an experience (content, interaction and presentation) that is so tailored to his/her current situation. This requires the facts and opinions regarding the context to be communicated to the server by means of a profile, which is then applied against the description of the application objects at the server in order to generate the required experience. This paper discusses a profiles view of the situated web architecture and analyzes the key technologies and capabilities that enable them. We conclude that trusted frameworks wherein rich vocabularies describing users and their context, applications and documents, along with rules for processing them, are critical elements of such architectures.
Major northwest-directed Caledonian thrusting and folding in Precambrian rocks, northwest Mayo, Ireland (1995)

Abstract Structural mapping of the North West Mayo Inlier has investigated the kinematics of ductile fault and shear zones within the Dalradian and pre-Dalradian rocks. The area is characterized by an intense east to southeast trending elongation direction. Pre-Caledonian deformation is preserved as west-northwest trending sinistral mylonite zones. These are cross-cut by Grenville pegmatites and by undated mafic dykes. Subsequent deformation has been influenced by the majorbasement structures. During the Caledonian deformation, the pre-existing sinistral structures were reactivated coaxially as steep sinistral shear zones, deforming the mafic dykes. Major northwesterly verging thrusts are widespread in flat-lying zones which occur over much of the inlier. These are interpreted as D2 in age. The S2 fabric is the dominant fabric and contains an east to northeast trending mineral lineation. The southeastern part of the inlier is characterized by very large scale (wavelengths of kilometres) reclined D2 folding. This is interpreted as a crustal scale ramp zone. In the vicinity of this ramp there is evidence of earlier (F1) folds which are possibly the product of ramprelated deformation. All of these structures are interpreted as the product of northwest verging thrusting with crustal scale frontal and lateral ramps.
Computational ligand-based rational design: role of conformational sampling and force fields in model development (2011)

A significant number of drug discovery efforts are based on natural products or high throughput screens from which compounds showing potential therapeutic effects are identified without knowledge of the target molecule or its 3D structure. In such cases computational ligand-based drug design (LBDD) can accelerate the drug discovery processes. LBDD is a general approach to elucidate the relationship of a compound's structure and physicochemical attributes to its biological activity. The resulting structure-activity relationship (SAR) may then act as the basis for the prediction of compounds with improved biological attributes. LBDD methods range from pharmacophore models identifying essential features of ligands responsible for their activity, quantitative structure-activity relationships (QSAR) yielding quantitative estimates of activities based on physiochemical properties, and to similarity searching, which explores compounds with similar properties as well as various combinations of the above. A number of recent LBDD approaches involve the use of multiple conformations of the ligands being studied. One of the basic components to generate multiple conformations in LBDD is molecular mechanics (MM), which apply an empirical energy function to relate conformation to energies and forces. The collection of conformations for ligands is then combined with functional data using methods ranging from regression analysis to neural networks, from which the SAR is determined. Accordingly, for effective application of LBDD for SAR determinations it is important that the compounds be accurately modelled such that the appropriate range of conformations accessible to the ligands is identified. Such accurate modelling is largely based on use of the appropriate empirical force field for the molecules being investigated and the approaches used to generate the conformations. The present chapter includes a brief overview of currently used SAR methods in LBDD followed by a more detailed presentation of issues and limitations associated with empirical energy functions and conformational sampling methods.
Oxygen-based deep levels in metalorganic vapor phase epitaxy indium gallium arsenide (1995)

We have studied the defect engineering in metalorganic vapor phase epitaxy InxGa1−x As by controlled oxygen doping. Diethylaluminum ethoxide (DEALO) was used as an oxygen precursor to provide the intentional deep level incorporation. DEALO doping in InxGa1−xAs:Si with x≤0.25 resulted in the reduction in carrier concentrations. The Al and O incorporation with a DEALO mole fraction was weakly dependent on alloy composition for x≤0.25. The degree of electrical compensation, however, decreased as the In content increased at the same oxygen content. Deep level transient spectroscopy investigations on a series of InxGa1−xAs:Si:O samples with x ranging from 0 to 0.18 reveal a set of oxygen-derived deep levels, similar to those found in DEALO-doped GaAs. These characteristic deep levels appear to remain at a relatively constant energy with respect to the valence band, as compared to the rapid decrease in the conduction band of InxGa1−xAs with x.
Presentation of T-cell epitopes assembled as multiple-antigen peptides to murine and human T lymphocytes (1993)

Multiple-antigen peptide (MAP) constructs containing different T- and B-cell epitopes were assessed for their ability to be specifically recognized by murine and human T-cell clones. The different synthetic MAP constructs consisted of a malaria T-cell epitope or of a human universal tetanus toxin helper T-cell epitope collinearly synthesized with B-cell epitopes from the circumsporozoite proteins of different malaria parasites. All constructs were able to stimulate specifically T-cell clones. Interestingly, T-cell epitopes assembled as MAP constructs did not require processing for the specific stimulation of murine and human T-cell clones, as shown by retention of their stimulatory effect in the presence of glutaraldehyde-fixed antigen-presenting cells. However, processing was required for most of the synthetic constructs containing both T- and B-cell epitopes. Thus, the requirement for processing of these constructs seems to be dictated by the nature of the B-cell epitope present.
Zygotic Lethal Mutations With Maternal Effect Phenotypes in <i>Drosophila melanogaster</i>. II. Loci on the Second and Third Chromosomes Identified by <i>P</i>-Element-Induced Mutations (1996)

Screens for zygotic lethal mutations that are associated with specific maternal effect lethal phenotypes have only been conducted for the X chromosome. To identify loci on the autosomes, which represent four-fifths of the Drosophila genome, we have used the autosomal "FLP-DFS" technique to screen a collection of 496 P element-induced mutations established by the Berkeley Drosophila Genome Project. We have identified 64 new loci whose gene products are required for proper egg formation or normal embryonic development.
Transcutaneous Immunization with<i>Clostridium difficile</i>Toxoid A Induces Systemic and Mucosal Immune Responses and Toxin A-Neutralizing Antibodies in Mice (2007)

Clostridium difficile is the leading cause of nosocomial infectious diarrhea. C. difficile produces two toxins (A and B), and systemic and mucosal anti-toxin A antibodies prevent or limit C. difficile-associated diarrhea. To evaluate whether transcutaneous immunization with formalin-treated C. difficile toxin A (CDA) induces systemic and mucosal anti-CDA immune responses, we transcutaneously immunized three cohorts of mice with CDA with or without immunoadjuvantative cholera toxin (CT) on days 0, 14, 28, and 42. Mice transcutaneously immunized with CDA and CT developed prominent anti-CDA and anti-CT immunoglobulin G (IgG) and IgA responses in serum and anti-CDA and anti-CT IgA responses in stool. Sera from immunized mice were able to neutralize C. difficile toxin A activity in an in vitro cell culture assay. CDA itself demonstrated adjuvant activity and enhanced both serum and stool anti-CT IgA responses. Our results suggest that transcutaneous immunization with CDA toxoid may be a feasible immunization strategy against C. difficile, an important cause of morbidity and mortality against which current preventative strategies are failing.
Rectangular wave excitation in wideband bioimpedance spectroscopy (2009)

Method of time domain impedance spectroscopy using of rectangular wave chirp excitation is presented in the paper. Effectiveness of the excitation is high-more than 85% of the generated energy lies in the useful excitation bandwidth, which can cover several decades of frequency. Fast measurement and joint time-frequency analysis of dynamic impedances is envisaged. Implementations in impedance spectroscopy for cell detection and characterizing in different lab-on-a-chip type high-throughput microfluidic devices can be one recommended area for the proposed method. This method offers important diagnostic information about the dynamic and structural properties of biological cells, organs like beating heart, and the whole cardiovascular system.
Ocular Antivirals (1993)

Hill, James M. Ph.D.; Hobden, Jeffery A. Ph.D.; Liu, Weiguo G. M.D.; Wen, Renjie Ph.D., M.D.; Zhang, Xiaoman M.D.; Callegan, Michelle C. M.S.
Isogeometric Analysis: Toward Integration of CAD and FEA (2009)

The authors are the originators of isogeometric analysis, are excellent scientists and good educators. It is very original. There is no other book on this topic. Ren de Borst, Eindhoven University of Technology Written by leading experts in the field and featuring fully integrated colour throughout, Isogeometric Analysis provides a groundbreaking solution for the integration of CAD and FEA technologies. Tom Hughes and his researchers, Austin Cottrell and Yuri Bazilevs, present their pioneering isogeometric approach, which aims to integrate the two techniques of CAD and FEA using precise NURBS geometry in the FEA application. This technology offers the potential to revolutionise automobile, ship and airplane design and analysis by allowing models to be designed, tested and adjusted in one integrative stage. Providing a systematic approach to the topic, the authors begin with a tutorial introducing the foundations of Isogeometric Analysis, before advancing to a comprehensive coverage of the most recent developments in the technique. The authors offer a clear explanation as to how to add isogeometric capabilities to existing finite element computer programs, demonstrating how to implement and use the technology. Detailed programming examples and datasets are included to impart a thorough knowledge and understanding of the material. Provides examples of different applications, showing the reader how to implement isogeometric models Addresses readers on both sides of the CAD/FEA divide Describes Non-Uniform Rational B-Splines (NURBS) basis functions
Constraint programming languages (2002)

Combinatorial search problems are ubiquitous in computer science and appears in many application areas, including operations research, hardware design, computational geometry, and finance. I take the position that constraint programming languages will play an increasingly important role in the development of these applications. The basic motivation behind these languages is to support well established paradigms and constraint solving techniques inside programming languages to: reduce the development time of these applications significantly; and preserve most of the efficiency of specialized algorithms.
Improving Water Resistance of Soy-Protein Wood Adhesive by Using Hydrophilic Additives (2014)

Soy protein adhesives are good candidates for the replacement of formaldehyde-based adhesives due to environmental concerns. However, poor water resistance has limited their application. This study was conducted to improve the water resistance of a soy-protein adhesive intended for plywood by polyethylene glycol (PEG) with different molecular weights. Ethylene glycol (EG), diethylene glycol (DEG), 400-, 2000-, and 10000-dalton polyethylene glycols were used as additives to soy protein isolate (SPI). The hydrogen bonding interaction, thermal properties, wettabilities on poplar veneer, and adhesion properties of the blended adhesives were investigated. Results showed that improving the wettability and intermolecular hydrogen bonding, induced by ethylene glycol, increased the wet adhesion strength by 30%. Higher-molecular weight polyethylene glycol imposed a decrease in adhesion due to its poor water resistance. Based on the present results, it is proposed to improve the water resistance of soy adhesives by introducing hydrophilic polyols, which also could simultaneously improve surface wetting and wet adhesion.
Scalable and Secure Aggregation in Distributed Networks (2011)

We consider the problem of computing an aggregation function in a \emph{secure} and \emph{scalable} way. Whereas previous distributed solutions with similar security guarantees have a communication cost of $O(n^3)$, we present a distributed protocol that requires only a communication complexity of $O(n\log^3 n)$, which we prove is near-optimal. Our protocol ensures perfect security against a computationally-bounded adversary, tolerates $(1/2-ε)n$ malicious nodes for any constant $1/2 > ε> 0$ (not depending on $n$), and outputs the exact value of the aggregated function with high probability.
Reduction of residual limb volume in people with transtibial amputation (2014)

The early postoperative phase after transtibial amputation is characterized by rapid residual limb volume reduction. Accurate measurement of residual limb volume is important for the timing of fitting a prosthesis. The aim of this study is to analyze the reduction of residual limb volume in people with transtibial amputation and to correlate residual limb volume with residual limb circumference. In a longitudinal cohort study of 21 people who had a transtibial amputation, residual limb volume was measured using a laser scanner and circumference was measured using a tape measure 1 wk postamputation and every 3 wk thereafter until 24 wk postamputation. A linear mixed model analysis was performed with weeks postamputation transformed according to the natural logarithm as predictor. Residual limb volume decreased significantly over time, with a large variation between patients. Residual limb volume does not correlate well with circumference. On average, residual limb volume decreased 200.5 mL (9.7% of the initial volume) per natural logarithm of the weeks postamputation. The decrease in residual limb volume following a transtibial amputation is substantial in the early postamputation phase, followed by a leveling off. It was not possible to determine a specific moment when the residual limb volume had stabilized.
Cryptatium: A Species of Expanded Atom/Radical Ion Pair Type from Electroreductive Crystallization of the Macrobicyclic Sodium Tris(Bipyridine) Cryptate (1991)

Electrocrystallization of the salt 1 yields deep blue-violet crystals. The structure analysis indicates that the compound obtained is a neutral species (no anion present) in which the unpaired electron is localized on one of the bpy units. The correct formulation is thus [Na⊕ ⊂ (bpy⊖)(bpy)2]•. This is the first example of a molecular “element” of the “cryptatium” family.
MAP IOP 15 Case Study (2002)

The Croatian coast is lined with mountains that are relatively small in area, but rather steep, with tops above 1500 m, very close to the coastline.Orography plays an important role in control- ling the weather, but orographically induced UDK:551.555.4Izvorni znanstveni rad weather patterns in that area are poorly resolved or not resolve d at all in large-scale models.This will be illustrated on an example of bura.Bura is a strong, gusty and cold katabatic wind that blows along the EastemAdriatic coast from the northeast quadrant.It is generated by the interaction of synoptic forcing with orography;
Web Site Stats: Tracking Hits and Analyzing Web Traffic (1996)

From the Publisher:
This book will run the gamut from an overview of Web statistics,through the technical details of collecting and analyzing information,to using that information to develop strategies and pursue organizational goals.
Supervised Learning of Semantics-Preserving Hashing via Deep Neural Networks for Large-Scale Image Search (2015)

This paper presents a supervised deep hashing approach that constructs binary hash codes from labeled data for large-scale image search. We assume that semantic labels are governed by a set of latent attributes in which each attribute can be on or off, and classification relies on these attributes. Based on this assumption, our approach, dubbed supervised semantics-preserving deep hashing (SSDH), constructs hash functions as a latent layer in a deep network in which binary codes are learned by the optimization of an objective function defined over classification error and other desirable properties of hash codes. With this design, SSDH has a nice property that classification and retrieval are unified in a single learning model, and the learned binary codes not only preserve the semantic similarity between images but also are efficient for image search. Moreover, SSDH performs joint learning of image representations, hash codes, and classification in a pointwised manner and thus is naturally scalable to large-scale datasets. SSDH is simple and can be easily realized by a slight modification of an existing deep architecture for classification; yet it is effective and outperforms other unsupervised and supervised hashing approaches on several benchmarks and one large dataset comprising more than 1 million images.