Results 41 to 50 of about 174,815,442 (248)
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
What Does Aspect−Oriented Programming Mean for Functional Programmers? [PDF]
, 2009 Aspect-Oriented Programming (AOP) aims at modularising crosscutting concerns that show up in software. The success of AOP has been almost viral and nearly all areas in Software Engineering and Programming Languages have become "infected" by the AOP bug ...
Oliveira, BCDS +6 more
core +1 more source
Functional programming languages for verification tools: a comparison of Standard ML and Haskell [PDF]
, 2005 We compare Haskell with Standard ML as programming languages for verification tools based on our experience developing the verification platform Truth in Haskell and the Edinburgh Concurrency Workbench (CWB) in Standard ML.
Weber, Michael +3 more
core +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
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
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben +4 more
wiley +1 more source
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
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk +10 more
wiley +1 more source