These proceedings consist of 30 selected research papers based on results presented at the 10th Balkan Conference & 1st International Symposium on Operational Research (BALCOR 2011) held in Thessaloniki, Greece, September 22-24, 2011. BALCOR is an established biennial conference attended by a large number of faculty, researchers and students from the Balkan countries but also from other European and Mediterranean countries as well. Over the past decade, the BALCOR conference has facilitated the exchange of scientific and technical information on the subject of Operations Research and related fields such as Mathematical Programming, Game Theory, Multiple Criteria Decision Analysis, Information Systems, Data Mining and more, in order to promote international scientific cooperation. The carefully selected and refereed papers present important recent developments and modern applications and will serve as excellent reference for students, researchers and practitioners in these disciplines. ​

Zeolite synthesis is an active field of research. As long as this continues, new phases will be discovered and new techniques for preparing existing phases will appear. This edition of Verified Synthesis of Zeolitic Materials contains all the recipes from the first edition plus 24 new recipes. Five new introductory articles have been included plus those from the first edition, some of which have been substantially revised. The XRD patterns have been recorded using different instrument settings from those in the first edition and are intended to conform to typical X-ray diffraction practice. In most cases, only the XRD pattern for the productas synthesised is printed here. The exceptions are those phases which show marked changes in the XRD pattern upon calcination.

This book is a collection of original papers produced by the members of the Euro Working Group on Transportation (EWGT) in the last several years (2015–2017). The respective chapters present the results of various research projects carried out by the members of the EWGT and extended versions of presentations given at the last several meetings of the EWGT. The book offers a representative sampling of the EWGT’s research activities and covers the state-of-the-art in quantitative oriented transportation/logistics research. It highlights a range of advanced concepts, methodologies and technologies, divided into four major thematic streams: Multiple Criteria Analysis in Transportation and Logistics; Urban Transportation and City Logistics; Road Safety and Artificial Intelligence and Soft Computing in Transportation and Logistics. The book is intended for academics/researchers, analysts, business consultants, and graduate students who are interested in advanced techniques of mathematical modeling and computational procedures applied in transportation and logistics.

This book presents the Proceedings of The 6th Brazilian Technology Symposium (BTSym'20). The book discusses the current technological issues on Systems Engineering, Mathematics and Physical Sciences, such as the Transmission Line, Protein-Modified Mortars, Electromagnetic Properties, Clock Domains, Chebyshev Polynomials, Satellite Control Systems, Hough Transform, Watershed Transform, Blood Smear Images, Toxoplasma Gondi, Operation System Developments, MIMO Systems, Geothermal-Photovoltaic Energy Systems, Mineral Flotation Application, CMOS Techniques, Frameworks Developments, Physiological Parameters Applications, Brain–Computer Interface, Artificial Neural Networks, Computational Vision, Security Applications, FPGA Applications, IoT, Residential Automation, Data Acquisition, Industry 4.0, Cyber-Physical Systems, Digital Image Processing, Patters Recognition, Machine Learning, Photocatalytic Process, Physical–Chemical Analysis, Smoothing Filters, Frequency Synthesizers, Voltage-Controlled Ring Oscillator, Difference Amplifier, Photocatalysis, Photodegradation, current technological issues on Human, Smart and Sustainable Future of Cities, such as the Digital Transformation, Data Science, Hydrothermal Dispatch, Project Knowledge Transfer, Immunization Programs, Efficiency and Predictive Methods, PMBOK Applications, Logistics Process, IoT, Data Acquisition, Industry 4.0, Cyber-Physical Systems, Fingerspelling Recognition, Cognitive Ergonomics, Ecosystem Services, Environmental, Ecosystem Services Valuation, Solid Waste and University Extension.

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

As the complexity of modern embedded systems increases, it becomes less practical to design monolithic processing platforms. As a result, reconfigurable computing is being adopted widely for more flexible design. Reconfigurable Computers offer the spatial parallelism and fine-grained customizability of application-specific circuits with the postfabrication programmability of software. To make the most of this unique combination of performance and flexibility, designers need to be aware of both hardware and software issues. FPGA users must think not only about the gates needed to perform a computation but also about the software flow that supports the design process. The goal of this book is to help designers become comfortable with these issues, and thus be able to exploit the vast opportunities possible with reconfigurable logic.

This book constitutes the refereed proceedings of two workshops held at the 19th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2016, in Athens, Greece, in October 2016: the First Workshop on Large-Scale Annotation of Biomedical Data and Expert Label Synthesis, LABELS 2016, and the Second International Workshop on Deep Learning in Medical Image Analysis, DLMIA 2016. The 28 revised regular papers presented in this book were carefully reviewed and selected from a total of 52 submissions. The 7 papers selected for LABELS deal with topics from the following fields: crowd-sourcing methods; active learning; transfer learning; semi-supervised learning; and modeling of label uncertainty.The 21 papers selected for DLMIA span a wide range of topics such as image description; medical imaging-based diagnosis; medical signal-based diagnosis; medical image reconstruction and model selection using deep learning techniques; meta-heuristic techniques for fine-tuning parameter in deep learning-based architectures; and applications based on deep learning techniques.