Non-human actors in their "strongly possible worlds" : constructions of alternative universes in Bio Art Projects

The article is an introduction that examines certain perspectives of new-materialist research on the ontological status of alternative universes in bio art projects with reference to the narratological concepts of possible worlds and the storyworld. In this context, it introduces the concept of "strongly possible worlds", which is a complementary concept to the Jan Alber's theory of impossible worlds. This methodological proposal is also presented in the article in reference to the latest study by Francesca Ferrando, in which the idea of "posthuman multiverse" was presented. The author also considers the role of non-human actors in the process of constructing such "in the world stories" (Bruno Latour). As non-human actors bacteria and living cells are understood, which have their own intentionality (goal-oriented behavior) and which are responsible for causal changes to the project; moreover, non-human actors are considered to be a force that aff ects the physical shape of storyworlds - with reference to Timothy Morton's category of hyperobjects. The article presents two types of experiments involving the process of creation of possible worlds in bio art. The fi rst one is conducted by the artists working with living materials, mostly tissues and cells, as the duo Tissue Culture and Art Project, Alicia King and Guy Ben-Ary and Kirsten Hudson; the other one is so called bacterial art with Sonja Bäumel's "Expanded body", Pinar Yoldas "Speculative biologies" and "Ecosystem of Excess", as well as Anna Dumitriu's artistic vision "The Romantic Disease: An Artistic Investigation of Tuberculosis" and "ArchaeaBot: A Post Climate Change, Post Singularity Life-form" as special case studies

On the enhancement of Big Data Pipelines through Data Preparation, Data Quality, and the distribution of Optimisation Problems

Nowadays, data are fundamental for companies, providing operational support by facilitating daily transactions. Data has also become the cornerstone of strategic decision-making processes in businesses. For this purpose, there are numerous techniques that allow to extract knowledge and value from data. For example, optimisation algorithms excel at supporting decision-making processes to improve the use of resources, time and costs in the organisation. In the current industrial context, organisations usually rely on business processes to orchestrate their daily activities while collecting large amounts of information from heterogeneous sources. Therefore, the support of Big Data technologies (which are based on distributed environments) is required given the volume, variety and speed of data. Then, in order to extract value from the data, a set of techniques or activities is applied in an orderly way and at different stages. This set of techniques or activities, which facilitate the acquisition, preparation, and analysis of data, is known in the literature as Big Data pipelines. In this thesis, the improvement of three stages of the Big Data pipelines is tackled: Data Preparation, Data Quality assessment, and Data Analysis. These improvements can be addressed from an individual perspective, by focussing on each stage, or from a more complex and global perspective, implying the coordination of these stages to create data workflows. The first stage to improve is the Data Preparation by supporting the preparation of data with complex structures (i.e., data with various levels of nested structures, such as arrays). Shortcomings have been found in the literature and current technologies for transforming complex data in a simple way. Therefore, this thesis aims to improve the Data Preparation stage through Domain-Specific Languages (DSLs). Specifically, two DSLs are proposed for different use cases. While one of them is a general-purpose Data Transformation language, the other is a DSL aimed at extracting event logs in a standard format for process mining algorithms. The second area for improvement is related to the assessment of Data Quality. Depending on the type of Data Analysis algorithm, poor-quality data can seriously skew the results. A clear example are optimisation algorithms. If the data are not sufficiently accurate and complete, the search space can be severely affected. Therefore, this thesis formulates a methodology for modelling Data Quality rules adjusted to the context of use, as well as a tool that facilitates the automation of their assessment. This allows to discard the data that do not meet the quality criteria defined by the organisation. In addition, the proposal includes a framework that helps to select actions to improve the usability of the data. The third and last proposal involves the Data Analysis stage. In this case, this thesis faces the challenge of supporting the use of optimisation problems in Big Data pipelines. There is a lack of methodological solutions that allow computing exhaustive optimisation problems in distributed environments (i.e., those optimisation problems that guarantee the finding of an optimal solution by exploring the whole search space). The resolution of this type of problem in the Big Data context is computationally complex, and can be NP-complete. This is caused by two different factors. On the one hand, the search space can increase significantly as the amount of data to be processed by the optimisation algorithms increases. This challenge is addressed through a technique to generate and group problems with distributed data. On the other hand, processing optimisation problems with complex models and large search spaces in distributed environments is not trivial. Therefore, a proposal is presented for a particular case in this type of scenario. As a result, this thesis develops methodologies that have been published in scientific journals and conferences.The methodologies have been implemented in software tools that are integrated with the Apache Spark data processing engine. The solutions have been validated through tests and use cases with real datasets

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners

Recognition and Exploitation of Gate Structure in SAT Solving

