Abstract This paper addresses a simple energy-based overset finite element method (EbO-FEM) to solve pseudo-static deformation problems consisting of overlapped meshes based on the domain composition (DCM). scheme is non-iterative equation-based for enforcing continuity displacement field. Hence, consumes possible minimal computational costs with non-conforming overlapping meshes. The system’s ...

Following the increasing relevance of probabilistic programming, there is a renewed interest in addressing the challenges that probabilistic code bears for static reasoning. For example, there are successful techniques for automatic worst-case resource analysis but these techniques are not applicable to many probabilistic programs, which, for instance, only terminate almost surely. This paper p...

the current building codes provide limited prescriptive guidance on design for protection of buildings due to progressive collapse. progressive collapse is a situation in which a localized failure in a structure, caused by an abnormal load, such as explosions or other happenings. three procedures, often employed for determination of the structural response during progressive collapse i.e. linea...

We propose a proximity probabilistic model (PPM) that advances a bag-of-words probabilistic retrieval model. In our proposed model, a document is transformed to a pseudo document, in which a term count is propagated to other nearby terms. Then we consider three heuristics, i.e., the distance of two query term occurrences, their order, and term weights, and try four kernel functions in measuring...

In this work, we study recent advances in context-sensitive language models for the task of query expansion. We behavior existing and new approaches lexical word-based expansion both unsupervised supervised contexts. For models, Contextualized Embeddings Query Expansion (CEQE) model. introduce a model, Supervised with Transformers (SQET) that performs as classification leverages context pseudo-...

inclined retaining walls with slopes less than perpendicular are appropriate candidates in several engineering problems. yet, to the knowledge of authors, only a few analytical solution for calculation of active earth pressure on such walls, which will be usually smaller than the same pressure on vertical ones, has been presented neither in research papers nor in design codes. considering limit...

This paper describes the tool support for a framework for performing probabilistic worst-case execution time (WCET) analysis for embedded real-time systems. The tool is based on a combination of measurement and static analysis, all in a probabilistic framework. Measurement is used to determine execution traces and static analysis to construct the worst path and effectively providing an upper bo...

A large number of cyclic torsional shear tests on saturated soft clay under unconsolidated undrained condition have been carried out. The changing law between accumulative generalized shear strains vs. failure numbers has been analyzed and a cyclic shear strength curve has been received based on cyclic torsional shear tests. According to the test results, the criterion of saturated soft clay is...