gebhart/patrepeval huggingface dataset:
Optimal Attack against Cyber-Physical Control Systems with Reactive Attack Mitigation (2017)

This paper studies the performance and resilience of a cyber-physical control system (CPCS) with attack detection and reactive attack mitigation. It addresses the problem of deriving an optimal sequence of false data injection attacks that maximizes the state estimation error of the system. The results provide basic understanding about the limit of the attack impact. The design of the optimal attack is based on a Markov decision process (MDP) formulation, which is solved efficiently using the value iteration method. Using the proposed framework, we quantify the effect of false positives and mis-detections on the system performance, which can help the joint design of the attack detection and mitigation. To demonstrate the use of the proposed framework in a real-world CPCS, we consider the voltage control system of power grids, and run extensive simulations using PowerWorld, a high-fidelity power system simulator, to validate our analysis. The results show that by carefully designing the attack sequence using our proposed approach, the attacker can cause a large deviation of the bus voltages from the desired setpoint. Further, the results verify the optimality of the derived attack sequence and show that, to cause maximum impact, the attacker must carefully craft his attack to strike a balance between the attack magnitude and stealthiness, due to the simultaneous presence of attack detection and mitigation.
An Elliptic Collocation-Finite Element Method with Interior Penalties (1978)

A discontinuous collocation-finite element method with interior penalties is proposed and analyzed for elliptic equations. The integral orthogonalities are motivated by the interior penalty $L^2$-Galerkin procedure of Douglas and Dupont.
AVA classification as an unsupervised machine-learning problem (2016)

Much of AVA analysis relies on characterizing background trends and anomalies in pre-stack seismic data. Analysts reduce a seismic section into a small number of these trends and anomalies, suggesting that a low-dimensional structure can be inferred from the data. We describe AVA-attribute characterization as an unsupervised-learning problem, where AVA classes are learned directly from the data without any prior assumptions on physics and geological settings. The method is demonstrated on the Marmousi II elastic model, where a gas reservoir was successfully delineated from a background trend in a depth migrated image. Presentation Date: Thursday, October 20, 2016 Start Time: 10:10:00 AM Location: 174 Presentation Type: ORAL
Magnetic resonance spectroscopic imaging reconstruction with deformable shape‐intensity models (2003)

A new method, based on a deformable shape-intensity model (DSM), was developed to improve the signal-to-noise ratio (SNR) of multidimensional magnetic resonance spectroscopic imaging (MRSI) data sets without affecting spectral lineshapes and linewidths. Improvements with DSM, compared to digital filters using conventional signal apodization, were demonstrated on both simulated and experimental in vivo (1)H MRS images from 22 cognitively normal (CN) elderly subjects and 25 patients with Alzheimer's disease (AD). Simulated MRSI data showed that DSM achieved superior noise suppression compared to a matched apodization filter. Experimental MRSI data showed that SNR could be increased 2.1-fold with DSM without distorting spectral resolution, thus maintaining all spectral features of the raw, unfiltered data. In conclusion, DSM should be used to achieve high SNR in reconstructing MRSI data.
Rodent pharmacokinetics and receptor occupancy of the GABA<sub>A</sub> receptor subtype selective benzodiazepine site ligand L‐838417 (2004)

