Filters








127 Hits in 8.3 sec

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers – Extended Version [article]

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
2020 arXiv   pre-print
Summers, Cristina David, Olivier Danvy, and Peter O'Hearn for their comments on the prelimiary versions of the paper.  ...  max 28 28 1.4 1.5 1.1x 2 2 1.0x 38 38 1.0x YES min 28 28 1.5 1.5 1.0x 2 2 1.0x 38 38 1.0x YES singleton 11 11 0.5 0.5 1.0x 8 8 1.0x 30 30 1.0x same Sorted List ins-sort-all  ...  Therefore, not being able to follow the derivation path (a), the synthesiser is forced to explore an alternative one, eventually deriving the version of listcopy without tail-swapping. := 0 | true | x  ... 
arXiv:2001.10723v1 fatcat:jcx46fiz5jbrzi5z3zs7adj4fu

Support for teaching formal methods

Vicki L. Almstrum, C. Neville Dean, Don Goelman, Thomas B. Hilburn, Jan Smith
2001 ACM SIGCSE Bulletin  
The working group proposes an enhancement to an existing web resource, which is a rich collection of materials and links related to formal methods.  ...  Acknowledgement The working group extends a special note of thanks to the following advisory board members, whose comments and suggestions on preliminary versions of the report have improved the content  ...  I have used various Z tools, most recently version 1.5 and version 2.0 of Z/EVES (see [9] for more information on Z/EVES).  ... 
doi:10.1145/571922.571962 fatcat:mniuibmvarbyvpsah2tqogebyi

The extreme value Birnbaum-Saunders model, its moments and an application in biometry

M. Ivette Gomes, Marta Ferreira, Víctor Leiva
2012 Biometrical Letters  
Recently, a new version of the BS distribution based on extreme value theory has been introduced, named the extreme value Birnbaum-Saunders (EVBS) distribution.  ...  ZEV M (γ).  ...  ZEV m (γ), and the same expression for T , i.e. that given in (6) , we use the corresponding notation T ∼ EVBS m (α, δ, γ). The shapes for the EVBS M and the EVBS m PDFs are quite diverse.  ... 
doi:10.2478/bile-2013-0006 fatcat:5ktydod3gbcwrpwb4kmmt4p2ym

Doubly charged Higgs from e–γ scattering in the 3-3-1 Model

J. E. Cieza Montalvo, G. H. Ramírez Ulloa, M. D. Tonasse
2012 European Physical Journal C: Particles and Fields  
The masses of the new gauge bosons are m 2 Z ′ ≈ ev χ s W 2 2 (1 − s 2 W ) 3 (1 − 4s 2 W ) m 2 V = e s W 2 v 2 η + v 2 χ 2 , m 2 U = e s W 2 v 2 ρ + v 2 χ 2 . (9) where s W = sin θ W .  ...  The simplest version of scalar sector of the model has only three Higgs triplets [8] .  ... 
doi:10.1140/epjc/s10052-012-2210-z fatcat:ggvporah5bbppnh55pai4rcs24

PERVERSE MOTIVES AND GRADED DERIVED CATEGORY

Wolfgang Soergel, Matthias Wendt
2016 Journal of the Institute of Mathematics of Jussieu  
Under an additional assumption of pointwise purity for objects of the heart, tilting gives an equivalence between stratified mixed Tate sheaves and the bounded homotopy category of the heart of the weight  ...  This equivalence extends to an equivalence MTDer (B) (G/P ) ≈ → Hot b (H * (G/P ) -SMod Z ev ). 1.3. Perverse t-structures.  ...  In particular, we construct an equivalence of triangulated Q-categories MTDer (B) (G/B) ∼ = Hot b (C -SMod Z ev ), where C = H * (G/B, Q) denotes the cohomology ring with rational coefficients of the complex  ... 
doi:10.1017/s1474748016000013 fatcat:wsgqy4vuwvd7dfza6u6zic6eia

