Enriching urban spaces with ambient computing, the internet of things, and smart city design / / Shin'ichi Konomi, University of Tokyo, Japan, George Roussos, University of London, UK, [editors]

• Record Nr.: UNINA9910136580603321
• Autore: Konomi Shinʼichi
• Pubbl/distr/stampa: Hershey, Pennsylvania : , : Engineering Science Reference, an imprint of IGI Global, , [2017]; �2017
• ISBN: 9781522508281; 9781522508274
• Descrizione fisica: 1 online resource (xxi, 322 pages) : chiefly color illustrations, maps
• Collana: Advances in Human and Social Aspects of Technology (AHSAT) Book Series, , 2328-1324
• Disciplina: 004
• Soggetti: Ubiquitous computing; Ambient intelligence; Internet - Social aspects
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: The internet of places at community-scale: design scenarios for hyperlocal neighborhood / John M. Carroll [and 5 others] -- The Fermentation GutHub Project and the internet of microbes / Marketa Dolejsova, Denisa Kera -- Assembly, space, and things: urban food genome, urban interaction, and bike share / Philip Speranza, Jason O. Germany -- Identifying the temporal characteristics of intra-city movement using taxi geo-location data / Wenbo Zhang, Xinwu Qian, Satish V. Ukkusuri -- Enriching geographic maps with accessible paths derived from implicit mobile device data collection / Ludovico Biagi [and 5 others] -- Anonymous pico-payments for internet of things / Jarogniew Rykowski, Wojciech Cellary -- Co-producing tools for participation and action in urban environments / Corelia E. Baibarac -- Effect of urban computing on the public's perception of place, community, and infrastructure / Dimitrios Ringas, Eleni Christopoulou -- Design and development of sentient collective urban spaces / Burak Pak -- Social media geographic information: the community perspective in planning knowledge / Michele Campagna [and 3 others] ; -- Urbanizing the ambient: why people matter so much in smart cities / H. Patricia McKenna -- Making citizens' activities flourish through a crowdsourcing-based social infrastructure / Mizuki Sakamoto, Tatsuo Nakajima -- Public perception spatial data from the PPGIS Jaguarão experiment / Geisa Bugs, Marketta Kyttä.
• Sommario/riassunto: "This book is a reference source for the latest scholarly material on the interaction between people and computing systems in contemporary society, showcasing how ubiquitous computing influences and shapes urban environments, highlighting the impacts of these emerging technologies from an interdisciplinary perspective"--Provided by publisher.

Theoretische Informatik -- ganz praktisch / / Lukas König, Friederike Pfeiffer-Bohnen, Hartmut Schmeck

• Record Nr.: UNINA9910820168803321
• Autore: König Lukas
• Pubbl/distr/stampa: Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter Oldenbourg, , 2016; ©2016
• ISBN: 3-11-041208-X; 3-11-042387-1
• Descrizione fisica: 1 online resource (414 pages)
• Collana: De Gruyter Studium
• Classificazione: ST 130
• Disciplina: 004
• Soggetti: Computer science; Information theory
• Lingua di pubblicazione: Tedesco
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Frontmatter -- Vorwort und Lesehinweise -- Inhalt -- 1. Auf dem Weg zur theoretischen Informatik -- 2. Deterministische Automaten -- 3. Nichtdeterminismus: Ratende Automaten? -- 4. Grammatiken und die Chomsky-Hierarchie -- 5. Weitere strukturelle Eigenschaften der vorgestellten Sprachklassen -- 6. Berechenbarkeitstheorie -- 7. Komplexitätstheorie -- A. Mathematische Grundlagen -- B. Skripte -- Literaturverzeichnis -- Stichwortverzeichnis
• Sommario/riassunto: Die theoretische Informatik ist für viele Studierende ein Schreckgespenst, weil formale Einstiegshürden die Bezüge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es ursprünglich entstanden ist: zur Lösung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert führt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexitätstheorie ein. Die Autoren erhielten 2013 gemeinsam den Fakultätslehrpreis für herausragende Lehre am Karlsruher Institut für Technologie (KIT). Lukas König studierte Informatik an der Universität Stuttgart und promovierte 2014 am Institut für angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergestützter Methoden im Informatikunterricht. Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen am KIT. Am Institut AIFB promoviert sie derzeit im Bereich Hochschuldidaktik mit Schwerpunkt eLearning. Im Jahr 2016 erlangte sie das Baden-Württemberg-Zertifikat für Hochschuldidaktik. Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt über Algorithmen und Architekturen, in den letzten Jahren vor allem für selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.