Results 41 to 50 of about 1,711 (143)
Business Strategy and the Environment, EarlyView.ABSTRACT The aim of this research is to verify whether institutional quality affects the relationship between green innovation and firm efficiency within the high‐tech manufacturing sectors. To estimate jointly the parameters of a stochastic frontier and the coefficients of a model explaining technical inefficiency, we employed the one‐step estimation ...
Mariarosaria Agostino +2 more
wiley +1 more source
Partially Ordered Two-way B\"uchi Automata
, 2011 We introduce partially ordered two-way B\"uchi automata and characterize their expressive power in terms of fragments of first-order logic FO[
A.P. Sistla +12 more
core +1 more source
Unambiguous Separators for Tropical Tree Automata [PDF]
, 2019 In this paper we show that given a max-plus automaton (over trees, and with real weights) computing a function f and a min-plus automaton (similar) computing a function g such that f ?
Colcombet, Thomas, Lombardy, Sylvain
core +3 more sources
Lactuca sativa L. losses and wastes as a source of biobased ingredients
Journal of the Science of Food and Agriculture, EarlyView.Abstract BACKGROUND The growing global population and increasing consumer focus on healthy eating challenge the agricultural sector to ensure both sustainable food production and safety. Lettuce (Lactuca sativa Mill.), the most cultivated leafy vegetable worldwide, can lose up to 40% of its weight during processing.
Joana PB Rodrigues +8 more
wiley +1 more source
What is known about the Value 1 Problem for Probabilistic Automata? [PDF]
, 2014 The value 1 problem is a decision problem for probabilistic automata over finite words: are there words accepted by the automaton with arbitrarily high probability?
Fijalkow, Nathanaël
core +3 more sources
, 2011 The class of omega-regular languages provides a robust specification language in verification. Every omega-regular condition can be decomposed into a safety part and a liveness part.
Chatterjee, Krishnendu +1 more
core +3 more sources
A Modal Logic for Subject-Oriented Spatial Reasoning [PDF]
, 2019 We present a modal logic for representing and reasoning about space seen from the subject\u27s perspective. The language of our logic comprises modal operators for the relations "in front", "behind", "to the left", and "to the right" of the subject ...
Walega, Przemyslaw Andrzej +1 more
core +1 more source
Journal of Sleep Research, Volume 34, Issue 2, April 2025.Summary The autonomic nervous system regulates cardiovascular activity during sleep, likely impacting cardiovascular health. Aging, a primary cardiovascular risk factor, is associated with cardiac autonomic disbalance and diminished sleep slow waves. Therefore, slow waves may be linked to aging, autonomic activity and cardiovascular health. However, it
Stephanie Huwiler +5 more
wiley +1 more source
Optimal Satisfiability Checking for Arithmetic $\mu$-Calculi
, 2019 The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics with branching types beyond the standard relational setup, e.g. probabilistic, weighted, or game-based.
Hausmann, Daniel, Schröder, Lutz
core +1 more source
Emptiness Of Alternating Tree Automata Using Games With Imperfect Information [PDF]
, 2013 We consider the emptiness problem for alternating tree automata, with two acceptance semantics: classical (all branches are accepted) and qualitative (almost all branches are accepted).
, Pinchinat, Sophie, Serre, Olivier
core +5 more sources