На головну сторінку сайту Спрощенний режим E-бібліотека навчальних матеріалів
Авторизація
Прізвище
Пароль
 

Бази даних


Ресурси порталу Springer Link (доступ через IP-адреси ЗДМУ)- результати пошуку

Вид пошуку
Електронний каталог бібліотеки ЗДМФУ
Каталог онлайн курсів на платформі edX
Публікації співробітників ЗДМФУ
Картотека авторефератів дисертацій
Картотека іноземної літератури
Картотека законодавчих документів
Картотека рідкісних видань
Фонд електронних документів
Каталог WEB - ресурсів
Ресурси порталу Springer Link (доступ через IP-адреси ЗДМУ)
Заочно-дистанційне навчання
Полнотекстовая
Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>S=Computer simulation.<.>
Загальна кількість знайдених документів : 133
Показані документи с 1 за 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.


   
    Smart Solutions in Today’s Transport [Electronic resource] : 17th International Conference on Transport Systems Telematics, TST 2017, Katowice – Ustroń, Poland, April 5-8, 2017, Selected Papers / / ed. Mikulski, Jerzy. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 508 p. 263 illus. - ISBN 9783319662510
    Зміст:
Рубрики: Computers and civilization.
   Application software.
   Computer communication systems.
   Transportation engineering.
   Traffic engineering.
   Computer simulation.
   Computers and Society.
   Computer Applications.
   Information Systems Applications (incl. Internet).
   Computer Communication Networks.
   Transportation Technology and Traffic Engineering.
   Simulation and Modeling.
Анотація: This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Transport Systems Telematics, TST 2017, held in Katowice-Ustrón, Poland, in April 2017. The 40 full papers presented in this volume were carefully reviewed and selected from 128 submissions. They present and organize the knowledge from within the field of intelligent transportation systems, the specific solutions applied in it and their influence on improving efficiency of transport systems.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Mikulski, Jerzy. \ed.\
Вільних прим. немає
Знайти схожі
2.


   
    3rd International Winter School and Conference on Network Science [Electronic resource] : netSci-X 2017 / / ed.: Shmueli, Erez., Barzel, Baruch., Puzis, Rami. - 1st ed. 2017. - [S. l. : s. n.]. - VI, 130 p. 32 illus., 17 illus. in color. - ISBN 9783319554716
    Зміст:
Рубрики: Physics.
   Computer simulation.
   Social sciences—Data processing.
   Social sciences—Computer programs.
   Sociophysics.
   Econophysics.
   Bioinformatics.
   Applications of Graph Theory and Complex Networks.
   Simulation and Modeling.
   Computational Social Sciences.
   Data-driven Science, Modeling and Theory Building.
   Computational Biology/Bioinformatics.
Анотація: This book contains original research chapters related to the interdisciplinary field of complex networks spanning biological and environmental networks, social, technological, and economic networks. Many natural phenomena can be modeled as networks where nodes are the primitive compounds and links represent their interactions, similarities, or distances of sorts. Complex networks have an enormous impact on research in various fields like biology, social sciences, engineering, and cyber-security to name a few. The topology of a network often encompasses important information on the functionality and dynamics of the system or the phenomenon it represents. Network science is an emerging interdisciplinary discipline that provides tools and insights to researchers in a variety of domains. NetSci-X is the central winter conference within the field and brings together leading researchers and innovators to connect, meet, and establish interdisciplinary channels for collaboration. It is the largest and best known event in the area of network science. This text demonstrates how ideas formulated by authors with different backgrounds are transformed into models, methods, and algorithms that are used to study complex systems across different domains and will appeal to researchers and students within in the field. .
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Shmueli, Erez. \ed.\; Barzel, Baruch. \ed.\; Puzis, Rami. \ed.\
Вільних прим. немає
Знайти схожі
3.


   
    Distributed Computer and Communication Networks [Electronic resource] : 20th International Conference, DCCN 2017, Moscow, Russia, September 25–29, 2017, Proceedings / / ed.: Vishnevskiy, Vladimir M., Samouylov, Konstantin E., Kozyrev, Dmitry V. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 478 p. 181 illus. - ISBN 9783319668369
    Зміст:
