Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages
Author: Martin Gebser
Publisher: Springer Nature
Total Pages: 238
Release: 2024-01-09
Genre: Computers
ISBN: 3031520386

This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17–19, 2024. The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures
Author: Stefan Kiefer
Publisher: Springer Nature
Total Pages: 574
Release: 2021-03-22
Genre: Mathematics
ISBN: 3030719952

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Advances on Analysis and Control of Vibrations

Advances on Analysis and Control of Vibrations
Author: Mauricio Zapateiro
Publisher: BoD – Books on Demand
Total Pages: 294
Release: 2012-09-05
Genre: Technology & Engineering
ISBN: 9535106996

Vibration is a phenomenon that we can perceive in many systems. Their effects are as diverse as the personal discomfort that can produce the unevenness of a road or the collapse of a building or a bridge during an earthquake. This book is a compendium of research works on vibration analysis and control. It goes through new methodologies that help us understand and mitigate this phenomenon. This book is divided into two sections. The first one is devoted to new advances on vibration analysis while the second part is a series of case studies that illustrate novel techniques on vibration control. The applications are varied and include areas such as vehicle suspension systems, wind turbines and civil engineering structures.

Doklady

Doklady
Author:
Publisher:
Total Pages: 420
Release: 1998
Genre: Physics
ISBN:

Nature

Nature
Author: Sir Norman Lockyer
Publisher:
Total Pages: 1296
Release: 1869
Genre: Electronic journals
ISBN:

Properties Of Water And Steam: Proceedings Of The 11th International conference

Properties Of Water And Steam: Proceedings Of The 11th International conference
Author: Miroslav Píchal
Publisher: CRC Press
Total Pages: 594
Release: 1990-06-01
Genre: Art
ISBN: 9781560320425

This book forms the proceedings of the 11th International Conference of the Properties of Steam, conducted in 1989 in Czechoslovakia. The session provided an international forum for the dissemination of information on recent progress in experiment, theory and formulation of the properties of steam and aqueous systems in the power industry during the past five years. The papers reflect present knowledge of the thermophysical properties of pure ordinary and heavy water to the properties of aqueous solutions, to the power cycle chemistry, to corrosion in power plants.

Experimental Hematology Today—1988

Experimental Hematology Today—1988
Author: Siegmund J. Baum
Publisher: Springer Science & Business Media
Total Pages: 185
Release: 2013-06-29
Genre: Medical
ISBN: 1461388627

Experimental Hematology Today - 1988 presents the latest results of research reflecting the diverse interests of basic and clinical hematologists. The major areas explored are hematopoietic regulation by cytokines; hematopoietic cellular growth regulation, with emphasis on the interaction of stromal with hematopoietic stem and progenitor cells; granulopoietic regulators; gene transfers into hematopoietic progenitor cells; leukemogenesis; and bone marrow transplantation. All chapters report on research or clinical findings of the past year.