Publication

Six additional replies - one more chorus of the S3 ballad

Dominique Foray
2020
Journal Articles

Abstract

This paper has been written as a response to 'Six additional questions about smart specialization: implications for regional innovation policy 4.0' by M. Benner. The paper starts with the argument that recent academic work has enabled considerable progress to be made, regarding both the concept and its implementation, while, on the other hand, the actual practical implementations have not evolved very much and remain strongly marked by the original instructions given by the Commission and its experts. A logical consequence of such discrepancy between theory and actual practice is that the questions asked or criticisms expressed should always clearly specify whether they concern the theory or actual implementation of this theory. They should thus endeavour to avoid confusing the two levels. The paper shows then that this is not really the case in Benner's article.

Official source

https://infoscience.epfl.ch/entities/publication/1fabf044-ebf0-49d6-9676-c63d74d63afe

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Dominique Foray
2020
Journal Articles

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/1fabf044-ebf0-49d6-9676-c63d74d63afe

About this result

Related concepts (32)

Logical consequence

Logical consequence (also entailment) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises.

Logical connective

In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective can be used to join the two atomic formulas and , rendering the complex formula . Common connectives include negation, disjunction, conjunction, implication, and equivalence.

Logical truth

Logical truth is one of the most fundamental concepts in logic. Broadly speaking, a logical truth is a statement which is true regardless of the truth or falsity of its constituent propositions. In other words, a logical truth is a statement which is not only true, but one which is true under all interpretations of its logical components (other than its logical constants). Thus, logical truths such as "if p, then p" can be considered tautologies.

Related publications (30)

Excited State-Specific CASSCF Theory for the Torsion of Ethylene

State-specific complete active space self-consistent field (SS-CASSCF) theory has emerged as a promising route to accurately predict electronically excited energy surfaces away from molecular equilibria. However, its accuracy and practicality for chemical ...

Amer Chemical Soc2024

THE PHASE TRANSITION FOR PLANAR GAUSSIAN PERCOLATION MODELS WITHOUT FKG

Alejandro Rivera

We develop techniques to study the phase transition for planar Gaussian percolation models that are not (necessarily) positively correlated. These models lack the property of positive associations (also known as the 'FKG inequality'), and hence many classi ...

Inst Mathematical Statistics-Ims2023

Bayes Security: A Not So Average Metric

Carmela González Troncoso, Giovanni Cherubin

Security system designers favor worst-case security metrics, such as those derived from differential privacy (DP), due to the strong guarantees they provide. On the downside, these guarantees result in a high penalty on the system's performance. In this pa ...

IEEE2023