Results 81 to 90 of about 307,686 (282)

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation [PDF]

, 2010
Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the combination of a
Agostino Dovier, Conrad Rau, Conrad Rau, D. E. Knuth, Douglas J. Howe, Evgeny Dantsin, Franz Baader, Franz Baader, Manfred Schmidt-Schauß, Manfred Schmidt-Schauß, Manfred Schmidt-Schauß, Manfred Schmidt-Schauß, Manfred Schmidt-Schauß, Manfred Schmidt-Schauß, Maribel Fernandez, Matthias Felleisen, Robin Milner, Zena M. Ariola   +17 more
core   +3 more sources

Greening Under Pressure: Climate Change Exposure and Eco‐Innovation

Business Strategy and the Environment, EarlyView.
ABSTRACT This study explores the impact of climate change exposure on corporate eco‐innovation. Recognizing the urgent need to address climate change, we examine how firms directly respond to climate risks through eco‐innovation. Our findings indicate that climate change exposure is positively associated with corporate eco‐innovation.
Pietro Perotti, Fanis Tsoligkas, Kangding Wang   +2 more
wiley   +1 more source

More Than 10 Years on: Does a State‐of‐the‐Art Review and Synthesis Offer New Frameworks to Guide Future Design for Remanufacturing Research?

Business Strategy and the Environment, EarlyView.
ABSTRACT There is strong evidence that design for remanufacturing (DfRem) can reduce initial‐design carbon emissions by up to 30%, and that product design can critically affect remanufacturing feasibility, yet academic adoption of DfRem remains limited.
Okechukwu Okorie, Yogendra Singh, Jennifer Russell, Chris Turner, Kingsley Oturu   +4 more
wiley   +1 more source

Classical logic, continuation semantics and abstract machines [PDF]

, 1998
One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines.
B. Reus, Fachbereich Mathematik, Thomas Streicher   +2 more
core   +2 more sources

Sustainability‐Oriented Innovation and Circular Economy Transitions: Evidence From the UK Textile and Clothing Industry

Business Strategy and the Environment, EarlyView.
ABSTRACT The transition to a circular economy (CE) in the textile and clothing (TC) industry is frequently attributed to sustainability‐oriented innovation (SOI), yet empirical understanding of the systemic conditions under which SOI enables CE remains underdeveloped.
Krishnendu Saha, Narain Gupta, Deniz E. Yoruk, Vikas Kumar   +3 more
wiley   +1 more source

Antigenic characterization of the human immunodeficiency virus (HIV-1) envelope glycoprotein precursor incorporated into nanodiscs.

PLoS ONE, 2017
The entry of human immunodeficiency virus (HIV-1) into host cells is mediated by the viral envelope glycoproteins (Envs), which are derived by the proteolytic cleavage of a trimeric gp160 Env precursor.
Kristen C Witt, Luis Castillo-Menendez, Haitao Ding, Nicole Espy, Shijian Zhang, John C Kappes, Joseph Sodroski   +6 more
doaj   +1 more source

Bayesian Nonstationary Spatial Modeling for Very Large Datasets

, 2012
With the proliferation of modern high-resolution measuring instruments mounted on satellites, planes, ground-based vehicles and monitoring stations, a need has arisen for statistical methods suitable for the analysis of large spatial datasets observed on
Banerjee, Banerjee, Berliner, Bevilacqua, Calder, Cressie, Cressie, Cressie, Cressie, Cressie, Curriero, Dyk, Eidsvik, Finley, Furrer, Geman, Gilbert, Gneiting, Gneiting, Green, Guhaniyogi, Haario, Hastings, Henderson, Higdon, Holmes, Holmes, Kang, Kang, Kanter, Kass, Katzfuss, Katzfuss, Kaufman, Knuth, Lemos, Lindgren, Lindsay, Lopes, Mardia, Metropolis, Paciorek, Pracilio, Sang, Sang, Shaby, Sherman, Shi, Stein, Stein, Taylor, Viscarra Rossel, Wikle, Wikle, Wikle, Xu   +55 more
core   +1 more source

Dual-acting stapled peptides target both HIV-1 entry and assembly [PDF]

, 2013
Background: Previously, we reported the conversion of the 12-mer linear and cell-impermeable peptide CAI to a cell-penetrating peptide NYAD-1 by using an i,i + 4 hydrocarbon stapling technique and confirmed its binding to the C-terminal domain (CTD ...
Bhargava, P., Cooper, A., Curreli, F., Debnath, A.K., Freed, E.O., Lee, S., Mehta, M., Mercredi, P.Y., Scacalossi, D., Summers, M.F., Tong, X., Waheed, A.A., Zhang, H.   +12 more
core   +2 more sources

Beyond Profit: Do Mergers and Acquisitions and the Board of Directors Increase the Environmental, Social, and Governance?

Business Strategy and the Environment, EarlyView.
ABSTRACT This study examines the relationship between mergers and acquisitions (M&A), board characteristics, and ESG performance in BRICS companies, considering the moderating role of sectoral sensitivity. The study analyzes 11,402 observations from 2293 BRICS companies, employing Two‐Stage Least Squares (2SLS) to address endogeneity and logistic ...
Geovane Camilo dos Santos, Camila Lima Bazani, Pablo Zambra   +2 more
wiley   +1 more source

The Commonality of Earthquake and Wind Analysis [PDF]

, 1980
Earthquakes and wind loadings constitute dynamic effects that often must be considered in the design of buildings and structures. The primary purpose of this research study was to investigate the common features of general dynamic analysis procedures ...
Cevallos-Candau, P.J., Hall, W.J.
core