Results 21 to 30 of about 15,432,475 (262)
Earthquake-induced slope displacements [PDF]
Geofísica Internacional, 2003 This paper presents a finite-element analysis to evaluate earthquake-induced displacements in slopes. The procedure takes into account the nonlinear characteristics of the materials, spatial variation of strength (friction) along the potential failure ...
M. P. Romo, E. Botero J.
doaj
SSI and SSSI effects in seismic analysis of twin buildings: discrete model concept
Journal of Civil Engineering and Management, 2012 This paper presents a numerical study of soil-structure interaction (SSI) and structure-soil-structure interaction (SSSI) effects on response of twin buildings during earthquake excitations.
Sadegh Naserkhaki, Hassan Pourmohammad
doaj +1 more source
Applied Sciences, 2020 This paper deals with the force-based assessment of collapse mechanisms and strengthening interventions of the historic masonry castle “Bussi sul Tirino” (Abruzzi, Italy) using rigid block limit analysis (RBLA). The structure, which is a fortified palace
Lucrezia Cascini +5 more
doaj +1 more source
Linearized discrete-time model of higher order charge-pump PLLs [PDF]
, 2011 European Conference on Circuit Theory and Design (ECCTD), Linkoping, Sweden, 29-31 August, 2011In this paper, we derive linearized discrete-time models of higher order Charge-Pump Phase-Locked Loops (CPPLLs).
Paul F. Curran +5 more
core +1 more source
Designing of Dynamic Spectrum Shifting in Terms of Non-Local Space-Fractional Mechanics
Energies, 2021 In this paper, the applicability of the space-fractional non-local formulation (sFCM) to design 1D material bodies with a specific dynamic eigenvalue spectrum is discussed. Such a formulated problem is based on the proper spatial distribution of material
Krzysztof Szajek +3 more
doaj +1 more source
The Use of Language Projection for Compositional Verification of Discrete Event Systems [PDF]
, 2008 This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property.
Simon Ware +3 more
core +1 more source
Generalised verification of the observer property in discrete event systems [PDF]
, 2012 The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N. +4 more
core +1 more source
Crowding effects and depletion mechanisms for population regulation in prey-predator intraspecific competition model [PDF]
Computational Ecology and Software, 2019 The current investigation centres on the consequences of intra-specific rivalry involving predators in the predator-prey equation. A careful account of the investigation is offered mathematically of the model to offer insights into important outcomes ...
Kumar G. Ranjith +2 more
doaj
Numerical Analysis Of Buckling Of Von Mises Planar Truss
Transactions of the VŠB: Technical University of Ostrava, Civil Engineering Series, 2015 A computational algorithm of a discrete model of von Mises planar steel truss is presented. The structure deformation is evaluated by seeking the minimal potential energy. The critical force invented by mathematical solution was compared with solution by
Kalina Martin
doaj +1 more source
Investigating transcription factor dynamics in health and disease using FRAP
FEBS Letters, EarlyView.FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj +3 more
wiley +1 more source