- Table View
- List View
Theoretische Mechanik (Grundlagen der Physikalischen und Mathematischen Geodäsie)
by Karl Heinz IlkDieses Lehrbuch aus der Reihe „Grundlagen der Physikalischen und Mathematischen Geodäsie“ behandelt die Elemente der klassischen Mechanik, die für die Modellbildung der Physikalischen Geodäsie, insbesondere im Rahmen der Nutzung künstlicher Erdsatelliten, wichtig sind. Detailliert geht der Autor auf die Mechanik von Mehrkörpersystemen gravitierender Teilchen, die Mechanik starrer Körper sowie die Eulerschen Kreiselgleichungen und die Rotationsbewegung von starren Körpern mit verschiedenen Trägheitsmomenten ein. Anwendungsbeispiele der wichtigen geodätischen Bewegungsprobleme verdeutlichen die Zusammenhänge. Weiterhin gibt der Autor eine Einführung in die Mechanik deformierbarer Körper, in die Lagrangesche Formulierung der klassischen Mechanik sowie in den Hamilton-Formalismus. Ausgewählte einfache Beispiele erleichtern das Verständnis und veranschaulichen jeweils die Anwendungen in der Geodäsie.
Theories and Practice in Interaction Design
by Craig E. RasmussenAd hoc and interdisciplinary, the field of interaction design claims no unified theory. Yet guidelines are needed. In essays by 26 major thinkers and designers, this book presents the rich mosaic of ideas which nourish the lively art of interaction design. The editors introduction is a critical survey of interaction design with a debt and contribut
Theories in Digital Composite Photographs: 12 Artists and Their Work
by Yihui HuangTheories in Digital Composite Photographs: 12 Artists and Their Work presents a theoretical investigation of digital composite photographs through philosophical exploration of artists’ concepts of reality. With an international cohort of contemporary digital composite artists, this book presents twelve cases studies on artists’ motivation, production process, and the relation of their worldview to theoretical interpretation. Author Yihui Huang situates each artists’ work in the context of photographic theory and western aesthetics, including realism, expressionism, formalism and postmodernism. As creation of digital composites grows in popularity and influence, this is the first to integrate a philosophical and theoretical understanding of this unique art form. Featuring a wide range of international artists, this volume is both insightful and inspirational for student and seasoned professional alike.
Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming
by Yi-Guo Zhu Li-Zhong Liu Ning Ma Ping HuOver the last 15 years, the application of innovative steel concepts in the automotive industry has increased steadily. Numerical simulation technology of hot forming of high-strength steel allows engineers to modify the formability of hot forming steel metals and to optimize die design schemes. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming focuses on hot and cold forming theories, numerical methods, relative simulation and experiment techniques for high-strength steel forming and die design in the automobile industry. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming introduces the general theories of cold forming, then expands upon advanced hot forming theories and simulation methods, including: the forming process, constitutive equations, hot boundary constraint treatment, and hot forming equipment and experiments. Various calculation methods of cold and hot forming, based on the authors' experience in commercial CAE software for sheet metal forming, are provided, as well as a discussion of key issues, such as hot formability with quenching process, die design and cooling channel design in die, and formability experiments. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming will enable readers to develop an advanced knowledge of hot forming, as well as to apply hot forming theories, calculation methods and key techniques to direct their die design. It is therefore a useful reference for students and researchers, as well as automotive engineers.
Theories of Geographic Concepts: Ontological Approaches to Semantic Integration
by Marinos Kavouras Margarita KoklaMost widely available approaches to semantic integration provide ad-hoc, non-systematic, subjective manual mappings that lead to procrustean amalgamations to fit the target standard, an outcome that pleases no one. Written by experts in the field, Theories of Geographic Concepts: Ontological Approaches to Semantic Integration emphasizes the
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science #14080)
by Jonathan P. Bowen Qin Li Qiwen XuThis Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng’s research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng’s recent roadmap for UTP.
Theories of Programming Languages
by John C. ReynoldsThis textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages.
Theories of the Mobile Internet: Materialities and Imaginaries (Routledge Studies in New Media and Cyberculture)
by Andrew Herman Jan Hadlaw Thom SwissThis volume proposes the mobile Internet is best understood as a socio-technical "assemblage" of objects, practices, symbolic representations, experiences and affects. Authors from a variety of disciplines discuss practices mediated through mobile communication, including current phone and tablet devices. The converging concepts of Materialities (ranging from the political economy of communication to physical devices) and Imaginaries (including cultural values, desires and perceptions) are touchstones for each of the chapters in the book.
Theorising and Designing Immersive Environments: Enchanting Spaces (Palgrave Studies in Performance and Technology)
by Ágnes-Karolina Bakk Péter Kristóf MakaiThis edited volume discusses the topic of immersion, approaching it from the perspective of various media and stakeholders: experiencers and creators. While the concept of immersion has gained widespread currency in the last decades beyond video games, its critical theory has not reached the same momentum, meaning that there is no unified way of using the term. This causes many misunderstandings and stands as an obstacle to successful expectation management processes, especially in the entertainment industry. This book presents a nuanced platform of discussion to answer the question of how immersion can manifest itself in different media, and how creators are embracing the current trends within the experience economy.
Theorising and Implementing Mobile Learning: Using the iPAC Framework to Inform Research and Teaching Practice
by Matthew Kearney Kevin Burden Sandy SchuckThis book focuses on teaching and learning with mobile technologies, with a particular emphasis on school and teacher education contexts. It explains a robust, highly-acclaimed contemporary mobile pedagogical framework (iPAC) that focuses on three distinct mobile pedagogies: personalisation, authenticity and collaboration. The book shows how mobile pedagogical practice can benefit from use of this framework. It offers numerous cutting-edge research resources and examples that supplement theoretical discussions. It considers directions for future research and practice. Readers will gain insights into the potential of current and emerging learning technologies in school and teacher education.
Theorising Cyber: Information, Materiality, and Entropic Security (Routledge Studies in Conflict, Security and Technology)
by Noran Shafik FouadThis book argues that cybersecurity’s informational ontology offers empirical challenges, and introduces a new interdisciplinary theoretical and conceptual framework of ‘entropic security’.Cyber-attacks have been growing exponentially in number and sophistication; ranging from those conducted by non-state actors to state-backed cyber-attacks. Accordingly, cybersecurity now constitutes an integral part of public, private, and academic discourses on contemporary (in)security. Yet, because its emergence as a novel security field occurred after many long-established frameworks had already been developed, cybersecurity has been repeatedly scrutinised for its compatibility with conventional security theories, concepts, and understandings, particularly with that of military security. This book, however, argues that cybersecurity differs profoundly from many other security sectors because of the ontological nature of ‘information’ that sits at the heart of this field. Through this new framework, the book investigates three key empirical challenges in cybersecurity that are co-produced by its informational ontology: (1) the disordered nature of cybersecurity and its tendency towards increasing insecurity as a manifestation of the intrinsic uncertainties in information systems; (2) the unpredictable and unintended consequences resulting from autonomous cyber-attacks that challenge human control of cybersecurity environments; and (3) the persistent harms engendered by ‘mundane’ cyber threats that do not fit within conventional understandings of existentiality in security theories. Through a detailed analysis of cybersecurity discourses and practices in the USA (2003-present), the book goes on to show how these complex cybersecurity challenges are better analysed and theorised through the new information-theoretic notion of ‘entropic security’.This book will be of much interest to students of cyber-security, critical security studies, science and technology studies and International Relations in general.
Theorising Personalised Education
by Barbara Garrick Donna Pendergast David GeelanThis book examines the theoretical underpinning of the concept of personalised education and explores the question: What is personalised education in the contemporary higher education sector and how is it implemented? A broad, sophisticated definition of personalised learning has the potential to serve as a basis for more effective educational practices. The term 'personalised education' is, and continues to be, one with a variety of definitions. The authors' definition both incorporates earlier concepts of personalised education and critically reassesses them. The book then adds a further dimension: personalised instruction in electronically mediated environments, where the goal is to achieve learning towards mastery individually with the help of differentiated and individualised electronic learning platforms. This book assesses the various arguments concerning personalised education, examining each through the lens of educational theory and pedagogy and subsequently positing a number of qualitative characteristics of personalised education that have the potential to influence policy and practices in the higher education sector.
Theorizing Digital Cultural Heritage: A Critical Discourse
by Fiona Cameron Sarah KenderdineIn Theorizing Digital Cultural Heritage, experts offer a critical and theoretical appraisal of the uses of digital media by cultural heritage institutions. Previous discussions of cultural heritage and digital technology have left the subject largely unmapped in terms of critical theory; the essays in this volume offer this long-missing perspective on the challenges of using digital media in the research, preservation, management, interpretation, and representation of cultural heritage. The contributors--scholars and practitioners from a range of relevant disciplines--ground theory in practice, considering how digital technology might be used to transform institutional cultures, methods, and relationships with audiences. The contributors examine the relationship between material and digital objects in collections of art and indigenous artifacts; the implications of digital technology for knowledge creation, documentation, and the concept of authority; and the possibilities for "virtual cultural heritage"--the preservation and interpretation of cultural and natural heritage through real-time, immersive, and interactive techniques. The essays in Theorizing Digital Cultural Heritagewill serve as a resource for professionals, academics, and students in all fields of cultural heritage, including museums, libraries, galleries, archives, and archaeology, as well as those in education and information technology. The range of issues considered and the diverse disciplines and viewpoints represented point to new directions for an emerging field. Contributors: Nadia Arbach, Juan Antonio Barcelo, Deidre Brown, Fiona Cameron, Erik Champion, Sarah Cook, Jim Cooley, Bharat Dave, Suhas Deshpande, Bernadette Flynn, Maurizio Forte, Kati Geber, Beryl Graham, Susan Hazan, Sarah Kenderdine, Jose Ripper Kos, Harald Kraemer, Ingrid Mason, Gavan McCarthy, Slavko Milekic, Rodrigo Paraizo, Ross Parry, Scot T. Refsland, Helena Robinson, Angelina Russo, Corey Timpson, Marc Tuters, Peter Walsh, Jerry Watkins, Andrea Witcomb Media in Transition series
Theorizing Mediated Information Distortion: The COVID-19 Infodemic and Beyond (Routledge Studies in Media, Communication, and Politics)
by Brian H. SpitzbergThis book explores the phenomenon of distortion of information through media via the lens of the COVID-19 pandemic, and the ways in which relevant information distortion and virality have occurred in regard to the disease and its risks. Positing that the interrelated processes of misinformation, disinformation, fake news and conspiracy theories are related forms of distortion of information through media (DIM) and can only be understood through a multilevel theoretical model that incorporates message-based, individual difference, social network-based, societal and geotechnical factors, Brian H. Spitzberg develops an integrative, well-argued, and well-evidenced framework within which these issues can and should be addressed. This book offers a model for further research across such disciplines as communication, journalism/media studies, political science, sociology, cognitive psychology, social psychology, evolutionary psychology, public health, big data analytics, social network analytics, computational linguistics and geographic information sciences, and will interest researchers and students in those areas.
Theory, Analysis and Design of RF Interferometric Sensors
by Seoktae Kim Cam NguyenTheory, Analysis and Design of RF Interferometric Sensors presents the theory, analysis and design of RF interferometric sensors. RF interferometric sensors are attractive for various sensing applications that require every fine resolution and accuracy as well as fast speed. The book also presents two millimeter-wave interferometric sensors realized using RF integrated circuits. The developed millimeter-wave homodyne sensor shows sub-millimeter resolution in the order of 0.05 mm without correction for the non-linear phase response of the sensor's quadrature mixer. The designed millimeter-wave double-channel homodyne sensor provides a resolution of only 0.01 mm, or 1/840th of the operating wavelength, and can inherently suppress the non-linearity of the sensor's quadrature mixer. The experimental results of displacement and velocity measurement are presented as a way to demonstrate the sensing ability of the RF interferometry and to illustrate its many possible applications in sensing. The book is succinct, yet the material is very much self-contained, enabling readers with an undergraduate background in electrical engineering or physics with some experiences or graduate courses in RF circuits to understand easily.
Theory and Application of Reuse, Integration, and Data Science (Advances in Intelligent Systems and Computing #838)
by Thouraya Bouabana-Tebibel Lydia Bouzar-Benlabiod Stuart H. RubinThis book presents recent research in the field of reuse and integration, and will help researchers and practitioners alike to understand how they can implement reuse in different stages of software development and in various domains, from robotics and security authentication to environmental issues. Indeed, reuse is not only confined to reusing code; it can be included in every software development step. The challenge today is more about adapting solutions from one language to another, or from one domain to another. The relative validation of the reused artifacts in their new environment is also necessary, at time even critical. The book includes high-quality research papers on these and many other aspects, written by experts in information reuse and integration, who cover the latest advances in the field. Their contributions are extended versions of the best papers presented at the IEEE International Conference on Information Reuse and Integration (IRI) and IEEE International Workshop on Formal Methods Integration (FMI), which were held in San Diego in August 2017.
Theory and Applications of Dependable Computer Systems: Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland (Advances in Intelligent Systems and Computing #1173)
by Wojciech Zamojski Jacek Mazurkiewicz Jarosław Sugier Tomasz Walkowiak Janusz KacprzykThis book presents selected papers from the Fifteenth International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), which illustrate the diversity of theoretical problems in analysis of performability, reliability and security of contemporary computer systems. Covering also methodologies and practical tools involved in this field, it is a valuable reference resource for scientists, researchers, practitioners and students who are dealing with these subjects.Established in 2006, DepCoS-RELCOMEX is an annual conference series organised by Wrocław University of Science and Technology. It focuses on the dependability and performability of contemporary computer systems – topics that can provide solutions to new challenges in evaluation of their reliability and efficiency. Since they are probably the most complex technical systems ever engineered by humans, the organization of modern computer systems cannot be modelled and analysed solely as structures (however complex and distributed) built only on the basis of technical resources. Instead they should be considered as a unique blend of interacting people (their needs and behaviours), networks (together with mobile properties, iCloud organisation, Internet of Everything) and a large number of users dispersed geographically and producing an unimaginable number of applications. This new, interdisciplinary approach is developing a continually increasing range of methods which apply also the latest findings in artificial intelligence (AI) and computational intelligence (CI).
Theory and Applications of Difference Equations and Discrete Dynamical Systems
by Ziyad Alsharawi Jim M. Cushing Saber ElaydiThis volume contains the proceedings of the 19th International Conference on Difference Equations and Applications, held at Sultan Qaboos University, Muscat, Oman in May 2013. The conference brought together experts and novices in the theory and applications of difference equations and discrete dynamical systems. The volume features papers in difference equations and discrete time dynamical systems with applications to mathematical sciences and, in particular, mathematical biology, ecology, and epidemiology. It includes four invited papers and eight contributed papers. Topics covered include: competitive exclusion through discrete time models, Benford solutions of linear difference equations, chaos and wild chaos in Lorenz-type systems, advances in periodic difference equations, the periodic decomposition problem, dynamic selection systems and replicator equations, and asymptotic equivalence of difference equations in Banach Space. This book will appeal to researchers, scientists, and educators who work in the fields of difference equations, discrete time dynamical systems and their applications.
Theory and Applications of Formal Argumentation
by Elizabeth Black Sanjay Modgil Nir OrenThis book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentation and application of such models in subfields of AI, evaluation of models, both theoretical and practical, and theories and applications developed through inter-disciplinary collaboration.
Theory and Applications of Formal Argumentation: Second International Workshop, Tafa 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8306)
by Nir Oren Sanjay Modgil Elizabeth BlackThis book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017. The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.
Theory and Applications of Image Registration
by A. Ardeshir GoshtasbyA hands-on guide to image registration theory and methods—with examples of a wide range of real-world applications Theory and Applications of Image Registration offers comprehensive coverage of feature-based image registration methods. It provides in-depth exploration of an array of fundamental issues, including image orientation detection, similarity measures, feature extraction methods, and elastic transformation functions. Also covered are robust parameter estimation, validation methods, multi-temporal and multi-modality image registration, methods for determining the orientation of an image, methods for identifying locally unique neighborhoods in an image, methods for detecting lines in an image, methods for finding corresponding points and corresponding lines in images, registration of video images to create panoramas, and much more. Theory and Applications of Image Registration provides readers with a practical guide to the theory and underpinning principles. Throughout the book numerous real-world examples are given, illustrating how image registration can be applied to problems in various fields, including biomedicine, remote sensing, and computer vision. Also provided are software routines to help readers develop their image registration skills. Many of the algorithms described in the book have been implemented, and the software packages are made available to the readers of the book on a companion website. In addition, the book: Explores the fundamentals of image registration and provides a comprehensive look at its multi-disciplinary applications Reviews real-world applications of image registration in the fields of biomedical imaging, remote sensing, computer vision, and more Discusses methods in the registration of long videos in target tracking and 3-D reconstruction Addresses key research topics and explores potential solutions to a number of open problems in image registration Includes a companion website featuring fully implemented algorithms and image registration software for hands-on learning Theory and Applications of Image Registration is a valuable resource for researchers and professionals working in industry and government agencies where image registration techniques are routinely employed. It is also an excellent supplementary text for graduate students in computer science, electrical engineering, software engineering, and medical physics.
The Theory and Applications of Iteration Methods
by Ioannis K. ArgyrosThe theory and applications of Iteration Methods is a very fast-developing field of numerical analysis and computer methods. The second edition is completely updated and continues to present the state-of-the-art contemporary theory of iteration methods with practical applications, exercises, case studies, and examples of where and how they can be used. The Theory and Applications of Iteration Methods, Second Edition includes newly developed iteration methods taking advantage of the most recent technology (computers, robots, machines). It extends the applicability of well-established methods by increasing the convergence domain and offers sharper error tolerance. New proofs and ideas for handling convergence are introduced along with a new variety of story problems picked from diverse disciplines. This new edition is for researchers, practitioners, and students in engineering, economics, and computational sciences.
Theory and Applications of Models of Computation: 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings (Lecture Notes in Computer Science #12337)
by Jianer Chen Qilong Feng Jinhui XuThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020. The 37 full papers were carefully reviewed and selected from 83 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory and foundations of artificial intelligence.
Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13–15, 2024, Proceedings (Lecture Notes in Computer Science #14637)
by Xujin Chen Bo LiThis book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13–15, 2024. The 30 full papers presented in this book were carefully reviewed and selected from 69 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory, as well as their integration with machine learning theory and the foundations of artificial intelligence.
Theory and Applications of Models of Computation: 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings (Lecture Notes in Computer Science #13571)
by Ding-Zhu Du Donglei Du Chenchen Wu Dachuan XuThis book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022. The 33 full papers were carefully reviewed and selected from 75 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory, and foundations of artificial intelligence.