A Semi-Automatic Translator from System Dynamics to Modelica with Application to Socio-Bio-Physical Systems

Συγγραφείς: John Tinnerholm, M. A. González Zapatero, Adrian Pop, Peter Fritzson, Rodrigo Castro

Πηγή: Linköping Electronic Conference Proceedings. 200:302-309

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Simulations, Artificial intelligence, Information Systems and Management, Modelica, Social Sciences, Management Science and Operations Research, System dynamics, Metamodeling, 7. Clean energy, Decision Sciences, Engineering, 14. Life underwater, Management and Reproducibility of Scientific Workflows, Control engineering, Physics, Modeling language, Optics, Hybrid Modeling, 15. Life on land, Focus (optics), Computer science, Programming language, Computational Theory and Mathematics, 13. Climate action, Modelica Language and Simulation Environment, Modeling and Simulation, Computer Science, Physical Sciences, Correctness, Software

Process Approach-Based Simulation Project Life Cycle: PAB-SPLC

Συγγραφείς: Khadija Ouazzani-Touhami, Kawtar Tikito, Nissrine Souissi

Πηγή: Journal of Computer Science. 19:925-937

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Artificial intelligence, Business process modeling, Economics, Variety (cybernetics), Social Sciences, Business, Management and Accounting, Discrete event simulation, Epistemology, Management Science and Operations Research, Process Models, Industrial and Manufacturing Engineering, Work in process, Management Information Systems, Decision Sciences, Systems engineering, 12. Responsible consumption, Process Modeling Languages, Engineering, 11. Sustainability, Business, Business Process Model and Notation, Software engineering, 9. Industry and infrastructure, Workflow Mining and Business Process Management, Computer science, Business process, Process (computing), FOS: Philosophy, ethics and religion, Predictive Process Monitoring, Philosophy, Operating system, Operations management, Physical Sciences, Semantic Business Process Management, Quality (philosophy), Process Performance Measurement, Process management, Industry 4.0 and Digital Transformation in Manufacturing, Simulation

A FRAMEWORK FOR PROCESS-RESOURCE REQUIREMENTS PREDICTION IN A FACTORED OPERATING SYSTEMS USING MACHINE LEARNING

Συγγραφείς: Habila Mikailu, Iorshase Agaji, Blamah Nachamada, Ishaya Gambo

Πηγή: FUDMA JOURNAL OF SCIENCES. 6:289-295

Θεματικοί όροι: FOS: Computer and information sciences, Optimization Techniques in Simulation Modeling, Parallel computing, Artificial intelligence, Computer Networks and Communications, Social Sciences, 02 engineering and technology, Cloud Computing and Big Data Technologies, Management Science and Operations Research, 01 natural sciences, 7. Clean energy, Simulation Optimization, Decision Sciences, Distributed Grid Computing Systems, Machine learning, 0103 physical sciences, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Resource allocation, Computer network, Multi-core processor, Mathematical optimization, Computer science, Distributed computing, Task Scheduling, Process (computing), High-Performance Computing, Operating system, Resource Management System, Computer Science, Physical Sciences, Scheduling (production processes), Mathematics, Information Systems

Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy Systems

Συγγραφείς: André Ivo, Sheila Granato Ribeiro, Fátima Mattiello-Francisco, Andrea Bondavalli

Πηγή: IEEE Access, Vol 11, Pp 58136-58158 (2023)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, System of systems, Internet of Things, Social Sciences, Management Science and Operations Research, cyber-physical systems, Autonomic Computing and Self-Adaptive Systems, Cyber-physical system, Decision Sciences, Data science, Systems engineering, Engineering, Context (archaeology), Artificial Intelligence, Field (mathematics), Flexibility in System Design, Self-Adaptive Systems, FOS: Mathematics, System of Systems Engineering and Design, Biology, Aerospace, Composition (language), systems engineering, Software engineering, Complex Adaptive Systems, Socio-Technical Systems, Pure mathematics, Paleontology, Linguistics, Computer science, TK1-9971, Process (computing), Systems design, FOS: Philosophy, ethics and religion, Programming language, Philosophy, Operating system, Architecting Complex Systems, Aerospace engineering, Control and Systems Engineering, Physical Sciences, Computer Science, model-based system engineering, FOS: Languages and literature, Systems of Systems, Cyber Physical Systems, maintenance, QoS, security, Electrical engineering. Electronics. Nuclear engineering, Software, Mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://doaj.org/article/0b16ddf199094a31b110f6b357cb817e
https://hdl.handle.net/2158/1322491
https://ieeexplore.ieee.org/document/10146263
https://doi.org/10.1109/ACCESS.2023.3284039

