"I am a professor of computer science in Orléans (teaching: IUT, UFR Sciences - research: LIFO). My general interests are in programming language design and implementation, constraint programming, and computational linguistics."
Abstract. Join patterns are an attractive declarative way to synchronize both threads and asynchronous distributed computations. We explore joins in the context of extensible pattern matching that recently appeared in languages such as F# and Scala. Our implementation supports join patterns with multiple synchronous events, and guards. Furthermore, we integrated joins into an existing actor-based concurrency framework. It enables join patterns to be used in the context of more advanced synchronization modes, such as future-type message sending and token-passing continuations.
Mathematics as a Non-Superstition. Eleven math courses (in the playlists), from high school (precalculus) to early graduate school (functional analysis), taught in such a way that the student should be able to defend (almost) all statements against objection.
Playlist List (sorted by last added):
Course 4: Linear Algebra
Course 3: Calculus II (US)
Course 2: Calculus I (Another extra)
Course 7: Principles of Mathematical Analysis
Course 9: Basic Functional and Harmonic Analysis
Course 8: Fourier Analysis
Course 8: Complex Analysis
Course 6: Introduction to Analysis
Course 5: Differential Equations
Course 4: Multivariable Calculus
Course 3: Calculus II
Course 2: Calculus I
Course 1: Precalculus
D. Lücke, and T. Mossakowski. Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), volume 222 of Frontiers in Artificial Intelligence and Applications, page 175-185. IOS Press; Amsterdam; http://www.iospress.nl, (2010)
F. Dau. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 172-188. Springer, (2006)
T. Mens, K. Mens, and P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), volume 873 of Lecture Notes in Computer Science, page 326--345. Springer-Verlag, (1994)
T. Cogumbreiro, F. Martins, and V. Vasconcelos. Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)
D. Hausmann, T. Mossakowski, and L. Schröder. Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 232-246. Springer; Berlin, (2005)
T. Mossakowski, and A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 8412 of Lecture Notes in Computer Science, page 441-456. Springer-Verlag Berlin Heidelberg, (2014)
M. Codescu, and T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, volume 6859 of Lecture Notes in Computer Science, page 145-160. Springer, (2011)
V. Damjanovic. 1st Workshop on Knowledge Reuse and Re-engineering over the Semantic Web (KRRSW 2008), (2008)in conjunction with the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Canary Islands.
A. Rizk, and M. Fidler. In Proc. of the 2nd EuroFGI International Conference on Network Control and Optimization (NETCOOP), page 53-61. Springer, (2008)
U. Menne. (2017)cite arxiv:1705.05253Comment: The present text is a version with additional references but without figures of a note compiled for the Notices of the American Mathematical Society. (v4: considerably expanded introduction, 6 pages).