Рубрики: Computer communication systems.
   Mathematical statistics.
   Computer system failures.
   Computer simulation.
   Computer science—Mathematics.
   Application software.
   Computer Communication Networks.
   Probability and Statistics in Computer Science.
   System Performance and Evaluation.
   Simulation and Modeling.
   Math Applications in Computer Science.
   Information Systems Applications (incl. Internet).
Анотація: This book constitutes the refereed proceedings of the 20th International Conference on Distributed and Computer and Communication Networks, DCCN 2017, held in Moscow, Russia, in September 2017. The 39 full papers and the two short papers were carefully reviewed and selected from 176 submissions. The papers cover the following topics: computer and communication networks architecture optimization; control in computer and communication networks; performance and QoS/QoE evaluation in wireless networks; analytical modeling and simulation of next-generation communications systems; queueing theory and reliability theory applications in computer networks; wireless 4G/5G networks, cm- and mm-wave radio technologies; RFID technology and its application in intellectual transportation networks; Internet of Things, wearables, and applications of distributed information systems; probabilistic and statistical models in information systems; mathematical modeling of high-tech systems; mathematical modeling and control problems; distributed and cloud computing systems, big data analytics.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Vishnevskiy, Vladimir M. \ed.\; Samouylov, Konstantin E. \ed.\; Kozyrev, Dmitry V. \ed.\
Вільних прим. немає
Знайти схожі
4.


   
    Computer Vision [Electronic resource] : second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11–14, 2017, Proceedings, Part II / / ed. Yang, Jinfeng. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXIII, 621 p. 274 illus. - ISBN 9789811073021
    Зміст:
Рубрики: Optical data processing.
   Artificial intelligence.
   Computer simulation.
   Data mining.
   Information storage and retrieval.
   Image Processing and Computer Vision.
   Artificial Intelligence.
   Simulation and Modeling.
   Data Mining and Knowledge Discovery.
   Information Storage and Retrieval.
Анотація: This three volume set, CCIS 771, 772, 773, constitutes the refereed proceedings of the  CCF Chinese Conference on Computer Vision, CCCV 2017, held in Tianjin, China, in October 2017. The total of 174 revised full papers presented in three volumes were carefully reviewed and selected from 465 submissions. The papers are organized in the following topical sections: biological vision inspired visual method; biomedical image analysis; computer vision applications; deep neural network; face and posture analysis; image and video retrieval; image color and texture; image composition; image quality assessment and analysis; image restoration; image segmentation and classification; image-based modeling; object detection and classification; object identification; photography and video; robot vision; shape representation and matching; statistical methods and learning; video analysis and event recognition; visual salient detection.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Yang, Jinfeng. \ed.\; Hu, Qinghua. \ed.\; Cheng, Ming-Ming. \ed.\; Wang, Liang. \ed.\; Liu, Qingshan. \ed.\; Bai, Xiang. \ed.\; Meng, Deyu. \ed.\
Вільних прим. немає
Знайти схожі
5.


    Sachse, Agnes.
    OpenGeoSys Tutorial [Electronic resource] : computational Hydrology II: Groundwater Quality Modeling / / Agnes. Sachse, Nixdorf, Erik. [et al.] ; . - 1st ed. 2017. - [S. l. : s. n.]. - X, 75 p. 26 illus. in color. - ISBN 9783319528090
    Зміст:
Рубрики: Hydrogeology.
   Geology—Statistical methods.
   Computer simulation.
   Environmental chemistry.
   Chemoinformatics.
   Hydrogeology.
   Quantitative Geology.
   Simulation and Modeling.
   Environmental Chemistry.
   Computer Applications in Chemistry.
