Filters








340,877 Hits in 2.2 sec

Deducibility Constraints [chapter]

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2009 Lecture Notes in Computer Science  
This was formalized in [14], using deducibility constraints.  ...  On the other hand, deducibility constraints are sequences of deduction problems in which some parts (formulas) are unknown.  ...  Then, in Section 3, we introduce deducibility constraints.  ... 
doi:10.1007/978-3-642-10622-4_3 fatcat:l3yvxoyunrffvnp3nacgaa3xzu

Deducibility constraints and blind signatures

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2014 Information and Computation  
Solving a deducibility constraint amounts to finding all possible ways of filling the gaps in a proof.  ...  Deducibility constraints represent in a symbolic way the infinite set of possible executions of a finite protocol.  ...  Proposition 4 (completeness -deducibility constraint). Let C↓ S be an unsolved constraint system such that M C↓ S contains a deducibility constraint. Let σ ∈ Sol NC (C↓ S ).  ... 
doi:10.1016/j.ic.2014.07.006 fatcat:pn3mtnbszfel7hzxxw2o4efs2i

Intruder deducibility constraints with negation. Decidability and application to secured service compositions [article]

Tigran Avanesov, Michaël Rusinowitch, Mathieu Turuani
2012 arXiv   pre-print
The procedure extends constraint solving for cryptographic protocol analysis in a significative way as it is able to handle negative deducibility constraints without restriction.  ...  The problem of finding a mediator to compose secured services has been reduced in our former work to the problem of solving deducibility constraints similar to those employed for cryptographic protocol  ...  mediator both deducibility and non-deducibility constraints.  ... 
arXiv:1207.4871v1 fatcat:7rcl4nrsfng3dibmaga6d3p6nu

Intruder deducibility constraints with negation. Decidability and application to secured service compositions

Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani
2017 Journal of symbolic computation  
The procedure extends constraint solving for cryptographic protocol analysis in a significative way as it is able to handle negative deducibility constraints without restriction.  ...  The problem of finding a mediator to compose secured services has been reduced in our former work to the problem of solving deducibility constraints similar to those employed for cryptographic protocol  ...  mediator both deducibility and non-deducibility constraints.  ... 
doi:10.1016/j.jsc.2016.07.008 fatcat:byfbhr2kqvaphce4bvcza6joke

New constraints on the intraplate stress field of the Amurian plate deduced from light earthquake focal mechanisms

Andreas Barth, Friedemann Wenzel
2010 Tectonophysics  
To address this we determine new focal mechanisms for this region and perform a stress inversion for selected parts of the plate in order to provide better constraints on the plate dynamics.  ...  Delvaux et al. (1997) deduced a detailed history of the evolution of the paleo-and present-day stress field.  ... 
doi:10.1016/j.tecto.2009.01.029 fatcat:hdqvql4vjvhovavnaequdb4h7q

Tectonic constraints to Cretaceous magmatic arc deduced from detrital heavy minerals in northeastern Japan – evidence from detrital garnets, tourmalines and chromian spinels

Mayuko Nishio, Kohki Yoshida
2014 Cretaceous research (Print)  
North Kitakami Terrane origin, and detrital tourmalines are considered to have 32 been derived mainly from meta-sedimentary rocks. The composition of detrital 33 chromian spinels are compositionally diverse and mainly derived from tholeiitic 34 and intra-plate basalts showing high TiO2 (>about 1.0 wt%) and island arc 35 basalts with moderately low TiO2 (1.0> TiO2 >0.5 wt%) and high -Cr#. Latter 36 chromian spinels can be considered as a record of island arc activity including 37 high
more » ... in Early Cretaceous time. Because adequate source rocks of 38 the spinels are elusive near the basin compared with those of detrital garnets 39 and tourmalines, these rocks are believed to have been disturbed by Cenozoic 40 tectonics and eroded and covered by newly formed volcanic and sedimentary 41 rocks. 42
doi:10.1016/j.cretres.2013.11.004 fatcat:p2y2br6cjzcqrc7tphaeysgy4e

