Results 51 to 60 of about 501 (254)
Green Hydrogen for Public Transportation: Insights From an ABM and From Palma de Mallorca Case Study
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]
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
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]
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]
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
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]
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
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
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]
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