Анотація: This book explores the application of the open-source software OpenGeoSys (OGS) for hydrological numerical simulations concerning conservative and reactive transport modeling. It provides general information on the hydrological and groundwater flow modeling of a real case study and step-by-step model set-up with OGS, while also highlighting related components such as the OGS Data Explorer. The material is based on unpublished manuals and the results of a collaborative project between China and Germany (SUSTAIN H2O). Though the book is primarily intended for graduate students and applied scientists who deal with hydrological modeling, it also offers a valuable source of information for professional geoscientists wishing to expand their knowledge of the numerical modeling of hydrological processes including nitrate reactive transport modeling. This book is the second in a series that showcases further applications of computational modeling in hydrological science.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Nixdorf, Erik.; Jang, Eunseon.; Rink, Karsten.; Fischer, Thomas.; Xi, Beidou.; Beyer, Christof.; Bauer, Sebastian.; Walther, Marc.; Sun, Yuanyuan.; Song, Yonghui.; Sachse, Agnes. \.\
Вільних прим. немає
Знайти схожі
6.


    Hartley III, III, Dean S.
    Unconventional Conflict [Electronic resource] : a Modeling Perspective / / III, Dean S. Hartley III ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVII, 218 p. 116 illus. in color. - ISBN 9783319519357
    Зміст:
Рубрики: Politics and war.
   System safety.
   Computer simulation.
   Social sciences—Data processing.
   Social sciences—Computer programs.
   Sociophysics.
   Econophysics.
   Military and Defence Studies.
   Security Science and Technology.
   Simulation and Modeling.
   Computational Social Sciences.
   Data-driven Science, Modeling and Theory Building.
Анотація: This book describes issues in modeling unconventional conflict and suggests a new way to do the modeling.  It presents an ontology that describes the unconventional conflict domain, which allows for greater ease in modeling unconventional conflict. Supporting holistic modeling, which means that we can see the entire picture of what needs to be modeled, the ontology allows us to make informed decisions about what to model and what to omit. The unconventional conflict ontology also separates the things we understand best from the things we understand least. This separation means that we can perform verification, validation and accreditation (VV&A) more efficiently and can describe the competence of the model more accurately. However, before this message can be presented in its entirety the supporting body of knowledge has to be explored. For this reason, the book offers chapters that focus on the description of unconventional conflict and the analyses that have been performed, modeling, with a concentration on past efforts at modeling unconventional conflict, the precursors to the ontology, and VV&A. Unconventional conflict is a complex, messy thing. It normally involves multiple actors, with their own conflicting agendas and differing concepts of legitimate actions. This book will present a useful introduction for researchers and professionals within the field.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Hartley III, Dean S. \.\
Вільних прим. немає
Знайти схожі
7.


   
    Advanced Computational Methods in Life System Modeling and Simulation [Electronic resource] : international Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I / / ed. Fei, Minrui. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XVIII, 609 p. 348 illus. - ISBN 9789811063701
    Зміст:
Рубрики: Computer simulation.
   Bioinformatics.
   Health informatics.
   Simulation and Modeling.
   Computational Biology/Bioinformatics.
   Health Informatics.
Анотація: The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, held in Nanjing, China, in September 2017. The 208 revised full papers presented were carefully reviewed and selected from over 625 submissions. The papers of this volume are organized in topical sections on: Biomedical Signal Processing; Computational Methods in Organism Modeling; Medical Apparatus and Clinical Applications; Bionics Control Methods, Algorithms and Apparatus; Modeling and Simulation of Life Systems; Data Driven Analysis; Image and Video Processing; Advanced Fuzzy and Neural Network Theory and Algorithms; Advanced Evolutionary Methods and Applications; Advanced Machine Learning Methods and Applications; Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems; Advanced Methods for Networked Systems; Control and Analysis of Transportation Systems; Advanced Sliding Mode Control and Applications; Advanced Analysis of New Materials and Devices; Computational Intelligence in Utilization of Clean and Renewable Energy Resources; Intelligent Methods for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Computing and Control in Power Systems; Modeling, Simulation and Control in Smart Grid and Microgrid; Optimization Methods; Computational Methods for Sustainable Environment.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Fei, Minrui. \ed.\; Ma, Shiwei. \ed.\; Li, Xin. \ed.\; Sun, Xin. \ed.\; Jia, Li. \ed.\; Su, Zhou. \ed.\
Вільних прим. немає
Знайти схожі
8.


   
    Agent Based Modelling of Urban Systems [Electronic resource] : first International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers / / ed. Namazi-Rad, Mohammad-Reza. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 209 p. 74 illus. - ISBN 9783319519579
    Зміст:
