Results 41 to 50 of about 3,322,560 (298)
First Class Call Stacks: Exploring Head Reduction [PDF]
, 2016 Weak-head normalization is inconsistent with functional extensionality in the call-by-name $\lambda$-calculus. We explore this problem from a new angle via the conflict between extensionality and effects.
Ariola, Zena M. +2 more
core +2 more sources
Banach Fixed Point Theorem in Extended bv(s)-Metric Spaces
Computer Sciences & Mathematics Forum, 2023 We define the class of extended bv(s)-metric spaces by replacing the real number s≥1 with a strictly increasing continuous function ϕ in the definition of a bv(s)-metric space.
Anil Kumar
doaj +1 more source
, 2006 Real-life situations are at the heart of an innovative theory of information aimed at some long-standing problems of philosophy. This (situation) theory was proposed more than 2 decades ago and has matured over the years. It addressed a number of semantic problems, resulting in what is commonly known as situation semantics.
openaire +2 more sources
Channel Identification Based on Cumulants, Binary Measurements, and Kernels
Systems, 2021 In this paper, we discuss the problem of channel identification by using eight algorithms. The first three algorithms are based on higher-order cumulants, the next three algorithms are based on binary output measurement, and the last two algorithms are ...
Hicham Oualla +5 more
doaj +1 more source
A Recipe for State-and-Effect Triangles [PDF]
Logical Methods in Computer Science, 2017 In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced state-and-effect triangles which capture this situation categorically, involving an adjunction between
Bart Jacobs
doaj +1 more source
Formal change impact analyses for emulated control software [PDF]
, 2006 Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games.
A.C. Shaw +17 more
core +3 more sources
Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity
Science & PhilosophyLogic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial ...
Simone Cuconato
doaj +1 more source
Научный диалог, 2018 The article is devoted to description of a number of phraseological units with the causal semantics. Units of the following semantic groups are analyzed: “To Make. To Force,” “To Subdue,” “To Harass.
O. V. Kolesnikova
doaj +1 more source
, 2011 chapter for the volume Introduction to the Philosophy of John Perry, ed. by Raphael van Riel and Albert NewenInternational audienceThis paper is an occasion to go back to Jon Barwise and John Perry's Situations and Attitudes (1983).
Stojanovic, Isidora
core +1 more source
The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?
Advanced Robotics Research, EarlyView.Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley +1 more source