A behavioral economic perspective on demand responsive transportation

Autor: Aljoscha Minnich, Heiko Herbst, Stephan Herminghaus, Thomas Kneib, Benjamin Wacker, Jan Christian Schlüter

Publikováno v: Transportation Research Interdisciplinary Perspectives, Vol 27, Iss , Pp 101176- (2024)

In this article, a utility function framework is developed, serving to determine the demand for an upcoming demand responsive transportation system. A linear’public-good game’ (PGG) model is modified in a way that maximizing the consumer surplus

Externí odkaz: https://doaj.org/article/5267607ee61e4078aad618988b6b07d8

Strong normalisation in two Pure Pattern Type Systems

Autor: Benjamin Wack, Clément Houtmann

Publikováno v: Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, Rewriting calculi, higher-order reductions and patterns, 18 (3), pp.431-465. ⟨10.1017/S0960129508006749⟩
Mathematical Structures in Computer Science, 2008, Rewriting calculi, higher-order reductions and patterns, 18 (3), pp.431-465. ⟨10.1017/S0960129508006749⟩

Pure Pattern Type Systems (P2TS) combine the frameworks and capabilities of rewriting and λ-calculus within a unified setting. Their type systems, which are adapted from Barendregt's λ-cube, are especially interesting from a logical point of view.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ad3c39a2684056d6ab7e51058cd7760
https://doi.org/10.1017/s0960129508006749

Informatique et sciences du numérique - Edition spéciale Python ! : Manuel de spécialité ISN en terminale - Avec des exercices corrigés et des idées de projets

Autor: Claudio Cimelli, Gilles Dowek, Hugues Bersini, Guillaume Le Blanc, Albert Cohen, Jean-Pierre Archambault, Emmanuel Baccelli, Christine Eisenbeis, Thierry Viéville, Benjamin Wack

Enfin un véritable manuel d'informatique pour les lycéens et leurs professeurs! Les quatre concepts de machine, d'information, d'algorithme et de langage sont au coeur de l'informatique, et l'objet de ce cours est de montrer comment ils fonctionnen

Informatique et sciences du numérique : Spécialité ISN en terminale S

Autor: Claudio Cimelli, Gilles Dowek, Albert Cohen, Jean-Pierre Archambault, Emmanuel Baccelli, Christine Eisenbeis, Thierry Viéville, Benjamin Wack

Ce manuel scolaire (terminale scientifique) est écrit par les promoteurs du programme de la nouvelle option de spécialité Informatique et Sciences du Numérique (ISN). En quatre thèmes, Langage, Information, Machine et Algorithme, ce manuel expli

Predicting effectiveness of countermeasures during the COVID-19 outbreak in South Africa using agent-based simulation

Autor: Moritz Kersting, Andreas Bossert, Leif Sörensen, Benjamin Wacker, Jan Chr. Schlüter

Publikováno v: Humanities & Social Sciences Communications, Vol 8, Iss 1, Pp 1-15 (2021)

Abstract COVID-19 has spread rapidly around the globe. While there has been a slow down of the spread in some countries, e.g., in China, the African continent is still at the beginning of a potentially wide spread of the virus. Owing to its economic

Externí odkaz: https://doaj.org/article/005a9e74a5e94ba087e0343e083ce714