Selecting a set of best stochastic inventory policies measured by opportunity cost

Συγγραφείς: Mohammad H. Almomani, Mahmoud H. Alrefaei

Πηγή: AIMS Mathematics, Vol 8, Iss 2, Pp 4892-4906 (2023)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Artificial intelligence, 0209 industrial biotechnology, Economics, 0211 other engineering and technologies, Social Sciences, Business, Management and Accounting, Set (abstract data type), Epistemology, 02 engineering and technology, Management Science and Operations Research, Operations research, stochastic inventory model, Industrial and Manufacturing Engineering, Simulation Optimization, Management Information Systems, Decision Sciences, 12. Responsible consumption, Total cost, Engineering, Selection (genetic algorithm), QA1-939, FOS: Mathematics, Microeconomics, Data mining, Order (exchange), Coordination and Information Sharing in Supply Chains, Mathematical optimization, 1. No poverty, Hybrid Optimization, Measure (data warehouse), simulation, 16. Peace & justice, Computer science, FOS: Philosophy, ethics and religion, Programming language, Philosophy, computing budget allocation, Scheduling Problems in Manufacturing Systems, Physical Sciences, 8. Economic growth, Quality (philosophy), opportunity cost, optimization, Mathematics, Finance

Σύνδεσμος πρόσβασης: https://doaj.org/article/8b37a902e2e34f72a9825239f4050e43

Applicability of Geographically Distributed Simulations

Συγγραφείς: Mazheruddin H. Syed, Tran The Hoang, Alkistis Kontou, Alexandros Paspatis, Graeme Burt, Yvon Bésanger, Efren Guillo‐Sansano, Steffen Vogel, Ha Thi Nguyen, Nikos Hatziargyriou

Πηγή: IEEE Transactions on Power Systems

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Parallel computing, Interface (matter), Electrical engineering. Electronics Nuclear engineering, Scale (ratio), TK, Real-Time Simulation Technologies for Power Systems, Social Sciences, 02 engineering and technology, Management Science and Operations Research, Real-Time Simulation, Quantum mechanics, Electric power system, Reliability engineering, Decision Sciences, Engineering, Machine learning, FOS: Electrical engineering, electronic engineering, information engineering, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Stability (learning theory), Discrete-Event Simulation, Bubble, Parallel Simulation Systems, Complex Adaptive Systems, Physics, Power (physics), Computer science, Distributed computing, Industrial engineering, Realisation, Control and Systems Engineering, Modeling and Simulation, Physical Sciences, Maximum bubble pressure method, Modular Multilevel Converters in HVDC Systems

Περιγραφή αρχείου: application/pdf; text

Σύνδεσμος πρόσβασης: https://strathprints.strath.ac.uk/81986/1/Syed_etal_IEEE_TPS_2022_Applicability_of_geographically_distributed.pdf

Stochastic Timed Discrete-Event Systems: Modular Modeling and Performance Evaluation Through Markovian Jumps

Συγγραφείς: Carlos Andrey Maia

