/explore
|
You are here 
|
coalg.org | ||
| | | | |
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... | |
| | | | |
agtb.wordpress.com
|
|
| | | | | WINE 2021: The 17th Conference on Web and Internet Economics December 14-17, 2021Hasso Plattner Institute, Potsdam, Germany https://hpi.de/wine2021 Over the past two decades, researchers in theoretical computer science, artificial intelligence, operations research, and economics have joined forces to understand the interplay of incentives and computation. These issues are of particular importance in the Web and... | |
| | | | |
www.gisagents.org
|
|
| | | | | This blog is a research site focused around my interests in Geographical Information Science (GIS) and Agent-Based Modeling (ABM). | |
| | | | |
yasoob.me
|
|
| | | Hey guys! I recently wrote a review paper regarding the use of Machine Learning in Remote Sensing. I thought that some of you might find it interesting and insightful. It is not strictly a Python focused research paper but is interesting nonetheless. Introduction to Machine Learning and its Usage in Remote Sensing 1. Introduction Machines have allowed us to do complex computations in short amounts of time. This has given rise to an entirely different area of research which was not being explored: teachin... | ||