The pharmacokinetics of L-838417, a GABAA receptor subtype selective benzodiazepine site agonist, were studied in rats and mice after single oral (p.o.), intraperitoneal (i.p.) and intravenous (i.v.) doses. In both species L-838417 was well absorbed following i.p. administration and whilst in rats p.o. bioavailability was good (41%), in mice it was negligible (<1%), precluding this as a route of administration for mouse behavioural studies. Despite having a similar volume of distribution (ca 1.4 l/kg) in rats and mice, L-838417 was cleared at twice liver blood flow in mice (161 ml/min/kg) and moderately cleared in rats (24 ml/min/kg), potentially explaining the poor oral bioavailability in mice. Finally, as a pharmacodynamic readout the benzodiazepine binding site occupancy was determined in rats (0.3-3 mg/kg, p.o.) and mice (1-30 mg/kg, i.p.) using a [3H]Ro 15-1788 in vivo binding assay. Although the resulting dose-occupancy relationship for both species demonstrated a dose-dependent increase in receptor occupancy, appreciable variability was observed at low dose levels, potentially making interpretation of behavioural responses difficult. In contrast, a clear relationship between plasma and brain concentrations and receptor occupancy were determined suggesting the observed dose-occupancy variability is a consequence of the pharmacokinetic properties of L-838417. The plasma and brain concentrations required to occupy 50% of the benzodiazepine binding sites were similar in both rats (28 ng/ml and 33 ng/ml g, respectively) and mice (63 ng/ml and 53 ng/ml g, respectively), with a non-linear concentration response observed with increasing doses of L-838417. These studies demonstrate the importance of utilizing pharmacokinetic/receptor occupancy data when interpreting pharmacodynamic responses at a given dose.
Adaptive Blind Image Watermarking Using Fuzzy Inference System Based on Human Visual Perception (2017)

Development of digital content has increased the necessity of copyright protection by means of watermarking. Imperceptibility and robustness are two important features of watermarking algorithms. The goal of watermarking methods is to satisfy the tradeoff between these two contradicting characteristics. Recently watermarking methods in transform domains have displayed favorable results. In this paper, we present an adaptive blind watermarking method which has high transparency in areas that are important to human visual system. We propose a fuzzy system for adaptive control of the embedding strength factor. Features such as saliency, intensity, and edge-concentration, are used as fuzzy attributes. Redundant embedding in discrete cosine transform (DCT) of wavelet domain has increased the robustness of our method. Experimental results show the efficiency of the proposed method and better results are obtained as compared to comparable methods with same size of watermark logo.
Weak duplicate address detection in mobile ad hoc networks (2002)

Auto-configuration is a desirable goal in implementing mobile ad hoc networks. Specifically, automated dynamic assignment (without manual intervention) of IP addresses is desirable. In traditional networks, such dynamic address assignment is often performed using the Dynamic Host Configuration Protocol (DHCP). Implementing DHCP, however, requires access to a DHCP server. In mobile ad hoc networks, it is difficult to guarantee access to a DHCP server, since ad hoc networks can become partitioned due to host mobility. Therefore, alternative mechanisms must be employed. One plausible approach is to allow a node to pick a tentative address randomly (or using some locally available information), and then use a "duplicate address detection" (DAD) procedure to detect duplicate addresses. The previously proposed DAD procedures make use of timeouts and do not always perform correctly in presence of partitions. In networks where message delays cannot be bounded, use of timeouts can lead to unreliability. Therefore, we propose an alternative approach (which can be used in conjunction with previously proposed schemes). We refer to the proposed approach as "weak" duplicate address detection. The goal of weak DAD is to prevent a packet from being routed to the "wrong" destination node, even if two nodes in the network happen to have chosen the same IP address. We also propose an enhanced version of the weak DAD scheme, which removes a potential shortcoming of the weak DAD approach.
Plasma focus based repetitive source of fusion neutrons and hard x-rays (2008)

A plasma focus device capable of operating at 0.2 pulses per second during several minutes is used as a source of hard x-rays and fast neutrons. An experimental demonstration of the use of the neutrons emissions for radiation probing of hydrogenated substances is presented, showing a particular application in detecting water concentrations differences in the proximity of the device by elastic scattering. Moreover, the device produces ultrashort hard x-rays pulses useful for introspective images of small objects, static or in fast motion, suitable for the identification of internal submillimetric defects. Clear images of metallic objects shielded by several millimeters iron walls are shown. PACS Codes: 29.25.Dz,52.59.Px
Effective Parallel Corpus Mining using Bilingual Sentence Embeddings (2018)

