Results 11 to 20 of about 152,238 (379)
An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Safety critical avionics software is a natural application area for formal verification. This is reflected in the formal method's inclusion into the certification guideline DO-178C and its formal methods supplement DO-333.
Frank Dordowsky
doaj +4 more sources
MULTIDISCIPLINARY ANALYSIS OF THE VERNACULAR SETTLEMENTS IN USHGULI (UPPER SVANETI, GEORGIA) [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020 Ushguli, located in the Upper Svaneti region (Georgia), represents the highest point of human occupation before the permanent snowed highlands that separate Georgia from Russia.
G. Sousa +3 more
doaj +1 more source
OPPORTUNITIES AND CHALLENGES OF SUSTAINABLE LOCAL WOOL PRODUCTION IN QUEBEC: AN EXPLORATORY STUDY OF SUPPLY CHAIN AND DEVELOPMENT STRATEGIES FOR THE FASHION INDUSTRY [PDF]
Annals of the University of Oradea: Fascicle of Textiles, Leatherwork, 2023 The fashion industry has a negative impact on the environment and society, leading consumers to seek more responsible alternatives. As a natural and durable material, wool is gaining popularity, but local wool sourcing is often overlooked.
BELLEMARE Jocelyn +2 more
doaj
Teaching Business Models Through Student Consulting Projects
Journal of Business Models, 2021 This article aims to contribute to the literature on business models teaching practices by presenting how the implementation of consulting missions with entrepreneurs in the integration phase can be an effective pedagogical approach for learning business
Philippe Massiera
doaj +1 more source
Arts, 2020 The incorporation of women in society, as active professionals, was probably one of the most important parameters of modernity in the last century. Until the beginning of the twentieth century, women who entered the world of architecture were, generally,
Ainoa Fernández Cruces +3 more
doaj +1 more source
BMC Gastroenterology, 2021 Background We aimed to determine the prevalence of elevated alanine aminotransferase (eALT) in employees of a German chemical company, and analyze its association with sociodemographic, work- and lifestyle-related factors.
Matthias Claus +2 more
doaj +1 more source
Rating the Raters: Evaluating how ESG Rating Agencies Integrate Sustainability Principles [PDF]
, 2019 Environmental, social, and governance (ESG) rating agencies, acting as relevant financial market actors, should take a stand on working towards achieving a more sustainable development. In this context, the objective of this paper is, on the one hand, to
Escrig-Olmedo, Elena +4 more
core +1 more source
Environmental, social and governance disclosures in Europe [PDF]
, 2015 Purpose – The purpose of this paper is to shed light on the European Union’s (EU) latest regulatory principles for environmental, social and governance (ESG) disclosures. It explains how some of the EU’s member states are ratifying the EU Commission’
Adams, Carol, Camilleri, Mark Anthony
core +1 more source
Relevant methane emission to the atmosphere from a geological gas manifestation
Scientific Reports, 2021 Quantifying natural geological sources of methane (CH4) allows to improve the assessment of anthropogenic emissions to the atmosphere from fossil fuel industries. The global CH4 flux of geological gas is, however, an object of debate.
Adriano Mazzini +6 more
doaj +1 more source
Results in Engineering, 2021 In hydraulic fracturing of horizontal wells in unconventional reservoirs, every fracturing stage by increasing the minimum horizontal stress modifies the vertical stress contrast as well as reduces the stress anisotropy.
Peyman M. Moradi
doaj +1 more source