Results 51 to 60 of about 831,238 (272)
Towards a Minimal Stabilizer ZX-calculus [PDF]
Logical Methods in Computer Science, 2020 The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one using the graphical rewrite rules if and only if these two ...
Miriam Backens +2 more
doaj +1 more source
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties [PDF]
Logical Methods in Computer Science, 2016 The \emph{International Obfuscated C Code Contest} was a programming contest for the most creatively obfuscated yet succinct C code. By \emph{contrast}, an interest herein is in programs which are, \emph{in a sense}, \emph{easily} seen to be correct, but
John Case, Michael Ralston
doaj +1 more source
Computational Models of Certain Hyperspaces of Quasi-metric Spaces [PDF]
Logical Methods in Computer Science, 2011 In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are studied.
Massoud Pourmahdian, Mahdi Ali-Akbari
doaj +1 more source
Development of the opto-mechanical design for ICE-T
, 2008 ICE-T (International Concordia Explorer Telescope) is a double 60 cm f/1.1 photometric robotic telescope, on a parallactic mount, which will operate at Dome C, in the long Antarctic night, aiming to investigate exoplanets and activity of the hosting ...
Carpano +14 more
core +2 more sources
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge [PDF]
Logical Methods in Computer Science, 2005 This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an auxiliary operation proposed by Hennessy in 1981 to the recursion ...
Luca Aceto +3 more
doaj +1 more source
On the Expressive Power of Higher-Order Pushdown Systems [PDF]
Logical Methods in Computer Science, 2020 We show that deterministic collapsible pushdown automata of second order can recognize a language that is not recognizable by any deterministic higher-order pushdown automaton (without collapse) of any order.
Paweł Parys
doaj +1 more source
On a possibility of adjoint colored states condensation at finite temperatures in lattice gauge model [PDF]
, 1999 Cooled down and diluted quark-gluon matter is considered. A possibility of condensation of multiquark clusters with zero N-alities is discussed.Comment: Lattice99:Finite Temperature and Density ...
Boyd +9 more
core +2 more sources
Parameterised Multiparty Session Types [PDF]
Logical Methods in Computer Science, 2012 For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time.
Pierre-Malo Denielou +3 more
doaj +1 more source
Molecular Oncology, EarlyView.The number of circulating tumor cells obtained from prostate cancer patients was increased approximately 5‐fold compared to regular CellSearch when processing 2 mL diagnostic leukapheresis material aliquots and increased by 44‐fold when processing 20 mL DLA aliquots using the flow enrichment target capture Halbach‐array.
Michiel Stevens +8 more
wiley +1 more source
The ESO Spectroscopic facility [PDF]
, 2017 We present the concept of a novel facility dedicated to massively-multiplexed spectroscopy. The telescope has a very wide field Cassegrain focus optimised for fibre feeding. With a Field of View (FoV) of 2.5 degrees diameter and a 11.4m pupil, it will be
Cavaller, L. +5 more
core +3 more sources