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
It turns out that the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy the property of Right Weakening. ... In this paper we introduce and investigate a very basic semantics for conditionals that can be used to define a broad class of conditional reasoning. ... In contrast, when constraining (RW) we deal with conditional transitivity on the effect (on the right). ...doi:10.24963/ijcai.2019/226 dblp:conf/ijcai/CasiniMV19 fatcat:2x7vnaed35ccvbkjefadizdope
We do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. ... infra-classical reasoning demands (beyond α |= β) that Mod(β) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(α), and which can be described by a sentence •α with ... In a separate paper we are investigating, beyond the constrained conditional, other constrained connectives: negation, conjunction, and disjunction induced by different choices of the weakening operator ...doi:10.1007/s11787-011-0037-2 fatcat:rhyhphnboveqjimcwjl4rgmtze
We also provide a rigorous analysis of the problem with completing sets of equations with initial constraints. ... This paper studies completion in the case of equations with constraints consisting of first-order formulae over equations, disequations, and an irreducibility predicate. ... In CCP we do not weaken the conclusion or the left premise, so that we can only eliminate some instances of the right premise. ...doi:10.1016/0304-3975(94)00274-6 fatcat:4s4tn65nznbvfgigdkdeshtdf4
Lecture Notes in Computer Science
We also provide a rigorous analysis of the problem with completing sets of equations with initial constraints. ... This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. ... One way to deal with this situation would be to weaken the constraint fx gx x 6 = hb as we sometimes need to weaken the constraint on a simpli er. Unfortunately, this is not sound. ...doi:10.1007/3-540-56868-9_2 fatcat:3prdghsaarhtblpjzgcb5gm2ju
Heaton (2008), Constraining fault constitutive behavior with slip and stress heterogeneity, ... We explore features of rupture dynamics that (1) lead to slip heterogeneity in earthquake ruptures and (2) maintain these conditions following rupture, so that the stress field is compatible with the generation ... In this study, we use a simple fault constitutive model that blends the classic slip-weakening friction model with the restrengthening present in slip-plus-rate-weakening friction, while including some ...doi:10.1029/2006jb004793 fatcat:qa3fj6zyyjazbebk2t4yskggbu
Starting with a relaxed problem, we show how derivative decomposabil- ity yields a simple solution procedure. ... Gordan and Motzkin type alternative theorems are presented for functions satisfying the “symmetrical Fuchssteiner and Konig’s conditions” which demand a weakened convexlikeness in the first 90C Mathematical ...
The authors prove first- and second-order optimality conditions for an optimization problem where the essential objective is the com- posite of a convex function with a smooth mapping under certain qualifications ... It is a very nice result with many applications. ...
The obtained upper bound is parameterized by a quantity related with the calculus. ... Moreover the conditions are such that there is an algorithm for checking if they are satisfied by a sequent calculus. ... Moreover the author thanks all the colleagues that contributed with useful comments and suggestions. ...doi:10.1016/j.apal.2007.08.001 fatcat:aslpnaics5fihfkra4pz5ocbne
Lecture Notes in Computer Science
To cope with disturbances caused by occlusions and noise, we distinguish between the unobservability of a) relations between object parts and b) object parts themselves. ... Whereas other approaches for solving over-constrained problems suggest to reduce the relaxation of a variable to the relaxation of its incident constraints, we argue that both cases have to be treated ... Cremers, Wolfgang Förstner, Gerd Gröger and Ingo Petzold who helped with many discussions and critical comments to develop these ideas. We thank the DFG for supporting our work. ...doi:10.1007/3-540-49481-2_22 fatcat:n2o3zslam5hktoh4qbvxvw5f4q
Here, we demonstrate a conditional-probability technique to calculate entropy densities of translation-invariant states on lattices using limited configuration data on small clusters, and apply it to arrays ... The simple cluster-estimate S( )/| | using the five-island di-vertex (Fig. 2 legend) provides a very poor bound compared with our conditioning technique. ... All rights reserved. NATURE PHYSICS DOI: 10.1038/NPHYS1728 ...doi:10.1038/nphys1728 fatcat:m6dxl6wh5rdkhoabmeoz4el5ly
The analysis is surprisingly simple and elementary, while leads to strong results. ... In particular, it is shown that the sparse recovery problem can be solved via'1 minimization under weaker conditions than what is known in the literature. ... This simple analysis requires a condition on the RIP that is weaker than other conditions on the RIP used in the literature. ...doi:10.1109/tsp.2009.2034936 fatcat:oiaxng3g75efhhgvfcc6t35qbm
In other words, it is not always possible to separate strength drop and the slip-weakening distance using rupture modeling, in agreement with the conclusions by GUATTERI and SPUDICH (2000) . ... For this purpose we have generated three dynamic models of the Landers earthquake using a single, vertical, planar fault with heterogeneity in either the initial stress, the yield stress, or the slip-weakening ... Here we use the simple slip-weakening law T ðDÞ ¼ ðT u À T f Þ 1 À D D c þ T f D D c T f D > D c ( ; ð1Þ where T u is the yield stress, T f is the kinematic friction at high slip and D c is the slipweakening ...doi:10.1007/s00024-004-2555-9 fatcat:tuqsno6bgfashb6t44tw7sddry
Computational Earthquake Science Part II
In other words, it is not always possible to separate strength drop and the slip-weakening distance using rupture modeling, in agreement with the conclusions by GUATTERI and SPUDICH (2000) . ... For this purpose we have generated three dynamic models of the Landers earthquake using a single, vertical, planar fault with heterogeneity in either the initial stress, the yield stress, or the slip-weakening ... Here we use the simple slip-weakening law T ðDÞ ¼ ðT u À T f Þ 1 À D D c þ T f D D c T f D > D c ( ; ð1Þ where T u is the yield stress, T f is the kinematic friction at high slip and D c is the slipweakening ...doi:10.1007/978-3-0348-7875-3_4 fatcat:mc2d7kwgwvh7bijesvhsk2cufa
Lecture Notes in Computer Science
We illustrate the approach (specification and verification) with the Kmelia component language. The composite designer has multiple and sometimes conflicting goals: ... In this article we will study different kinds of promotion of services equipped with contracts, their usefulness, as well as their safety by considering appropriate proof obligations. ... A service is more than a simple operation; it has pre/post-conditions and a behaviour described with a labelled transition system (LTS). ...doi:10.1007/978-3-642-27269-1_9 fatcat:o5qithmi65csjnhuvu2ygz56yy
We propose that source time functions compatible with earthquake dynamics should be used to infer the traction time history. ... We compute the temporal evolution of traction by solving the elasto-dynamic equation and by using the slip velocity history as a boundary condition on the fault plane. ... Right panels show the resulting slip weakening behaviors in dimensional units. The arrows depict the estimated value of the critical slip weakening distance. ...doi:10.1029/2003gl019225 fatcat:54pqinmwd5al5mvs45uvhjztoy
« Previous Showing results 1 — 15 out of 80,036 results