Results 31 to 40 of about 1,138,378 (107)
Optical Shop Tests of a f/1.2 2.5 Meter Diameter Liquid Mirror
The Astrophysical Journal, 1993 We report the results of optical tests of a f/1.2 2.5 m diameter liquid mirror. Interferometric tests carried out with a scatterplate interferometer show rms surface deviation values of ∼λ/20 and Strehl ratios of order 0.7, close to the value of 0.8 usually taken to signify that diffraction limit has been reached.
E. F. Borra, R. Content, L. Girard
openaire +1 more source
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
A Strategy for Dynamic Programs: Start over and Muddle through [PDF]
Logical Methods in Computer Science, 2019 In the setting of DynFO, dynamic programs update the stored result of a query whenever the underlying data changes. This update is expressed in terms of first-order logic.
Samir Datta +4 more
doaj +1 more source
Enriched MU-Calculi Module Checking [PDF]
Logical Methods in Computer Science, 2008 The model checking problem for open systems has been intensively studied in the literature, for both finite-state (module checking) and infinite-state (pushdown module checking) systems, with respect to Ctl and Ctl*. In this paper, we further investigate
Alessandro Ferrante +2 more
doaj +1 more source
Explicit fairness in testing semantics [PDF]
Logical Methods in Computer Science, 2009 In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations.
D. Cacciagrano +2 more
doaj +1 more source
Tracing where IoT data are collected and aggregated [PDF]
Logical Methods in Computer Science, 2017 The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations.
Chiara Bodei +3 more
doaj +1 more source
Journal of the European Optical Society-Rapid Publications, 2015 Increasing the depth of field (DOF) of compact visible high resolution cameras while maintaining high imaging performance in the DOF range is crucial for such applications as night vision goggles or industrial inspection. In this paper, we present the end-to-end design and experimental validation of an extended depth-of-field visible High Definition ...
Burcklen, Marie-Anne +13 more
openaire +3 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
Logical Methods in Computer Science, 2012 Exchanging mutable data objects with untrusted code is a delicate matter because of the risk of creating a data space that is accessible by an attacker. Consequently, secure programming guidelines for Java stress the importance of using defensive copying
Thomas Jensen +2 more
doaj +1 more source
Soundness in negotiations [PDF]
Logical Methods in Computer Science, 2018 Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication primitive.
Javier Esparza +3 more
doaj +1 more source