-
1
The role of the innovation in the definition of new formal paradigms in Architecture
Published 2018-04-01Get full text
Article -
2
The new formal specification framework of individual emergency, response and preparedness
Published 2011“…This paper presents a new formal specification framework of individual Emergency, Response and Preparedness (ERP). …”
Get full text
Article -
3
Into adpositions: new formal perspectives on the structure of the PP and its variation
Published 2021Journal article -
4
Sloppiness: Fundamental study, new formalism and its application in model assessment.
Published 2023-01-01Get full text
Article -
5
Minimal phrase structure: a new formalized theory of phrase structure
Published 2020-06-01Get full text
Article -
6
Discrete-Time Fractional Difference Calculus: Origins, Evolutions, and New Formalisms
Published 2023-06-01Get full text
Article -
7
Minimal phrase structure: a new formalized theory of phrase structure
Published 2020Journal article -
8
-
9
-
10
A LIFE IN ARCHITECTURE /
Published 1979“…He and fellow architect Edward Durell Stone are generally considered to be the two master practitioners of "New Formalism".…”
text -
11
-
12
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
Published 2007“…From a different perspective, it is a generalization of tightly integrated disjunctive dl-programs by fuzzy vagueness in both the description logic and the logic program component. We show that the new formalism faithfully extends both fuzzy disjunctive programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. …”
Conference item -
13
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
Published 2007“…Furthermore, we describe algorithms for reasoning in the new formalism, and we give a precise picture of its computational complexity. …”
Conference item -
14
The colourful antenna subtraction method
Published 2024-03-01“…In the context of the new formalism, structures needed to locally subtract the infrared-divergent behaviour of real emission corrections are systematically inferred from virtual subtraction terms, relying on the cancellation of infrared singularities and on the correspondence between integrated and unintegrated antenna functions. …”
Get full text
Article -
15
Negative frequencies in pulse propagation equations and the double analytic signal
Published 2023-01-01“…Additionally, we reduce this new formalism to the AS to prove their equivalence. Throughout the paper, we present numerical solutions of the unidirectional pulse propagation equation to illustrate the EF, AS, and DAS formalisms and to highlight their differences.…”
Get full text
Article -
16
Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Published 2008“…From a different perspective, it is a generalization of tightly coupled disjunctive dl-programs by fuzzy vagueness in both the description logic and the logic program component. We show that the new formalism faithfully extends both fuzzy disjunctive logic programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. …”
Journal article -
17
Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Published 2008“…From a different perspective, it is a generalization of tightly coupled disjunctive dl-programs by fuzzy vagueness in both the description logic and the logic program component. We show that the new formalism faithfully extends both fuzzy disjunctive logic programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. …”
Journal article -
18
Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Published 2010“…The authors show that the new formalism faithfully extends both fuzzy disjunctive logic programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable. …”
Book section -
19
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
Published 2010“…Furthermore, we describe algorithms for reasoning in the new formalism, and we give a precise picture of its computational complexity. …”
Journal article -
20
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
Published 2010“…Furthermore, we describe algorithms for reasoning in the new formalism, and we give a precise picture of its computational complexity. …”
Journal article