In this paper, we present recent developments in the AltErgo SMT-solver to e ciently discharge proof obligations (POs) generated by Atelier B. This includes a new plugin architecture to facilitate experiments with di erent SAT engines, new heuristics to handle quantied formulas, and important modi cations in its internal data structures to boost performances of core decision procedures. Experim...

AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm for the word problem. In this paper, we present a modular extension of ground AC-completion for deciding formulas in the combination of the theory of equality with user-defined AC symbols, uninterpreted symbols and a...

We focus on data-driven causal inference. In particular, we propose a new principle for causal inference based on algorithmic information theory, i.e. Kolmogorov complexity. In a nutshell, we determine how much information one data object gives about the other, and vice versa, and identify the most likely causal direction by the strongest direction of information. To apply this principle in pra...

Purpose: Planning and dosimetry of different VMAT algorithms (SmartArc, Ergo++, Autobeam) is compared with IMRT for Head and Neck Cancer patients. Modelling was performed to rule out the causes of discrepancies between planned and delivered dose. Methods: Five HNC patients previously treated with IMRT were re-planned with SmartArc (SA), Ergo++ and Autobeam. Plans were compared with each other a...

Effektivität und Effizienz betrieblicher Ausund Weiterbildung sind im Kontext eines intensiven Wettbewerbs von erheblicher Bedeutung [1]. Ausgelöst wird Qualifizierungsbedarf insbesondere durch die dynamische Entwicklung im Bereich der Informationstechnologien und der Anwendungs-Software, der die Arbeitsprozesse von immer mehr Mitarbeitern grundlegend beeinflusst und verändert. Wenn, wie im Fal...

In this paper I explore the hypothesis that some of today robots might possess a form of consciousness whose substrate is a mere algorithm. First, consciousness is deened within an evolutionary framework as awareness of one's own state in relation to the external environment. Then, the basic prerequisites for such conscious activity are discussed, namely embodiment , autonomy, and adaptation me...

A simple electrochemical sensor has been developed for highly sensitive detection of octopamine and tyramine by electrodepositing reduced graphene oxide (ERGO) nanosheets onto the surface of a glassy carbon electrode (GCE). The electrocatalytic oxidation of octopamine and tyramine is individually investigated at the surface of the ERGO modified glassy carbon electrode (ERGO/GCE) by using cyclic...

A signal amplification system for electrochemiluminescence (ECL) of quantum dots (QDs) was developed by using electrochemically reduced graphene oxide (ERGO) to construct a nanobiosensing platform. Due to the structural defects of GO, the ECL emission of QDs coated on GO modified electrode was significantly quenched. After the electrochemical reduction of GO, the restoration of structural conju...

Human factors researchers and practitioners have been focusing research attention on the easeof-use, productivity, safety, comfort, and effectiveness aspects of product and system design. This article argues that it is time that we add another important dimension to the fields of human factors research and practice—the aesthetic dimension. This article discusses the need for the establishment o...