-
Article
Technology-push, demand-pull and endogenous drivers of innovation in the renewable energy industry
This study aims to contribute to the long-standing debate on technology-push versus demand-pull mechanisms to support the creation and diffusion of innovations. We argue that in addition to the traditional push–p...
-
Article
Is your valley as green as it should be? Incorporating economic development into environmental performance indicators
Sustainability rankings are receiving increasing attention by the academic and the policymaking communities because of their potential to influence environmental legislation and reshape competitive landscapes....
-
Article
SVME: an ensemble of support vector machines for detecting oil spills from full resolution MODIS images
This paper addresses oil spill detection from remotely sensed optical images. In particular, it focuses on the automatic classification of regions of interest (ROIs) in two classes, namely oil spills or look-a...
-
Chapter and Conference Paper
A Labeled Natural Deduction System for a Fragment of CTL *
We give a sound and complete labeled natural deduction system for an interesting fragment of \(\mathit{CTL^*}\) , namely the until...
-
Chapter
An Application of Exergy Accounting to Five Basic Metal Industries
-
Article
An approach to infinitary temporal proof theory
Aim of this work is to investigate from a proof-theoretic viewpoint a propositional and a predicate sequent calculus with an ω–type schema of inference that naturally interpret the propositional and the predic...
-
Article
Effect of Blood Ammonia Elevation Following Oral Glutamine Load on the Psychometric Performance of Cirrhotic Patients
Oral glutamine challenge is a method to increase blood ammonia and may be used to study the ammonia lowering effect of drugs potentially useful in hepatic encephalopathy (HE). We tested its influence on the ps...
-
Chapter
Modal Logic, Linear Logic, Optimal Lambda-Reduction
The paper will maintain and justify the following thesis:
A purist approach to modal proof-theory may have some (applied) benefits for the efficient reduction of lambda-terms, an important proble...
-
Chapter
A Computational Interpretation of Modal Proofs
Proof theory of modal logics, though largely studied since the fifties, has always been a delicate subject, the main reason being the apparent impossibility to obtain elegant, natural systems for intensional o...