Mandy Guo, Qinlan Shen, Yinfei Yang, Heming Ge, Daniel Cer, Gustavo Hernandez Abrego, Keith Stevens, Noah Constant, Yun-Hsuan Sung, Brian Strope, Ray Kurzweil. Proceedings of the Third Conference on Machine Translation: Research Papers. 2018.
Embedded optical proximity correction for the Sigma7500 DUV mask writer (2007)

Optical proximity correction (OPC) is widely used in wafer lithography to produce a printed image that best matches the design intent while optimizing CD control. OPC software applies corrections to the mask pattern data, but in general it does not directly compensate for the mask writer and mask process characteristics. The Sigma7500 deep-ultraviolet (DUV) mask writer projects the image of a programmable spatial light modulator (SLM) onto the mask using partially coherent optics similar to wafer steppers, and the residual optical proximity effects of the mask writer are in principle correctable with established OPC methods. To enhance mask patterning, an embedded OPC function called LinearityEqualizer<sup>TM</sup> has been developed for the Sigma7500 that is transparent to the user and which does not degrade mask throughput. It employs the Mentor Graphics Calibre OPC engine, selected for the computational speed necessary for mask run-time execution. A multi-node cluster computer applies optimized table-based CD corrections to polygonized pattern data, which is then refractured into a standard writer format for subsequent data processing. This short-range proximity correction works in conjunction with ProcessEqualizer<sup>TM</sup>, a previously developed print-time function that reduces long-range process-related CD errors. OPC flattens the linearity behavior for all linewidths and pitches, which should improve the total CD uniformity on production photomasks. Along with better resolution of assist features, this further extends the application space of DUV mask writing. Testing shows up to a 4x reduction in the range of systematic CD deviations for a broad array of feature sizes and pitches, and dark assist features are reliably printed down to 120 nm at mask scale.
Experimental test of universal conductance fluctuations by means of wave-chaotic microwave cavities (2006)

The mathematical equivalence of the time-independent Schr\"odinger equation and the Helmholtz equation is exploited to provide a means of studying universal conductance fluctuations in ballistic chaotic mesoscopic systems using a two-dimensional microwave cavity. The classically chaotic ray trajectories within a suitably shaped microwave cavity play a role analogous to that of the chaotic dynamics of noninteracting electron transport through a ballistic quantum dot in the absence of thermal fluctuations. The microwave cavity is coupled through two single-mode ports and the effect of nonideal coupling between the ports and cavity is removed by a previously developed method based on the measured radiation impedance matrix. The Landauer-B\"uttiker formalism is applied to obtain the conductance of a corresponding mesoscopic quantum-dot device. We find good agreement for the probability density functions of the experimentally derived surrogate conductance, as well as its mean and variance, with the theoretical predictions of Brouwer and Beenakker. We also observe a linear relation between the quantum dephasing parameter and the cavity ohmic loss parameter.
Principal Angles between Subspaces in an <i>A</i>-Based Scalar Product: Algorithms and Perturbation Estimates (2002)

Computation of principal angles between subspaces is important in many applications, e.g., in statistics and information retrieval. In statistics, the angles are closely related to measures of dependency and covariance of random variables. When applied to column-spaces of matrices, the principal angles describe canonical correlations of a matrix pair. We highlight that all popular software codes for canonical correlations compute only cosine of principal angles, thus making impossible, because of round-off errors, finding small angles accurately. We review a combination of sine and cosine based algorithms that provide accurate results for all angles. We generalize the method to the computation of principal angles in an A-based scalar product for a symmetric and positive definite matrix A. We provide a comprehensive overview of interesting properties of principal angles. We prove basic perturbation theorems for absolute errors for sine and cosine of principal angles with improved constants. Numerical examples and a detailed description of our code are given.
THE OXIDATION OF ALLYL AND BENZYL ALCOHOLS TO THE ALDEHYDES<sup>1</sup> (1954)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTTHE OXIDATION OF ALLYL AND BENZYL ALCOHOLS TO THE ALDEHYDES1M. HARFENIST, A. BAVLEY, and W. A. LAZIERCite this: J. Org. Chem. 1954, 19, 10, 1608–1616Publication Date (Print):October 1, 1954Publication History Published online1 May 2002Published inissue 1 October 1954https://pubs.acs.org/doi/10.1021/jo01375a008https://doi.org/10.1021/jo01375a008research-articleACS PublicationsRequest reuse permissionsArticle Views1185Altmetric-Citations76LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
Purification of two glycoproteins expressing β1-6 branched Asn-linked oligosaccharides from metastatic tumour cells (1989)

