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`

.

## Filters

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

2020
*
arXiv
*
pre-print

Summers, Cristina David, Olivier Danvy, and Peter O'Hearn for their comments on the prelimiary

arXiv:2001.10723v1
fatcat:jcx46fiz5jbrzi5z3zs7adj4fu
*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 ...##
###
Support for teaching formal methods

2001
*
ACM SIGCSE Bulletin
*

The working group proposes

doi:10.1145/571922.571962
fatcat:mniuibmvarbyvpsah2tqogebyi
*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*). ...##
###
The extreme value Birnbaum-Saunders model, its moments and an application in biometry

2012
*
Biometrical Letters
*

Recently, a new

doi:10.2478/bile-2013-0006
fatcat:5ktydod3gbcwrpwb4kmmt4p2ym
*version*of the BS distribution based on extreme value theory has been introduced, named the extreme value Birnbaum-Saunders (EVBS) distribution. ...*Z*∼*EV*M (γ). ...*Z*∼*EV*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. ...##
###
Doubly charged Higgs from e–γ scattering in the 3-3-1 Model

2012
*
European Physical Journal C: Particles and Fields
*

The masses of the new gauge bosons are m 2

doi:10.1140/epjc/s10052-012-2210-z
fatcat:ggvporah5bbppnh55pai4rcs24
*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] . ...##
###
PERVERSE MOTIVES AND GRADED DERIVED CATEGORY

2016
*
Journal of the Institute of Mathematics of Jussieu
*

Under

doi:10.1017/s1474748016000013
fatcat:wsgqy4vuwvd7dfza6u6zic6eia
*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 ...##
###
Polycyclic Aromatic Hydrocarbon emission model in photodissociation regions I: Application to the 3.3, 6.2, and 11.2 μm bands
[article]

2022
*
arXiv
*
pre-print

EP and JC acknowledge support from

arXiv:2205.03304v1
fatcat:jogu32csojcfziaj23jswa56xm
*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 ...##
###
Towards automation of IT systems repairs

2016
*
Software quality journal
*

For validation purposes, the method has been instantiated (using the PERL language) in

doi:10.1007/s11219-016-9335-5
fatcat:pvemltyng5cxpeuxe2ptzw6npm
*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 ...##
###
Categorical Probability Theory
[article]

2015
*
arXiv
*
pre-print

Since θ(z)[f i ] △ = ω f ′ i (z)[id I ] = ω η ′ X (

arXiv:1406.6030v4
fatcat:3wygqlaqhzfmrd77d7kiutfdca
*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. ...##
###
Lie Theory for Asymptotic Symmetries in General Relativity: The NU Group
[article]

2022
*
arXiv
*
pre-print

This turns the unit component of the NU group into

arXiv:2109.11476v3
fatcat:z2z2s574ezhghjsh6qmbrq6sv4
*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 ). ...##
###
Discontinuous initial value problems for functional differential–algebraic equations of mixed type

2012
*
Journal of Differential Equations
*

We illustrate our techniques by analytically studying

doi:10.1016/j.jde.2012.06.012
fatcat:x6quk55djzdh3jjqmjbd6usbkq
*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. ...##
###
Diffie's Wireless Phone: Heterodyning-Based Physical-Layer Encryption

2013
*
MILCOM 2013 - 2013 IEEE Military Communications Conference
*

However, without knowing

doi:10.1109/milcom.2013.87
dblp:conf/milcom/ChiangH13a
fatcat:5ppxtog4hfbwxkflbm7vwmygoe
*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 . ...##
###
A Tits alternative for rational functions
[article]

2021
*
arXiv
*
pre-print

We prove

arXiv:2103.09994v1
fatcat:swfwezsuc5bbllmlcdp5bmttzu
*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. ...##
###
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
[chapter]

2020
*
Lecture Notes in Computer Science
*

Summers, Cristina David, Olivier Danvy, and Peter O'Hearn for their comments on the prelimiary

doi:10.1007/978-3-030-44914-8_6
fatcat:2xuq4w3e5vgrpd2xt7wofkgmnm
*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. ...##
###
Mixed motives and geometric representation theory in equal characteristic

2019
*
Selecta Mathematica, New Series
*

As

doi:10.1007/s00029-019-0475-x
fatcat:w77y32aoejc5hhot7cyaoui5yi
*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*...##
###
Poverty, Welfare and Income Distribution Implications of Reducing Trade Costs Through Deep Integration in Eastern and Southern Africa

2017
*
Journal of African Economies
*

In Section 2, we provide

doi:10.1093/jae/ejx024
fatcat:6fuht2hjpzcy5kscuwtafdoajy
*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. ...
« Previous

*Showing results 1 — 15 out of 127 results*