Reversible Computation: Extending Horizons of Computing

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first

Reversible Computation: Extending Horizons of Computing

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first

Research in Structures and Dynamics, 1984

A symposium on advanced and trends in structures and dynamics was held to communicate new insights into physical behavior and to identify trends in the solution procedures for structures and dynamics problems. Pertinent areas of concern were (1) multiprocessors, parallel computation, and database management systems, (2) advances in finite element technology, (3) interactive computing and optimization, (4) mechanics of materials, (5) structural stability, (6) dynamic response of structures, and (7) advanced computer applications

CEAS/AIAA/ICASE/NASA Langley International Forum on Aeroelasticity and Structural Dynamics 1999

The proceedings of a workshop sponsored by the Confederation of European Aerospace Societies (CEAS), the American Institute of Aeronautics and Astronautics (AIAA), the National Aeronautics and Space Administration (NASA), Washington, D.C., and the Institute for Computer Applications in Science and Engineering (ICASE), Hampton, Virginia, and held in Williamsburg, Virginia June 22-25, 1999 represent a collection of the latest advances in aeroelasticity and structural dynamics from the world community. Research in the areas of unsteady aerodynamics and aeroelasticity, structural modeling and optimization, active control and adaptive structures, landing dynamics, certification and qualification, and validation testing are highlighted in the collection of papers. The wide range of results will lead to advances in the prediction and control of the structural response of aircraft and spacecraft

Proceedings of the 2018 Canadian Society for Mechanical Engineering (CSME) International Congress

Published proceedings of the 2018 Canadian Society for Mechanical Engineering (CSME) International Congress, hosted by York University, 27-30 May 2018

Aeronautical engineering: A continuing bibliography with indexes (supplement 322)

This bibliography lists 719 reports, articles, and other documents introduced into the NASA scientific and technical information system in Oct. 1995. Subject coverage includes: design, construction and testing of aircraft and aircraft engines; aircraft components, equipment, and systems; ground support systems; and theoretical and applied aspects of aerodynamics and general fluid dynamics

Heat Transfer

Over the past few decades there has been a prolific increase in research and development in area of heat transfer, heat exchangers and their associated technologies. This book is a collection of current research in the above mentioned areas and describes modelling, numerical methods, simulation and information technology with modern ideas and methods to analyse and enhance heat transfer for single and multiphase systems. The topics considered include various basic concepts of heat transfer, the fundamental modes of heat transfer (namely conduction, convection and radiation), thermophysical properties, computational methodologies, control, stabilization and optimization problems, condensation, boiling and freezing, with many real-world problems and important modern applications. The book is divided in four sections : "Inverse, Stabilization and Optimization Problems", "Numerical Methods and Calculations", "Heat Transfer in Mini/Micro Systems", "Energy Transfer and Solid Materials", and each section discusses various issues, methods and applications in accordance with the subjects. The combination of fundamental approach with many important practical applications of current interest will make this book of interest to researchers, scientists, engineers and graduate students in many disciplines, who make use of mathematical modelling, inverse problems, implementation of recently developed numerical methods in this multidisciplinary field as well as to experimental and theoretical researchers in the field of heat and mass transfer