Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Cycling is an important part of the urban transport system and short-distance travel in many modern cities around the world. With no emissions and occupying much less road space than cars, bikes are clean and sustainable. Bicycle traffic needs to be tracked and analysed in order to generate reliable predictions and make correct decisions when adapting and building traffic infrastructure, to account for bikes in road traffic systems, and to model and plan interactions between bikes and autonomous vehicles. Offering a systematic analysis of the movements and behaviours of bicycles and their riders, this book discusses data collection and evaluation approaches, and the development of a framework for the theory and modelling of bike traffic followed by model verification techniques and riding characteristics for context. This book contains valuable information for researchers involved with intelligent transportation systems, traffic modelling and simulation, and particularly those with an especial interest in bicycle traffic. The book will also be of interest to advanced students in these and related fields, and transportation policymakers.

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Protein nutrition and sustainability is a global challenge. Emerging Sources and Applications of Food Proteins provides the latest progresses about research and applications of emerging alternative proteins. Topics covered in this volume include rapeseed (canola) proteins, pulse proteins, insect proteins, fungal proteins, artificial meat, and new applications in bioactive peptides, nanotechnology, 3D printing, meat alternatives, with a focus on the consumer trend and practical applications.

Biologically Active Peptides: From Basic Science to Applications for Human Health stands as a comprehensive resource on bioactive peptide science and applications. With contributions from more than thirty global experts, topics discussed include bioactive peptide science, structure-activity relationships, best practices for their study and production, and their applications. In the interdisciplinary field of bioactive peptides, this book bridges the gap between basic peptide chemistry and human physiology, while reviewing recent advances in peptide analysis and characterization. Methods and technology-driven chapters offer step-by-step guidance in peptide preparation from different source materials, bioactivity assays, analysis and identification of bioactive peptides, encoding bioactive peptides. Later, applications across disease areas and medical specialties are examined in-depth, including the use of bioactive peptides in treating obesity, diabetes, osteoporosis, mental health disorders, food allergies, and joint health, among other disorders, as well as bioactive peptides for sensory enhancement, sports and clinical nutrition, lowering cholesterol, improving cardiovascular health, and driving advances in biotechnology.

Often described as 'nature's perfect food', perceptions of egg consumption and human health have evolved substantially over the past decades, in particular dietary guidelines no longer include a limit for dietary cholesterol and recommend eggs as part of healthy eating patterns. This book presents the opportunities for processing eggs to produce value-added food, nutritional, biomedical, functional food, and nutraceutical applications. It provides new evidence around egg consumption with respect to cardiovascular diseases, metabolic syndrome, weight management, mental development, eye, muscle, and ageing health. It also highlights the new discovery regarding egg bioactives that are relevant to anti-oxidants, anti-inflammation, cardiovascular and bone health, anti-microbial and anti-viral activities. Appealing to food scientists, food chemists, researchers in human nutrition specialising in eggs and dairy nutrition, and those involved in egg production, this book is reflecting the trends and innovations in this area of research.