The Late Oligocene-Early Miocene Himalayan belt Constraints deduced from isotopic compositions of Early Miocene turbidites in the Bengal Fan

Albert Galy, Christian France-Lanord, Louis A. Derry
1996 Tectonophysics  
Assuming a transport time scale (<1 Ma), deduced exhumation rates are in the same range of modern values (1-3 mm/yr) since ca. 30 Ma.  ... 
doi:10.1016/0040-1951(96)00079-0 fatcat:qieezrcmj5fvxcc5cxbiw6dtbi

A type of new conserved quantity deduced from Mei symmetry for Appell equations in a holonomic system with unilateral constraints

Li-Qun Jia, Yin-Li Xie, Yao-Yu Zhang, Xin-Fang Yang
2010 Chinese Physics B  
A type of new conserved quantity deduced from Mei symmetry of Appell equations for a holonomic system with unilateral constraints is investigated.  ...  The expressions of new structural equation and new conserved quantity deduced from Mei symmetry of Appell equations for a holonomic system with unilateral constraints expressed by Appell functions are  ...  Proof First of all, when the system is under the constraints, the Mei conserved quantities deduced from the Mei symmetries of Appell equation (3) satisfy f = q 2 − q 1 > 0. Using Eq.  ... 
doi:10.1088/1674-1056/19/11/110301 fatcat:jz5i7acum5ee7fzh4coue37zmm

New constraints on the rupture process of the 1999 August 17 Izmit earthquake deduced from estimates of stress glut rate moments

E. Clévédé, M.-P. Bouin, B. Bukchin, A. Mostinskiy, G. Patau
2004 Geophysical Journal International  
In order to extract the characteristic features of this event, we calculate the same integral estimates directly from those models and compare them with those deduced from our inversion.  ...  directivity are consistent among all models, the LPSW solution displays a strong unilateral character of the rupture associated with a short rupture duration that is not compatible with the solutions deduced  ...  The directivity ratio deduced from our model is in agreement with that deduced from the model of Delouis et al. (2000) .  ... 
doi:10.1111/j.1365-246x.2004.02304.x fatcat:o7iavbs5nje63mowxoq642j3q4

Aging, Maturation and Growth of Sauropodomorph Dinosaurs as Deduced from Growth Curves Using Long Bone Histological Data: An Assessment of Methodological Constraints and Solutions

Eva Maria Griebeler, Nicole Klein, P. Martin Sander, Richard J. Butler
2013 PLoS ONE  
Information on aging, maturation, and growth is important for understanding life histories of organisms. In extinct dinosaurs, such information can be derived from the histological growth record preserved in the mid-shaft cortex of long bones. Here, we construct growth models to estimate ages at death, ages at sexual maturity, ages at which individuals were fully-grown, and maximum growth rates from the growth record preserved in long bones of six sauropod dinosaur individuals (one
more » ... mamenchisaurid, two Apatosaurus sp., two indeterminate diplodocids, and one Camarasaurus sp.) and one basal sauropodomorph dinosaur individual (Plateosaurus engelhardti). Using these estimates, we establish allometries between body mass and each of these traits and compare these to extant taxa. Growth models considered for each dinosaur individual were the von Bertalanffy model, the Gompertz model, and the logistic model (LGM), all of which have inherently fixed inflection points, and the Chapman-Richards model in which the point is not fixed. We use the arithmetic mean of the age at the inflection point and of the age at which 90% of asymptotic mass is reached to assess respectively the age at sexual maturity or the age at onset of reproduction, because unambiguous indicators of maturity in Sauropodomorpha are lacking. According to an AIC-based model selection process, the LGM was the best model for our sauropodomorph sample. Allometries established are consistent with literature data on other Sauropodomorpha. All Sauropodomorpha reached full size within a time span similar to scaled-up modern mammalian megaherbivores and had similar maximum growth rates to scaled-up modern megaherbivores and ratites, but growth rates of Sauropodomorpha were lower than of an average mammal. Sauropodomorph ages at death probably were lower than that of average scaledup ratites and megaherbivores. Sauropodomorpha were older at maturation than scaled-up ratites and average mammals, but younger than scaled-up megaherbivores.
doi:10.1371/journal.pone.0067012 pmid:23840575 pmcid:PMC3686781 fatcat:6awbytfdcjc7xlnumhbd57rr4e

