Results 21 to 30 of about 2,438,026 (283)
The influence of bracing on the stress state of the ribbed-ring dome framework
Structural Mechanics of Engineering Constructions and Buildings, 2022 The aim of current research was to establish the relationship between the stress state of the ribbed-ring dome framework and the degree of its bracing. It was assumed that the meridional ribs and rings of the dome framework are made of metal.
Evgeny V. Lebed
doaj +1 more source
Buildings, 2022 The paper discusses the seismic vulnerability of structures susceptible to overcrowding due to their intended use. Specifically, it addresses the analysis towards earthquake actions of a masonry school located in the Municipality of San Giorgio a Cremano,
Assunta Paola Piccolo +2 more
doaj +1 more source
Future-based Static Analysis of Message Passing Programs [PDF]
, 2016 Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges ...
Blom, Stefan +2 more
core +4 more sources
Finite element analysis of train speed effect on dynamic response of steel bridge
Open Engineering, 2021 The development of materials engineering has facilitated the design of slender, light bridges replacing standard construction materials with others, which fulfil their purpose both in terms of structural behaviour and safety.
Jukowski Michał +2 more
doaj +1 more source
Detection of Sensitive Malicious Android Functionalities Using Inter-Component Control-Flow Analysis
IEEE AccessAndroid Smartphone’s popularity among users and developers is due to its open architecture and third-party apps. The exponential growth of third-party developer apps needs a robust code audit before upload.
Rati Bhan +2 more
doaj +1 more source
Parameterisation and Optimisation of a Hand-Rake Sweeper: Application in Olive Picking
Agriculture, 2020 Olive picking is one of the most common social agricultural activities in many regions of Andalusia where the predominant crop is the traditional olive grove. The machinery used includes shakers, blowers and essential, low-cost hand-rake sweepers.
Rafael E. Hidalgo Fernández +3 more
doaj +1 more source
A Fiber-Optic Six-Axis Force Sensor Based on a 3-UPU-Compliant Parallel Mechanism
Applied SciencesTraditional six-axis force sensors are mostly based on resistance strain, piezoelectricity and capacitors, which have poor resistance to electromagnetic interference.
Jiachen Ma +3 more
doaj +1 more source
A Hybrid Approach for Android Malicious Software Classification
Computing Open, 2023 Android operating systems have grown in popularity and are currently being increasingly used on smartphone devices. Because of the quickly expanding quantity of Android malware and the potential safeguard of vast amounts of data kept on Android devices ...
Deepon Deb Nath +3 more
doaj +1 more source
Static Analysis of Deterministic Negotiations
, 2017 Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice workflow Petri nets, are surprisingly amenable to verification.
Esparza, Javier +2 more
core +2 more sources
Integrity static analysis of COTS/SOUP [PDF]
, 2003 This paper describes the integrity static analysis approach developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system.
Bishop, P. G. +4 more
core +1 more source