You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This monograph offers the reader an integrated point-of-view about the inflammatory response related to injury, infections and tumors. This integration is based on the hypothesis that the multiple pathophysiological mechanisms making up inflammation represent the re-expression of ontogenic mechanisms during early embryo development as well as the recapitulation of ancestral phylogenetic mechanisms. The relevance of the anti-inflammatory treatments is also highlighted with respect to polytraumatic patients, advances in stem cell research, embryology and the wound healing mechanism. Readers of this book will have the chance of gaining a unique perspective about of the pathophysiological mechanisms involved in the multiple inflammatory conditions. This integrative concept about inflammation can be applied in biological investigation, as well as in clinical research and translational medicine.
This ground-breaking Research Handbook provides a state-of-the-art discussion of the international law of Indigenous rights and how it has developed in recent decades. Drawing from their extensive knowledge of the topic, leading scholars provide strong general coverage and highlight the challenges and cutting-edge issues arising in international Indigenous rights law.
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
Based on an international seminar, held Sept. 1986 in Cuzco, Peru, sponsored by Multiciencias (Peru) and Unesco.
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Documents the emergence of a pattern of political instability in Latin America. Traditional military coups have receded in the region, but elected presidents are still ousted from power as a result of recurrent crises. Aníbal Pérez-Liñán shows that presidential impeachment has become the main constitutional instrument employed by civilian elites to depose unpopular rulers. Based on detailed comparative research in five countries and extensive historical information, the book explains why crises without breakdown have become the dominant form of instability in recent years and why some presidents are removed from office while others survive in power. The analysis emphasizes the erosion of presidential approval resulting from corruption and unpopular policies, the formation of hostile coalitions in Congress, and the role of investigative journalism. This book challenges classic assumptions in studies of presidentialism and provides important insights for the fields of political communication, democratization, political behaviour, and institutional analysis.
This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.
This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.
Announcements for the following year included in some vols.