5,954 Hits in 4.3 sec

Unifying Heterogeneous State-Spaces with Lenses [chapter]

Simon Foster, Frank Zeyda, Jim Woodcock
2016 Lecture Notes in Computer Science  
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]

Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
2020 arXiv   pre-print
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]

Simon Foster, James Baxter
2020 Lecture Notes in Computer Science  
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]

SNAP Collaboration
2005 arXiv   pre-print
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]

Simon Foster, Jim Woodcock
2016 Lecture Notes in Computer Science  
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

D. Quan
2007 Briefings in Bioinformatics  
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


A. Luber, D. Rueß, K. Manthey, R. Reulke
2012 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
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

Ayşe Çelikkol
2013 Literature Compass  
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

Richard O. Sinnott, Gerson Galang, Martin Tomko, Robert Stimson
2011 2011 IEEE Seventh International Conference on eScience  
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  
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]

Ethan O. Nadler, Simon Birrer, Daniel Gilman, Risa H. Wechsler, Xiaolong Du, Andrew Benson, Anna M. Nierenberg, Tommaso Treu
2021 arXiv   pre-print
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]

Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
2021 arXiv   pre-print
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]

Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer
2013 arXiv   pre-print
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

Dieu Sang Ly, Cédric Demonceaux, Pascal Vasseur, Claude Pégard
2014 Machine Vision and Applications  
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

C. Spiniello, L. V. E. Koopmans, S. C. Trager, M. Barnabè, T. Treu, O. Czoske, S. Vegetti, A. Bolton
2015 Monthly notices of the Royal Astronomical Society  
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