Open Access Books

This reprint is related to the latest research in the field of thyroid surgery, including molecular and imaging diagnosis, surgical treatment, and the treatment of recurrent disease and advanced thyroid carcinoma.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

This open access book brings together a collection of cutting-edge insights into how action can and is already being taken against climate change at multiple levels of our societies, amidst growing calls for transformative and inclusive climate action. In an era of increasing recognition regarding climate and ecological breakdown, this book offers hope, inspiration and analyses for multi-level climate action, spanning varied communities, places, spaces, agents and disciplines, demonstrating how the energy and dynamism of local scales are a powerful resource in turning the tide. Interconnected yet conceptually distinct, the book’s three sections span multiple levels of analysis, interrogating diverse perspectives and practices inherent to the vivid tapestry of climate action emerging locally, nationally and internationally. Delivered in collaboration with the UK’s ‘Place-Based Climate Action Network’, chapters are drawn from a wide range of authors with varying backgrounds spread across academia, policy and practice.

Le Zibaldone est le grand journal de pensées de Giacomo Leopardi. Le jeune philosophe y consigne, sur près de quinze ans et plus de 4500 pages, des réflexions qu’il nomme « de philosophie variée et de belle littérature ». Et en effet, c’est bien la variété, et même la plus étonnante bigarrure qui caractérisent ce monumental magasin d’écriture : bigarrure des matières brassées (métaphysique, théologie, politique, morale, esthétique) et bigarrure des formes (aphorisme, anecdote, note érudite, essai). Le Zibaldone apparaît donc tout d’abord comme un flux discontinu et disparate de pensée. Cependant, Leopardi n’entend pas y exposer une rhapsodie de vérités isolées et fragmentaires mais un authentique système philosophique. « Il mio sistema » : tels sont les premiers mots du cri léopardien, de son exigence méthodologique et ontologique. Manquer d’esprit de système c’est manquer d’ordre, et c’est surtout manquer l’essence même du réel, de la nature en tant que totalité, une nature qu’il ne saurait concevoir autrement, elle aussi, que comme un système et un ordre. Quel est donc l’ordre du système léopardien ? Et dans quelle mesure celui-ci épouse-t-il l’ordre de la nature ? Quel est leur fondement commun ? Répondre à ces questions revient à montrer en quoi cette totalité mouvante, ouverte et rhizomatique qu’est le Zibaldone est le lieu le plus à même d’accueillir une pensée placée devant l’urgence de statuer sur les guises de l’existence et de la contradiction.

In this book we immerse ourselves in the world of architects, embroiders, taking into account all aspects related to their trade from the sixteenth century until the time of the decline of such activity already in the 19th century. The workshop, learning, contracts, imports and exports are studied ..., all issues of the maximum interest for a mature understanding of the phenomenon, as well as the materials used in the elaboration of such appreciated products, their techniques and preferential iconographyFor each element and recommended for each moment or use.

Buildings celebrated its 10th anniversary in 2023. During this time, Buildings has achieved a lot. Indeed, its number of published papers, rejection rate, number of full-text downloads, number of citations received by published papers, Impact Factor, and submission-to-publication time have all consistently improved. The scope of the journal is comprehensive and includes almost every aspect of building design, construction, and operation. The Editorial Board is composed of a relatively small but wonderful mix of highly accomplished and well-established academics and practitioners, representing many countries in turn. Many members and non-members of the Editorial Board of Buildings contributed to the “10th Anniversary” Special Issue by writing papers in their respective areas of expertise, thus reflecting the scope of the journal and covering historical trends, current challenges, the state of the art, creative and innovative solutions, and future developments in building science, engineering, and management. With this Special Issue, Buildings is clearly an important player in the publication of high-quality research papers on diverse building-related issues.

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Electron paramagnetic resonance (EPR) spectroscopy has become one of the leading spectroscopic techniques. It targets materials containing unpaired electrons and possesses many applications. Since it was discovered more than 70 years ago, EPR spectroscopy is subjected to uninterrupted development and comprehensive studies. This book represents some of recent topics from EPR research.

