Browsing by Subject "Reconfigurable hardware"

Browsing by Subject "Reconfigurable hardware"

Sort by: Order: Results:

  • Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework ...
  • Sano, Katsuhiko; Virtema, Jonni (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional ...
  • Nakata, Yoshifumi; Hirche, Christoph; Morgan, Ciara; Winter, Andreas (Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2015)
    Unitary 2-designs are random unitary matrices which, in contrast to their Haar-distributed counterparts, have been shown to be efficiently realized by quantum circuits. Most notably, unitary 2-designs are known to achieve ...
  • Rezem, Maher; Kelb, Christian; Günther, Axel; Rahlves, Maik; Reithmeier, Eduard; Roth, Bernhard (Bellingham, WA : S P I E - International Society for Optical Engineering, 2016)
    Micro-optical sensors based on optical waveguides are widely used to measure temperature, force and strain but also to detect biological and chemical substances such as explosives or toxins. While optical micro-sensors ...
  • Wang, Yixiao; Wolfer, Tim; Lange, Alex; Overmeyer, Ludger (Bellingham, WA : S P I E - International Society for Optical Engineering, 2016)
    Large scale, planar optronic systems allowing spatially distributed functionalities can be well used in diverse sensor networks, such as for monitoring the environment by measuring various physical quantities in medicine ...
  • Schulte, M.; Lörch, N.; Leroux, I.D.; Schmidt, Piet O.; Hammerer, K. (College Park, MD : American Physical Society, 2016)
    Optical clocks based on ensembles of trapped ions promise record frequency accuracy with good short-term stability. Most suitable ion species lack closed transitions, so the clock signal must be read out indirectly by ...
  • Peikert, Tim; Garbe, Heyno; Potthast, S. (Göttingen : Copernicus GmbH, 2016)
    This paper introduces a procedural method based on fuzzy logic to analyze systematic the risk of an electronic system in an intentional electromagnetic environment (IEME). The method analyzes the susceptibility of a complex ...