Auflistung nach Titel

Sortiert nach: Sortierung: Ergebnisse:

  • The complexity of generalized satisfiability for linear temporal logic 
    Bauland, Michael; Schneider, Thomas; Schnoor, Henning; Schnoor, Ilka; Vollmer, Heribert (Braunschweig : International Federation for Computational Logic, 2009)
    In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set ...
  • The Complexity of Satisfiability for Fragments of CTL and CTL⋆ 
    Meier, Arne; Mundhenk, Martin; Thomas, Michael; Vollmer, Heribert (Amsterdam : Elsevier BV, 2008)
    The satisfiability problems for CTL and CTL⋆ are known to be EXPTIME-complete, resp. 2EXPTIME-complete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that use less temporal or propositional operators, ...
  • Complexome profiling reveals association of PPR proteins with ribosomes in the mitochondria of plants 
    Rugen, Nils; Straube, Henryk; Franken, Linda E.; Braun, Hans-Peter; Eubel, Holger (Bethesda, Md. : The American Society for Biochemistry and Molecular Biology, 2019)
    Mitochondrial transcripts are subject to a wealth of processing mechanisms including cis- and trans-splicing events, as well as base modifications (RNA editing). HUndreds of proteins are required for these processes in ...
  • Compliant parallel robot with 6 DOF 
    Hesselbach, Jürgen; Raatz, Annika (Bellingham, Wash. : SPIE, 2001)
    In this paper a patented parallel structure1 will be presented in which conventional bearings are replaced by flexure hinges made of pseudo-elastic shape memory alloy. The robot has six degrees of freedom and was developed ...
  • Component Integrated Sensors: Deposition of Thin Insulation Layers on Functional Surfaces 
    Klaas, D.; Taptimthong, P.; Jogschies, L.; Rissing, L. (Amsterdam : Elsevier, 2014)
    To guarantee the deposition of sensors on functional surfaces, a reliable thin insulation layer is required. Within this paper, the results of the investigation of a capable insulation layer are presented. Challenges ...
  • Composite Medicago truncatula plants harbouring Agrobacterium rhizogenes-transformed roots reveal normal mycorrhization by Glomus intraradices 
    Mrosk, Cornelia; Forner, Susanne; Hause, Gerd; Kuester, Helge; Kopka, Joachim; Hause, Bettina (Oxford : Oxford Univ. Press, 2009-09)
    Composite plants consisting of a wild-type shoot and a transgenic root are frequently used for functional genomics in legume research. Although transformation of roots using Agrobacterium rhizogenes leads to morphologically ...
  • A Composite of Polyether Ether Ketone and Silica-Coated Copper Particles for Creating Tailored Conductive Tracks via Laser Printing 
    Schnettger, Alexander; Holländer, Ulrich; Maier, Hans J. (Weinheim : Wiley-VCH GmbH, 2023)
    Conventional substrates for optoelectronic systems include inorganic or organic carrier materials; however, these systems are typically subjected to environmentally harmful multistep processes to prepare printed circuit ...
  • Composite UHBR fan for forced response and flutter investigations 
    Eggers, Torben; Friedrichs, Jens; Goessling, Jan; Seume, Joerg R.; Natale, Nunzio; Flüh, Jan Peter; Paletta, Nicola (New York, N.Y. : The American Society of Mechanical Engineers, 2021)
    In the CA3ViAR (Composite fan Aerodynamic, Aeroelastic, and Aeroacoustic Validation Rig) project, a composite lowtransonic fan is designed and tested. The aim is a scaled ultrahigh bypass ratio (UHBR) fan with state-of-the-art ...
  • Composites and categories of euclidean Jordan algebras 
    Barnum, Howard; Graydon, Matthew A.; Wilce, Alexander (Wien : Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2020)
    We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories ...
  • Composition and electronic structure of SiOx/TiOy/Al passivating carrier selective contacts on n-type silicon solar cells 
    Flathmann, Christoph; Meyer, Tobias; Titova, Valeriya; Schmidt, Jan; Seibt, Michael ([London] : Macmillan Publishers Limited, part of Springer Nature, 2023)
    Carrier-selective and passivating SiOx/TiOy heterocontacts are an attractive alternative to conventional contacts due to their high efficiency potentials combined with relatively simple processing schemes. It is widely ...
  • Composition and Stability of the Oxidative Phosphorylation System in the Halophile Plant Cakile maritima 
    Farhat, Nèjia; Hichri, Sarra; Hildebrandt, Tatjana Manuela; Debez, Ahmed; Braun, Hans-Peter (Frontiers Media S.A., 2019)
    Mitochondria play a central role in the energy metabolism of plants. At the same time, they provide energy for plant stress responses. We here report a first view on the mitochondrial Oxidative Phosphorylation (OXPHOS) ...
  • Composition of hierarchic default specifications 
    Alves Campos de Sousa Dionísio, Francisco Miguel (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 1997)
    [no abstract]
  • Composition-Controlled Laser-Induced Alloying of Colloidal Au–Cu Hetero Nanoparticles 
    Kranz, Daniel; Bessel, Patrick; Rosebrock, Marina; Niemeyer, Max; Dorfs, Dirk (Weinheim : Wiley-VCH, 2023)
    Due to their optical properties (localized surface plasmon resonance, LSPR), colloidally dispersed metal nanoparticles are well suited for selective heating by high-energy laser radiation above their melting point without ...
  • Compositional boundary layers trigger liquid unmixing in a basaltic crystal mush 
    Honour, Victoria C.; Holness, Marian B.; Charlier, Bernard; Piazolo, Sandra C.; Namur, Olivier; Prosa, Ty J.; Martin, Isabelle; Helz, Rosalind T.; Maclennan, John; Jean, Marlon M. (London : Nature Publishing Group, 2019)
    The separation of immiscible liquids has significant implications for magma evolution and the formation of magmatic ore deposits. We combine high-resolution imaging and electron probe microanalysis with the first use of ...
  • Comprehensive all-sky search for periodic gravitational waves in the sixth science run LIGO data 
    Abbott, B.P.; Allen, Bruce; Aufmuth, Peter; Bisht, A.; Danzmann, Karsten; Denker, T.; Heurs, M.; Kaufer, S.; Krueger, C.; Lough, J.D.; Lück, Harald; Sawadsky, A.; Schütte, D.; Steinmeyer, D.; Vahlbruch, H.; Willke, Benno; Wimmer, M.H.; Wittel, H.; et al.; LIGO Scientific Collaboration; Virgo Collaboration (College Park, MD : American Physical Society, 2016)
    We report on a comprehensive all-sky search for periodic gravitational waves in the frequency band 100–1500 Hz and with a frequency time derivative in the range of [−1.18,+1.00]×10−8  Hz/s. Such a signal could be produced ...
  • Comprehensive and highly accurate measurements of crane runways, profiles and fastenings 
    Dennig, Dirk; Bureick, Johannes; Link, Johannes; Diener, Dmitri; Hesse, Christian; Neumann, Ingo (Basel : MDPI AG, 2017)
    The process of surveying crane runways has been continually refined due to the competitive situation, modern surveying instruments, additional sensors, accessories and evaluation procedures. Guidelines, such as the ...
  • Comprehensive evaluation of an improved large-scale multi-site weather generator for Germany 
    Nguyen, Viet Dung; Merz, Bruno; Hundecha, Yeshewatesfa; Haberlandt, Uwe; Vorogushyn, Sergiy (Chichester [u.a.] : Wiley, 2021)
    In this work, we present a comprehensive evaluation of a stochastic multi-site, multi-variate weather generator at the scale of entire Germany and parts of the neighbouring countries covering the major German river basins ...
  • A comprehensive finite element framework for the progressive damage analysis of fiber metal laminate bolted joints under static and cyclic loading: theory and experimental validation 
    Gerendt, Christian (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2021)
    To improve the robustness of fiber-reinforced plastics (FRP) in bolted joints, local metal-hybridization of the FRP laminate can be performed to obtain an FRP-based fiber metal laminate (FML) of increased bearing strength. ...
  • Compressed-sensing accelerated 4D flow MRI of cerebrospinal fluid dynamics 
    Jaeger, Elena; Sonnabend, Kristina; Schaarschmidt, Frank; Maintz, David; Weiss, Kilian; Bunck, Alexander C. (London : BioMed Central, 2020)
    BACKGROUND: 4D flow magnetic resonance imaging (MRI) of CSF can make an important contribution to the understanding of hydrodynamic changes in various neurological diseases but remains limited in clinical application due ...
  • Compression of DNA sequencing data 
    Voges, Jan (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2022)
    With the release of the latest generations of sequencing machines, the cost of sequencing a whole human genome has dropped to less than US$1,000. The potential applications in several fields lead to the forecast that the ...