Shape memory alloys (SMAs) have special property of the shape memory effect. After thermal treatment above the martensitic transition temperature, the alloys come back to the original shape when the alloys heat again after having cooled it to the temperature that is lower than the martensitic transition temperature. By means of this property, many industrial parts and systems were produced. This Special Issue "Shape Memory Alloys 2017" is constructed articles reporting new and progressive research results, as well as reviews of particular classes of fundamental physics of the materials and their applications of SMAs. Through its 17 efficient articles, the reader will approach to researches related to SMAs with their peculiar magnetic, thermo-mechanical properties, superelasticity, plastic deformation and compression under pressure. These physical properties introduce a large number of applications as faster SMA actuators, application of medical devices, industrial joining parts, volts, and magnetic/mechanical/thermal sensors. These articles are intended scientific researchers, professional engineers, students to obtain a better understanding in this field lately.

Brain Technology in Augmented Cognition: Current and Future Trends informs engineers interested in human-computer interaction about the current state of augmented cognition. Its scope includes recent advances in electroencephalography (EEG), neural network (NN), and brain-computer interface (BCI) brain technologies. The title explores in detail each technological approach to augmented cognition and offers conclusions to them, summarizing the work and their respective futures. Augmented cognition research often includes the use of brain technology, and this book addresses advances in augmented cognition and its applications. It details recent uses of EEG, NN, and BCI in the field and how they may augment user, researcher, and practitioner cognition. Focusing on the use of EEG for eye-tracking, NN logic, and the BCI application of motor-imagery (MI) and discussing challenges and opportunities relevant to such applications, the title is a useful introduction to the subject matter. This is an engaging read for any student, researcher or academic in the fields of engineering, augmented cognition, human-computer interaction and human factors/ergonomics who will learn the basics and key concepts of augmented cognition through this simple and straightforward title.

On November 24, 2010, the Third Study Day of the PCNSW (acronym of the Projet de Cartographie Numérique des Sols de Wallonie) was held, to which 230 people registered, coming in roughly equal proportions from the Administration, consultancies and universities.

Electrical grids worldwide are experiencing major changes in terms of energy generation, transmission, delivery, and distribution in order to enhance the entire system’s control, reliability, efficiency, and safety. Advanced energy systems and technologies such as renewable sources of energy, energy storage systems, and electric vehicles (EVs) as well as equipment such as sensors, smart meters, and communication devices along with innovations in computing technologies, machine learning, and data analytics are used to modernize the electric grid and the way it is planned, operated, and managed. This book provides an overview of several aspects of grid modernization including micro-grids, smart grids, energy storage, and communication systems.

This essay aims at outlining Baretti’s attitude toward antiquarianism, which pervaded eighteenth-century Europe and Italy in particular, first with the revival of Etruscan studies and then with the discovery of Herculaneum and Pompeii. Baretti’s attacks towards the study of antiquities cover the years before Baretti definitively moved to England in 1766, starting from 1750, when he published the “Primo Cicalamento” against Giuseppe Bartoli, Paduan antiquarian and professor of eloquence and Greek at the University of Turin, who took part in the renowned antiquarian dispute over the «Querini Diptych». His dislike of the antiquarian concerns of his time would later become ‒ unexpectedly ‒ a matter of political balance, involving the Kingdom of Naples and the Republic of Venice.

Comment expliquer le paradoxe fondamental de la matière vivante, qui allie stabilité et robustesse des formes à une dynamique interne constante ? Ce n’est pas seulement l’information génétique contenue dans les cellules, mais aussi les processus biochimiques et moléculaires observables in vivo qui sont à l’œuvre dans la morphogenèse. S’y ajoute la contribution essentielle des forces mécaniques qui, de la molécule au tissu, modèlent l’organisme. La dynamique du vivant émerge ainsi du contrôle biologique et des contraintes physiques à toutes les échelles. Son étude réunit aujourd’hui une communauté interdisciplinaire en pleine expansion qui observe, analyse et modélise le vivant.

European Law