Formal languages | Theoretical computer science conferences
DCFS, the International Workshop on Descriptional Complexity of Formal Systems is an annual academic conference in the field of computer science. Beginning with the 2011 edition, the proceedings of the workshop appear in the series Lecture Notes in Computer Science. Already since the very beginning, extended versions of selected papers are published as special issues of the International Journal of Foundations of Computer Science, the Journal of Automata, Languages and Combinatorics, of Theoretical Computer Science, and of Information and Computation In 2002 DCFS was the result of the merger of the workshops DCAGRS (Descriptional Complexity of Automata, Grammars and Related Structures) and FDSR (Formal Descriptions and Software Reliability). The workshop is often collocated with international conferences in related fields, such as ICALP, DLT and CIAA. (Wikipedia).
Mathematical modeling of evolving systems
Discover the multidisciplinary nature of the dynamical principles at the core of complexity science. COURSE NUMBER: CAS 522 COURSE TITLE: Dynamical Systems LEVEL: Graduate SCHOOL: School of Complex Adaptive Systems INSTRUCTOR: Enrico Borriello MODE: Online SEMESTER: Fall 2021 SESSION:
From playlist What is complex systems science?
Reactive Systems use a high-performance software architecture. They are resilient under stress, and their reactive design allows them to scale elastically to meet demand. The reactive design approach allows the creation of more complex, more flexible systems and forms the basis for some of
From playlist Software Engineering
Recursively Defined Sets - An Intro
Recursively defined sets are an important concept in mathematics, computer science, and other fields because they provide a framework for defining complex objects or structures in a simple, iterative way. By starting with a few basic objects and applying a set of rules repeatedly, we can g
From playlist All Things Recursive - with Math and CS Perspective
Swarms, Societies, and Superorganisms
How do we decompose the drivers of success and failure in complex living groups? COURSE NUMBER: CAS 503 COURSE TITLE: Fundamentals of Complex Systems Science: Collectives LEVEL: Graduate SCHOOL: School of Complex Adaptive Systems INSTRUCTOR: Bryan Daniels MODE: Online SEMESTER: Fall 202
From playlist What is complex systems science?
The Anatomy of a Dynamical System
Dynamical systems are how we model the changing world around us. This video explores the components that make up a dynamical system. Follow updates on Twitter @eigensteve website: eigensteve.com
From playlist Research Abstracts from Brunton Lab
Discrete-Time Dynamical Systems
This video shows how discrete-time dynamical systems may be induced from continuous-time systems. https://www.eigensteve.com/
From playlist Data-Driven Dynamical Systems
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
Data Structures: List as abstract data type
See complete series of videos in data structures here: http://www.youtube.com/playlist?list=PL2_aWCzGMAwI3W_JlcBbtYTwiQSsOTa6P&feature=view_all In this lesson, we will introduce a dynamic list structure as an abstract data type and then see one possible implementation of dynamic list using
From playlist Data structures
Séminaire Bourbaki - 21/06/2014 - 4/4 - Thierry COQUAND
Théorie des types dépendants et axiome d'univalence Cet exposé sera une introduction à la théorie des types dépendants et à l'axiome d'univalence. Cette théorie est une alternative à la théorie des ensembles comme fondement des mathématiques. Guidé par une interprétation d'un type comme u
From playlist Bourbaki - 21 juin 2014
Area Laws and the Complexity of Quantum States - Umesh Vazirani
Umesh Vazirani University of California, Berkeley December 8, 2014 One of the great challenges posed by the laws of quantum mechanics is that the number of parameters required to describe a quantum state in general grows exponentially in the number of particles. This complexity is directl
From playlist Mathematics
Martin Stöhr - More is Different NonScalability of Approximation in Modeling Noncovalent Interaction
Recorded 01 April 2022. Martin Stöhr of the University of Luxembourg Department of Physics and Materials Science presents "Why More is Different: The (Non-)Scalability of Approximations in Modeling Non-covalent Interactions" at IPAM's Multiscale Approaches in Quantum Mechanics Workshop. Ab
From playlist 2022 Multiscale Approaches in Quantum Mechanics Workshop
Akhil Mathew - Some recent advances in syntomic cohomology (2/3)
Bhatt-Morrow-Scholze have defined integral refinements $Z_p(i)$ of the syntomic cohomology of Fontaine-Messing and Kato. These objects arise as filtered Frobenius eigenspaces of absolute prismatic cohomology and should yield a theory of "p-adic étale motivic cohomology" -- for example, the
From playlist Franco-Asian Summer School on Arithmetic Geometry (CIRM)
11. Recursion Theorem and Logic
MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Discussed self-reference and the recur
From playlist MIT 18.404J Theory of Computation, Fall 2020
SHM - 16/01/15 - Constructivismes en mathématiques - Thierry Coquand
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Thierry COQUAND - Logic and topology
The logic of topos is naturally described using intuitionistic higher-order logic, an intuitionistic version of a simple theory of types, a formal system designed by A. Church (1940). Two important axioms of this formal system are the axiom of extensionality and the axiom of description. R
From playlist Topos à l'IHES
Minds, Brains, & Science - John Searle (1984 Reith Lectures)
In this series of lectures, John Searle, former Professor of Philosophy at Berkeley, examines the connections between minds, brains, and science. These lectures were given as part of the 1984 BBC Reith Lectures, but are still just as relevant today. Some of the topics discussed include fre
From playlist Philosophy of Mind
Intro to Linear Systems: 2 Equations, 2 Unknowns - Dr Chris Tisdell Live Stream
Free ebook http://tinyurl.com/EngMathYT Basic introduction to linear systems. We discuss the case with 2 equations and 2 unknowns. A linear system is a mathematical model of a system based on the use of a linear operator. Linear systems typically exhibit features and properties that ar
From playlist Intro to Linear Systems