Filters








48,982 Hits in 5.5 sec

The Geometry of Synchronization (Long Version) [article]

Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
2014 arXiv   pre-print
We graft synchronization onto Girard's Geometry of Interaction in its most concrete form, namely token machines.  ...  Interestingly, the correctness criterion ensures the absence of deadlocks along reduction and in the underlying machine, this way linking logical and operational properties.  ...  Acknowledgments The first author is supported by the project ANR-12IS02001 "PACE". The second author is supported by the project ANR-2010-BLANC-021301 "LOGOI".  ... 
arXiv:1405.3427v1 fatcat:prh5av4u55hvravxml7cocgmfq

Geometry of the set of synchronous quantum correlations [article]

Travis B. Russell
2020 arXiv   pre-print
We provide a complete geometric description of the set of synchronous quantum correlations for the three experiment two outcome scenario. We show that these correlations form a closed set.  ...  Moreover, every correlation in this set can be realized using projection valued measures on a Hilbert space of dimension no more than 16.  ...  In particular, we should acknowledge that an early version of Proposition 3.4 was first proven jointly by Elie Alhajjar and the author, and that this early exploration inspired much of the work that followed  ... 
arXiv:1905.06223v3 fatcat:2briflh5jzezjpcwoa4jon7lfm

The Geometry of Synchronization Problems and Learning Group Actions [article]

Tingran Gao, Jacek Brodzki, Sayan Mukherjee
2019 arXiv   pre-print
geometry.  ...  The theory we formulate characterizes the cohomological nature of synchronization based on the classical theory of fibre bundles.  ...  Acknowlegement The authors would like to thank Pankaj Agarwal, Douglas Boyer, Robert Bryant, Ingrid Daubechies, Pawe l D lotko, Kathryn Hess, Lek-Heng Lim, Vidit Nanda, Steve Smale, and Shmuel Weinberger  ... 
arXiv:1610.09051v3 fatcat:pd7wcyxhsbgohcwuyzhqzw7eyq

Wave-Style Token Machines and Quantum Lambda Calculi (Long Version) [article]

Ugo Dal Lago, Margherita Zorzi
2013 arXiv   pre-print
This, however, requires generalizing the concept of a token machine to one in which more than one particle can possibly travel around the term at the same time.  ...  Particle-style token machines are a way to interpret proofs and programs, when the latter are defined according to the principles of linear logic.  ...  in terms of operator algebras, i.e. the Geometry of Interaction (GoI in the following).  ... 
arXiv:1307.0550v3 fatcat:a243opcyyfesne7nmptfhx7t2e

Parallelism and Synchronization in an Infinitary Context (Long Version) [article]

Ugo Dal Lago, Claudia Faggian, Benoit Valiron, Akira Yoshimizu
2015 arXiv   pre-print
The advantage of such machines is to provide models in the style of the Geometry of Interaction, i.e., an interactive semantics which is close to low-level implementation.  ...  We study multitoken interaction machines in the context of a very expressive logical system with exponentials, fixpoints and synchronization.  ...  ACKNOWLEDGMENTS The first author is partially supported by the ANR project 12IS02001 PACE. The second and third authors were supported by the project ANR-2010-BLANC-021301 "LOGOI".  ... 
arXiv:1505.03635v2 fatcat:4qdju2mlobarfeo77utwodkhbi

IMAGE CAPTURE WITH SYNCHRONIZED MULTIPLE-CAMERAS FOR EXTRACTION OF ACCURATE GEOMETRIES

M. Koehl, T. Delacourt, C. Boutry
2016 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
the estimation of the internal parameters of fisheye lenses of the cameras has been processed.  ...  Light, mobile and fast acquisition approaches based on images and videos from a set of synchronized sensors have been tested in order to obtain useable point clouds.  ...  This system has been designed to attach to a car roof bar to complete the acquisition in dynamic mode. This is the first version of this system.  ... 
doi:10.5194/isprsarchives-xli-b1-653-2016 fatcat:ozlbeyx2pbfitikbydqycvdn5u

IMAGE CAPTURE WITH SYNCHRONIZED MULTIPLE-CAMERAS FOR EXTRACTION OF ACCURATE GEOMETRIES

M. Koehl, T. Delacourt, C. Boutry
2016 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
the estimation of the internal parameters of fisheye lenses of the cameras has been processed.  ...  Light, mobile and fast acquisition approaches based on images and videos from a set of synchronized sensors have been tested in order to obtain useable point clouds.  ...  This system has been designed to attach to a car roof bar to complete the acquisition in dynamic mode. This is the first version of this system.  ... 
doi:10.5194/isprs-archives-xli-b1-653-2016 fatcat:geixqwqverawbnxbxyp5b442ry

Density of rational points on commutative group varieties and small transcendence degree (long version) [article]

Aleksander Lech Momot
2011 arXiv   pre-print
If the four numbers satisfy certain hypotheses, then one among the six numbers (a_j), e^ba_j is transcendental. This version of our paper is very elaborated and essentially self-contained.  ...  It should be admissible for master students specializing in transcendental number theory and arithmetic geometry.  ...  This is meant to synchronize terminology. In Sect. 2.3 the definition of descent to K and weak descent to K is given and elaborated.  ... 
arXiv:1011.3368v5 fatcat:er7j4v7pnnbsnpt3gajm6vckxy

