Proceedings of AC 2019 in Prague


Book Description

International Academic Conference in Prague 2019




Proceedings of AC 2019 in Cesky Krumlov


Book Description

International Academic Conference in Cesky Krumlov 2019




Proceedings of AC 2018 in Prague


Book Description

International Academic Conferences in Prague, August 10 - 13, 2018




Proceedings of IAC 2019 in Vienna


Book Description

Scientific articles form: International Academic Conference on Teaching, Learning and E-learning International Academic Conference on Management, Economics and Marketing International Academic Conference on Engineering, Transport, IT and AI




Proceedings of IAC 2024 in Prague


Book Description

International Academic Conferences: - Teaching, Learning and E-learning (IAC-TLEl) - Management, Economics and Marketing (IAC-MEM)










Stability and Ductility of Steel Structures 2019


Book Description

For more than forty years the series of International Colloquia on Stability and Ductility of Steel Structures has been supported by the Structural Stability Research Council (SSRC). Its objective is to present the latest results in theoretical, numerical and experimental research in the area of stability and ductility of steel and steel-concrete composite structures. In Stability and Ductility of Steel Structures 2019, the focus is on new concepts and procedures concerning the analysis and design of steel structures and on the background, development and application of rules and recommendations either appearing in recently published Codes or Specifications and in emerging versions, all in anticipation of the new edition of Eurocodes. The series of International Colloquia on Stability and Ductility of Steel Structures started in Paris in 1972, the last five being held in: Timisoara, Romania (1999), Budapest, Hungary (2002), Lisbon, Portugal (2006), Rio de Janeiro, Brazil (2010) and Timisoara, Romania (2016). The 2019 edition of SDSS is organized by the Czech Technical University in Prague.




Tools and Algorithms for the Construction and Analysis of Systems


Book Description

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.




Computational Science – ICCS 2019


Book Description

The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019. The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track; Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Track of Agent-Based Simulations, Adaptive Algorithms and Solvers; Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning; Track of Architecture, Languages, Compilation and Hardware Support for Emerging and Heterogeneous Systems Part III: Track of Biomedical and Bioinformatics Challenges for Computer Science; Track of Classifier Learning from Difficult Data; Track of Computational Finance and Business Intelligence; Track of Computational Optimization, Modelling and Simulation; Track of Computational Science in IoT and Smart Systems Part IV: Track of Data-Driven Computational Sciences; Track of Machine Learning and Data Assimilation for Dynamical Systems; Track of Marine Computing in the Interconnected World for the Benefit of the Society; Track of Multiscale Modelling and Simulation; Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Part V: Track of Smart Systems: Computer Vision, Sensor Networks and Machine Learning; Track of Solving Problems with Uncertainties; Track of Teaching Computational Science; Poster Track ICCS 2019 Chapter “Comparing Domain-decomposition Methods for the Parallelization of Distributed Land Surface Models” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.