Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Chronicles: Formalization of a Temporal Model [[electronic resource] /] / by Thomas Guyet, Philippe Besnard
| Chronicles: Formalization of a Temporal Model [[electronic resource] /] / by Thomas Guyet, Philippe Besnard |
| Autore | Guyet Thomas |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (132 pages) |
| Disciplina | 006.312 |
| Altri autori (Persone) | BesnardPhilippe |
| Collana | SpringerBriefs in Computer Science |
| Soggetto topico |
Data mining
Pattern recognition systems Space in economics Data Mining and Knowledge Discovery Automated Pattern Recognition Spatial Economics |
| ISBN | 3-031-33693-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- List of Symbols -- List of Figures -- 1 Introduction -- 1.1 Why Study Chronicles? -- 1.1.1 Situation Recognition -- 1.1.2 Abstracting Sequences -- 1.2 The Role of a Chronicle and Its Components -- 1.2.1 Injective Mapping from Events in Chronicles to Events in Sequences -- 1.2.2 Consistency and Redundancy of Temporal Constraints -- 1.3 Notions of Temporal Constraints -- 1.3.1 Edge Directions and Negativity of the Temporal Constraints -- 1.3.2 Unlimited Edges vs. Absence of Edges -- 1.3.3 What Is the Meaning of Multiple Temporal Constraints Between Two Events? -- 2 A Formal Account of Chronicles -- 2.1 Preliminary Definitions -- 2.1.1 Event Types and Events -- 2.1.2 Chronicles -- 2.2 Multiset Embeddings -- 2.3 A Preorder Between Chronicles -- 2.4 Chronicles and Subgraph Isomorphisms -- 3 Structuring the Space of Chronicles -- 3.1 Introduction -- 3.2 A Partial Order Between Slim Chronicles -- 3.3 Simple Chronicles -- 3.4 Intersection Between Chronicles -- 3.5 Semilattice Structure for Subspaces of the Chronicles -- 3.6 Summary -- 4 Occurrences of a Chronicle -- 4.1 Introduction -- 4.2 Occurrence of a Chronicle -- 4.3 Counting Occurrences of a Chronicle -- 4.4 Conclusion -- 5 Inducing Chronicles from Event Sequences -- 5.1 Introduction -- 5.2 Generating a Chronicle from a Sequence -- 5.3 Inducing a Chronicle from Event Sequences -- 5.3.1 Dataset of Event Sequences -- 5.3.2 Abstracting a Dataset of Sequences with Chronicles -- 5.3.3 A Dataset Chronicles Reduct -- 5.3.4 Summary -- 5.4 Mining Chronicles from Event Sequences -- 5.4.1 Basic Notions -- 5.4.2 Frequent Chronicles -- 5.4.3 Formal Concept Analysis and Pattern Structures -- 5.4.4 Applying Pattern Structures to Chronicles -- 5.5 Conclusion -- 6 Conclusion -- 6.1 Summary -- 6.2 Perspectives -- A Proofs -- A.1 Proofs for Sect.2.1.2 -- A.2 Proofs for Sect.3.2.
A.3 Proofs for Sect.3.3 -- A.4 Proofs for Sect.3.5 -- A.5 Proofs for Sect.4.2 -- A.6 Proofs for Sect.5.2 -- A.7 Proofs for Sect.5.3.3 -- A.8 Proofs for Sect.5.4.1 -- A.9 Proofs for Sect.5.4.4 -- B Additional Content -- B.1 Joint Intersection on the Set of Simple Chronicles -- References -- Index. |
| Record Nr. | UNISA-996546822503316 |
Guyet Thomas
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Chronicles: Formalization of a Temporal Model / / by Thomas Guyet, Philippe Besnard
| Chronicles: Formalization of a Temporal Model / / by Thomas Guyet, Philippe Besnard |
| Autore | Guyet Thomas |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (132 pages) |
| Disciplina | 006.312 |
| Altri autori (Persone) | BesnardPhilippe |
| Collana | SpringerBriefs in Computer Science |
| Soggetto topico |
Data mining
Pattern recognition systems Space in economics Data Mining and Knowledge Discovery Automated Pattern Recognition Spatial Economics |
| ISBN | 3-031-33693-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- List of Symbols -- List of Figures -- 1 Introduction -- 1.1 Why Study Chronicles? -- 1.1.1 Situation Recognition -- 1.1.2 Abstracting Sequences -- 1.2 The Role of a Chronicle and Its Components -- 1.2.1 Injective Mapping from Events in Chronicles to Events in Sequences -- 1.2.2 Consistency and Redundancy of Temporal Constraints -- 1.3 Notions of Temporal Constraints -- 1.3.1 Edge Directions and Negativity of the Temporal Constraints -- 1.3.2 Unlimited Edges vs. Absence of Edges -- 1.3.3 What Is the Meaning of Multiple Temporal Constraints Between Two Events? -- 2 A Formal Account of Chronicles -- 2.1 Preliminary Definitions -- 2.1.1 Event Types and Events -- 2.1.2 Chronicles -- 2.2 Multiset Embeddings -- 2.3 A Preorder Between Chronicles -- 2.4 Chronicles and Subgraph Isomorphisms -- 3 Structuring the Space of Chronicles -- 3.1 Introduction -- 3.2 A Partial Order Between Slim Chronicles -- 3.3 Simple Chronicles -- 3.4 Intersection Between Chronicles -- 3.5 Semilattice Structure for Subspaces of the Chronicles -- 3.6 Summary -- 4 Occurrences of a Chronicle -- 4.1 Introduction -- 4.2 Occurrence of a Chronicle -- 4.3 Counting Occurrences of a Chronicle -- 4.4 Conclusion -- 5 Inducing Chronicles from Event Sequences -- 5.1 Introduction -- 5.2 Generating a Chronicle from a Sequence -- 5.3 Inducing a Chronicle from Event Sequences -- 5.3.1 Dataset of Event Sequences -- 5.3.2 Abstracting a Dataset of Sequences with Chronicles -- 5.3.3 A Dataset Chronicles Reduct -- 5.3.4 Summary -- 5.4 Mining Chronicles from Event Sequences -- 5.4.1 Basic Notions -- 5.4.2 Frequent Chronicles -- 5.4.3 Formal Concept Analysis and Pattern Structures -- 5.4.4 Applying Pattern Structures to Chronicles -- 5.5 Conclusion -- 6 Conclusion -- 6.1 Summary -- 6.2 Perspectives -- A Proofs -- A.1 Proofs for Sect.2.1.2 -- A.2 Proofs for Sect.3.2.
A.3 Proofs for Sect.3.3 -- A.4 Proofs for Sect.3.5 -- A.5 Proofs for Sect.4.2 -- A.6 Proofs for Sect.5.2 -- A.7 Proofs for Sect.5.3.3 -- A.8 Proofs for Sect.5.4.1 -- A.9 Proofs for Sect.5.4.4 -- B Additional Content -- B.1 Joint Intersection on the Set of Simple Chronicles -- References -- Index. |
| Record Nr. | UNINA-9910736009603321 |
|
Guyet Thomas
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Re-visioning Geography : Supporting the SDGs in the post-COVID era / / edited by Aikaterini Klonari, Maria Luisa De Lázaro y Torres, Athanasios Kizos
| Re-visioning Geography : Supporting the SDGs in the post-COVID era / / edited by Aikaterini Klonari, Maria Luisa De Lázaro y Torres, Athanasios Kizos |
| Autore | Klonari Aikaterini |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (322 pages) |
| Disciplina | 910 |
| Altri autori (Persone) |
De Lázaro y TorresMaria Luisa
KizosAthanasios |
| Collana | Key Challenges in Geography, EUROGEO Book Series |
| Soggetto topico |
Geography
Space in economics Sustainability Development economics Education Spatial Economics Development Economics |
| ISBN | 3-031-40747-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1 Geospatial technologies -- The effect of an open educational resource (OER) on student teachers‘ abilities to diagnose students‘ written argumentation skills -- Development of the Online Geospatial Problem-Solving Instrument: Investigating Elementary Students’ perceptual processes in geospatial problem-solving. -- A Spatial Knowledge Infrastructure for the Aegean Archipelago -- A Virtual Window to the World: Using Story Maps for SDG Visibility and Environmental Educatio -- Education for sustainable water consumption in multinational collaboration teachers training: Goals and Challenges -- Connecting Literature and Web Maps: Hungarian writers and poets online -- Part 2: Education, Geography and new Geospatial technologies and tools -- Teaching Geography with a Web GIS Approach -- Education for Sustainability Using Cloud-based Geographic Information Systems at University -- Comparative Dimensions of teaching Geography & History in Austria and in Israel, Migration of Vienna Jewry during the 1930s -- Geographiic Education for the Promotion of Spatial Citizenship: Collaborrative Mapping for Learning About the Local Environment in a Global Context -- Part 3: COVID-19 and post-COVID -19 -- The Art of Geographical Analysis of Covid-19 Related Data -- Development of a Synthetic Index of Social Vulnerability to Covid-19 in the City of Zaragoza (Spain) -- Students’ Satisfaction with Synchronous Online Learning in Times of COVID-19: A Case Study of Greek Geography Students -- Can Climate Crisis Go Viral? A Review of Climate Change Communication Lessons in the Aftermath of the COVID-19 Pandemic -- Towards a EU’s Sustainable and Humane Border Regime -- Part 4: Gepspatial technologies and application in agriculture -- Pest Management with Precision Farming Tools: the Case of the Olive Fly (Bactrocera Oleae) -- Sustainable Networking Solutions in Remote IoT Environments: Use Cases, Challenges and Solutions for Smart Agriculture. |
| Record Nr. | UNINA-9910746966003321 |
|
Klonari Aikaterini
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
