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

LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volum

Combining SOA and BPM Technologies for Cross-System Process Automation

This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation

MS FT-2-2 7 Orthogonal polynomials and quadrature: Theory, computation, and applications

Quadrature rules find many applications in science and engineering. Their analysis is a classical area of applied mathematics and continues to attract considerable attention. This seminar brings together speakers with expertise in a large variety of quadrature rules. It is the aim of the seminar to provide an overview of recent developments in the analysis of quadrature rules. The computation of error estimates and novel applications also are described

Generalized averaged Gaussian quadrature and applications

A simple numerical method for constructing the optimal generalized averaged Gaussian quadrature formulas will be presented. These formulas exist in many cases in which real positive GaussKronrod formulas do not exist, and can be used as an adequate alternative in order to estimate the error of a Gaussian rule. We also investigate the conditions under which the optimal averaged Gaussian quadrature formulas and their truncated variants are internal

Fashion-able. Hacktivism and engaged fashion design

This thesis consists of a series of extensive projects which aim to explore a new designer role for fashion. It is a role that experiments with how fashion can be reverse engineered, hacked, tuned and shared among many participants as a form of social activism. This social design practice can be called the hacktivism of fashion. It is an engaged and collective process of enablement, creative resistance and DIY practice, where a community share methods and experiences on how to expand action spaces and develop new forms of craftsmanship. In this practice, the designer engages participants to reform fashion from a phenomenon of dictations and anxiety to a collective experience of empowerment, in other words, to make them become fashion-able. As its point of departure, the research takes the practice of hands-on exploration in the DIY upcycling of clothes through “open source” fashion “cookbooks”. By means of hands-on processes, the projects endeavour to create a complementary understanding of the modes of production within the field of fashion design. The artistic research projects have ranged from DIY-kits released at an international fashion week, fashion experiments in galleries, collaborative “hacking” at a shoe factory, engaged design at a rehabilitation centre as well as combined efforts with established fashion brands. Using parallels from hacking, heresy, fan fiction, small change and professional-amateurs, the thesis builds a non-linear framework by which the reader can draw diagonal interpretations through the artistic research projects presented. By means of this alternative reading new understandings may emerge that can expand the action spaces available for fashion design. This approach is not about subverting fashion as much as hacking and tuning it, and making its sub-routines run in new ways, or in other words, bending the current while still keeping the power on

Material-based design computation

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Architecture, 2010.Cataloged from PDF version of thesis.Includes bibliographical references (p. 306-328).The institutionalized separation between form, structure and material, deeply embedded in modernist design theory, paralleled by a methodological partitioning between modeling, analysis and fabrication, resulted in geometric-driven form generation. Such prioritization of form over material was carried into the development and design logic of CAD. Today, under the imperatives and growing recognition of the failures and environmental liabilities of this approach, modern design culture is experiencing a shift to material aware design. Inspired by Nature's strategies where form generation is driven by maximal performance with minimal resources through local material property variation, the research reviews, proposes and develops models and processes for a material-based approach in computationally enabled form-generation. Material-based Design Computation is developed and proposed as a set of computational strategies supporting the integration of form, material and structure by incorporating physical form-finding strategies with digital analysis and fabrication. In this approach, material precedes shape, and it is the structuring of material properties as a function of structural and environmental performance that generates design form. The thesis proposes a unique approach to computationally-enabled form-finding procedures, and experimentally investigates how such processes contribute to novel ways of creating, distributing and depositing material forms. Variable Property Design is investigated as a theoretical and technical framework by which to model, analyze and fabricate objects with graduated properties designed to correspond to multiple and continuously varied functional constraints. The following methods were developed as the enabling mechanisms of Material Computation: Tiling Behavior & Digital Anisotropy, Finite Element Synthesis, and Material Pixels. In order to implement this approach as a fabrication process, a novel fabrication technology, termed Variable Property Rapid Prototyping has been developed, designed and patented. Among the potential contributions is the achievement of a high degree of customization through material heterogeneity as compared to conventional design of components and assemblies. Experimental designs employing suggested theoretical and technical frameworks, methods and techniques are presented, discussed and demonstrated. They support product customization, rapid augmentation and variable property fabrication. Developed as approximations of natural formation processes, these design experiments demonstrate the contribution and the potential future of a new design and research field.by Neri Oxman.Ph.D