Results 101 to 110 of about 85,558 (251)
A static cost analysis for a higher-order language [PDF]
, 2012 We develop a static complexity analysis for a higher-order functional language with structural list recursion. The complexity of an expression is a pair consisting of a cost and a potential.
Danner, N., Paykin, J., Royer, J. S.
core +1 more source
Where Mathematical Symbols Come From
Topics in Cognitive Science, EarlyView.Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source
The semantic marriage of monads and effects [PDF]
arXiv, 2014 Wadler and Thiemann unified type-and-effect systems with monadic semantics via a syntactic correspondence and soundness results with respect to an operational semantics. They conjecture that a general, "coherent" denotational semantics can be given to unify effect systems with a monadic-style semantics.
arxiv
FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.The digitalization in materials science and engineering is discussed, emphasizing the importance of digital workflows and ontologies in managing diverse experimental data. Challenges such as quality assurance and data interoperability are tackled with semantic web technologies, focusing and introducing the tensile test ontology (TTO).
Markus Schilling +6 more
wiley +1 more source
Disentangling Parallelism and Interference in Game Semantics [PDF]
Logical Methods in Computer ScienceGame semantics is a denotational semantics presenting compositionally the computational behaviour of various kinds of effectful programs. One of its celebrated achievement is to have obtained full abstraction results for programming languages with a ...
Simon Castellan, Pierre Clairambault
doaj +1 more source
Advanced Engineering Materials, Volume 27, Issue 8, April 2025.Integrity constraints enforce consistency and completeness on data. The article discusses a newly developed validator for checking integrity constraints in Shapes Constraint Language (SHACL) through reduction to SPARQL Protocol and RDF Query Language (SPARQL) queries. It can be used with systems for ontology‐based database access.
Özgür L. Özçep +5 more
wiley +1 more source
A Model of Layered Architectures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Architectural styles and patterns play an important role in software engineering. One of the most known ones is the layered architecture style. However, this style is usually only stated informally, which may cause problems such as ambiguity, wrong ...
Diego Marmsoler +2 more
doaj +1 more source
An algebraic basis for specifying and enforcing access control in security systems [PDF]
, 2000 Security services in a multi-user environment are often based on access control mechanisms. Static aspects of an access control policy can be formalised using abstract algebraic models.
Pahl, Claus
core
COPULAR STRUCTURES AND ASYMMETRIC IDENTITY†
Studia Linguistica, Volume 79, Issue 1, Page 180-214, April 2025.Abstract We propose an analysis of copular structures of the type “DP is DP” based on the existence of a silent predicate of asymmetric identity. Our proposal is based on a cognitively grounded notion of identity as identification of one object on the basis of the properties of another.
Denis Delfitto, Gaetano Fiorin
wiley +1 more source
The disciplinary matrix of applied arts and artistic cultures
The Curriculum Journal, Volume 36, Issue 1, Page 15-35, March 2025.Abstract Applied arts and artistic cultures are taught in vocational high schools, in France, with the aim of developing civic and social skills in students, which are cross‐cutting or generic. To achieve this, this design education revolves around the creation and conception of artefacts.
Emeline Roy, Matt McLain
wiley +1 more source