Πηγή: IEEE Access, Vol 10, Pp 108332-108341 (2022)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, 0209 industrial biotechnology, Modeling and Control of Petri Nets in Systems, Flexibility (engineering), Social Sciences, Markovianization techniques, Business, Management and Accounting, Discrete event simulation, 02 engineering and technology, Management Science and Operations Research, Quantum mechanics, 7. Clean energy, Management Information Systems, Decision Sciences, Database, Theoretical computer science, Monte Carlo computer simulation, FOS: Mathematics, Genetics, 0202 electrical engineering, electronic engineering, information engineering, Markov process, Stochastic discrete-event systems, Event (particle physics), Biology, Modular design, Discrete-Event Simulation, Operations Management in Call Centers, Physics, Statistics, Scalability, Discrete-Event Systems, Computer science, Distributed computing, Stochastic process, TK1-9971, Programming language, Computational Theory and Mathematics, modular models, FOS: Biological sciences, Computer Science, Physical Sciences, Dynamic Scheduling, Electrical engineering. Electronics. Nuclear engineering, analytic models, Modularity (biology), Simulation, Mathematics

Σύνδεσμος πρόσβασης: https://doaj.org/article/3363fdc818c84b8fb4b3985cbd877c5d

Distributed Reconfiguration for Resilient Synchronization of Multi-Agent Systems

Συγγραφείς: Gilberto Díaz-García, Daniel Guatibonza, Luis Felipe Giraldo

Πηγή: IEEE Access, Vol 9, Pp 140235-140247 (2021)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Artificial intelligence, 0209 industrial biotechnology, Computer Networks and Communications, best response games, Social Sciences, FOS: Mechanical engineering, Heuristic, 02 engineering and technology, Management Science and Operations Research, Control reconfiguration, Multi-Agent Systems, Simulation Optimization, Decision Sciences, Engineering, Agent-Based Modeling, Distributed Multi-Agent Coordination and Control, Distributed Optimization, Self-Reconfigurable Robotic Systems and Modular Robotics, Synchronization (alternating current), State (computer science), 0202 electrical engineering, electronic engineering, information engineering, multi-agent systems, Embedded system, output synchronization, Computer network, Resilience, reconfiguration, Mechanical Engineering, Distributed Control, Computer science, Distributed computing, State information, TK1-9971, Algorithm, Multi-agent system, Channel (broadcasting), Computer Science, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering

Σύνδεσμος πρόσβασης: https://ieeexplore.ieee.org/ielx7/6287639/6514899/09568925.pdf
https://doaj.org/article/68cba75837e545098f26d2f43da69db6
https://dblp.uni-trier.de/db/journals/access/access9.html#Diaz-GarciaGG21
https://doi.org/10.1109/ACCESS.2021.3119488

Simulation-supported development for cooperative Multi-UAV Systems with the Mysterio framework

Συγγραφείς: Antônio Sávio Nascimento Cavalcante, Breno Bernard Nicolau de França

Πηγή: Journal of Software Engineering Research and Development. 11

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Computer Networks and Communications, Unmanned Aerial Vehicle Communications, Aerospace Engineering, FOS: Mechanical engineering, Social Sciences, Set (abstract data type), Reuse, Management Science and Operations Research, 7. Clean energy, Visual arts, Decision Sciences, Systems engineering, Engineering, Distributed Multi-Agent Coordination and Control, Architecture, Code reuse, Genetics, 14. Life underwater, Drone Applications, Biology, Waste management, Code (set theory), 2. Zero hunger, Software engineering, Computer science, Drone, Distributed computing, 6. Clean water, Programming language, Operating system, FOS: Biological sciences, Physical Sciences, Computer Science, FOS: Civil engineering, Software, Art

Hardware-in-the-loop simulation approach for the Robot at Factory Lite competition proposal

Συγγραφείς: José Lima, Paulo Costa, Thadeu Brito, Luis Piardi

Συνεισφορές: Biblioteca Digital do IPB

