Filters








325 Hits in 4.3 sec

Pegasus: Sound Continuous Invariant Generation [article]

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2020 arXiv   pre-print
To address some of these challenges, we develop Pegasus: an automatic continuous invariant generator which allows for combinations of various methods, and integrate it with the KeYmaera X theorem prover  ...  There are at present many disparate methods available for generating continuous invariants; however, this wealth of diverse techniques presents a number of challenges, with different methods having different  ...  Acknowledgements The authors would like to thank the anonymous reviewers for providing valuable feedback and FM 2019 for the special issue invitation.  ... 
arXiv:2005.09348v2 fatcat:4bwfemvuu5g7ln25bcnn74yslq

Pegasus: sound continuous invariant generation

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
2021 Formal methods in system design  
To address some of these challenges, we develop Pegasus: an automatic continuous invariant generator which allows for combinations of various methods, and integrate it with the KeYmaera X theorem prover  ...  There are at present many disparate methods available for generating continuous invariants; however, this wealth of diverse techniques presents a number of challenges, with different methods having different  ...  Acknowledgements The authors would like to thank the guest editor for handling this article, the anonymous reviewers for providing value feedback, and FM 2019 for the special issue invitation.  ... 
doi:10.1007/s10703-020-00355-z fatcat:6bzcbvszcfbedifbtuezu6xzuq

Whither the Pegasus of Public Health?

Haven Emerson
1948 New England Journal of Medicine  
Where shall we look for the future in our still quite unsatisfied ambitions for the quality of the oncoming generations?  ...  Rather should we expect and promote personal use of the pediatrician, the applied biologist of youth, for a continuous aid to parents during the growth and development of their offspring.  ... 
doi:10.1056/nejm194805132382001 pmid:18914784 fatcat:aobhkfqwvbdj3gpgft7tqgh2ye

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving

Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2020 International Workshop on Applied Verification of Continuous and Hybrid Systems  
The existence of all three categories also makes it easier for new tools with a different focus to participate in the competition, wherever they focus on in the spectrum from fast proof checking all the  ...  The HSTP category especially features many nonlinear and parametric continuous and hybrid systems.  ...  This material is based upon work supported by the AFOSR under grant number FA9550- We thank the entire Logical Systems Lab at Carnegie Mellon University for their many contributions and suggestions to  ... 
doi:10.29007/bdq9 dblp:conf/arch/MitschMJZWZ20 fatcat:kygslehltnbzdnsqbcohb5spuu

The Pegasus Bay rig fishery : management for optimum yield [article]

Brendon Robert Massey, University Of Canterbury
2020
The Pegasus Bay rig fishery is a small but complex set net fishery. It is one of the four main fisheries exploiting the South Island east coast rig stock.  ...  The goal of this study is to determine how the fishery could be managed for optimum yield. The fishery is shown to be in a very serious biological state.  ...  ACKNOWLEDGEMENTS This study would never have been completed without the help of a large number of people.  ... 
doi:10.26021/10189 fatcat:furw6buxqfakpodt2rgvvkjv54

The Evolution of Musicality: What Can Be Learned from Language Evolution Research?

