Results 51 to 60 of about 501 (254)

Green Hydrogen for Public Transportation: Insights From an ABM and From Palma de Mallorca Case Study

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT The development of green hydrogen (GH2) value chains is crucial for decarbonizing sectors such as transport and industry. Their emergence, however, requires coordination among diverse actors, technologies, and regulations, which traditional analytical approaches struggle to capture.
Roberta De Cristofaro   +2 more
wiley   +1 more source

MARGINALIA ON A THEOREM OF WOODIN [PDF]

open access: yes, 2017
Let $\left\langle {{W_n}:n \in \omega } \right\rangle$ be a canonical enumeration of recursively enumerable sets, and suppose T is a recursively enumerable extension of PA (Peano Arithmetic) in the same language. Woodin (2011) showed that there exists an
Blanck, Rasmus,   +3 more
core   +1 more source

Net‐Zero Transition and Its Impact on Firms' Energy Efficiency and Economic Growth Within the Framework of Sustainable Development Goals: A Systematic Literature Review and Bibliometric Analysis

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT The transition to net zero (NZ) faces challenges such as uneven institutional readiness, fragmented policy frameworks and rising energy demands from population growth, economic expansion and artificial intelligence (AI). These obstacles are intensified by technological, financial and regulatory uncertainties that impede coordinated efforts ...
Mohamed Shrief   +3 more
wiley   +1 more source

On the Learnability of Recursively Enumerable Languages from Good Examples [PDF]

open access: yes, 2008
The present paper investigates identification of indexed families L of recursively enumerable languages from good examples. We distinguish class preserving learning from good examples (the good examples have to be generated with respect to a hypothesis ...
Sanjay Jain A   +2 more
core  

Structured algebraic specifications: A Kernel language [PDF]

open access: yes, 1986
A language called ASL for describing structured algebraic specifications is presented. ASL is a declarative higher-order language. It contains constructs for building (possibly infinite) signatures, sets of terms, and sets of formulas as well as ...
Wirsing, Martin
core   +1 more source

Exploring Green Entrepreneurship: Clarifying Conceptual Overlaps and Distinctions With Sustainability‐Related Entrepreneurship

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT Increasing global emphasis on sustainability has positioned green entrepreneurship as a key mechanism for aligning business with environmental responsibility. Despite growing research, green entrepreneurship remains conceptually fragmented, with overlapping constructs and inconsistent definitions, which may have constrained theoretical and ...
Alexandra Elena Carst   +1 more
wiley   +1 more source

Parallel communicating grammar systems with bounded resources [PDF]

open access: yes, 2002
In this paper we study size properties of context-free returning parallel communicating grammar systems (PC grammar systems). We show that for each context-free returning PC grammar system an equivalent system of this type can be constructed, where the ...
Vaszil, György   +1 more
core   +1 more source

Supply Chain Innovations for Food Waste and Loss: Systematic Literature Review and Future Research Agenda

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT Food waste and loss (FWL) remains a critical challenge across food supply chains (SCs) globally, with approximately one‐third of all food produced for human consumption discarded or lost each year. This study systematically reviews how supply chain innovation (SCI) can mitigate FWL.
Ilias Vlachos
wiley   +1 more source

Implementation of Recursively Enumerable Languages in Universal Turing Machine

open access: yesInternational Journal of Computer Theory and Engineering, 2011
This paper presents the design and working of a Universal Turing Machine (UTM) for the JFLAP platform. Automata play a major role in compiler design and parsing. The class of formal languages that work for the most complex problems belong to the set of Recursively Enumerable Languages (REL).
Sumitha C. H, Krupa Ophelia Geddam
openaire   +1 more source

Tractability issues in extraposition grammar [PDF]

open access: yes, 1996
Extraposition Grammar (XG) was introduced in [Per81] as a grammar formalism whose increase in recognizing power over context free grammars is limited to mechanisms for adequate description of structural phenomena occurring in natural language. This paper
Groenink, A.V. (Annius)   +1 more
core  

Home - About - Disclaimer - Privacy