Πηγή: 2019 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC). :1-6

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Hardware-in-the-Loop, Artificial intelligence, Robotics competition, Robot, Economics, Real-Time Simulation Technologies for Power Systems, Social Sciences, 02 engineering and technology, Management Science and Operations Research, Decision Sciences, Robotic arm, Engineering, Service (business), Mobile robot, 0202 electrical engineering, electronic engineering, information engineering, Arduino, Scope (computer science), Embedded system, Biology, Robot control, Ecology, Control engineering, Real-Time Scheduling in Embedded Systems, 05 social sciences, Competition (biology), Robotics, Economy, Computer science, Programming language, Factory (object-oriented programming), Hardware and Architecture, Control and Systems Engineering, FOS: Biological sciences, Computer Science, Physical Sciences, Factory logistics, 0503 education, Simulation

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://bibliotecadigital.ipb.pt/bitstream/10198/20934/1/icarsc2019HLRAFL_ISIScopus.pdf
https://dblp.uni-trier.de/db/conf/icarsc/icarsc2019.html#LimaCBP19
https://ieeexplore.ieee.org/abstract/document/8733649
https://hdl.handle.net/10198/20934

A Comparative Study of Computer-Aided Engineering Techniques for Robot Arm Applications

Συγγραφείς: Lilia Zouari, Slim Chtourou, Mossaad Ben Ayed, Shaya A. Alshaya

Πηγή: Engineering, Technology & Applied Science Research. 10:6526-6532

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Simulations, MATLAB, Artificial intelligence, Robot, Real-Time Simulation Technologies for Power Systems, Social Sciences, Geometry, Co-Simulation, Hardware-in-the-loop simulation, 02 engineering and technology, Management Science and Operations Research, Real-Time Simulation, Decision Sciences, Systems engineering, Robotic arm, Task (project management), Engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Embedded system, Reusability, Control engineering, Hybrid Modeling, Computer science, Process (computing), Operating system, Computational Theory and Mathematics, Control and Systems Engineering, Modelica Language and Simulation Environment, Modeling and Simulation, Physical Sciences, Computer Science, Reduction (mathematics), Software portability, Software, Simulation, Mathematics

Σύνδεσμος πρόσβασης: https://etasr.com/index.php/ETASR/article/download/3885/2408
https://www.etasr.com/index.php/ETASR/article/view/3885

An Object-Oriented Systems Engineering Point of View to Develop Controllers of Quadrotor Unmanned Aerial Vehicles

Συγγραφείς: Van Thuan Truong, Ngoc Tam Bui, Ngo Van Hien

Πηγή: International Journal of Aerospace Engineering, Vol 2020 (2020)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, 0209 industrial biotechnology, Social Sciences, 02 engineering and technology, Management Science and Operations Research, Sampling-Based Motion Planning Algorithms, Real-time computing, Decision Sciences, Model Checking, Systems engineering, Engineering, Unified Modeling Language, Embedded system, Motor vehicles. Aeronautics. Astronautics, Reusability, Control engineering, Modeling language, TL1-4050, Hybrid Systems, Computer science, Distributed computing, Programming language, Computational Theory and Mathematics, 13. Climate action, Modeling and Simulation, Computer Science, Physical Sciences, Systems Modeling Language, Computer Vision and Pattern Recognition, Software, Formal Methods in Software Verification and Control

Περιγραφή αρχείου: text/xhtml

Σύνδεσμος πρόσβασης: https://downloads.hindawi.com/journals/ijae/2020/8862864.pdf
https://doaj.org/article/3dbd01260a954778a15851da69c1b6c8
https://www.hindawi.com/journals/ijae/2020/8862864/
http://downloads.hindawi.com/journals/ijae/2020/8862864.pdf
https://downloads.hindawi.com/journals/ijae/2020/8862864.pdf
https://shibaura.pure.elsevier.com/en/publications/an-object-oriented-systems-engineering-point-of-view-to-develop-c

Coupling Soft Computing, Simulation and Optimization in Supply Chain Applications: Review and Taxonomy

Συγγραφείς: Hanane El Raoui, Mustapha Oudani, A. El Alaoui

Πηγή: IEEE Access, Vol 8, Pp 31710-31732 (2020)

