Results 31 to 40 of about 2,452,454 (285)
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
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis [PDF]
, 2014 We present the first scalable bound analysis that achieves amortized complexity analysis. In contrast to earlier work, our bound analysis is not based on general purpose reasoners such as abstract interpreters, software model checkers or computer algebra
Florian Zuleger +3 more
core +2 more sources
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
Using Automatic Static Analysis to Identify Technical Debt [PDF]
, 2012 The technical debt (TD) metaphor describes a tradeoff between short-term and long-term goals in software development. Developers, in such situations, accept compromises in one dimension (e.g. maintainability) to meet an urgent demand in another dimension
Vetro', Antonio
core +1 more source
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
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
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