Filters








21 Hits in 3.4 sec

High-level Hybrid Systems Analysis with Hypy

Stanley Bak, Sergiy Bogomolov, Christian Schilling
unpublished
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 AnalysisHigh-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)

Stanley Bak, Sergiy Bogomolov, Christian Schilling
unpublished
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

Mahmoud Radjaipour, Kerstin Einsiedler, Ute Brehme, Doris Braun, Martin Braun, Frank Haselberger, Lorenz Hagenmeyer, Oliver Berner, Friedrich W Schmahl
2005 International Journal of Occupational Medicine and Environmental Health  
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

Roberto Improta, Rita Berisio, Luigi Vitagliano
2008 Protein Science  
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

Sami A. Gabr, Ahmad H. Alghadir
2013 VirusDisease  
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)

S. Aboglila, K. Grice, K. Trinajstic, C. Snape, K.H. Williford
2011 Applied Geochemistry  
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

E Crouch, D Chang, K Rust, A Persson, J Heuser
1994 Journal of Biological Chemistry  
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

DOUGLAS E. SOLTIS, PAMELA S. SOLTIS, J. CHRIS PIRES, ALES KOVARIK, JENNIFER A. TATE, EVGENY MAVRODIEV
2004 Biological Journal of the Linnean Society  
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

Vera Lúcia Dias Siqueira, Rosilene Fressatti Cardoso, Katiany Rizzieri Caleffi-Ferracioli, Regiane Bertin de Lima Scodro, Maria Aparecida Fernandez, Adriana Fiorini, Tania Ueda-Nakamura, Benedito Prado Dias-Filho, Celso Vataru Nakamura
2014 Antimicrobial Agents and Chemotherapy  
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

Swasti Raychaudhuri, Mithun Sinha, Debashis Mukhopadhyay, Nitai P. Bhattacharyya
2007 Human Molecular Genetics  
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

A. Elbyed
2016 Zenodo  
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  
. 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  
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

Mateusz Dolata, Mehmet Kilic, Gerhard Schwabe
2019 Proceedings of the 52nd Hawaii International Conference on System Sciences   unpublished
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

Liang Xu
2000
)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