A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
High-level Hybrid Systems Analysis with Hypy
unpublished
Preserved Fulltext
A range of powerful analysis methods for this class of systems perform high-level analysis, where, iteratively, (1) a reachability computation is performed on a system model, (2) the result of the analysis ...
Hypy provides the necessary machinery to run a number of up-to-date hybrid systems analysis tools, parse their outputs, and modify the models. ...
High-Level Analysis • High-level analysis of hybrid systems uses multiple iterations, or combines different methods to analyze a system
Pseudo-Invariant Params • The previous pseudo-invariant transformation ...
doi:10.29007/4f3d
fatcat:5oejsjvelfa6hcj3qsnof4petu
EPiC Series in Computing High-level Hybrid Systems Analysis with Hypy (Tool Presentation)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present hypy, a python library which strives to ease the development of high-level analysis approaches. ...
A range of powerful analysis methods for this class of systems perform high-level analysis, where, iteratively, (1) a reachability computation is performed on a system model, (2) the result of the analysis ...
Case Studies Hypy eases implementations of high-level analysis for hybrid systems models. ...
fatcat:kk5rc7ptl5afhityrvo4kbomcm
Cardiovascular, hormone, and lipid responses to stress induced by virtual crane handling
2005
International Journal of Occupational Medicine and Environmental Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
They had the task of transporting a weight over barriers with a virtual crane twice in two 15-min intervals with a 15-min break in between. ...
Concentrations of epinephrine showed the highest increase under strain with a mean of 67%. ...
Fig. 1 . 1 Setting in the hybrid personal immersion system featuring 6 walls (HyPi-6). A: crane steering seat. B: screenshot of the virtual shop floor. ...
pmid:16617852
fatcat:3j2grsidbrb73ecwq2thx4urpm
Contribution of dipole-dipole interactions to the stability of the collagen triple helix
2008
Protein Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
data, it is unable to predict the rather high stability of peptides embedding Gly-Hyp-Hyp triplets. ...
In principle, collagen represents an ideal system for such investigations due to its simplified sequence and regular structure. ...
Materials and Methods Ground-state partial geometry optimizations are performed in vacuum at the DFT/6-31G(d) level with the PBE0 hybrid functional (Adamo and Barone 1999; Ernzerhof and Scuseria 1999) ...
doi:10.1110/ps.073301908
pmid:18369197
pmcid:PMC2327287
fatcat:22bxlo3wajajbasrssrn7mhk3e
Prediction of fibrosis in hepatitis C patients: assessment using hydroxyproline and oxidative stress biomarkers
2013
VirusDisease
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The histological activity index (HAI) was evaluated in liver biopsy by Metavir scoring system in 150 patients with HCV. ...
HCV initial screening, further genotyping and biochemical data analysis were performed in serum using ELISA and biochemical assays. ...
The results confirmed that APRI, AST/ALT, HypI, MDA, SOD and TAS were predictive of level of hepatic fibrosis. ...
doi:10.1007/s13337-013-0182-8
pmid:24426315
pmcid:PMC3889231
fatcat:jahe2rcvifd4bj37z34bpj3lv4
The significance of 24-norcholestanes, 4-methylsteranes and dinosteranes in oils and source-rocks from East Sirte Basin (Libya)
2011
Applied Geochemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This is consistent with the presence of dinoflagellates present during the deposition of the Mesozoic aged East Sirte Basin Formations. ...
Diatoms, dinoflagellates, (including those potentially associated with corals) and/or their direct ancestors are amongst the proposed sources of these biomarkers. ...
Acknowledgements The authors thank Geoff Chidlow for his assistance with GC-MS and GC-MS MS analysis, respectively. ...
doi:10.1016/j.apgeochem.2011.04.026
fatcat:iuvmz7fswjectpf2mwdesw3dia
Recombinant pulmonary surfactant protein D. Post-translational modification and molecular assembly
1994
Journal of Biological Chemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In order to further study the assembly of SP-D in vitro, Chinese hamster ovary K1 cells were transfected with a full-length rat SP-D cDNA, and stable transfectants with high levels of SP-D production ( ...
The expressed protein contained sialylated endoglycosidase F-sensitive carbohydrate; amino acid analysis of acid and alkaline hydrolysates demonstrated essentially normal levels of hydroxyproline, hydroxylysine ...
We also thank Robyn Roth for technical assistance with the EM studies. ...
pmid:8195236
fatcat:gwluxtb42bedzh6brfv5wkh77u
Recent and recurrent polyploidy in Tragopogon (Asteraceae): cytogenetic, genomic and genetic comparisons
2004
Biological Journal of the Linnean Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
transcribed spacer) + ETS (external transcribed spacer) sequence data indicate that the parental diploids are phylogenetically well separated within Tragopogon (a genus of perhaps 150 species), in agreement with ...
A straightforward initial experiment would involve analysis of the crossability of polyploid populations of separate origin, with analysis of hybrid fertility. ...
ANALYSIS OF GENE EXPRESSION IN TRAGOPOGON MISCELLUS cDNA-amplified fragment length polymorphisms (cDNA-AFLP) (Bachem et al., 1996) have been applied to polyploid systems, including the model angiosperm ...
doi:10.1111/j.1095-8312.2004.00335.x
fatcat:i4x5otzjlvfsrp7vdj5hhuvglm
Structural Changes and Differentially Expressed Genes in Pseudomonas aeruginosa Exposed to Meropenem-Ciprofloxacin Combination
2014
Antimicrobial Agents and Chemotherapy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
However, some of the RDA-detected, resistance-associated, and SOS response-associated genes were expressed at significantly lower levels in 1071-MRPA exposed to the MCC. ...
The morphological and structural changes that resulted from the synergistic action of the MCC against 1071-MRPA were a summation of the effects observed with each antimicrobial alone. ...
To confirm and quantify the relative transcript levels of the selected RDA products, quantitative PCR (qPCR) was performed using T1, T2, T3, and D cDNA and StepOnePlus real-time PCR systems (version 2; ...
doi:10.1128/aac.02584-13
pmid:24798291
pmcid:PMC4068605
fatcat:3z4gvufnyfgqdnm4xm5ttjpqji
HYPK, a Huntingtin interacting protein, reduces aggregates and apoptosis induced by N-terminal Huntingtin with 40 glutamines in Neuro2a cells and exhibits chaperone-like activity
2007
Human Molecular Genetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Here we show that HYPK, initially identified as an Htt-interacting partner by yeast two-hybrid assay, physically interacts with N-terminal Htt in Neuro2A cells and alters the numbers and distribution of ...
aggregates formed by N-terminal Htt with 40Q. ...
Htt interacts with a large number of proteins, which have been identified by yeast two-hybrid (Y2H) assays, co-immunoprecipitation studies or by analysis of the components of Htt aggregates. ...
doi:10.1093/hmg/ddm301
pmid:17947297
fatcat:g7jphvragnevzawwtga6vn7j7i
Resources-Based Ontology Matching To Access Learning Resources
2016
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a system in which mappings between concepts may be generated dynamically as the concepts are encountered during user queries. ...
We illustrate application of the proposed system in the context of Technology Enhanced Learning (TEL) where learners need to access to learning resources covering specific concepts. ...
The analysis of resources properties allows us to propose a set of semantic relations with characteristics. These relations (Table I) can be deduced automatically. ...
doi:10.5281/zenodo.1339006
fatcat:mivx6wlpnfcyjhsn3emgiu7ji4
Page 563 of Bibliography of Agriculture. Annual Cumulative Indexes Vol. 51, Issue
[page]
Bibliography of Agriculture. Annual Cumulative Indexes
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
. 38407 Spatial separation of parental genomes in hybrids of somatic plant cells. 439650 Spontaneous variability and associative ability of chromo- somes of hybrids of bison with domestic cattle. 472802 ...
DNA variation in Cucumis species. 380791
Nuclear male sterility systems in seed production of hybrid varieties. 447869
Observations on the mitotic chromosomes of the mosquito Toxorhynchites amboinensis ...
Poster Presentations
2019
Journal of labelled compounds & radiopharmaceuticals
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
For HPLC analysis Knauer Smartline chromatograph with fLumo (Berthold) radiodetection system was used. ...
For HPLC analysis Knauer Smartline chromatograph with fLumo (Berthold) radiodetection system was used. ...
(ECS) via hydrolyzing the 2-arachidonoylglycerol (2-AG) to arachidonic acid (AA), with high expression in the central nervous system and peripheral organs ...
doi:10.1002/jlcr.3725
fatcat:so6xn4oepngf3h7x5ei3pnd7bu
When a computer speaks institutional talk: Exploring challenges and potentials of virtual assistants in face-to-face advisory services
2019
Proceedings of the 52nd Hawaii International Conference on System Sciences
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It links the insights from the field with the institutional talk perspective. ...
At the same time, the technological improvements make the promise that institutional settings may be soon complemented with technology that allows for asking questions using natural speech, understands ...
Research in human-robot interaction addresses low-level aspects of coordination in multiparty conversations [31] , [32] as well as high-level determinants of satisfying communication between humans ...
doi:10.24251/hicss.2019.014
fatcat:6a36h3lh35h2vobnjberntvdca
Biomedically relevant coordination chemistry of rhenium and the lanthanides
2000
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
)SR] in high yields. ...
[ReO(ppme)Cl] reacts with thiocyanate and benzene thiolate forming [ReO(ppme)X] (X = ⁻NCS, ⁻SC₆H₅), but the one-pot synthesis of the respective ternary thiolate complexes from perrhenate was not successful ...
state with concomitant reduction of the metal has been reported, but is much less common. 38 An analogy can also be drawn to 2-hydrazinopyridine (HYPY) reactions with [M0 4 ]" (M=Tc/Re), where two HYPY ...
doi:10.14288/1.0061239
fatcat:sxzr7pyogzbbpg2gyopgp7eibe
« Previous
Showing results 1 — 15 out of 21 results