Zobrazeno 1 - 10
of 248
pro vyhledávání: '"Michael Benedikt"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
Derived datasets can be defined implicitly or explicitly. An implicit definition (of dataset O in terms of datasets I) is a logical specification involving two distinguished sets of relational symbols. One set of relations is for the "source data" I,
Externí odkaz:
https://doaj.org/article/a3851b818e334c75b0d45ff2ff171f69
Autor:
Franziska Witte, Jorge Ruiz-Orera, Camilla Ciolli Mattioli, Susanne Blachut, Eleonora Adami, Jana Felicitas Schulz, Valentin Schneider-Lunitz, Oliver Hummel, Giannino Patone, Michael Benedikt Mücke, Jan Šilhavý, Matthias Heinig, Leonardo Bottolo, Daniel Sanchis, Martin Vingron, Marina Chekulaeva, Michal Pravenec, Norbert Hubner, Sebastiaan van Heesch
Publikováno v:
Genome Biology, Vol 22, Iss 1, Pp 1-34 (2021)
Abstract Background Little is known about the impact of trans-acting genetic variation on the rates with which proteins are synthesized by ribosomes. Here, we investigate the influence of such distant genetic loci on the efficiency of mRNA translatio
Externí odkaz:
https://doaj.org/article/19d7de0ec8794ef6952216fe9ea71d99
Autor:
Antoine Amarilli, Michael Benedikt
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022)
We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can return, e.g
Externí odkaz:
https://doaj.org/article/e3b1fd8b3ca34a50bb706fcfeca34b60
Autor:
Michael Benedikt, Frank Zimmermann
Publikováno v:
Frontiers in Physics, Vol 10 (2022)
The Future Circular Collider (FCC) Integrated Project foresees, in a first stage, a high-luminosity high-energy electron-positron collider, serving as Higgs, top and electroweak factory, and, in a second stage, an energy frontier hadron collider, wit
Externí odkaz:
https://doaj.org/article/ae8d04a297724e9fb709e9b1250c8349
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)
We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as e
Externí odkaz:
https://doaj.org/article/7116c0fe63244b8b88151e477bd78ac0
Autor:
Matthew Alexander Fraser, Brennan Goddard, Verena Kain, Michelangelo Pari, Francesco Maria Velotti, Linda Susanne Stoel, Michael Benedikt
Publikováno v:
Physical Review Accelerators and Beams, Vol 22, Iss 12, p 123501 (2019)
The powering of octupoles during third-integer resonant slow extraction has been studied and recently tested with the beam at the CERN Super Proton Synchrotron (SPS) in order to increase the extraction efficiency and reduce the induced radioactivity
Externí odkaz:
https://doaj.org/article/afef3b993ac442be93f6cc88eb2315a7
Publikováno v:
Logical Methods in Computer Science, Vol Volume 9, Issue 2 (2013)
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic
Externí odkaz:
https://doaj.org/article/afdd49808cf84af08377eabf3c45f642
Publikováno v:
Physical Review Special Topics. Accelerators and Beams, Vol 18, Iss 10, p 101002 (2015)
The integrated luminosity, a key figure of merit for any particle-physics collider, is closely linked to the peak luminosity and to the beam lifetime. The instantaneous peak luminosity of a collider is constrained by a number of boundary conditions,
Externí odkaz:
https://doaj.org/article/47e95b0d409245578fb28cd7360a7cb1
Autor:
Elisabeth Hauzinger, Robert Galler, Daniel Schneider, Michael Benedikt, Luisa Ulrici, Johannes Gutleber, Panagiotis Charitos
Publikováno v:
Geomechanics and Tunnelling. 15:774-782
Autor:
Michael Benedikt
Publikováno v:
Biosemiotics. 15:235-259