Filters








538 Hits in 3.9 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  ...  Automatic generation of continuous invariants remains one of the biggest practical challenges to the automation of formal proofs of safety for hybrid systems.  ...  Section 3 recalls the problem of continuous invariant checking and describes our architecture for sound invariant checking and generation.  ... 
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  ...  Automatic generation of continuous invariants remains one of the biggest practical challenges to the automation of formal proofs of safety for hybrid systems.  ...  Section 3 recalls the problem of continuous invariant checking and describes our architecture for sound invariant checking and generation.  ... 
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?  ...  We shall see wide extension of the sound administrative prin. ciple of self-inspection of food processing and serve ing industries, subject to qualifications of such jn. spections acceptable to the department  ... 
doi:10.1056/nejm194805132382001 pmid:18914784 fatcat:aobhkfqwvbdj3gpgft7tqgh2ye

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

Brendon Robert Massey, University Of Canterbury
2020
Further set net fish ng on the scale presently practiced can be expected to generate significant economic losses in the near future.  ...  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.  ...  Third, the ffshery can be expected to generate significant economic losses in the future if it continues in its present form.  ... 
doi:10.26021/10189 fatcat:furw6buxqfakpodt2rgvvkjv54

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 HSTP category especially features many nonlinear and parametric continuous and hybrid systems.  ...  H) Hints in which select proof hints are provided as part of the input problem specification, allowing users to communicate specific advice about the system such as loop invariants.  ...  on differential equation axiomatization [PT18, PT20], and Pegasus: a toolbox for automatically generating continuous invariants for systems of ordinary differential equations.  ... 
doi:10.29007/bdq9 dblp:conf/arch/MitschMJZWZ20 fatcat:kygslehltnbzdnsqbcohb5spuu

Grounding and ontological dependence

Henrik Rydéhn
2018 Synthese  
I also offer some suggestions in support of the claim that this generalizes to every possible form of rigid ontological dependence.  ...  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.  ...  Essences are, according to robust essentialism, invariant across all worlds (Correia 2005, p. 27) .  ... 
doi:10.1007/s11229-018-1818-4 fatcat:yygqhr6yhzbkxeb54lgullksom

Self-sustaining sound in collisionless, high-beta plasma [article]

M. W. Kunz, J. Squire, A. A. Schekochihin, E. Quataert
2020 arXiv   pre-print
numerical simulations, we demonstrate that, in a collisionless plasma, long-wavelength ion-acoustic waves (IAWs) with amplitudes δ n/n_0 ≳ 2/β (where β≫1 is the ratio of thermal to magnetic pressure) generate  ...  The completion of this work was facilitated by the generous hospitality and material support provided by the Wolfgang Pauli Institute in Vienna, as well as the expert re-write and optimization of the Pegasus  ...  code (now Pegasus++) by Lev Arzamasskiy, which made our scaling  ... 
arXiv:2006.08940v2 fatcat:wpckrq4bdnf35p5yi4yngzqgpi

Page 493 of None Vol. 27, Issue 702 [page]

1869 None  
Escott’s Juvenal, which, though a less showy, more matter-of-fact piece of editing, is in the main ve' sound, workmanlike, and trustworthy.  ...  Escott’s introductory matter strikes us as the more useful for the general purposes of the student, and as going over more ground in a style less speculative than that of Mr. Simcox.  ... 

Cyber Security, Cyber Hygiene or Cyber Fiction of our Time [chapter]

Tomasz Chomicki
2021 Legal Tech  
Recently there has been a lot of publicity about software from Israeli company NSO Group called Pegasus.  ...  Figure 15: 7 Bill Marczak and others, 'Hide and seek, Tracking NSO Group's Pegasus Spyware to Operations in 45 Countries' (citizenlab.ca, 18 September 2018) <https://citizenla b.ca/2018/09/hide-and-seek-tracking-nso-groups-pegasus-spyware-to-operations-in  ... 
doi:10.5771/9783748922834-463 fatcat:25su5sgovfbmll7rmckrgvtr2e

Indistinguishability [article]

Simon Saunders
2016 arXiv   pre-print
Section 3 is on the notion of object more generally, and on whether indistinguishables should be thought of as objects at all  ...  We then have from (iii): (iv) There is Buckbeak and there is Pegasus and Buckbeak can fly higher than Pegasus, or there is Buckbeak and there is Pegasus and Buckbeak can fly higher than Pegasus With 'Pegasus  ...  The problem generalizes.  ... 
arXiv:1609.05504v1 fatcat:j3dybc26xbbndn66hdwqfplc3a

III.—THE PLACE OF HYPOTHESIS IN EXPERIMENTAL SCIENCE

J. M. RIGG
1887 Mind  
Nor is it possible to conceive that the universe will ever enter upon a period of general and continuous cataclysmic change.  ...  the conditionally invariable antecedent of the generation of heat; for, though the conditions remain otherwise strictly identical, heat may be generated either by friction, or percussion, or electricity  ... 
doi:10.1093/mind/os-12.48.549 fatcat:hhgdvpcduzawjps4iifexvtodu

Theodore the Studite's Christology Against Its Logical Background

Basil Lourié
2019 Studia Humana  
He is entirely Peter and entirely Pegasus. Even though he is, among the horses, a horse called Pegasus, he is still a human among the humans whose name is Peter.  ...  Instead, such logic would allow only two kinds of compositions: (1) some mixed cases, such as some hybrid, centaur, resulted from Peter and Pegasus, which is no longer identical to Peter or Pegasus, or  ... 
doi:10.2478/sh-2019-0008 fatcat:lmep2usnkbeyzpo5urjnfuqnhu

Infragravity waves in the deep ocean

Spahr C. Webb, Xin Zhang, Wayne Crawford
1991 Journal of Geophysical Research  
The waves are generated in the near shore region along the entire coastline of an ocean basin through nonlinear transfer of energy from short-period waves.  ...  We believe deep-water infragravity waves are primarily generated in shallow water, by the same nonlinear mechanisms that drive edge waves in the near shore [Gallagher, 1971; Symonds et al., 1982].  ...  Constable generated the PEGASUS array. We thank Dennis Laws for sending the Fleet Numerical Oceanography Center data essential to much of the analysis in the paper.  ... 
doi:10.1029/90jc02212 fatcat:rrvsupzcgngbhm33dal6f6rn7y

Page 212 of Musical World Vol. 41, Issue 14 [page]

1863 Musical World  
I mut rein in my Pegasus or he will run away with me.  ...  During the six days’ passage from Alexandra to Trieste, we did not hear a musical sound.  ... 

"Past Hours"

H. C. L., Adelaide Sartoris
1881 The Musical Times and Singing Class Circular  
blind man who invariably coupled the sound of a trumpet with scarlet.  ...  Many persons, for example, have poetically associated musical sounds with colours-even going so far as to assert that a certain note invariably suggests a certain colour-and we all know the story of the  ... 
doi:10.2307/3357004 fatcat:qrjdisa2yfc4djwpn7hvhfv7oy
« Previous Showing results 1 — 15 out of 538 results