QuantifyML: How Good is my Machine Learning Model?

JOURNAL ARTICLE published 21 October 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Muhammad Usman | Divya Gopinath | Corina S. Păsăreanu

The complexity of tangent words

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Thierry Monteil

Linear Exponential Comonads without Symmetry

JOURNAL ARTICLE published 17 January 2017 in Electronic Proceedings in Theoretical Computer Science

Authors: Masahito Hasegawa

Numerical simulation of three-dimensional duct flows of incompressible fluids by using the stream-tube method

JOURNAL ARTICLE published February 1993 in Theoretical and Computational Fluid Dynamics

Authors: Jean-Robert Clermont | Marie-Emmanuelle de la Lande

Proust: A Nano Proof Assistant

JOURNAL ARTICLE published 26 November 2016 in Electronic Proceedings in Theoretical Computer Science

Authors: Prabhakar Ragde

Ludics without Designs I: Triads

JOURNAL ARTICLE published 16 February 2015 in Electronic Proceedings in Theoretical Computer Science

Authors: Michele Basaldella

A Faster Tableau for CTL*

JOURNAL ARTICLE published 16 July 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Mark Reynolds

A Classification of Trapezoidal Words

JOURNAL ARTICLE published 17 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Gabriele Fici

Optimal Mechanism Design for Agents with DSL Strategies: The Case of Sybil Attacks in Combinatorial Auctions

JOURNAL ARTICLE published 11 July 2023 in Electronic Proceedings in Theoretical Computer Science

Authors: Yotam Gafni | Moshe Tennenholtz

Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits

JOURNAL ARTICLE published 8 February 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Paul Wilson | Fabio Zanasi

Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent

JOURNAL ARTICLE published 4 June 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Ruben Gamboa | John Cowles

Categorical semantics of a simple differential programming language

JOURNAL ARTICLE published 8 February 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Geoffrey Cruttwell | Jonathan Gallagher | Dorette Pronk

Proof Theory of Partially Normal Skew Monoidal Categories

JOURNAL ARTICLE published 8 February 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Tarmo Uustalu | Niccolò Veltri | Noam Zeilberger

On the complexity of the black-and-white coloring problem on some classes of perfect graphs

JOURNAL ARTICLE published May 2014 in Theoretical Computer Science

Research funded by National Science Council of Taiwan (NSC 99-2218-E-007-016)

Authors: Ton Kloks | Sheung-Hung Poon | Feng-Ren Tsai | Yue-Li Wang

Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules

JOURNAL ARTICLE published 21 October 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Maike Schwammberger | Gleifer Vaz Alves

Effective dimension in some general metric spaces

JOURNAL ARTICLE published 29 March 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Elvira Mayordomo

Towards Partial Monitoring: It is Always too Soon to Give Up

JOURNAL ARTICLE published 21 October 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Angelo Ferrando | Rafael C. Cardoso

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)

JOURNAL ARTICLE published 27 February 2018 in Electronic Proceedings in Theoretical Computer Science

Authors: David Reutter | Jamie Vicary

Contracting the Facebook API

JOURNAL ARTICLE published 17 September 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Ben Rubinger | Tevfik Bultan

Coinductive Big-Step Semantics for Concurrency

JOURNAL ARTICLE published 8 December 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Tarmo Uustalu