In der theoretischen Informatik ist das SAT-Problem der archetypische Vertreter der Klasse der NP-vollständigen Probleme, weshalb effizientes SAT-Solving im Allgemeinen als unmöglich angesehen wird. Dennoch erzielt man in der Praxis oft erstaunliche Resultate, wo einige Anwendungen Probleme mit Millionen von Variablen erzeugen, die von neueren SAT-Solvern in angemessener Zeit gelöst werden können. Der Erfolg von SAT-Solving in der Praxis ist auf aktuelle Implementierungen des Conflict Driven Clause-Learning (CDCL) Algorithmus zurückzuführen, dessen Leistungsfähigkeit weitgehend von den verwendeten Heuristiken abhängt, welche implizit die Struktur der in der industriellen Praxis erzeugten Instanzen ausnutzen. In dieser Arbeit stellen wir einen neuen generischen Algorithmus zur effizienten Erkennung der Gate-Struktur in CNF-Encodings von SAT Instanzen vor, und außerdem drei Ansätze, in denen wir diese Struktur explizit ausnutzen. Unsere Beiträge umfassen auch die Implementierung dieser Ansätze in unserem SAT-Solver Candy und die Entwicklung eines Werkzeugs für die verteilte Verwaltung von Benchmark-Instanzen und deren Attribute, der Global Benchmark Database (GBD)

Zur Komplexität der Synthese von Petri-Netzen

Petri-Netz-Synthese fragt für ein reguläres Verhalten, das als Transitionssystem A gegeben ist, ob es ein Petri-Netz (einer bestimmten Klasse) gibt, das A implementiert. Diese Arbeit untersucht Varianten dieses Entscheidungsproblems für verschiedene Implementierungen und eine Vielzahl von Petri-Netz-Klassen aus Sicht der klassischen und der parametrisierten Komplexität. Ebenso wird die Komplexität der Modifikations-Techniken Neubeschriftung sowie Kanten-, Ereignis- und Zustandslöschung untersucht, die darauf abzielen, nicht-implememtierbare Transitionssysteme implementierbar zu machen.Petri net synthesis asks, for a regular behavior given as a transition system A, whether there exists a Petri net (of a particular class) that implements A. This work investigates variants of this decision problem for different implementations and a variety of Petri net classes from the point of view of classical and parameterized complexity. Also investigated is the complexity of the modification techniques of relabeling and edge, event, and state deletion, which aim to make non-implementable transition systems implementable

Multimetal smithing : An urban craft in rural settings?

Multimetal smithing should be defined as the use of more than one metal and/or different metalworking techniques within thesame crafts-milieu. This complex metalworking has long been linked to centrality, central places and urbanity in Scandinavia.It has been extensively argued that fine casting and smithing, as well as manufacture utilizing precious metals was exclusivelyundertaken within early urban settings or the “central places” pre-dating these. Furthermore, the presence of complex metalcraftsmanship has been used as a driving indicator of the political, social and economic superiority of certain sites, therebyenhancing their identity as “centralities”.Recent research has come to challenge the universality of this link between urbanity, centrality and complex metalworkingas sites in rural settings with evidence of multimetal smithing are being identified. This shows that the relationship between thecraft and centrality (urbanity) must be nuanced and that perhaps multimetal craftsmanship should be reconsidered as an urbanindicator.The thesis project “From Crucible and onto Anvil” started in 2015 and focuses on sites housing remains of multimetalcraftsmanship dating primarily from 500-1000 AD. Within the project a comprehensive survey of sites will be used to evaluate thepresence of multimetal craftsmanship in the landscape. Sites in selected target areas will also be subject to intra-site analysisfocusing on workshop organisation, production output, metalworking techniques and chronological variances.A key aim in the project is to elucidate the conceptual aspects of complex metalworking. The term multimetality is used toanalytically frame all the societal and economic aspects of multimetal craftsmanship. Through this inclusive perspective both thecraftsmanship and the metalworkers behind it are positioned within the overall socioeconomic framework. The metalworkers,their skills and competences as well as the products of their labour are viewed as dynamic actors in the landscape and on thearenas of political economy of the Late Iron Age.The survey has already revealed interesting aspects concerning multimetal smithing and urbanity. Although the multimetalsites do cluster against areas of early urban development there are also other patterns emerging. Multimetal craftsmanship – both as practice and concept – was well represented in both rural peripheral settings and urban crafts-milieus. This means that therole of multimetality as part of an “urban conceptual package” is crucial to investigate. Such an approach will have the dual endsof properly understanding the craft and its societal implications, but also further the knowledge of the phenomenon of urbanityas a whole. Was multimetal smithing part of an “urban package” that spread into the rural landscape? Did the multimetality differbetween urban and rural crafts-milieus? How does early urbanity relate to the chronology of multimetal craftsmanship?This paper aims to counter these questions using examples from the survey of multimetal sites conducted within the thesisproject. A comparison between selected sites will be presented. The purpose of this is to evaluate the role of multimetality withinthe “urban package” and discuss the role of complex metalworking in the establishment of urban arenas of interaction in LateIron Age Scandinavia

Disintegration and Integration in East-Central Europe

In this volume, based on an international colloquium at the Faculty of European Studies, Babes-Bolyai University, in Cluj-Napoca, the integration of former member states of the Soviet bloc into the European Union is for the first time discussed in its broad historical context. 30 scholars are providing a comprehensive insight into the state of integration of East-Central European countries