05707nam 22007575 450 99641831520331620230330063008.03-030-51466-810.1007/978-3-030-51466-2(CKB)5310000000016579(MiAaPQ)EBC6235488(DE-He213)978-3-030-51466-2(PPN)24859544X(EXLCZ)99531000000001657920200623d2020 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierBeyond 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 Pauly1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (xxxvii, 378 pages)Theoretical Computer Science and General Issues,2512-2029 ;12098Includes index.3-030-51465-X 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.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.Theoretical Computer Science and General Issues,2512-2029 ;12098Computer scienceMachine theoryAlgorithmsComputer science—MathematicsComputer networksArtificial intelligenceTheory of ComputationFormal Languages and Automata TheoryAlgorithmsMathematics of ComputingComputer Communication NetworksArtificial IntelligenceComputer science.Machine theory.Algorithms.Computer science—Mathematics.Computer networks.Artificial intelligence.Theory of Computation.Formal Languages and Automata Theory.Algorithms.Mathematics of Computing.Computer Communication Networks.Artificial Intelligence.511.352Anselmo Marcellaedthttp://id.loc.gov/vocabulary/relators/edtDella Vedova Gianlucaedthttp://id.loc.gov/vocabulary/relators/edtManea Florinedthttp://id.loc.gov/vocabulary/relators/edtPauly Arnoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996418315203316Beyond the Horizon of Computability2224678UNISA01060nam a22002411i 450099100331328970753620040729184602.0040802s1880 fr a||||||||||||||||fre b13056451-39ule_instARCHE-100906ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.841.3Montaiglon, Anatole :de488951Le triumphe de haulte folie :reproduction d'un poeme lyonnais du XVIe siècle ornée de figures sur bois et accompagnée d'une introduction et d'un glossaire /par Anatole De MontaiglonParis :Léon Willem,[1880]16, LX p. :ill. ;21 cmPoesia franceseSec. 16..b1305645102-04-1405-08-04991003313289707536LE002 Fondo Giudici D 43412002000251060le002C. 1-E0.00-no 00000.i1368163105-08-04Triumphe de haulte folie292593UNISALENTOle00205-08-04ma -frefr 3101506nam 2200433 450 991071735540332120221103013136.0(CKB)4100000011919752(NjHacI)994100000011919752(OCoLC)878098743(EXLCZ)99410000001191975220221103d2014 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierEvidence map of acupuncture /Susanne Hempel [and eight others]Washington :Department of Veterans Affairs (US),2014.1 online resource (iii, 50 pages) illustrationsEvidence-based synthesis program (Series)"January 2014."Includes bibliographical references.Evidence-based synthesis program (Series)AcupunctureEvidence-based medicineAcupuncture.Evidence-based medicine.615.892Hempel Susanne1267296United States.Department of Veterans Affairs.Health Services Research and Development Service,Quality Enhancement Research Initiative (U.S.)West Los Angeles VA Medical Center.Evidence-Based Synthesis Program Center.NjHacINjHaclBOOK9910717355403321Evidence map of acupuncture3267678UNINA01447nam 2200445 450 991082022390332120230814224933.02-336-85147-4(CKB)4100000007010508(MiAaPQ)EBC6669473(Au-PeEL)EBL6669473(OCoLC)1247075618(EXLCZ)99410000000701050820220530d2018 uy 0freurcnu||||||||txtrdacontentcrdamediacrrdacarrierPour un urbanisme humaniste réalités d'hier, utopie d'aujourd'hui, réalité de demain? /Richard Trapitzine ; préface de Philippe LangevinParis :L'Harmattan,[2018]©20181 online resource (274 pages)Questions contemporaines. Serie Questions urbaines2-343-15307-8 2-14-010052-2 Includes bibliographical references.Collection Questions contemporaines.Série Questions urbaines.City planningFranceHistory20th centuryCity planningHistory307.12160944Trapitzine Richard1708438Langevin PhilippeMiAaPQMiAaPQMiAaPQBOOK9910820223903321Pour un urbanisme humaniste4097430UNINA05150nam 22006975 450 991046092340332120220120005719.09789463001991 (eBook)10.1007/978-94-6300-199-1(CKB)3710000000454336(EBL)4101741(SSID)ssj0001534928(PQKBManifestationID)11873121(PQKBTitleCode)TC0001534928(PQKBWorkID)11498182(PQKB)11030621(DE-He213)978-94-6300-199-1(MiAaPQ)EBC4101741(OCoLC)915136565(nllekb)BRILL9789463001991(MiAaPQ)EBC4396493(Au-PeEL)EBL4396493(CaPaEBR)ebr11329108(CaONFJC)MIL816279(PPN)187687951(EXLCZ)99371000000045433620150722d2015 u| 0engur|n|---|||||txtccrDisability Studies Educating for Inclusion /edited by Tim Corcoran, Julie White, Ben Whitburn1st ed. 2015.Rotterdam :SensePublishers :Imprint: SensePublishers,2015.1 online resource (275 p.)Innovations and Controversies: Interrogating Educational ChangeDescription based upon print version of record.9789463001984 9463001980 9789463001977 9463001972 Includes bibliographical references at the end of each chapters and index.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.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.Innovations and Controversies: Interrogating Educational ChangeEducationEducationEducation.Education.371.9046Corcoran TimWhite JulieWhitburn BenMiAaPQMiAaPQMiAaPQBOOK9910460923403321Disability studies1727317UNINA