Image de couverture de livre

Demetrios: A Systems and Scientific Programming Language with Epistemic Computing

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Agourakis, Demetrios Chiuratto, Agourakis, Dionisio Chiuratto
Format:	Recurso digital
Publié:	Zenodo 2025
Sujets:	programming-language systems-programming scientific-computing epistemic-computing pharmacokinetics PBPK units-of-measure refinement-types algebraic-effects linear-types GPU Rust
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Demetrios: A Systems and Scientific Programming Language with Epistemic Computing
par: Agourakis, Demetrios Chiuratto, et autres
Publié: (2025)

Supercomputing Frontiers
Publié: (2022)

Computer Aided Verification
Publié: (2023)

Artificial Intelligence and Computer-Supported Collaborative Learning in Programming: A Systematic Mapping Study
par: Carlos Giovanny Hidalgo
Publié: (2023)

Computer Aided Verification
Publié: (2023)

Data Parallel C++
par: Reinders, James, et autres
Publié: (2023)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
par: Ahmed, Amal
Publié: (2018)

Computer Aided Verification
Publié: (2023)

Scientific Programming and Computer Architecture
par: Viswanath, Divakar
Publié: (2019)

Branch and cut method for solving integer indefinitequadratic bilevel programs with multiple objectives atthe upper level
par: Fali, Fatima, et autres
Publié: (2025)

Programming Languages Dataset
par: Himpfen, Brandon
Publié: (2026)

Learning about Programming and Epistemic Emotions: A Gendered Analysis
par: Beatriz-Eugenia Grass
Publié: (2020)

Programming Languages and Systems
Publié: (2025)

Programming Languages and Systems
Publié: (2025)

Programming Languages and Systems
Publié: (2024)

Programming Languages and Systems
Publié: (2024)

Open Computer Science
Publié: (2018)

Programming Languages and Systems
Publié: (2022)

Computer programming for research and application: livecode development environment
par: Bill Potter
Publié: (2014)

Statistical comparisons of several growth curves of the von Bertalanffy type
par: Misra, R. K
Publié: (1980)

A programme to carry out analysis of variance: two-way classification on Micro 2200
par: Kesavan Nair, A.K.
Publié: (1983)

Methodology for planning log stacking using geotechnology and operations research
par: Mariana Peres de Lima
Publié: (2011)

Capacity reduction on Norwegian industrial fisheries
par: Flåm, S. D., Storøy, S
Publié: (1982)

A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++.
par: Alejandra Lucatero
Publié: (2012)

hcderiv v0.4.0 — JAX-XLA backend for exact one-pass Hessians
par: Zetta Byte
Publié: (2026)

An approach for solving Goal Programming problems using Interval Type-2 fuzzy goals
par: Juan Sebastian Patiño-Callejas
Publié: (2015)

Computer Aided Verification
Publié: (2022)

Analysis and Design of Wind and Temperature Load of a Continuous Span I-beam Prestressed Concrete Bridge usingPBridge Software
par: Emmanuel Ifeanyi Ogunjiofor, et autres
Publié: (2025)

Discovering the mechanisms of abstraction in the performance of work teams in children to solve computational problems
par: René Fabián Zúñiga Muñoz
Publié: (2016)

Efficient Software Implementation of the Nearly Optimal Sparse Fast Fourier Transform for the Noisy Case
par: Alexander López-Parrado
Publié: (2015)

The Causal Specification Language (CSL): A Pure CT Programming and Interaction Formalism
par: Bolduc, Son David
Publié: (2025)

Annales Henri Lebesgue
Publié: (2020)

AstroQ: Automated Scheduling of Cadenced Astronomical Observations
par: Lubin, Jack
Publié: (2025)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Publié: (2018)

Heuristic for production scheduling on job-shop plants considering preventive maintenance tasks
par: Ronald Díaz-Cazaña
Publié: (2014)

Announcing the release of FiSAT (version 1.0)
par: Pauly, D., et autres
Publié: (1994)

Documentation for the spatial analysis system (SPAN) for resource use by animals
par: McElroy, David A., et autres
Publié: (1986)

Design and implementation of a data-oriented programming language solving complexities and runtime faults found in other languages
par: Nordgren, Henrik
Publié: (2024)

ARE ESL/EFL SOFTWARE PROGRAMS EFFECTIVE FOR LANGUAGE LEARNING?
par: Vládia M. C. Borges
Publié: (2014)

Foundations of Software Science and Computation Structures
Publié: (2022)