Dynamic Constraint Satisfaction Problems Armin Wolf GMD { German National Research Center for Information Technology GMD FIRST, Kekul estra e 7, D-12489 Berlin, Germany E-mail: [email protected] URL: http://www.first.gmd.de Abstract Practical constraint satisfaction problems (CSPs) are rarely statically xed. For instance, in job-shopscheduling express jobs have to be added, while already plann...

in this paper, sufficient conditions are proposed to investigate the robust stability of arbitrary switched linear systems with uncertain parameters belongs to the known intervals. in addition, a method is then established to determine the maximum intervals of parameters' variations which guarantee robust exponential stability of uncertain switched linear systems under arbitrary switching. in t...

objective: the aim of this study was to evaluate and compare the status of supporting tissue around implant-supported fixed partial denture with or without cantilever clinically and radiographically during a four-year period. materials and methods: one hundred and fifty nine patients who were treated by 482 implants supported fixed partial prosthesis with and without cantilever after at least f...

provisional cements are commonly used to facilitate retrievability of cement-retained fixed implant restorations; but compromised abutment preparation may affect the retention of implant-retained crowns.the purpose of this study was to investigate the effect of abutment design and type of luting agent on the retentive strength of cement-retained implant restorations.two prefabricated abutments ...

abstract this correlational-survery research was conducted with the main objective of investigating viewpoints of farmers of markazi district of karaj towards participation in community supported agriculture. the statistical population of the study consisted of farmers in markazi district of karaj (n=1598) out of which 117 people were selected as sample using cochran formula. in order to enhanc...

regarding the importance of the prevention of hazards and adverse environmental impacts in industrial and populated areas such as southern parts of tehran city, the response of impulsive period ground-supported tanks were assessed. having considered the study area's soil properties, the response of ground-supported tanks was modelled. regarding the soil properties of southern parts of tehran, t...

In this paper, a three dimensional analysis of arbitrary straight-sided quadrilateral nanocomposite plates are investigated. The governing equations are based on three-dimensional elasticity theory which can be used for both thin and thick nanocomposite plates. Although the equations can support all the arbitrary straight-sided quadrilateral plates but as a special case, the numerical results f...

it is firstly proved that the multi-input-single-output (miso) fuzzy systems based on interval-valued $r$- and $s$-implications can approximate any continuous function defined on a compact set to arbitrary accuracy.  a formula to compute the lower upper bounds on the number  of interval-valued fuzzy sets needed to achieve a pre-specified approximation  accuracy for an arbitrary multivariate con...

Public announcements are used in dynamic epistemic logic to model certain kinds of information change. A formula 〈ψ〉φ represents the statement that after ψ is publicly announced φ will be the case. Sometimes we want to reason about whether it is possible for φ to become true after some announcement. In order to do this an arbitrary public announcement operator ♦ can be added to an epistemic log...

in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...