Θεματικοί όροι: Artificial intelligence, 0209 industrial biotechnology, guide, Complex system, FOS: Political science, 0211 other engineering and technologies, Social Sciences, FOS: Mechanical engineering, 02 engineering and technology, Industrial and Manufacturing Engineering, Decision Sciences, taxonomy, Engineering, Optimization problem, Political science, Scheduling, Coordination and Information Sharing in Supply Chains, Hybrid Optimization, simulation, Mechanical engineering, Algorithm, Modeling and Simulation, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, Optimization, Optimization Techniques in Simulation Modeling, Management. Industrial Management, review, Business, Management and Accounting, FOS: Law, Management Science and Operations Research, Simulation Optimization, Management Information Systems, Field (mathematics), Coupling (piping), FOS: Mathematics, supply chain, Complex Adaptive Systems, Pure mathematics, Supply chain, Computer science, TK1-9971, Process (computing), Management science, Industrial engineering, Operating system, Scheduling Problems in Manufacturing Systems, Law, Mathematics

Περιγραφή αρχείου: text

Σύνδεσμος πρόσβασης: https://ieeexplore.ieee.org/ielx7/6287639/8948470/08993766.pdf
https://doaj.org/article/99831429d36640708bd3eb304c0f1f51
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002213034466306
https://dblp.uni-trier.de/db/journals/access/access8.html#RaouiOA20
http://ieeexplore.ieee.org/document/8993766/
https://ieeexplore.ieee.org/document/8993766/

The OpenModelica Integrated Environment for Modeling, Simulation, and Model-Based Development

Συγγραφείς: Peter Fritzson, Adrian Pop, Karim Abdelhak, Adeel Ashgar, Bernhard Bachmann, Willi Braun, Daniel Bouskela, Robert Braun, Lena Buffoni, Francesco Casella, Rodrigo Castro, Rüdiger Franke, Dag Fritzson, Mahder Gebremedhin, Andreas Heuermann, Bernt Lie, Alachew Mengist, Lars Mikelsons, Kannan M. Moudgalya, Lennart Ochel, Arunkumar Palanisamy, Vitalij Ruge, Wladimir Schamai, Martin Sjölund, Bernhard Thiele, John Tinnerholm, Per Östlund

Πηγή: Modeling, Identification and Control, Vol 41, Iss 4, Pp 241-295 (2020)
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Θεματικοί όροι: 0209 industrial biotechnology, Modelica, Programvaruteknik, real-time, Social Sciences, 02 engineering and technology, metamodelica, Datorteknik, Decision Sciences, Systems engineering, embedded system, SYMBOLIC, Engineering, METAMODELICA, MODELING, Parallel Computing and Performance Optimization, OpenModelica, Computer Engineering, Open Source, Computer Sciences, Software Engineering, MetaModelica, Simulation Platforms, simulation, EMBEDDED SYSTEM, numeric, Computational Theory and Mathematics, Hardware and Architecture, Modeling and Simulation, MODELICA, SIMULATION, Physical Sciences, compilation, optimization, environment, Optimization Techniques in Simulation Modeling, Simulations, Management Science and Operations Research, modelica, DEVELOPMENT, OPENMODELICA, 0204 chemical engineering, OPTIMIZATION, FMI, development, ENVIRONMENT, NUMERIC, REAL-TIME, modeling, QA75.5-76.95, Computer science, Datavetenskap (datalogi), openmodelica, Electronic computers. Computer science, Modelica Language and Simulation Environment, Computer Science, symbolic, COMPILATION, fmi

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://www.mic-journal.no/PDF/2020/MIC-2020-4-1.pdf
https://doaj.org/article/d3190df0cbe443b981c9357baaf608dd
http://hdl.handle.net/11336/204742
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-172069

Learning Accurate Business Process Simulation Models from Event Logs via Automated Process Discovery and Deep Learning

Συγγραφείς: Manuel Camargo, Marlon Dumas, Oscar González-Rojas

Πηγή: Lecture Notes in Computer Science ISBN: 9783031074714
Proceedings of CAiSE 2022: International Conference on Advanced Information Systems Engineering
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Advanced Information Systems Engineering