The mass composition of cosmic rays near 1018 eV as deduced from measurements made at Volcano Ranch

M.T. Dova, M.E. Manceñido, A.G. Mariazzi, T.P. McCauley, A.A. Watson
2004 Astroparticle physics  
The Fly's Eye data are deduced from measurements of the depth of shower maximum.  ...  The cosmic ray mass composition, deduced from Volcano Ranch data, is compatible with mean fraction (89 ± 5(stat) ± 12(sys))% of iron in a bi-modal proton and iron mix, in the whole energy range 10 17:7  ... 
doi:10.1016/j.astropartphys.2004.04.009 fatcat:w6qoov52j5h6bjfaj3cuq6pghm

Associative-Commutative Deducibility Constraints [chapter]

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
STACS 2007  
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associative and commutative symbols  ...  Though protocols generally satisfy this condition, it might not be the case for the constraints which are computed using the procedure of [6] .  ...  Definition 2 (AC-deducibility constraint). An AC-deducibility constraint is an expression T u where T is a finite set of terms and u is a term.  ... 
doi:10.1007/978-3-540-70918-3_54 dblp:conf/stacs/BursucCD07 fatcat:jxxow6mlbja5jhpp7pproz5sg4

Deducibility Constraints, Equational Theory and Electronic Money [chapter]

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Lecture Notes in Computer Science  
This means solving deducibility constraints modulo the equational theory of the electronic purse.  ...  All these works rely on solving deducibility constraints modulo equational theories, an approach that we will follow in the present paper.  ... 
doi:10.1007/978-3-540-73147-4_10 fatcat:siochmxjibgy7cr3xfzk562h2q

O-136 年代測定から求められる畑川破砕帯の断層活動の変遷(17. 岩石・鉱物の破壊と変形)
O-136 Faulting history of the Hatagawa Fault Zone deduced from geochronological constraint

Ohtani T, Shigematsu N, Fujimoto K, Iwano H
2004 Annual Meeting of the Geological Society of Japan  
Ltd . ) 年代 測定 か ら求め られ る 畑 川 破 砕 帯 の 断 層 活 動 の 変 遷 大 谷 具 幸 ( 岐 阜 大 学 ) ・ 重松 紀 生 ( 千 葉 大学 ) ・ 藤本 光 一 郎 ( 東京 学 芸 大 学 ) ・ 岩 野 英 樹 ( ( 株 ) 京都フ ィッ ショ ン ト ラック) of the Hatagawa Fault Zone deduced from 福 島 県 阿  ...  Am . , in P 「 ess ・ O − 136 Faulting hiS 量 Ory geOChronOIOgiCal COnStraint 工 897 − 914、 Shigematsu, N . , H . Yamagishi, 2002, lsland Arc, 11, 45 − 60, Tomita、 T. . T. Ohtani , N . Shigematsu, H .  ... 
doi:10.14863/geosocabst.2004.abst.0_93_2 fatcat:mt7njcjjffc3tkhbg3hphoxm7e

Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases [chapter]

Vladimir Gerdt, Arsen Khvedelidze, Yuri Palii
Lecture Notes in Computer Science  
The special homogeneous Gröbner basis is constructed that allow us to find and classify the complete set of constraints the model possesses.  ...  Though we were not able to determine the elements G n (n > 6) of the Gröbner basis, but the knowledge of these partial components computed suffices (Sect.3.2) to deduce the complete set of constraints  ...  independent constraints form the subset of secondclass constraints .  ... 
doi:10.1007/978-3-540-75187-8_12 fatcat:4mz5kss5jff2fmbbtppcmsrbvy
« Previous Showing results 1 — 15 out of 340,877 results