bridges, as an essential part of transportation system, play a special role in economy, politic and military all around the world. serviceability of bridges is of high importance especially in emergencies, helping injured people and proportioning transportation after earthquakes. earthquake regulation codes, normally suggest linear methods to conduct the analysis, and nonlinear analysis is bare...

displacement coefficient method (dcm) stipulated in the asce 41-06 standard is becoming the preferred method for seismic rehabilitation of buildings in many high-seismic-hazard countries. applications of the method for non-building constructions such as bridges are beyond the scope of this standard. thus its application to this kind of structure should be approached with care. target displaceme...

the levy-type analytical solution is employed for the problem of bending of cross-ply and antisymmetric angle-ply piezoelectric hybrid laminated plates with at least two simply supported opposite edges. the governing equations of equilibrium are derived in the framework of the first-order shear deformation plate theory. the equations are classified according to the crystallography type of piezo...

In industrial contexts, safety regulations often mandate upper bounds on the probabilities of failure. Now that embedded computers are part of many industrial environments, it is often needed to analyze programs with non-deterministic and probabilistic behavior. We propose a general abstract interpretation based method for the static analysis of programs using random generators or random inputs...

Markov automata (MA) constitute an expressive continuoustime compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL. Their expressive power has thus far precluded them from effective analysis by probabilistic (and statistical) model checkers, stochastic game solvers, or analysis t...

Markov automata (MA) constitute an expressive continuoustime compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL. Their expressive power has thus far precluded them from effective analysis by probabilistic (and statistical) model checkers, stochastic game solvers, or analysis t...

Markov automata (MA) constitute an expressive continuoustime compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL. Their expressive power has thus far precluded them from effective analysis by probabilistic (and statistical) model checkers, stochastic game solvers, or analysis t...

We provide a probabilistic analysis of the output of Quicksort when comparisons can err.

Infinite groups have been used for cryptography since about twenty years ago. However, it has not been so fruitful as using finite groups. An important reason seems the lack of research on building a solid mathematical foundation for the use of infinite groups in cryptography. As a first step for this line of research, this paper pays attention to a property, the so-called right-invariance, whi...