Increased branching at the trimannosyl core of 'complex-type' Asn-linked oligosaccharides has been observed in both human and murine tumour cells, and appears to be associated with enhanced metastatic potential in several murine tumour models [Dennis, Laferte, Waghorne, Breitman & Kerbel (1987), Science 236, 582-585]. The lectin leucoagglutinin (L-PHA) requires the-GlcNAc beta 1-6Man alpha 1-6Man-linked lactosamine antenna in complex-type oligosaccharides for high-affinity binding and can be used to detect these structures in glycoproteins separated on SDS/polyacrylamide-gel electrophoresis. The major L-PHA-binding glycoproteins in the highly metastatic lymphoid tumour cell line called MDAY-D2 were purified and resolved into two major species, termed P2A (110 kDa) and P2B (130 kDa). P2A had L-PHA-reactive Asn-linked oligosaccharides with polylactosamine sequences as well as a large component of sialylated O-linked carbohydrates. The glycoprotein showed structural characteristics similar to those of leukosialin (i.e. CD43), a glycoprotein previously identified on the surface of leukocytes. Based on monosaccharide compositional analysis and glycosidase digestions, P2B was found to be 50-60% Asn-linked oligosaccharide containing polylactosamine sequences and sialic acid. The N-terminal peptide sequence of P2B was determined to be very similar to that of murine lysosomal membrane glycoprotein (LAMP-1), a ubiquitous glycoprotein found largely in the lysosomal membranes but also in the plasma membrane of several murine and human tumour cell lines.
Direct Injection Mass Spectrometric Confirmation of Multiple Drugs in Overdose Cases from Postmortem Blood Using Electrospray Ionization-Tandem Mass Spectrometry and MS3 (2008)

Five cases of confirmed multiple-drug overdose were previously screened and quantified by the West Virginia Office of the Chief Medical Examiner; 26 different drugs and metabolites were identified and quantified in blood at > or = 10 ng/mL. In this study, whole blood from those five case samples was analyzed by a direct injection multi-stage mass spectrometric (MSn) method to confirm the identity of 26 analytes at or above 10 ng/mL using 16 different deuterium-labeled internal standards. Samples were spiked with internal standards, precipitated with acetonitrile, and centrifuged. Samples were further diluted with either 0.1% formic acid or 0.1% ammonium hydroxide in methanol prior to injection into an electrospray ionization ion trap mass spectrometer (MS). Ions were monitored as MS-MS or MS3 product ions. In all cases, analysis by MS-MS confirmed the presence of the drugs and metabolites when the internal standards were detected. Detection of characteristic MS3 ions was used for further confirmation of the presence of parent drugs in all but three instances. Total analysis time was less than 1 h. Although only useful for qualitative or confirmatory purposes, this direct injection MSn method provides a simple and rapid confirmation of multiple drugs that have been previously identified and quantified by gas chromatographic-MS or liquid chromatographic-MS analytical methods.
We saw each other on the subway (2009)

There is an inherent tension between the value provided by Location-Based Services (LBSs) and the location-privacy concerns they raise. Unfortunately, users are often forced to either boycott LBS applications completely or fully trust a centralized service with their location data. In this paper, we propose several techniques for resolving this tension. In particular, we present a mechanism by which peers who shared a physical location and time can be matched by a central server, without compromising peer-to-server or peer-to-peer anonymity. We utilize k-anonymity techniques to maintain location privacy and cryptographic techniques to provide both a proof of this co-location and an end-to-end confidential channel that is invulnerable to server snooping and man-in-the-middle attacks.
Partitioned bus coding for energy reduction (2005)