Θεματικοί όροι: FOS: Computer and information sciences, Data Quality Assessment and Improvement, Optimization Techniques in Simulation Modeling, Artificial intelligence, Business process modeling, Computer Science - Artificial Intelligence, Generative grammar, Business process discovery, Social Sciences, Business, Management and Accounting, 02 engineering and technology, Management Science and Operations Research, Process Models, Leverage (statistics), Quantum mechanics, Work in process, Management Information Systems, Decision Sciences, Computer Science - Software Engineering, Engineering, Machine learning, 0202 electrical engineering, electronic engineering, information engineering, Process mining, Event (particle physics), Data mining, Discrete-Event Simulation, Physics, Workflow Mining and Business Process Management, Computer science, Business process, Process (computing), Software Engineering (cs.SE), Predictive Process Monitoring, Operating system, Artificial Intelligence (cs.AI), Operations management, Modeling and Simulation, Semantic Business Process Management, Process modeling, Generative model

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2103.11944

A Data-Driven Approach to Discovering Process Choreography

Συγγραφείς: Jaciel David Hernandez-Resendiz, Edgar Tello-Leal, Marcos Sepúlveda

Πηγή: Algorithms, Vol 17, Iss 5, p 188 (2024)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Artificial intelligence, Industrial engineering. Management engineering, Ingeniería, Social Sciences, IOBP, Business, Management and Accounting, 02 engineering and technology, Discovery, T55.4-60.8, Management Science and Operations Research, Process Models, Management Information Systems, Decision Sciences, Data science, Process Modeling Languages, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Process mining, Data mining, process choreography, 9. Industry and infrastructure, process mining, Workflow Mining and Business Process Management, QA75.5-76.95, Choreography, Data-driven, 16. Peace & justice, Computer science, Process (computing), Programming language, Dance, Predictive Process Monitoring, Literature, Electronic computers. Computer science, Computer Science, Physical Sciences, data-driven, Workflow Mining, Process choreography, Process Performance Measurement, discovery, Semantic Web and Ontology Development, Art

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://doaj.org/article/a6287dc22ffc4fb2a518b916870cb8c1

HLA Run Time Infrastructure: A Comparative Study

Συγγραφείς: Aamir Akram, Muhammad Shahzad Sarfraz, Umar Shoaib

Πηγή: Mehran University Research Journal of Engineering and Technology, Vol 38, Iss 4, Pp 961-972 (2019)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Technology, Data Stream Management Systems and Techniques, Computer Networks and Communications, Science, Social Sciences, 02 engineering and technology, Management Science and Operations Research, Decision Sciences, Distributed Grid Computing Systems, 0202 electrical engineering, electronic engineering, information engineering, Reusability, Software engineering, Engineering (General). Civil engineering (General), Interoperability, 16. Peace & justice, Computer science, Distributed computing, Process (computing), Operating system, Distributed Systems, Implementation, Computer Science, Physical Sciences, TA1-2040, High-level architecture, Software, Middleware (distributed applications)

Σύνδεσμος πρόσβασης: https://publications.muet.edu.pk/index.php/muetrj/article/download/1242/371
https://doaj.org/article/2658aa6b82c94e87a0e67cdf0df873d2
http://ui.adsabs.harvard.edu/abs/2019MURJE..38..961A/abstract

Engineering Secure Self-Adaptive Systems with Bayesian Games

Συγγραφείς: Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan

Πηγή: Lecture Notes in Computer Science ISBN: 9783030714994
Fundamental Approaches to Software Engineering

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, FOS: Computer and information sciences, Artificial intelligence, Flexibility (engineering), Social Sciences, Security domain, Management Science and Operations Research, Adversarial system, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, 7. Clean energy, Article, Decision Sciences, Theoretical computer science, Game Theory, Software Architecture, Sociology, Artificial Intelligence, Computer security, Sequential game, Self-Adaptive Systems, FOS: Mathematics, 14. Life underwater, Bayesian game, Granularity, Game theory, Domain (mathematical analysis), Adaptation (eye), Mathematical economics, Complex Adaptive Systems, Physics, Information Security Policy Compliance and Awareness, Statistics, Optics, Social science, 16. Peace & justice, Computer science, Distributed computing, FOS: Sociology, 3. Good health, Compromise, Operating system, 13. Climate action, Computer Science, Physical Sciences, Attack Graphs, Mathematics, Information Systems

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007%2F978-3-030-71500-7_7.pdf
https://dblp.uni-trier.de/db/conf/fase/fase2021.html#LiZKG21
https://link.springer.com/chapter/10.1007/978-3-030-71500-7_7
https://link.springer.com/content/pdf/10.1007%2F978-3-030-71500-7_7.pdf
https://europepmc.org/article/PMC/PMC7978712
https://rd.springer.com/chapter/10.1007/978-3-030-71500-7_7

