- 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 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 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 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 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.
Theory and Applications of Models of Computation
by T. V. Gopal Gerhard Jäger Silvia SteilaThis book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods and computing devices to meet today's and tomorrow's challenges of complexity, scalability and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks.
Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings (Lecture Notes in Computer Science #11436)
by T. V. Gopal Junzo WatadaThis book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019. The 43 revised full papers were carefully reviewed and selected from 60 submissions. The main themes of the selected papers are computability, computer science logic, complexity, algorithms, models of computation, and systems theory.
Theory and Applications of Models of Computation
by Rahul Jain Sanjay Jain Frank StephanThis book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.
Theory and Applications of Ontology: Computer Applications
by Achilles Kameas Roberto Poli Michael HealyOntology was once understood to be the philosophical inquiry into the structure of reality: the analysis and categorization of 'what there is'. Recently, however, a field called 'ontology' has become part of the rapidly growing research industry in information technology. The two fields have more in common than just their name. Theory and Applications of Ontology is a two-volume anthology that aims to further an informed discussion about the relationship between ontology in philosophy and ontology in information technology. It fills an important lacuna in cutting-edge research on ontology in both fields, supplying stage-setting overview articles on history and method, presenting directions of current research in either field, and highlighting areas of productive interdisciplinary contact. Theory and Applications of Ontology: Computer Applications presents ontology in ways that philosophers are not likely to find elsewhere. The volume offers an overview of current research in ontology, distinguishing basic conceptual issues, domain applications, general frameworks, and mathematical formalisms. It introduces the reader to current research on frameworks and applications in information technology in ways that are sure to invite reflection and constructive responses from ontologists in philosophy.