Search Results - subject:"verification"

Measurement reporting and verification of methane emissions from the gas and oil sector and consequences for LNG trade : a three year progress report

Stern, Jonathan P. - 2025

providing publicly available detail of measurement, reporting and verification of emissions. The entire oil and gas sector may …

Persistent link: https://www.econbiz.de/10015396304

Models for software verification: Proving program correctness

Sitnikovski, Boro; Goracinova-Ilieva, Lidija; … - In: UTMS Journal of Economics 12 (2021) 1, pp. 32-39

is intended to do. There are several platforms and mathematical models for software verification. Formal verification is … based on mathematical proofs, and these platforms are divided into manual and automatic. Among the manual proof verification …

Persistent link: https://www.econbiz.de/10014465778

Models for software verification : proving program correctness

Sitnikovski, Boro; Goracinova-Ilieva, Lidija; … - In: UTMS journal of economics / University of Tourism and … 12 (2021) 1, pp. 32-39

Persistent link: https://www.econbiz.de/10012588807

Enhancing trust in global supply chains : conceptualizing digital product passports for a low-carbon hydrogen market

Heeß, Paula; Rockstuhl, Jakob; Körner, Marc-Fabian; … - In: Electronic markets : EM ; the international journal of … 34 (2024) 1, pp. 1-20

Persistent link: https://www.econbiz.de/10015191258

Attitudes toward LCCP strategies : a comprehensive framework

Semenov, Alexey V.; Randrianasolo, Arilova A. - In: Journal of international consumer marketing 36 (2024) 5, pp. 423-442

Persistent link: https://www.econbiz.de/10015191942

Enhancing trust in global supply chains: Conceptualizing Digital Product Passports for a low-carbon hydrogen market

Heeß, Paula; Rockstuhl, Jakob; Körner, Marc-Fabian; … - In: Electronic Markets 34 (2024) 1

Industries and energy markets around the world are facing mounting pressure to decarbonize, prompting them to transform processes and supply chains towards sustainability. However, a lack of credible sustainability data proves to be a considerable barrier for emerging markets for sustainable...

Persistent link: https://www.econbiz.de/10015376537

Feasibility verification and upper bound computation in global minimization using approximate active index sets

Füllner, Christian; Kirst, Peter; Otto, Hendrik; … - In: INFORMS journal on computing : JOC ; charting new … 36 (2024) 6, pp. 1737-1756

Persistent link: https://www.econbiz.de/10015164648

A method of estimating the Return on Housing Investment (ROHI)

Derkacz, Arkadiusz J. - In: Statistics in transition : an international journal of … 25 (2024) 4, pp. 157-178

The aim of the study was to develop a method for estimating the profitability of housing investments. Market practice shows that the profitability of this type of investment is influenced by specific determinants that are absent in the classical approach to profitability analysis. The most...

Persistent link: https://www.econbiz.de/10015338246

Mechanism design with costly inspection

Ahmadzadeh, Amirreza; Waizmann, Stephan - 2024

Persistent link: https://www.econbiz.de/10014529950

Study on the urban digital transformation gyroscope model

Mei, Yanshuang; Xu, Xin; Zhang, Xupin - In: Asia Pacific journal of innovation and entrepreneurship … 18 (2024) 2, pp. 156-171

Persistent link: https://www.econbiz.de/10014530323