Results 291 to 300 of about 366,297 (354)
Some of the next articles are maybe not open access.
Thermal Vibration Correlation Function Formalism for Molecular Excited State Decay Rates
, 2020What is the most favorite and original chemistry developed in your research group? MOMAP, abbreviated for MOlecular MAterials Property prediction package, wherein the key function is the thermal vibration correlation function (TVCF) formalism for excited
Z. Shuai
semanticscholar +1 more source
SSRN Electronic Journal, 2023
This paper documents the existence of a 'formality effect' in government communications. Across three online studies and three field experiments in different policy contexts (total N = 67,632), we show that, contrary to researcher and practitioner predictions, formal government communications are more effective at influencing resident behaviour than ...
Elizabeth Linos +4 more
openaire +2 more sources
This paper documents the existence of a 'formality effect' in government communications. Across three online studies and three field experiments in different policy contexts (total N = 67,632), we show that, contrary to researcher and practitioner predictions, formal government communications are more effective at influencing resident behaviour than ...
Elizabeth Linos +4 more
openaire +2 more sources
Fundamenta Informaticae, 1995
We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomatization of provability and proper reflection rules. The extension is not conservative, but consistency is
Giuseppe Attardi, Maria Simi
openaire +2 more sources
We present a formalisation for the notion of viewpoint, a construct meant for expressing several varieties of relativised truth. The formalisation consists in a logic which extends first order predicate calculus with its own metalanguage, an axiomatization of provability and proper reflection rules. The extension is not conservative, but consistency is
Giuseppe Attardi, Maria Simi
openaire +2 more sources
A Multifractal Formalism for Hewitt–Stromberg Measures
Journal of Geometric Analysis, 2018In the present work, we give a new multifractal formalism for which the classical multifractal formalism does not hold. We precisely introduce and study a multifractal formalism based on the Hewitt–Stromberg measures and that this formalism is completely
N. Attia, B. Selmi
semanticscholar +1 more source
ACM SIGSOFT Software Engineering Notes, 1988
At a previous workshop in this series at Orlando, there was a session on Theory ; at this workshop there was a session on Formalisms . The difference is not just one of terminology: in the intervening three years many things have changed.
openaire +1 more source
At a previous workshop in this series at Orlando, there was a session on Theory ; at this workshop there was a session on Formalisms . The difference is not just one of terminology: in the intervening three years many things have changed.
openaire +1 more source
The "Natural" and the "Formal"
Journal of Philosophical Logic, 2000As we consider the status of claims like: For all statements \(p\), `\(\neg(p \&\neg p)\)' is true, we must consider what \(p\), and accoqrdingly \(\neg p\), range over. Are they statements of an empirical language, in which case the claim seems to be a significant empirical claim, or are they statements of a formal structure that stipulates what ...
openaire +2 more sources
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, 2010A year-long trial has seen a large lightweight verification problem treated by an ad hoc distributed network of identical solvers. The trialled problem is the semantic analysis of the C code in the Linux kernel to exclude a common deadlock possibility.
Peter T. Breuer, Simon Pickin 0001
openaire +1 more source
Information Processing Letters, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Bulletin of Symbolic Logic, 2000
AbstractThe advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy.
openaire +2 more sources
AbstractThe advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy.
openaire +2 more sources