Explore >> Select a destination
|
You are here 
|
coalg.org | ||
| | | | |
www.discotec.org
|
|
| | | | | The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques | |
| | | | |
www.gisagents.org
|
|
| | | | | This blog is a research site focused around my interests in Geographical Information Science (GIS) and Agent-Based Modeling (ABM). | |
| | | | |
drops.dagstuhl.de
|
|
| | | | | [AI summary] The provided text is a collection of academic papers and proceedings from the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). The papers cover various topics in coalgebra, including: 1. **Compositionality and Equivalence of Coalgebraic Specifications** (by Bas Spitters and others): This paper explores how to compose coalgebraic specifications and ensure their equivalence, with applications to formal verification and system design. 2. **Coalgebraic Semantics for CRDTs**: A paper by Nathan Liittschwager et al. presents a coalgebraic approach to modeling conflict-free replicated data types (CRDTs), aiming to unify their specification and verification. 3. **Polynomial Functors and Their Coalgebras**: Jiří Adámek, Stefa... | |
| | | | |
www.cesarsotovalero.net
|
|
| | | Arguably, computers and faster communication systems have changed the world more than any other technology. Yet there have been many scientific failures along the way, some prominent, many minor, and a widening gap between aspirations and reality. This article discusses the problem of pseudoscience in computer science. I discuss Richard Feynman's coined term "cargo cult science," as he said: "Everywhere I see computer scientists that look like they are working on the right thing, but the thing actually doesn't work." I offer guidance on how to stay away of this dangerous practice, from a scientific standpoint. | ||
