A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
The Geometry of Synchronization (Long Version)
[article]
2014
arXiv
pre-print
Preserved Fulltext
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2016
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
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
2011
2011 6th International Workshop on the Analysis of Multi-temporal Remote Sensing Images (Multi-Temp)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 21st International Conference on Web3D Technology - Web3D '16
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2011
Nuclear Instruments and Methods in Physics Research Section A : Accelerators, Spectrometers, Detectors and Associated Equipment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Journal of the Institute of Brewing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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