This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) an…
Robustly maintaining balance on two legs is an important challenge for humanoid robots. The work presented in this book represents a contribution to this area. It investigates efficient methods for the decision-making from internal sensors about whether and where to step, several improvements to efficient whole-body postural balancing methods, and proposes and evaluates a novel method for effic…
Previously, software architects were unable to effectively and efficiently apply reusable knowledge (e.g., architectural styles and patterns) to architectural analyses. This work tackles this problem with a novel method to create and apply templates for reusable knowledge. These templates capture reusable knowledge formally and can efficiently be integrated in architectural analyses.
This work develops highly efficient algorithms for analyzing large images. Applications include object-based change detection and screening. The algorithms are 10-100 times as fast as existing software, sometimes even outperforming FGPA/GPU hardware, because they are designed to suit the computer architecture. This thesis describes the implementation details and the underlying algorithm enginee…
Learning by reflection is one of the core processes for improving work performance. We provide a novel approach for reflective learning support by transferring and adapting practices from the Quantified Self to workplace settings. This book contributes with an integrated model for technical support of reflective learning, mobile and web-based applications designed for quantifying and gathering …
The topic of this work are two further developments of the Factorization method for electrical impedance tomography.We present a modification of this method that is capable of detecting mixed inclusions, i.e. both inclusions with a higher as well as inclusions with a lower conductivity than the background medium. In addition, we derive a new method to compute the conductivity inside inclusions …
This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan WoleÅ…
The research presented here includes important contributions on the commissioning of the ATLAS experiment and the discovery of the Higgs boson. The thesis describes essential work on the alignment of the inner tracker during the commissioning of the experiment and development of the electron identification algorithm. The subsequent analysis focuses on the search for the Higgs boson in the WW ch…
Contemporary cities face phenomenal risks, and they face particularly high levels of mounting social and environmental risks, including social polarization, urban conflicts, riots, terror, and climate change threats. This book suggests that climate change and its resulting uncertainties challenge the concepts, procedures, and scope of conventional approaches to planning, creating a need to reth…
This collection of science fiction writings by Jayant V. Narlikar offers readers a unique glimpse into the world-famous Indian astrophysicist’s vivid and highly imaginative concepts and stories. The fictional material comprises a witty short story ("The rare idol of Ganesha") that cleverly explores the possible consequences of a mirror-symmetric individual in the context of cricket test ma…