Mathematical Modeling and Simulation of Systems (Mods`2020): Selected Papers of 15th International Scientific-Practical Conference, Mods, 2020 June 29, Shkarlet Serhiy, Morozov Anatoliy, Palagin Alexander
Описание: MATLAB and Simulink are now being used extensively in not only academia as a teaching aid, a learning aid and a research tool but also industry for modeling, analysis, design and rapid prototyping.
Описание: This book includes 46 scientific papers presented at the conference and reflecting the latest research in the fields of data mining, machine learning and decision-making.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
Описание: This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and Security, COMS2 2020, held in March 2020. The 26 full papers and 1 short paper were thoroughly reveiwed and selected from 79 submissions.
Описание: This book examines the Indian mandate for Corporate Social Responsibility (CSR) and its implementations in various individual organizations. The book explores the various facets of CSR investigation and places special emphasis on the Schedule VII of the Indian Companies Act of 2013, which defines specific areas of intervention for these companies.
Описание: The two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Italy, in June 2019.
Описание: The papers are centered around topics like architectures and quality of information systems, artificial intelligence in information systems, data and knowledge engineering, enterprise and information systems engineering, security of information systems. *The conference was held virtully due to the COVID-19 pandemic.
Описание: This three volume set (CCIS 1237-1239) constitutes the proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020, in June 2020. text analysis and processing; statistical image processing and analysis, with applications in neuroimaging;
Описание: This three volume set (CCIS 1237-1239) constitutes the proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020, in June 2020. text analysis and processing; statistical image processing and analysis, with applications in neuroimaging;
Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
