Results 101 to 110 of about 100,374 (308)
Towards Interactive Logic Programming [PDF]
, 2015 Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2 ...
Kwon, Keehang, Park, Mi-Young
core
Advanced Energy Materials, EarlyView.Direct recyling of Li‐ion battery materials promises a low‐cost path towards a secure domestic supply of critical materials for batteries. Using cathode material from an end‐of‐life commercial Li‐ion cell, this work identifies the primary degradation mechanisms that diminish the performance of directly reused cathode materials and includes a discussion
Melissa Popeil +13 more
wiley +1 more source
Determining the influence of belonging to a wine protected designation of origin on profitability
Agribusiness, EarlyView.Abstract To guide consumers, wineries need credible attributes about the quality of their wines and its origin. In Spain, protected designations of origin (PDO) guarantee that the wine has been produced in a certain wine region in accordance with specific and officially regulated quality criteria thus providing elements of guarantee to the consumer ...
Jordi Moreno Gené +2 more
wiley +1 more source
Multi-Agent Systems with Information Sharing: Strategies and Model Checking
Applied SciencesWe introduce a prototyping language for multi-agent systems with information sharing, allowing agents to act in parallel and to migrate between distributed locations according to explicit timers.
Bogdan Aman, Gabriel Ciobanu
doaj +1 more source
A semantics for while with break, continue and goto
CLEI Electronic Journal, 2018 This work presents a formal description of a subset of a C-likelanguage in the form of an operational semantics. We give semantics to the following statements (presented in alphabetical order) : assig- nation, break, composition, continue, goto, if, skip
Patricia Peratto
doaj +1 more source
Structural Operational Semantics for Stochastic Process Calculi
, 2008 A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes.
Klin, B., Sassone, V.
core +2 more sources
Agribusiness, EarlyView.Abstract The exponential expansion of the global cider market positions it as a viable alternative to traditional choices such as wine and beer. Nevertheless, there exists a paucity of research examining the various factors influencing consumer interest in cider.
Eva Parga Dans +3 more
wiley +1 more source
, 2001 We define a small step operational semantics for a core of Haskell. We modify this semantics to generate traces, specifically Augmented Redex Trails. This small and direct definition of Augmented Redex Trails shall improve our understanding of them and ...
Chitil, Olaf
core +1 more source
Agribusiness, EarlyView.Abstract World markets for quality differentiated agri‐food products are highly competitive, presenting significant challenges for firms aiming to compete effectively. Government agencies and business organizations often implement various export promotion policies to address these challenges.
Nicolás Depetris‐Chauvin +1 more
wiley +1 more source
Robustness of a bisimulation-type faster-than preorder
, 2009 TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed that they all three lead to the same preorder, demonstrating the robustness ...
A. Kiehn +13 more
core +2 more sources