| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910480248503321 |
|
|
Autore |
Thé L. Nguyen Van <1980-> |
|
|
Titolo |
Structural Ramsey theory of metric spaces and topological dynamics of isometry groups / / L. Nguyen Van Thé |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , 2010 |
|
©2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (140 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society, , 0065-9266 ; ; Volume 206, Number 968 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Ramsey theory |
Metric spaces |
Topological groups |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Volume 206, Number 968 (second of 4 numbers)." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""2. Finite metric Ramsey theorems""""3. Ordering properties""; ""4. Ramsey degrees""; ""5. Universal minimal flows and extreme amenability""; ""6. Concluding remarks and open problems""; ""Chapter 3. Big Ramsey degrees, indivisibility and oscillation stability""; ""1. Fundamentals of infinite metric Ramsey calculus and oscillation stability""; ""2. Big Ramsey degrees""; ""3. Indivisibility""; ""4. Approximate indivisibility and oscillation stability""; ""5. Concluding remarks and open problems""; ""Appendix A. Amalgamation classes MS when |S| 4""; ""6. |S|=3""; ""7. |S|=4"" |
""Appendix B. Indivisibility of US when |S| 4""""Appendix C. On the universal Urysohn space U""; ""Bibliography""; ""Index"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465538003316 |
|
|
Titolo |
Advanced Information Systems Engineering [[electronic resource] ] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings / / edited by Haris Mouratidis, Colette Rolland |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 684 p. 231 illus., 121 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI ; ; 6741 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Application software |
Information storage and retrieval systems |
Computer networks |
Software engineering |
Database management |
Artificial intelligence |
Computer and Information Systems Applications |
Information Storage and Retrieval |
Computer Communication Networks |
Software Engineering |
Database Management |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Ten open chalenges at the boundaries of software engineering and information systems (abstract) / Anthony Finkelstein -- Total integration: the case of information systems for Olympic Games (abstract) /Dimitrios A. Beis. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 23rd International Conference on Advanced Information Systems Engineering, CAiSE 2011, held in London, UK, in June 2011. The 42 revised full papers and 5 revised short papers presented were carefully |
|
|
|
|
|
|
|
|
|
|
reviewed and selected from 320 submissions. In addtion the book contains the abstracts of 2 keynote speeches. The contributions are organized in topical sections on requirements; adaptation and evolution; model transformation; conceptual design; domain specific languages; case studies and experiences; mining and matching; business process modelling; validation and quality; and service and management. |
|
|
|
|
|
| |