Рубрики: Artificial intelligence.
   Software engineering.
   Computer communication systems.
   Application software.
   Computer programming.
   Computer simulation.
   Artificial Intelligence.
   Software Engineering.
   Computer Communication Networks.
   Information Systems Applications (incl. Internet).
   Programming Techniques.
   Simulation and Modeling.
Анотація: This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. The 11 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: urban systems modeling; traffic simulation in urban modeling; and applications. .
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Namazi-Rad, Mohammad-Reza. \ed.\; Padgham, Lin. \ed.\; Perez, Pascal. \ed.\; Nagel, Kai. \ed.\; Bazzan, Ana. \ed.\
Вільних прим. немає
Знайти схожі
9.


    Cioffi-Revilla, Claudio.
    Introduction to Computational Social Science [Electronic resource] : principles and Applications / / Claudio. Cioffi-Revilla ; . - 2nd ed. 2017. - [S. l. : s. n.]. - XXXVI, 607 p. 59 illus., 21 illus. in color. - ISBN 9783319501314
    Зміст:
Рубрики: Application software.
   Social sciences.
   Data mining.
   Graph theory.
   Computer simulation.
   Computer Appl. in Social and Behavioral Sciences.
   Methodology of the Social Sciences.
   Data Mining and Knowledge Discovery.
   Graph Theory.
   Simulation and Modeling.
Анотація: This indispensable textbook/reference provides a comprehensive and reader-friendly introduction to the emerging field of computational social science (CSS). Presenting a unified treatment, the text examines in detail the four key methodological approaches of automated social information extraction, social network analysis, social complexity theory, and social simulation modeling. This updated and expanded new edition has been enhanced with numerous review questions and exercises to test what has been learned, deepen understanding through problem-solving, and to practice writing code to implement ideas and further explore the concepts. Topics and features: Contains more than a thousand problem questions and exercises, together with a list of acronyms and a glossary of terms Presents an introduction to the main areas, core concepts, and historical development of CSS, providing examples of a range of CSS investigations Examines the key similarities and differences between computers and social systems, from an information-processing perspective Presents a focus on automated information extraction, beginning with its roots in linguistics Introduces the fundamental elements of social network analysis, and computational approaches to analyzing social complexity Discusses the measurement, scientific laws, and generative theories of social complexity in CSS Reviews the methodology of social simulations, covering in detail both variable-oriented and object-oriented models This unique, clearly-written textbook is essential reading for graduate and advanced undergraduate students planning on embarking on a course on computational social science, or wishing to refresh their knowledge of the fundamental aspects of this exciting field. Dr. Claudio Cioffi-Revilla is University Professor and Professor of Computational Social Science, founding and former Chair of the Department of Computational Social Science, and founding and current Director of the Center for Social Complexity at George Mason University, VA, USA.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Cioffi-Revilla, Claudio. \.\
Вільних прим. немає
Знайти схожі
10.


    Lakshmivarahan, Sivaramakrishnan.
    Forecast Error Correction using Dynamic Data Assimilation [Electronic resource] / Sivaramakrishnan. Lakshmivarahan, Lewis, John M., Jabrzemski, Rafal. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 270 p. 125 illus., 104 illus. in color. - ISBN 9783319399973
    Зміст:
Рубрики: Data mining.
   Computer simulation.
   Computers.
   Atmospheric sciences.
   Geology—Statistical methods.
   Data Mining and Knowledge Discovery.
   Simulation and Modeling.
   Models and Principles.
   Atmospheric Sciences.
   Quantitative Geology.
