Results 91 to 100 of about 736,363 (296)
Rewriting Modulo SMT and Open System Analysis [PDF]
, 2018 Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e ...
Rocha, Camilo
core
Arthritis Care &Research, Accepted Article.People with systemic autoimmune and rheumatic diseases (SARDs) are at higher risk than the general population of experiencing adverse pregnancy and perinatal outcomes such as preeclampsia, intrauterine growth restriction, and maternal and/or fetal death.
Mehret Birru Talabi, Sonya Borrero
wiley +1 more source
Designing of Retaining Structures of Reinforced Soil with Limit Conditions Method
Communications, 2004 The principles of limit conditions method in designing modern retaining structures of reinforced soil are presented. The principles are elaborated according to French Standard NF P 94-200 [1, 3].
Edward Hutnik, Andrzej Surowiecki
doaj +1 more source
Report on a special investigation of Oran Township in Fayette County for the period January 1, 2003 through September 22, 2009 [PDF]
, 2010 Report on a special investigation of Oran Township in Fayette County for the period January 1, 2003 through September 22 ...
core
Advanced Engineering Materials, EarlyView.The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker +4 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
THE FUTURE OF INTERNAL AUDIT [PDF]
Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie, 2015 Over the years, the purpose of internal audit has continued to evolve and expand, managing to successfully transition from its traditional function of monitoring financial statements to the strategic and operational efforts of checking the organization’
COSMIN DUMITRU MATIȘ
doaj
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Tracking Report 2009 Yee Tung, China 830015141H [PDF]
, 2009 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
Fair Labor Association
core +1 more source
Blood Pressure, 2009 Four oscillometric devices for self-measurement of blood pressure (SBPM) were evaluated according to the International Protocol of the European Society of Hypertension (ESH) in four separate studies. The Pic Indolor Personal Check, Comfort Check and My Check measure blood pressure (BP) at the brachial level; the Travel Check measures radial BP at the ...
GERMANO', Giuseppe Italo Walter +5 more
openaire +4 more sources