Results 21 to 30 of about 8,375 (166)
Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle
Applied Sciences, 2021 We introduce the Concept→Model→Graph→View Cycle (CMGVC). The CMGVC facilitates coherent architecture analysis, reasoning, insight, and decision making based on conceptual models that are transformed into a generic, robust graph data structure (GDS).
Yaniv Mordecai +2 more
doaj +1 more source
Logical Methods in Computer ScienceMeasurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous data types" such as the real line.
Thomas Ehrhard, Guillaume Geoffroy
doaj +1 more source
QuantumInformation.jl-A Julia package for numerical computation in quantum information theory.
PLoS ONE, 2018 Numerical investigations are an important research tool in quantum information theory. There already exists a wide range of computational tools for quantum information theory implemented in various programming languages.
Piotr Gawron +2 more
doaj +1 more source
Relational Parametricity for Computational Effects [PDF]
Logical Methods in Computer Science, 2009 According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied.
Rasmus Ejlers Møgelberg, Alex Simpson
doaj +1 more source
Teaching Nondeterminism Through Programming
Informatics in Education, 2016 Nondeterminism (ND) is a fundamental concept in computer science, and comes in two main flavors. One is the kind of ND that appears in automata theory and formal languages, and is the one that students are usually introduced to. It is known to be hard to
Giora ALEXANDRON +3 more
doaj +1 more source
Logical Methods in Computer Science, 2017 A universal process of a process calculus is one that, given the G\"{o}del index of a process of a certain type, produces a process equivalent to the encoded process.
Yuxi Fu
doaj +1 more source
Analysis of new approaches used in portfolio optimization: a systematic literature review [PDF]
Production, 2020 Paper aims To do a comprehensive review of the exact and heuristic methods, software/programming languages, constraints, and types of analysis (technical and fundamental) used to solve the portfolio optimization problem. Originality The paper presents a
Danilo Alcantara Milhomem +1 more
doaj +2 more sources
ABUAD Journal of the Humanities-AGIDIGBOThis study investigates the morphological and semantic relationships between human language and programming language through a comparative linguistic analysis.
J.O AYODABO +2 more
doaj +1 more source
Innocent strategies as presheaves and interactive equivalences for CCS [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views.
Tom Hirschowitz, Damien Pous
doaj +1 more source
Free complete Wasserstein algebras [PDF]
Logical Methods in Computer Science, 2018 We present an algebraic account of the Wasserstein distances $W_p$ on complete metric spaces, for $p \geq 1$. This is part of a program of a quantitative algebraic theory of effects in programming languages.
Radu Mardare +2 more
doaj +1 more source