For VLSI design in deep submicron technology, the bus energy reduction has become more and more important. This paper studies the bus partition scheme for the Transition Pattern Coding (TPC). The genetic algorithm based approach is used. A closed-form expression is derived to calculate the energy dissipation for the partitioned bus with TPC coding. A general bus model with coupling capacitance is considered during the energy estimation and optimization. The resulted partitioned bus coding reduces the encoding and decoding complexity of the original TPC. The experimental results show that the TPC with careful bus partitioned saves up to 16.9% the energy of the TPC with random bus partition.
The Genetics of Phenotypic Variation in Arabidopsis thaliana (2008)

All organisms exhibit substantial quantitative trait variation within populations. Such variation is important because it can affect fitness and serve as the substrate for adaptive evolution. Identifying the quantitative trait genes (QTGs) responsible for phenotypic variation is necessary to understand the mechanisms that generate trait variation and to determine the historical action of natural selection on quantitative traits and QTGs. However, in most complex organisms, the genetic mapping of QTGs is difficult and presently not feasible to do systematically at a gene-level resolution. Model organisms that are both tractable in the laboratory and complex developmentally can serve as trial systems for developing broadly applicable methods for QTG mapping. Using the plant genetic model Arabidopsis thaliana, I have attempted to map QTGs for ecologically-significant quantitative traits â€“ shoot branching and flowering time â€“ through a combination of forward and reverse genetic methods. Three main research projects are reported here: i) candidate gene association mapping and linkage mapping of shoot branching; ii) regulatory network-wide candidate gene association mapping of flowering time; and iii) a survey of intra- and interspecific genetic variation at nearly half of the microRNAs (miRNAs) and their binding sites in the genome. These studies have identified strong candidate QTGs for traits that are determinants of A. thaliana fitness in the wild. I synthesize my results with those of other researchers in this area to highlight the achievements, future promise, and looming challenges for statistical genetics in terms of elucidating the genetic basis of trait variation.
Inhibition of MMP-2 gelatinolysis by targeting exodomain–substrate interactions (2007)

MMP-2 (matrix metalloproteinase 2) contains a CBD (collagen-binding domain), which is essential for positioning gelatin substrate molecules relative to the catalytic site for cleavage. Deletion of the CBD or disruption of CBD-mediated gelatin binding inhibits gelatinolysis by MMP-2. To identify CBD-binding sites on type I collagen and collagen peptides with the capacity to compete CBD binding of gelatin and thereby inhibit gelatinolysis by MMP-2, we screened a one-bead one-peptide combinatorial peptide library with recombinant CBD as bait. Analyses of sequences from the CBD-binding peptides pointed to residues 715-721 in human alpha1(I) collagen chain as a binding site for CBD. A peptide (P713) including this collagen segment was synthesized for analyses. In SPR (surface plasmon resonance) assays, the CBD and MMP-2(E404A), a catalytically inactive MMP-2 mutant, both bound immobilized P713 in a concentration-dependent manner, but not a scrambled control peptide. Furthermore, P713 competed gelatin binding by the CBD and MMP-2(E404A). In control assays, neither of the non-collagen binding alkylated CBD or MMP-2 with deletion of CBD (MMP-2DeltaCBD) bound P713. Consistent with the exodomain functions of the CBD, P713 inhibited approximately 90% of the MMP-2 gelatin cleavage, but less than 20% of the MMP-2 activity on a peptide substrate (NFF-1) which does not require the CBD for cleavage. Confirming the specificity of the inhibition, P713 did not alter MMP-2DeltaCBD or MMP-8 activities. These experiments identified a CBD-binding site on type I collagen and demonstrated that a corresponding synthetic peptide can inhibit hydrolysis of type I and IV collagens by competing CBD-mediated gelatin binding to MMP-2.