Polycyclic Aromatic Hydrocarbon emission model in photodissociation regions I: Application to the 3.3, 6.2, and 11.2 μm bands [article]

Ameek Sidhu, A.G.G.M. Tielens, Els Peeters, Jan Cami
2022 arXiv   pre-print
EP and JC acknowledge support from an NSERC Discovery Grant.  ...  NGC 7023 Z = -1 Z = 0 Z = 1 Z = 2 Z = 3 𝐸 avg (Z) [eV] 4.30 5.27 5.17 4.73 4.07 4.89 4.81 4.44 4.70 5.36 5.49 5.35 4.51 5.05 5.15 5.15 5.16 4.68 5.01 5.12 5.12 5.16 NGC 2023 𝐸 avg (Z) [eV] Z = -1 Z =  ...  Circumcoronene Charge state (Z) IP(Z) [eV] Wenzel et al. (2020) Bakes & Tielens (1994) % difference 2 12.0 12.9 7.4 Circumcircumcoronene Charge state (Z) IP(Z) [eV] Wenzel et al. (2020) Bakes & Tielens  ... 
arXiv:2205.03304v1 fatcat:jogu32csojcfziaj23jswa56xm

Towards automation of IT systems repairs

Janusz Górski, Marek Kamiński
2016 Software quality journal  
For validation purposes, the method has been instantiated (using the PERL language) in an industrial helpdesk supporting the operation of several hundred IT systems.  ...  (Radič and Š kiljan 2004) for an overview).  ...  The formal specifications were subjected to various analyses with the help of the Z/EVES (Z-EVES 2015; Saaltink 1997 Saaltink , 1999 , an interactive tool supporting editing and analysing of Z specifications  ... 
doi:10.1007/s11219-016-9335-5 fatcat:pvemltyng5cxpeuxe2ptzw6npm

Categorical Probability Theory [article]

Kirk Sturtz
2015 arXiv   pre-print
Since θ(z)[f i ] △ = ω f ′ i (z)[id I ] = ω η ′ X (z) [ev f i ] we obtain lim{θ(z)[f i ]} ∞ i=1 = lim{ω η ′ X (z)[g k ]} ∞ k=1 → ω η ′ X (z)[ev f ] = θ(z)[f ] where the convergence follows from the fact  ...  Thus we obtain the commutative (X↓ι)-diagram Z P(X) ι(P(X)) ι(I) λ f ′ λ η X ′ ι(ev f ) θ ω f ′ ω η X ′ This shows that for every f ∈ Meas(X, I) the condition ω f ′ (z) = ω η X ′ (z)[ev f ] holds.  ... 
arXiv:1406.6030v4 fatcat:3wygqlaqhzfmrd77d7kiutfdca

Lie Theory for Asymptotic Symmetries in General Relativity: The NU Group [article]

David Prinz, Alexander Schmeding
2022 arXiv   pre-print
This turns the unit component of the NU group into an infinite-dimensional Lie group. We then study the Lie theoretic properties of this group.  ...  Rewriting the latter formula we see that i ∧ 1 (F, φ)(t, z) = ev(δ(φ), z) • ev(F −1 , (t, φ(z)). Now δ and the evaluation maps are smooth and we know that SO + (3, 1) acts smoothly on S 2 .  ...  Moreover, [Mic80, Corollary 11.6] implies that T (F,(u,z)) ev(X, Y ) = X(u, z) + dF (u, z; Y ).  ... 
arXiv:2109.11476v3 fatcat:z2z2s574ezhghjsh6qmbrq6sv4

Discontinuous initial value problems for functional differential–algebraic equations of mixed type

H. d'Albis, E. Augeraud-Véron, H.J. Hupkes
2012 Journal of Differential Equations  
We illustrate our techniques by analytically studying an economic model for the interplay between inflation and interest rates.  ...  Then for any z * that has Re z * > 0, we have the identity Π sp L − (z * ) ev − 0 G L (θ) = −Res z=z * e zθ L − (z) −1 . tion Π sp L − (z * ) ev − 0 G L (θ) = Res z=z * e zθ L − (z) −1 G l L (0) + 0 −  ...  Indeed, if we assume Re z * < 0, a similar calculation shows that [Π sp L − (z * ) ev − 0 G L − ] = 0.  ... 
doi:10.1016/j.jde.2012.06.012 fatcat:x6quk55djzdh3jjqmjbd6usbkq

Diffie's Wireless Phone: Heterodyning-Based Physical-Layer Encryption

Jerry T. Chiang, Yih-Chun Hu
2013 MILCOM 2013 - 2013 IEEE Military Communications Conference  
However, without knowing Z, Eve is forced to make random guesses on what Z is, and if the guesses are incorrect, Eve gains no information on the plaintext.  ...  Alice then modulates the plaintext X to get the plain signal x, and subtracts from it a weighted version of the encryption signal to form the cipher signal y = x − η Z r Z .  ... 
doi:10.1109/milcom.2013.87 dblp:conf/milcom/ChiangH13a fatcat:5ppxtog4hfbwxkflbm7vwmygoe

A Tits alternative for rational functions [article]

Jason P. Bell, Keping Huang, Wayne Peng, Thomas J. Tucker
2021 arXiv   pre-print
We prove an analog of the Tits alternative for rational functions.  ...  If K is not finite, then there is a set M K of nontrivial absolute values | · | v on K along with positive integers e v such that the product formula v∈MK |z| ev v = 1 holds for all nonzero z ∈ K.  ...  Preliminaries We give a brief overview of the basics of semigroups. Let S be a finitely generated semigroup and let S be a finite set of generators for S.  ... 
arXiv:2103.09994v1 fatcat:swfwezsuc5bbllmlcdp5bmttzu

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers [chapter]

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
2020 Lecture Notes in Computer Science  
Summers, Cristina David, Olivier Danvy, and Peter O'Hearn for their comments on the prelimiary versions of the paper.  ...  max 28 28 1.4 1.5 1.1x 2 2 1.0x 38 38 1.0x YES min 28 28 1.5 1.5 1.0x 2 2 1.0x 38 38 1.0x YES singleton 11 11 0.5 0.5 1.0x 8 8 1.0x 30 30 1.0x same Sorted List ins-sort-all  ...  Therefore, not being able to follow the derivation path (a), the synthesiser is forced to explore an alternative one, eventually deriving the version of listcopy without tail-swapping.  ... 
doi:10.1007/978-3-030-44914-8_6 fatcat:2xuq4w3e5vgrpd2xt7wofkgmnm

Mixed motives and geometric representation theory in equal characteristic

Jens Niklas Eberhardt, Shane Kelly
2019 Selecta Mathematica, New Series  
As an example, we combine these results and Soergel (2000) to construct a geometric and graded version of Soergel's modular category O(G), consisting of rational representations of a split semisimple group  ...  More precisely, we construct for all quasi-projective schemes X over an algebraic closure of F_p a k-linear triangulated category of motives on X.  ...  Then there is an equivalence of categories MTDer (B ∨ ) (X ∨ , ) ∼ → Der b (O Z,ev (G)) between the category of stratified mixed Tate motives on X ∨ and the derived evenly graded modular category O Z,ev  ... 
doi:10.1007/s00029-019-0475-x fatcat:w77y32aoejc5hhot7cyaoui5yi

Poverty, Welfare and Income Distribution Implications of Reducing Trade Costs Through Deep Integration in Eastern and Southern Africa

Edward J Balistreri, Maryla Maliszewska, Israel Osorio-Rodarte, David G Tarr, Hidemichi Yonezawa
2017 Journal of African Economies  
In Section 2, we provide an overview of the CGE and the microsimulation models. In Section 3, we explain the data.  ...  Our article employs an innovative version of a comparative steady-state model to assess impacts in the year 2030.  ... 
doi:10.1093/jae/ejx024 fatcat:6fuht2hjpzcy5kscuwtafdoajy
« Previous Showing results 1 — 15 out of 127 results