Анотація: This book introduces the reader to a new method of data assimilation with deterministic constraints (exact satisfaction of dynamic constraints)—an optimal assimilation strategy called Forecast Sensitivity Method (FSM), as an alternative to the well-known four-dimensional variational (4D-Var) data assimilation method. 4D-Var works with a forward in time prediction model and a backward in time tangent linear model (TLM). The equivalence of data assimilation via 4D-Var and FSM is proven and problems using low-order dynamics clarify the process of data assimilation by the two methods. The problem of return flow over the Gulf of Mexico that includes upper-air observations and realistic dynamical constraints gives the reader a good idea of how the FSM can be implemented in a real-world situation. .
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Lewis, John M.; Jabrzemski, Rafal.; Lakshmivarahan, Sivaramakrishnan. \.\
Вільних прим. немає
Знайти схожі
11.


   
    The Application of Fuzzy Logic for Managerial Decision Making Processes [Electronic resource] : latest Research and Case Studies / / ed. Meier, Andreas. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 103 p. 35 illus. - ISBN 9783319540481
    Зміст:
Рубрики: Management information systems.
   E-business.
   Electronic commerce.
   E-commerce.
   Data mining.
   Computer simulation.
   Business Information Systems.
   e-Business/e-Commerce.
   e-Commerce/e-business.
   Data Mining and Knowledge Discovery.
   Simulation and Modeling.
Анотація: This book addresses the latest research and applications of fuzzy management methods for business decisions. It showcases a broad set of applications and discusses topics such as measures for the quality of analytics outcomes in big data environments; how fuzzy management methods support the inclusion of human thinking and human behavior in decision making processes; how to generate better results with fuzzy management methods in cases of imprecise information; new personalization concepts enabled by fuzzy logic for the offering of customized products and services especially in the electronic market; and lastly the application of fuzzy analysis for executives using natural rather than computer language. The combination of research papers and case studies makes it a valuable resource both for researchers and practitioners in the digital economy.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Meier, Andreas. \ed.\; Portmann, Edy. \ed.\; Stoffel, Kilian. \ed.\; Terán, Luis. \ed.\
Вільних прим. немає
Знайти схожі
12.


   
    Simulated Evolution and Learning [Electronic resource] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / / ed. Shi, Yuhui. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXII, 1041 p. 317 illus. - ISBN 9783319687599
    Зміст:
Рубрики: Computers.
   Artificial intelligence.
   Algorithms.
   Computer communication systems.
   Computer simulation.
   Computation by Abstract Devices.
   Artificial Intelligence.
   Algorithm Analysis and Problem Complexity.
   Models and Principles.
   Computer Communication Networks.
   Simulation and Modeling.
Анотація: This book constitutes the refereed proceedings of the 11th International Conference on Simulated Evolution and Learning, SEAL 2017, held in Shenzhen, China, in November 2017.  The 85 papers presented in this volume were carefully reviewed and selected from 145 submissions. They were organized in topical sections named: evolutionary optimisation; evolutionary multiobjective optimisation; evolutionary machine learning; theoretical developments; feature selection and dimensionality reduction; dynamic and uncertain environments; real-world applications; adaptive systems; and swarm intelligence.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Shi, Yuhui. \ed.\; Tan, Kay Chen. \ed.\; Zhang, Mengjie. \ed.\; Tang, Ke. \ed.\; Li, Xiaodong. \ed.\; Zhang, Qingfu. \ed.\; Tan, Ying. \ed.\; Middendorf, Martin. \ed.\; Jin, Yaochu. \ed.\
Вільних прим. немає
Знайти схожі
13.


   
    Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [Electronic resource] : 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / / ed. Mansi, Tommaso. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XI, 230 p. 108 illus. - ISBN 9783319527185
    Зміст:
