| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996418315203316 |
|
|
Titolo |
Beyond the Horizon of Computability [[electronic resource] ] : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / / edited by Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxxvii, 378 pages) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12098 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Algorithms |
Computer science—Mathematics |
Computer networks |
Artificial intelligence |
Theory of Computation |
Formal Languages and Automata Theory |
Mathematics of Computing |
Computer Communication Networks |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
A Note on Computable Embeddings for Ordinals and Their Reverses -- Clockability for Ordinal Turing Machines -- Some notes on spaces of ideals and computable topology -- Parallelizations in Weihrauch reducibility and constructive reverse mathematics -- Liouville Numbers and the Computational Complexity of Changing Bases -- On Interpretability between some weak essential undecidable theories -- On the Complexity of Conversion between Classic Real Number Representations -- Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional |
|
|
|
|
|
|
|
|
|
|
|
Power -- Computable analysis and classification problems -- Non-coding enumeration operators -- On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings -- An interactive proof system for Program extraction -- ASNP: a tame fragment of existential second-order logic -- Ackermannian Goodstein sequences of intermediate growth -- On the complexity of validity degrees in Łukasiewicz logic -- Degrees of non-computability of homeomorphism types of Polish spaces -- Time-aware uniformization of winning strategies -- Quantitative Representation Theory of Compact Metric Spaces -- Functions of Baire class one over a Bishop topology -- Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences -- The Computational Significance of Hausdorff's Maximal Chain Principle -- Prefix of trace languages: clique polynomials and dependency graphs -- Repetitions in Toeplitz words and the Thue threshold -- Simulation of automata networks -- Theoretical and Implementation Aspects of the Formal Language Server (LaSer) -- Balancing Straight-Line Programs for Strings and Trees -- Two-dimensional codes -- Formal Languages in Graph Databases and Information Extraction -- On the perceptron's compression -- #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method -- Faster Online Computation of the Succinct Longest Previous Factor Array -- Recent advances in text-to-pattern distance algorithms -- Insertion-Deletion Systems With Substitutions: The Context-free Case. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2020 had as its motto Beyond the Horizon of Computability, reflecting the interest of CiE in research transgressing the traditional boundaries of computability theory. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910717355403321 |
|
|
Autore |
Hempel Susanne |
|
|
Titolo |
Evidence map of acupuncture / / Susanne Hempel [and eight others] |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington : , : Department of Veterans Affairs (US), , 2014 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iii, 50 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Evidence-based synthesis program (Series) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Acupuncture |
Evidence-based medicine |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910820223903321 |
|
|
Autore |
Trapitzine Richard |
|
|
Titolo |
Pour un urbanisme humaniste : réalités d'hier, utopie d'aujourd'hui, réalité de demain? / / Richard Trapitzine ; préface de Philippe Langevin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris : , : L'Harmattan, , [2018] |
|
©2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (274 pages) |
|
|
|
|
|
|
Collana |
|
Questions contemporaines. Serie Questions urbaines |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
City planning - France - History - 20th century |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910460923403321 |
|
|
Titolo |
Disability Studies : Educating for Inclusion / / edited by Tim Corcoran, Julie White, Ben Whitburn |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Rotterdam : , : SensePublishers : , : Imprint : SensePublishers, , 2015 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (275 p.) |
|
|
|
|
|
|
Collana |
|
Innovations and Controversies: Interrogating Educational Change |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Preliminary Material / Tim Corcoran , Julie White and Ben Whitburn -- Not Just for the Fun of It / Jenene Burke -- Teachers’ Aides’ Perceptions of Their Training Needs in Relation to Their Roles in State Secondary Schools in Victoria / Dianne Gibson -- Celebrating the Voices of Students with Hearing Impairments in New Zealand Secondary Schools / Kate Holland -- Inclusive Education in Bangladesh / Masud Ahmmed -- The Privileging of ‘Place’ within South Australia’s Education Works / Peter Walker -- Choosing Time / Amy Claughton -- Inclusive Education for the Disabled / Bentina Alawari Mathias -- Managing the Barriers in Diversity Education that We Create / Barbara Garrick , Satine Winter , Mahbuba Sani and Lynn Buxton -- ‘We Put in a Few Ramps in Here and There, That’s about It’ / Gill Rutherford , Leigh Hale and Denise Powell -- A Mother Caught in Two Worlds / Ruth Cornell -- Technology Use and Teenagers Diagnosed with High-Functioning Autism / Lye Ee Ng , Stefan Schutt and Tim Corcoran -- Signifying Disability and Exclusion / Mary A. Burston -- A Troubled Identity / Kim Davies -- Attending to the Potholes of Disability Scholarship / Ben Whitburn -- A Hidden Narrative / Julie White -- Thinking about Schooling through Dis/ability / Dan Goodley and Katherine Runswick-Cole -- Afterword / David J. Connor -- Contributors / Tim Corcoran , Julie White and Ben Whitburn -- Index / Tim Corcoran , Julie White and Ben Whitburn. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Education systems worldwide will only successfully serve the needs of people with disability when we inclusively examine and address |
|
|
|
|
|
|
|
|
|
|
disabling issues that currently exist at school level education as well as further and higher education and beyond. The chapters contributing to this edited volume are presented to assist readers with a critical examination of contemporary practice and offer a concerted response to improving inclusive education. The chapters address a range of important topics related to the field of critical disability studies in education and include sections dedicated to Schools, Higher Education, Family and Community and Theorising. The contributors entered into discussions during the 2014 AERA Special Interest Group annual meeting hosted by Victoria University in Australia. The perspectives offered here include academic, practitioner, student and parent with contributions from Australia, New Zealand, Nigeria, the UK and the US, providing transnational interest. This book will appeal to readers who are interested in innovative theoretical approaches, practical applications and personal narratives. The book is accessible for scholars and students in disciplines including education, sociology, psychology, social work, youth studies, as well as public and allied health. The Introduction by Professor Roger Slee (The Victoria Institute, Victoria University, Australia) and Afterword by Professor David Connor (City University of New York) provide insightful and important commentary. Cover photograph by Paul Dunn and design by Hendrik Jacobs. |
|
|
|
|
|
| |