Results 71 to 80 of about 2,976 (263)
Verified VCG and Verified Compiler for Dafny
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and ProofsDafny is a verification-aware programming language that comes with a compiler and static program verifier. However, neither the compiler nor the verifier is proved correct; in fact, soundness bugs have been found in both tools. This paper shows that the aforementioned Dafny tools can be developed with foundational correctness guarantees.
Daniel Nezamabadi +2 more
openaire +2 more sources
Biotechnology and Bioengineering, EarlyView.Genetic engineering (GE) overcomes BCA limits, enabling robust, scalable crop protection. “Super Bioagents” (SBs) use optimized SSs to enhance bioactive molecule delivery. Optimizing SSs enhance precise, sustainable effector deployment for stable disease suppression. SBs use microbiome‐informed design for scalable, next‐gen sustainable crop protection.
Michael Dare Asemoloye
wiley +1 more source
Фінансово-кредитна діяльність: проблеми теорії та практикиThe main aim is to investigate the impact of Artificial Intelligence (AI) on various aspects of disclosing financial information. The case study used a mixed methods approach, and a sample of stakeholders dealing in the Iraq Stock Exchange was taken ...
Ali Khalaf Gatea
doaj +1 more source
Green Talk, Costly Walk: The Financial Cost of Greenwashing
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates the financial consequences of greenwashing, operationalized as the misalignment between ESG disclosure and actual ESG performance. While prior research has explored the reputational and ethical dimensions of greenwashing, its impact on firms' cost of debt remains underexamined.
S. Taddeo, A. Regoli, O. Weber, R. Carè
wiley +1 more source
Transparent, Auditable, and Stepwise Verifiable Online E-Voting Enabling an Open and Fair Election
Cryptography, 2017 Many e-voting techniques have been proposed but not widely used in reality. One of the problems associated with most existing e-voting techniques is the lack of transparency, leading to a failure to deliver voter assurance. In this work, we p verifiable,
Xukai Zou +4 more
doaj +1 more source
Drivers of Nature‐Related Investment Strategies Among Institutional Investors
Business Strategy and the Environment, EarlyView.ABSTRACT Institutional investors are increasingly responding to biodiversity loss through nature‐related investment strategies. Using survey data from 557 institutional investors, this study examines the drivers of strategy selection and how biodiversity risk is integrated across investor types, sizes, and regions.
Emma Olofsson
wiley +1 more source
Powering Transparency: Global Drivers of Sustainability Reporting in the Electricity Sector
Business Strategy and the Environment, EarlyView.ABSTRACT We examine the drivers of sustainability reporting quality (QSR), conceptualised along two complementary dimensions, relevance and reliability, to assess how firm‐level attributes and institutional conditions jointly shape disclosure practices in the electricity sector.
Alva Marasigan +3 more
wiley +1 more source
Takeover Vulnerability and the Discipline of ESG Overinvestment
Business Strategy and the Environment, EarlyView.ABSTRACT While takeovers serve a disciplinary role by replacing inefficient managers, the threat of takeovers may compel firms to divert attention from Environmental, Social and Governance (ESG) efforts as a strategic response to external pressure, especially when such firms are already overinvesting in ESG.
Abongeh Tunyi +2 more
wiley +1 more source
Alfred Jules Ayer’de Metafizik Eleştirisi ve Doğrulanabilirlik Problemi
Felsefe DünyasıSınır belirleme (demarcation) problemini konu edinen bu çalışma, bir mantıkçı pozitivist olan Alfred Jules Ayer’in hangi gerekçelerle metafiziğe karşı oluşunun temellerini araştırma ve bu tutumla bağlantılı olarak bilimin ve felsefenin konumunu ...
Murat Sel
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study examines the influence of circular economy practices, as a manifestation of corporate social responsibility, on green value co‐creation and its subsequent effects on green collaborative practices and sustainable supply chain integration between providers and customers.
Adriana Santos +2 more
wiley +1 more source