Рубрики: Optical data processing.
   Health informatics.
   Computer simulation.
   Mathematical statistics.
   Pattern recognition.
   Cardiology.
   Image Processing and Computer Vision.
   Health Informatics.
   Simulation and Modeling.
   Probability and Statistics in Computer Science.
   Pattern Recognition.
   Cardiology.
Анотація: This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges. 7th International Workshop, STACOM 2016, Held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected papers The 24 revised full workshop papers were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics such as cardiac image processing; atlas construction, statistical modelling of cardiac function across different patient populations; cardiac mapping, cardiac computational physiology; model customization; image-based modelling and image-guided interventional procedures; atlas based functional analysis, ontological schemata for data and results; integrated functional and structural analyses; pre-clinical and clinical applicability of the methods described.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Mansi, Tommaso. \ed.\; McLeod, Kristin. \ed.\; Pop, Mihaela. \ed.\; Rhode, Kawal. \ed.\; Sermesant, Maxime. \ed.\; Young, Alistair. \ed.\
Вільних прим. немає
Знайти схожі
14.


   
    Application and Theory of Petri Nets and Concurrency [Electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / ed.: van der Aalst, Wil., Best, Eike. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 351 p. 136 illus. - ISBN 9783319578613
    Зміст:
Рубрики: Computer logic.
   Software engineering.
   Computer simulation.
   Mathematical logic.
   Artificial intelligence.
   Logics and Meanings of Programs.
   Software Engineering.
   Simulation and Modeling.
   Mathematical Logic and Formal Languages.
   Artificial Intelligence.
Анотація: This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
van der Aalst, Wil. \ed.\; Best, Eike. \ed.\
Вільних прим. немає
Знайти схожі
15.


   
    Computer Vision [Electronic resource] : second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11–14, 2017, Proceedings, Part I / / ed. Yang, Jinfeng. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXIV, 771 p. 373 illus. - ISBN 9789811072994
    Зміст:
Рубрики: Optical data processing.
   Artificial intelligence.
   Computer simulation.
   Data mining.
   Information storage and retrieval.
   Pattern recognition.
   Image Processing and Computer Vision.
   Artificial Intelligence.
   Simulation and Modeling.
   Data Mining and Knowledge Discovery.
   Information Storage and Retrieval.
   Pattern Recognition.
Анотація: This three volume set, CCIS 771, 772, 773, constitutes the refereed proceedings of the  CCF Chinese Conference on Computer Vision, CCCV 2017, held in Tianjin, China, in October 2017. The total of 174 revised full papers presented in three volumes were carefully reviewed and selected from 465 submissions. The papers are organized in the following topical sections: biological vision inspired visual method; biomedical image analysis; computer vision applications; deep neural network; face and posture analysis; image and video retrieval; image color and texture; image composition; image quality assessment and analysis; image restoration; image segmentation and classification; image-based modeling; object detection and classification; object identification; photography and video; robot vision; shape representation and matching; statistical methods and learning; video analysis and event recognition; visual salient detection.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Yang, Jinfeng. \ed.\; Hu, Qinghua. \ed.\; Cheng, Ming-Ming. \ed.\; Wang, Liang. \ed.\; Liu, Qingshan. \ed.\; Bai, Xiang. \ed.\; Meng, Deyu. \ed.\
Вільних прим. немає
Знайти схожі
16.


   
    Formal Techniques for Safety-Critical Systems [Electronic resource] : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers / / ed.: Artho, Cyrille., Ölveczky, Peter Csaba. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 161 p. 40 illus. - ISBN 9783319539461
    Зміст:
Рубрики: Computer logic.
   Software engineering.
   Programming languages (Electronic computers).
   Computer simulation.
   Computers.
   Logics and Meanings of Programs.
   Software Engineering.
   Programming Languages, Compilers, Interpreters.
   Simulation and Modeling.
   Computation by Abstract Devices.
Анотація: This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Artho, Cyrille. \ed.\; Ölveczky, Peter Csaba. \ed.\
Вільних прим. немає
Знайти схожі
17.


    Deutsch, Andreas.
    Cellular Automaton Modeling of Biological Pattern Formation [Electronic resource] : characterization, Examples, and Analysis / / Andreas. Deutsch, Dormann, Sabine. ; . - 2nd ed. 2017. - [S. l. : s. n.]. - XXII, 464 p. 174 illus., 80 illus. in color. - ISBN 9781489979803
    Зміст:
Рубрики: Biomathematics.
   Mathematical models.
   Computer simulation.
   Applied mathematics.
   Engineering mathematics.
   Bioinformatics .
   Computational biology .
   Physiological, Cellular and Medical Topics.
   Mathematical Modeling and Industrial Mathematics.
   Simulation and Modeling.
   Applications of Mathematics.
   Computer Appl. in Life Sciences.
Анотація: This text explores the use of cellular automata in modeling pattern formation in biological systems. It describes several mathematical modeling approaches utilizing cellular automata that can be used to study the dynamics of interacting cell systems both in simulation and in practice. New in this edition are chapters covering cell migration, tissue development, and cancer dynamics, as well as updated references and new research topic suggestions that reflect the rapid development of the field. The book begins with an introduction to pattern-forming principles in biology and the various mathematical modeling techniques that can be used to analyze them. Cellular automaton models are then discussed in detail for different types of cellular processes and interactions, including random movement, cell migration, adhesive cell interaction, alignment and cellular swarming, growth processes, pigment cell pattern formation, tissue development, tumor growth and invasion, and Turing-type patterns and excitable media. In the final chapter, the authors critically discuss possibilities and limitations of the cellular automaton approach in modeling various biological applications, along with future research directions. Suggestions for research projects are provided throughout the book to encourage additional engagement with the material, and an accompanying simulator is available for readers to perform their own simulations on several of the models covered in the text. With its accessible presentation and interdisciplinary approach, Cellular Automaton Modeling of Biological Pattern Formation is suitable for graduate and advanced undergraduate students in mathematical biology, biological modeling, and biological computing. It will also be a valuable resource for researchers and practitioners in applied mathematics, mathematical biology, computational physics, bioengineering, and computer science. PRAISE FOR THE FIRST EDITION “An ideal guide for someone with a mathematical or physical background to start exploring biological modelling. Importantly, it will also serve as an excellent guide for experienced modellers to innovate and improve their methodologies for analysing simulation results.” —Mathematical Reviews.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Dormann, Sabine.; Deutsch, Andreas. \.\
Вільних прим. немає
Знайти схожі
18.


   
    Simulating Social Complexity [Electronic resource] : a Handbook / / ed.: Edmonds, Bruce., Meyer, Ruth. - 2nd ed. 2017. - [S. l. : s. n.]. - VII, 838 p. 85 illus., 32 illus. in color. - ISBN 9783319669489
    Зміст:
Рубрики: Application software.
   Social sciences.
   Statistical physics.
   Dynamical systems.
   Behavioral sciences.
   Game theory.
   Computer simulation.
   Computer Appl. in Social and Behavioral Sciences.
   Social Sciences, general.
   Complex Systems.
   Behavioral Sciences.
   Game Theory, Economics, Social and Behav. Sciences.
   Simulation and Modeling.
Анотація: This volume examines all aspects of using agent or individual-based simulation. This approach represents systems as individual elements having their own set of differing states and internal processes. The interactions between elements in the simulation represent interactions in the target systems. What makes this "social" is that it can represent an observed society. Social systems include all those systems where the components have individual agency but also interact with each other. This includes human societies and groups, but also increasingly socio-technical systems where the internet-based devices form the substrate for interaction. These systems are central to our lives, but are among the most complex known. This poses particular problems for those who wish to understand them. The complexity often makes analytic approaches infeasible but, on the other hand, natural language approaches are also inadequate for relating intricate cause and effect. This is why individual an d agent-based computational approaches hold out the possibility of new and deeper understanding of such systems. This handbook marks the maturation of this new field. It brings together summaries of the best thinking and practices in this area from leading researchers in the field and constitutes a reference point for standards against which future methodological advances can be judged. This second edition adds new chapters on different modelling purposes and applying software engineering methods to simulation development. Revised existing content will keep the book up-to-date with recent developments. This volume will help those new to the field avoid "reinventing the wheel" each time, and give them a solid and wide grounding in the essential issues. It will also help those already in the field by providing accessible overviews of current thought. The material is divided into four sections: Introduction, Methodology, Mechanisms, and Applications . Each chapter starts with a very brief section called ‘Why read this chapter?’ followed by an abstract, which summarizes the content of the chapter. Each chapter also ends with a section on ‘Further Reading’. Whilst sometimes covering technical aspects, this second edition of Simulating Social Complexity is designed to be accessible to a wide range of researchers, including both those from the social sciences as well as those with a more formal background. It will be of use as a standard reference text in the field and also be suitable for graduate level courses.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Edmonds, Bruce. \ed.\; Meyer, Ruth. \ed.\
Вільних прим. немає
Знайти схожі
19.


   
    Software Process Improvement and Capability Determination [Electronic resource] : 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings / / ed. Mas, Antonia. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 530 p. 89 illus. - ISBN 9783319673837
    Зміст:
Рубрики: Management information systems.
   Computer science.
   Software engineering.
   Information technology.
   Business—Data processing.
   Application software.
   Computer system failures.
   Computer simulation.
   Management of Computing and Information Systems.
   Software Engineering.
   IT in Business.
   Computer Appl. in Administrative Data Processing.
   System Performance and Evaluation.
   Simulation and Modeling.
Анотація: This book constitutes the refereed proceedings of the 17th International Conference on Software Process Improvement and Capability Determination, SPICE 2017, held in Palma de Mallorca, Spain, in October 2017. The 34 full papers presented together with 4 short papers were carefully reviewed and selected from 65 submissions. The papers are organized in the following topical sections: SPI in agile approaches; SPI in small settings; SPI and assessment; SPI and models; SPI and functional safety; SPI in various settings; SPI and gamification; SPI case studies; strategic and knowledge issues in SPI; education issues in SPI. .
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Mas, Antonia. \ed.\; Mesquida, Antoni. \ed.\; O'Connor, Rory V. \ed.\; Rout, Terry. \ed.\; Dorling, Alec. \ed.\
Вільних прим. немає
Знайти схожі
20.


   
    Communication Technologies for Vehicles [Electronic resource] : 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings / / ed. Pirovano, Alain. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - X, 143 p. 92 illus. - ISBN 9783319568805
    Зміст:
Рубрики: Special purpose computers.
   Computer communication systems.
   Computer system failures.
   Computer simulation.
   Application software.
   Special Purpose and Application-Based Systems.
   Computer Communication Networks.
   System Performance and Evaluation.
   Simulation and Modeling.
   Information Systems Applications (incl. Internet).
Анотація: This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017. The 12 full papers presented together with 2 demo papers in this volumewere carefully reviewed and selected from 16 submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: Vehicles on road: e.g. cars, tracks and buses; Air: e.g. aircraft and unmanned aerial vehicles; and Rail: e.g. trains, metros and trams.
Есть полнотекстовые версии (для доступа требуется авторизация)

Дод.точки доступу:
Pirovano, Alain. \ed.\; Berbineau, Marion. \ed.\; Vinel, Alexey. \ed.\; Guerber, Christophe. \ed.\; Roque, Damien. \ed.\; Mendizabal, Jaizki. \ed.\; Bonneville, Hervé. \ed.\; Aniss, Hasnaâ. \ed.\; Ducourthial, Bertrand. \ed.\
Вільних прим. немає
Знайти схожі
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартний
Розширений
Професійний
За словником
ДРНТІ-навігатор
УДК-навігатор
Тематичний навігатор
Статистика
за 13.07.2024
Кількість запитів 934
Кількість відвідувачів 1
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)