Using NASA'S Long Term Data Record version 3 for the monitoring of land surface vegetation

J. A. Sobrino, Y. Julien, C. Mattar, R. Oltra-Carrio, J. C. Jimenez-Munoz, G. Soria, B. Franch, V. Hidalgo
2011 2011 6th International Workshop on the Analysis of Multi-temporal Remote Sensing Images (Multi-Temp)  
The aim of this work is the observation of changes in vegetation, through the use of a recent remote sensing dataset, NASA's Long Term Data Record (LTDR).  ...  Numerous datasets have been made available for the observation of our planet from space.  ...  NASA's LTDR (Long Term Data Record) Version 3 has been compiled from AVHRR instrument onboard NOAA satellite series.  ... 
doi:10.1109/multi-temp.2011.6005096 fatcat:ieym2o6qtnafblea2w4cenamvy

SMEX05 QuikSCAT/SeaWinds Backscatter Data: Iowa, Version 1 [article]

David Long
2010
Due to the orbital geometry and swath width, some days do not completely cover the study area.  ...  QuikSCAT is in a sun-synchronous, 803-km, circular orbit with a local equator crossing time at the ascending node of 6:00 a.a. plus or minus 30 minutes.  ...  Document Information: List of Acronyms& Abbreviations The following acronyms and abbreviations are used in this document:  ... 
doi:10.5067/e4qah8txt4u6 fatcat:byudzibmq5bl3orzf7g5n45srm

Asynchronous scalable version of the Global-Local non-invasive coupling [article]

Ahmed El Kerim, Pierre Gosselet, Frederic Magoules
2022 arXiv   pre-print
In order to circumvent its inherently limited computational performance, we propose and implement an asynchronous version of the method.  ...  We present the theory and the implementation of the method in the linear case and illustrate its performance on academic cases inspired by actual industrial problems.  ...  Acknowledgments This work was partly funded by the French National Research Agency as part of project ADOM, under grant number ANR-18-CE46-0008.  ... 
arXiv:2208.03707v1 fatcat:b6qrcfsjercj3luqjt3guwcp74

3DEvent

Caroline Desprat, Jean-Pierre Jessel, Hervé Luga
2016 Proceedings of the 21st International Conference on Web3D Technology - Web3D '16  
Peer-to-peer (P2P) allows direct communication between teammates reducing response times during collaboration and decreasing server load, reducing the costs of providers. 3DEvent enables P2Passisted delivery  ...  of 3D dynamic content in a web browser via Web-RTC.  ...  It synchronizes itself with other clients and the server database (long-term persistence).  ... 
doi:10.1145/2945292.2945310 dblp:conf/vrml/DespratJL16 fatcat:jhk4vitkavfbvk757hud5wam6u

Low-resource synchronous coincidence processor for positron emission tomography

Giancarlo Sportelli, Nicola Belcari, Pedro Guerra, Andrés Santos
2011 Nuclear Instruments and Methods in Physics Research Section A : Accelerators, Spectrometers, Detectors and Associated Equipment  
This resolution depends directly on the signal propagation properties of the target device and the máximum available dock frequency, therefore it is expected to improve considerably on higher-end FPGAs  ...  The method requires low device resources and no specific peripherals in order to resolve coincident digital pulses within a time window of a few nanoseconds.  ...  Acknowledgements This work was partially supported by Comunidad de Madrid (Consejería de Educación and ARTEMIS S2009/DPI-1802), CENIT-CDTI (Spain's Ministry of Science & Innovation) and the European Regional  ... 
doi:10.1016/j.nima.2010.11.170 fatcat:omerfx64knejnj73bjcblfufsa

Fluorescence Spectroscopy for Characterization and Differentiation of Beers

Ewa Sikorska, Tomasz Górecki, Igor V. Khmelinskii, Marek Sikorski, Denis De Keukeleire
2004 Journal of the Institute of Brewing  
Spectra were measured using different geometries to reveal the presence of similar fluorescent components.  ...  The total luminescence and synchronous fluorescence spectra exhibit a relatively intense shortwavelength emission ascribed to aromatic amino acids and less intense emission in the long-wavelength region  ...  ACKNOWLEDGEMENT The grant No. 2P06T 112 26 from the Polish State Committee for Scientific Research is gratefully acknowledged.  ... 
doi:10.1002/j.2050-0416.2004.tb00621.x fatcat:qkpoc4npufdqrmgvtuu7pqhocq

Database-driven distributed 3D simulation

Martin Hoppen, Michael Schluse, Jurgen Rosmann, Bjorn Weitzig
2012 Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)  
The central database stores static and dynamic parts of a simulation model, distributes changes caused by the simulation, and logs the simulation run.  ...  It consists of simulation clients that replicate from a central database object data as well as the data schema itself.  ...  FastMap and SELOK: Supported by German Aerospace Center (DLR) with funds of the German Federal Ministry of Economics and Technology (BMWi), support codes 50 RA 1034 and 50 RA 0911.  ... 
doi:10.1109/wsc.2012.6465091 dblp:conf/wsc/HoppenSRW12 fatcat:hmu5icqnwrfelgby7muyfaixv4
« Previous Showing results 1 — 15 out of 48,982 results