Andrea Ravignani, Bill Thompson, Piera Filippi
2018 Frontiers in Neuroscience  
We identify key areas in which the evolution of language as a discipline has flourished historically, and suggest ways in which these advances can be integrated into the study of the evolution of music  ...  All authors were supported by a visiting fellowship in Language Evolution from the Max Planck Society.  ...  Marie Skłodowska-Curie grant agreement No. 665501 with the research Foundation Flanders (FWO) (Pegasus 2 Marie Curie fellowship 12N5517N awarded to AR) and ERC grant 283435 ABACUS (awarded to Bart de Boer  ... 
doi:10.3389/fnins.2018.00020 pmid:29467601 pmcid:PMC5808206 fatcat:3gky6oaetbhtriifffgg7nrfse

Grounding and ontological dependence

Henrik Rydéhn
2018 Synthese  
I argue that there is at least one form of rigid ontological dependence that is sufficient for non-factive grounding, and that a form of generic dependence may be necessary (but not sufficient) both for  ...  I then broaden the discussion by considering a non-factive conception of grounding, as well as by looking at forms of generic (rather than rigid) ontological dependence.  ...  like to thank Jan Almäng, Matti Eklund, Sten Lindström, Jon Litland, Donnchadh O'Conaill, Jonathan Shaheen, Alexander Skiles, Andreas Stokke, Tuomas Tahko, Tobias Wilsch, and three anonymous referees for  ... 
doi:10.1007/s11229-018-1818-4 fatcat:yygqhr6yhzbkxeb54lgullksom

A Nonlinear Finite Element Heterogeneous Multiscale Method for the Homogenization of Hyperelastic Solids and a Novel Staggered Two-Scale Solution Algorithm [article]

Bernhard Eidel, Andreas Fischer, Ajinkya Gote
2019 arXiv   pre-print
First, we present a nonlinear formulation of the finite element heterogeneous multiscale method FE-HMM in a Lagrangean formulation that covers geometrical nonlinearity and, more general, hyperelasticity  ...  Second, a-priori estimates of FE-HMM, which exist so far only for the fully linear elastic case in solid mechanics, are assessed in the regime of nonlinear elasticity.  ...  of a simulation, or an update for the continuation of a simulation, in either case denoted by (0) in Fig. 3 .  ... 
arXiv:1908.08292v2 fatcat:emnl7xbygncwlaht6dyqhjgd7q

Theodore the Studite's Christology Against Its Logical Background

Basil Lourié
2019 Studia Humana  
He, in turn, was apparently followed by Photius, but in a confused manner.  ...  110 If Jesus's human features are not accidental, despite what the iconoclasts claimed, the only remaining solution within the framework of the "Neo-Chalcedonian" Christology is paraconsistent.  ...  Acknowledgment This research was carried out with a financial support of the Russian Science Foundation, project 16-18-10202, "History of the Logical and Philosophical Ideas in Byzantine Philosophy and  ... 
doi:10.2478/sh-2019-0008 fatcat:lmep2usnkbeyzpo5urjnfuqnhu

Fluχ: a quality-driven dataflow model for data intensive computing

Sérgio Esteves, João Nuno Silva, Luís Veiga
2013 Journal of Internet Services and Applications  
Today, there is a growing need for organizations to continuously analyze and process large waves of incoming data from the Internet.  ...  In this article we propose Fluχ, a novel dataflow model, with framework and programming library support, for orchestrating data-based processing steps, over a NoSQL data store, whose triggering is based  ...  Prototypical scenario For evaluating our model and framework we relied on a dataflow, for continuous and incremental processing, that expresses a simulation of a prototypical scenario inspired by the calculation  ... 
doi:10.1186/1869-0238-4-12 fatcat:jz3mjxua4zau7mgvlhdxczaomq

A novel method for rapid inspection of sewer networks: combining acoustic and optical means

H. Plihal, F. Kretschmer, M. T. Bin Ali, C. H. See, A. Romanova, K. V. Horoshenkov, Th. Ertl
2015 Urban Water Journal  
With investigations continuing until December 2014, the final cycle of the INNOKANIS (2014) project will generate additional data for analysis and further explore a future combination of the two devices  ...  Due to its invariable test conditions, the EPC represents the ideal location for a first comparison of various devices for sewer inspection.  ... 
doi:10.1080/1573062x.2015.1076857 fatcat:aebscvs6fja6pdzreyhamnuzvy

6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment

Maike Scholtes, Lukas Westhofen, Lara Ruth Turner, Katrin Lotto, Michael Schuldes, Hendrik Weber, Nicolas Wagener, Christian Neurohr, Martin Herbert Bollmann, Franziska Kortke, Johannes Hiller, Michael Hoss (+2 others)
2021 IEEE Access  
ACKNOWLEDGMENT The research leading to these results is funded by the German Federal Ministry for Economic Affairs and Energy within the project 'VVM -Verification & Validation Methods for Automated Vehicles  ...  Layer 4 also includes a road marking that continuously loses visibility.  ...  How the 6LM, as described in [18] , can be used to develop a framework for scenario definition is shown in [20] .  ... 
doi:10.1109/access.2021.3072739 fatcat:nptdaodamvf2vjoevh64t5zmka

Towards a strategy for control of suburban informal buildings through automatic change detection

Charalabos Ioannidis, Christodoulos Psaltis, Chryssy Potsiou
2009 Computers, Environment and Urban Systems  
Its basic idea is the development of a system for periodic automatic monitoring and detection of new buildings in large areas.  ...  The proposed procedure is accompanied by a cost estimate for its application on eastern Attica, which is one of the Hellenic prefectures with a great number of existing but also emerging informal constructions  ...  The target is for Pegasus to deliver on demand multi-spectral images from a 20km altitude with a 0.2m-0.3m ground resolution.  ... 
doi:10.1016/j.compenvurbsys.2008.09.010 fatcat:ddnz44z5obfhdi4d27kjehf4be

Perception and Cognition Are Largely Independent, but Still Affect Each Other in Systematic Ways: Arguments from Evolution and the Consciousness-Attention Dissociation

Carlos Montemayor, Harry H. Haladjian
2017 Frontiers in Psychology  
A key argument we present in favor of this framework concerns the evolution of intentionality and perceptual capacities.  ...  A theoretical approach that explains why this should be the case is the consciousness and attention dissociation framework.  ...  We would also like to thank Albert Newen for valuable discussion, and two reviewers for their insightful suggestions and recommendations.  ... 
doi:10.3389/fpsyg.2017.00040 pmid:28174551 pmcid:PMC5258763 fatcat:uaf47grypjfgzowrzm5ss3rdou

Point-Based Value Iteration for Continuous POMDPs

Josep M. Porta, Nikos A. Vlassis, Matthijs T. J. Spaan, Pascal Poupart
2006 Journal of machine learning research  
We propose a novel approach to optimize Partially Observable Markov Decisions Processes (POMDPs) defined on continuous spaces.  ...  In this work, we demonstrate that the value function for continuous POMDPs is convex in the beliefs over continuous state spaces, and piecewise-linear convex for the particular case of discrete observations  ...  Acknowledgments We would like to thank Jakob Verbeek and Wojtek Zajdel for their contributions to the work reported here. Josep M. Porta  ... 
dblp:journals/jmlr/PortaVSP06 fatcat:xavlo7q5tjf6nnif24ed62glu4
« Previous Showing results 1 — 15 out of 325 results