Optimize Data-Driven Multi-Agent Simulation for COVID-19 Transmission

Συγγραφείς: Chao Jin, Hao Zhang, Ling Yin, Yong Zhang, Shibin Feng

Πηγή: BMC Bioinformatics
BMC Bioinformatics, Vol 23, Iss 1, Pp 1-14 (2022)

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Parallel computing, Table (database), QH301-705.5, Computer applications to medicine. Medical informatics, R858-859.7, Social Sciences, Management Science and Operations Research, Case-focused method, Speedup, Simulation Optimization, Hash table, Decision Sciences, Agent-Based Modeling, Computer security, FOS: Mathematics, Humans, Computer Simulation, Biology (General), Data mining, Research, Modeling the Dynamics of COVID-19 Pandemic, COVID-19, Multi-agent simulation, Computer science, 3. Good health, Algorithm, Cache, Modeling and Simulation, Physical Sciences, Computation, Hash function, Algorithms, Software, Mathematics

Σύνδεσμος πρόσβασης: https://www.researchsquare.com/article/rs-1378622/latest.pdf
https://pubmed.ncbi.nlm.nih.gov/35778688
https://doaj.org/article/32af7a13b70c4c6297f8765cfa644f51

Unbounded-Time Safety Verification of Stochastic Differential Dynamics

Συγγραφείς: Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

Πηγή: Lecture Notes in Computer Science ISBN: 9783030532901
Computer Aided Verification
Cham, Switzerland : Springer, Lecture notes in computer science 12225, 327-348 (2020). doi:10.1007/978-3-030-53291-8_18
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds)
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds)32. International Conference on Computer Aided Verification, CAV 2020, online, 2020-07-21-2020-07-24
Computer Aided Verification : 32nd International Conference, CAV 2020

Θεματικοί όροι: Optimization Techniques in Simulation Modeling, Artificial intelligence, 0209 industrial biotechnology, barrier certificates, Interval (graph theory), Runtime Verification, Social Sciences, Dynamical Systems (math.DS), 02 engineering and technology, Management Science and Operations Research, Mathematical analysis, unbounded safety verification, Article, Decision Sciences, Model Checking, Bounding overwatch, Bounded function, Safety Verification, Probability distribution, Engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Mathematics - Dynamical Systems, Mathematics - Optimization and Control, Discrete-Event Simulation, Stochastic differential equation, Mathematical optimization, Statistics, Applied mathematics, Computer science, stochastic differential equations (SDEs), failure probability bound, Algorithm, Certificate, Aerospace engineering, Computational Theory and Mathematics, Combinatorics, Optimization and Control (math.OC), Uncertainty Quantification and Sensitivity Analysis, Computer Science, Physical Sciences, Uncertainty Quantification, Finite set, Statistics, Probability and Uncertainty, Intersection (aeronautics), Mathematics, Formal Methods in Software Verification and Control

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007%2F978-3-030-53291-8_18.pdf
http://arxiv.org/abs/2006.01858
https://par.nsf.gov/servlets/purl/10233219
http://publications.rwth-aachen.de/record/794357
https://par.nsf.gov/biblio/10233219-unbounded-time-safety-verification-stochastic-differential-dynamics
https://rd.springer.com/chapter/10.1007/978-3-030-53291-8_18
https://dblp.uni-trier.de/db/conf/cav/cav2020-2.html#FengC00Z20
https://doi.org/10.1007/978-3-030-53291-8_18
https://publications.rwth-aachen.de/record/794357