Filters (6)
Download Results
3,644 research outcomes, page 1 of 365
  • publication . Part of book or chapter of book . Preprint . 2015
    Open Access
    Authors:
    Benjamin Aminof; Sasha Rubin; Florian Zuleger; Francesco Spegni;
    Persistent Identifiers
    Publisher: Springer Berlin Heidelberg

    We consider the model checking problem of infinite state systems given in the form of parameterized discrete timed networks with multiple clocks. We show that this problem is decidable with respect to specifications given by B- or S-automata. Such specifications are ver...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Preprint . Article . 2012
    Open Access
    Authors:
    Petr A. Golovach; Bernard Lidický; Barnaby Martin; Daniël Paulusma;
    Publisher: Springer Berlin Heidelberg
    Project: UKRI | Quantified Constraints an... (EP/G020604/1), UKRI | Algorithmic Aspects of Gr... (EP/G043434/1)

    The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can be formulated in terms of spann...

    Add to ORCIDorcid
  • publication . Article . Preprint . Part of book or chapter of book . 2016
    Open Access English
    Authors:
    Robert P. Cameron; Jörg B. Götte; Stephen M. Barnett;
    Publisher: American Physical Society
    Project: UKRI | Novel Manifestations of O... (EP/M004694/1)

    We introduce chiral rotational spectroscopy: a new technique that enables the determination of the orientated optical activity pseudotensor components $B_{XX}$, $B_{YY}$ and $B_{ZZ}$ of chiral molecules, in a manner that reveals the enantiomeric constitution of a sample...

    Add to ORCIDorcid
  • publication . Preprint . Part of book or chapter of book . 2019
    Open Access English
    Authors:
    Travis Scheponik; Enis Golaszewski; Geoffrey L. Herman; Spencer Offenberger; Linda Oliva; Peter A. H. Peterson; Alan T. Sherman;
    Persistent Identifiers
    Project: NSF | SFS-Capacity: Collaborati... (1819521), NSF | SFS-Capacity: Collaborati... (1820531), NSF | UMBC CyberCorps Program R... (1753681), NSF | UMBC Cybersecurity Schola... (1241576)

    We present and analyze results from a pilot study that explores how crowdsourcing can be used in the process of generating distractors (incorrect answer choices) in multiple-choice concept inventories (conceptual tests of understanding). To our knowledge, we are the fir...

    Add to ORCIDorcid
  • publication . Conference object . Article . Preprint . Part of book or chapter of book . 2014
    Open Access English
    Authors:
    Gregory Kucherov; Kamil Salikhov; Dekel Tsur;
    Publisher: HAL CCSD

    International audience; We study strategies of approximate pattern matching that exploit bidirectional text indexes, extending and generalizing ideas of [5]. We introduce a formalism, called search schemes, to specify search strate-gies of this type, then develop a prob...

    Add to ORCIDorcid
  • publication . Preprint . Part of book or chapter of book . 2012
    Open Access English
    Authors:
    Arash Farzan; J. Ian Munro; Rajeev Raman;
    Persistent Identifiers

    We consider the problem of preprocessing $N$ points in 2D, each endowed with a priority, to answer the following queries: given a axis-parallel rectangle, determine the point with the largest priority in the rectangle. Using the ideas of the \emph{effective entropy} of ...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Preprint . Article . 2012
    Open Access
    Authors:
    Brian T. Sutcliffe; R. Guy Woolley;
    Publisher: WORLD SCIENTIFIC

    Transition state theory was introduced in the 1930s to account for chemical reactions. Central to this theory is the idea of a potential energy surface (PES). It was assumed that such a surface could be constructed using eigensolutions of the Schr\"{o}dinger equation fo...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . Preprint . 2020
    Open Access English
    Authors:
    Moncelsi, L.; Ade, P.A. R.; Ahmed, Z.; Amiri, M.; Barkats, D.; Basu Thakur, R.; Bischoff, C.A.; Bock, J.J.; Buza, V.; Cheshire, J.; ...
    Publisher: Society of Photo-Optical Instrumentation Engineers (SPIE)
    Project: NSF | Collaborative Research: B... (1110087), NSF | Collaborative Research: I... (1145143), NSF | Collaborative Research: I... (1145248), NSF | MRI: Development of a 150... (1726917), NSF | Collaborative Research: I... (1145172), NSF | Collaborative Research: B... (1044978), NSF | Collaborative Research: B... (0742592), NSF | Collaborative Research: B... (0742818)

    A detection of curl-type ($B$-mode) polarization of the primary CMB would be direct evidence for the inflationary paradigm of the origin of the Universe. The BICEP/Keck Array (BK) program targets the degree angular scales, where the power from primordial $B$-mode polari...

  • publication . Article . Part of book or chapter of book . Preprint . 2012
    Open Access English
    Authors:
    Krishnendu Chatterjee; Laurent Doyen;
    Publisher: North-Holland Pub. Co
    Project: FWF | Modern Graph Algorithmic ... (P 23499), EC | GRAPH GAMES (279307)

    Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative) requirement that the sum of the weights (i.e., the level of energy in the game) must remai...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Preprint . Article . 2013
    Open Access
    Authors:
    Carlos Hoyos; Tatsuma Nishioka; Andy O'Bannon;
    Publisher: Springer Berlin Heidelberg
    Project: NSF | CAREER: A Holographic Wor... (0844827), NSF | Theoretical Physics (0756966)

    For (3+1)-dimensional fermions, a net axial charge and external magnetic field can lead to a current parallel to the magnetic field. This is the chiral magnetic effect. We use gauge-gravity duality to study the chiral magnetic effect in large-Nc, strongly-coupled N=4 su...

    Add to ORCIDorcid
3,644 research outcomes, page 1 of 365