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
Unifying Heterogeneous State-Spaces with Lenses
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
In this paper, we propose lenses as a universal state-space modelling solution. Lenses provide an abstract interface for manipulating data types through spatially-separated views. ...
Moreover, we illustrate how lenses can be used to model more complex state notions such as memory stores and parallel states. ...
In this paper, we propose lenses [12] as a unifying solution to state-space modelling. ...
doi:10.1007/978-3-319-46750-4_17
fatcat:iqgqf6snefe5beipuqnkia42ka
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
[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
Several layers of mathematical foundations are developed, including lenses to model variables and state spaces as algebraic objects, alphabetised predicates and relations to model programs, including algebraic ...
Such an integration relies on unified semantic foundations for the various notations, and co-ordination of a variety of automated verification tools. ...
Burkhart Wolff for his invaluable feedback on our work, and for first pointing us in the direction of lenses as a possible research direction. ...
arXiv:1905.05500v3
fatcat:6k6jh6ibwnb5hjmp3afehk6mvm
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
[chapter]
2020
Lecture Notes in Computer Science
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.
In this paper, we expand our lens library with (1) dynamic lenses, that support mutable indexed collections, such as arrays, and (2) symmetric lenses, which allow partitioning of a state space into disjoint ...
Lenses are a useful algebraic structure for giving a unifying semantics to program variables in a variety of store models. ...
State Space Modelling with Lenses Here, we review lenses [10] , which give algebraic semantics to variables. ...
doi:10.1007/978-3-030-43520-2_7
fatcat:fa6r2gjjofa4zkiz4sfvcjexya
Seeing the Nature of the Accelerating Physics: It's a SNAP
[article]
2005
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.
This white paper presents an overview of the necessity for SNAP and the role of precursor experiments; accompanying white papers detail the supernovae and weak lensing parts of the experiment. ...
unified calibration) is necessary. ...
On dark energy properties, supernovae plus weak lensing methods conjoined determine the present equation of state ratio, w 0 , to 5%, and its time variation, w ′ , to 0.11 (for the SNAP experiment basic ...
arXiv:astro-ph/0507458v1
fatcat:6k5ttju3mrckhgazpxkzfzpyvy
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
[chapter]
2016
Lecture Notes in Computer Science
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.
In particular, we describe our use of lenses to encode state. ...
We illustrate our work with an example UTP theory and describe the implementation of three foundational theories: designs, reactive processes, and the hybrid relational calculus. ...
Lenses allow us to represent variables as abstract projections on a state space with convenient ways to query and update in a uniform, compositional way. ...
doi:10.1007/978-3-319-51046-0_3
fatcat:5spfjc633vdt3g5hfeupfjgaoq
Improving life sciences information retrieval using semantic web technology
2007
Briefings in Bioinformatics
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.
semantic lenses that extract contextually relevant subsets of information; and assembling semantic lenses into powerful information displays. ...
community has made great strides in proposing solutions to these problems, and many efforts are underway to apply Semantic Web techniques to the problem of information retrieval in the life sciences space ...
Users can also share semantic lenses and the customizations thereof with each other. ...
doi:10.1093/bib/bbm016
pmid:17526593
fatcat:t5yhtqgh6jg7lcrthekhbpnkvy
CALIBRATION AND EPIPOLAR GEOMETRY OF GENERIC HETEROGENOUS CAMERA SYSTEMS
2012
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 2015; you can also visit the original URL.
The file type is application/pdf.
The application of perspective camera systems in photogrammetry and computer vision is state of the art. ...
Using different types of cameras in a heterogeneous camera system may lead to an advantageous combination. ...
Therefore the RAC provides a unified method of deriving initial parameter values. ...
doi:10.5194/isprsarchives-xxxix-b5-363-2012
fatcat:wzfxkws2y5gcxmnsyg5g44ujki
Form and Global Consciousness in the Victorian Period
2013
Literature Compass
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.
and sameness under critical lenses and explore the processes through which parts confront and coalesce with one another. ...
Space and Shape Insofar as form reflects the organization of parts, it overlaps with the distinctly spatial notion of shape. ...
doi:10.1111/lic3.12045
fatcat:get4gkyp6jgyxal4bbekwaluai
Towards an e-Infrastructure for Urban Research across Australia
2011
2011 IEEE Seventh International Conference on eScience
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 landscape is typified by multiple independent organizations each holding a variety of heterogeneous data sets of relevance to the urban community. ...
, urban research itself is diverse and multi-faceted covering areas as disparate as health, population demographics, logistics, energy and water usage, through to socio-economic indicators associated with ...
In this context, organisations have established silos of data each with their own heterogeneous access demands and data models that prohibit access and usage by the wider research community. ...
doi:10.1109/escience.2011.48
dblp:conf/eScience/SinnottGTS11
fatcat:qxfmicqty5airabf6k4hakst3q
Page 209 of Mathematical Reviews Vol. 19, Issue 2
[page]
1958
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
It aims at a unified presentation of the subject matter. ...
Electromagnetic potentials in a heterogeneous non-conducting medium. Proc. Roy. Soc. London. Ser. A. 240 (1957), 375-381. ...
Dark Matter Constraints from a Unified Analysis of Strong Gravitational Lenses and Milky Way Satellite Galaxies
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Combining MW satellite and strong lensing posteriors in this parameter space yields M_hm<10^7.0 M_⊙ (WDM particle mass m_WDM>9.7 keV) at 95% confidence and disfavors M_hm=10^7.4 M_⊙ (m_WDM=7.4keV) with ...
This work paves the way for unified analyses of next-generation small-scale structure measurements covering a wide range of scales and redshifts. ...
Although analyses of different probes reach consistent dark matter constraints, to date they have been performed indepen-dently and with different modeling assumptions to address heterogeneous astrophysical ...
arXiv:2101.07810v1
fatcat:tj2a7n6ip5ftdf7hhnaxjgbxfq
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
The new expression model provides more user-friendly syntax, better control of name spaces and interfaces connecting the framework with real-world modelling languages. ...
This leads to more local inference rules, procedures and tactics for reasoning with invariant sets, certifying solutions of hybrid specifications or calculating derivatives with increased proof automation ...
They provide a unifying interface for heterogeneous variables, allow modelling frames, i.e., sets of mutable variables, and projecting parts of the global state to vector spaces of continuous evolutions ...
arXiv:2106.05987v1
fatcat:7nuhzdtenjbcdlsyvnw2zvwwgq
A Generic Scheme and Properties of Bidirectional Transformations
[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 generic presentation is useful when exploring the BX design space: it might help developers when designing new frameworks and end-users when comparing existing ones. ...
Edit lenses [29] are an operation-based formulation of symmetric lenses, with edit-sequences as updates ( − → U = ← − U = E). ...
We believe our work presents a solid base towards such unified theoretical foundation. ...
arXiv:1306.4473v2
fatcat:dbfsenhirnaz5kgkevv6wff5vi
Extrinsic calibration of heterogeneous cameras by line images
2014
Machine Vision and Applications
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.
For this reason, we present an approach which is applicable to heterogeneous types of vision sensors. ...
We propose an extrinsic calibration method within structure from motion framework for cameras with overlapping FOV and its extension to cameras with partially non-overlapping FOV. ...
This unified space allows a similar representation of heterogeneous cameras in spite of their different characteristics and hence similar manner of image processing. ...
doi:10.1007/s00138-014-0624-3
fatcat:s6c2illosfcfhmmx3jgqnpjg7a
The X-Shooter Lens Survey – II. Sample presentation and spatially-resolved kinematics
2015
Monthly notices of the Royal Astronomical Society
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
We have obtained long-slit spectra of the lens galaxies with X-shooter on the VLT. ...
Our goal is to correlate these IMF parameters with ETG masses and investigate the relation between baryonic and non-baryonic matter during the mass assembly and structure formation processes. ...
We make use of the state-of-the-art joint lensing and kinematic code and new SSP models (Conroy & van Dokkum 2012 ) that have been constructed specifically for the purpose of measuring the IMF slope ...
doi:10.1093/mnras/stv1490
fatcat:ewar44ol5beaphk4mizawjzjwm
« Previous
Showing results 1 — 15 out of 5,954 results