Related papers: Open questions in descriptive set theory and dynam…
The paper surveys open problems and questions related to interplay between the theory of integrable systems with infinitely and finitely many degrees of freedom and Nijenhuis geometry. This text has grown out from preparatory materials for…
These notes are a written version of lectures given in the 2024 Les Houches Summer School on {\it Large deviations and applications}. They are are based on a series of works published over the last 25 years on steady properties of…
This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results…
This volume contains the proceedings of the Eighth Workshop on Fixed Points in Computer Science which took place on 24 March 2012 in Tallinn, Estonia as an ETAPS-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…
In 1999, Molodtsov initiated the concept of Soft Sets Theory as a new mathematical tool and a completely different approach for dealing with uncertainties in many fields of applied sciences. In 2011, Shabir and Naz introduced and studied…
This article presents a general description of dynamical systems using the language of enriched functors and enriched natural transformations. This framework is essential to establish the equivalence of three descriptions of dynamics -- a…
First of all, we focused soft {\beta}-open sets and soft {\beta}-closed sets over the soft topological space and investigated some properties of them. Secondly, we defined the concepts soft {\beta}-continuity, soft {\beta}-irresolute and…
Contact Hamiltonian dynamics is a subject that has still a short history, but with relevant applications in many areas: thermodynamics, cosmology, control theory, and neurogeometry, among others. In recent years there has been a great…
Effective modeling of group interactions and dynamic semantic intentions is crucial for forecasting behaviors like trajectories or movements. In complex scenarios like sports, agents' trajectories are influenced by group interactions and…
Dynamical sampling refers to a class of problems in which space-time samples are taken from a signal evolving under an underlying dynamical system. The goal is to use these samples to recover relevant information about the system, such as…
The aim of this paper is to define what we shall call open graphic dynamics, their interactions and the dynamics produced by those interactions. It prepares the study of "open sub-categorical dynamics" and "open categorical dynamics".
This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with…
This is the expanded version of my talk at the workshop "Groups of Automorphisms in Birational and Affine Geometry", October 29--November 3, 2012, Levico Terme, Italy. The first section is focused on Jordan groups in abstract setting, the…
This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational Semantics, which was held in Warsaw, Poland, as an…
The present article presents a summarizing view at differential-algebraic equations (DAEs) and analyzes how new application fields and corresponding mathematical models lead to innovations both in theory and in numerical analysis for this…
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference CADE26. Topics of interest include: methods of automated…
It is prominently recognized that dataset development in machine learning is a value-laden process from problem formulation to data processing, use, and reuse. Structured documentation frameworks such as datasheets, data statements, and…
The behaviour of many real-world phenomena can be modelled by nonlinear dynamical systems whereby a latent system state is observed through a filter. We are interested in interacting subsystems of this form, which we model by a set of…
To study discrete dynamical systems of different types --- deterministic, statistical and quantum --- we develop various approaches. We introduce the concept of a system of discrete relations on an abstract simplicial complex and develop…
A summary of the recent experimental, phenomenological and theoretical results presented in the Structure Functions working group at DIS2012 workshop.