Suggested Topics within your search.
Suggested Topics within your search.
- Computer modelling & simulation
- Software Engineering 18
- Artificial intelligence 14
- Computer science 12
- Computer networking & communications 10
- Computer programming / software development 10
- Mathematical theory of computation 10
- Information technology: general issues 8
- Algorithms & data structures 7
- Systems analysis & design 6
- Maths for scientists 4
- Production engineering 4
- Programming & scripting languages: general 4
- Robotics 4
- Engines & power transmission 3
- Heat transfer processes 3
- Mathematical physics 3
- Mechanics of fluids 3
- Thermodynamics & heat 3
- Agronomy & crop production 2
- Archaeology 2
- Automatic control engineering 2
- Civil engineering, surveying & building 2
- Computer aided manufacture (CAM) 2
- Computer hardware 2
- Computer-aided design (CAD) 2
- Decision theory: general 2
- Differential calculus & equations 2
- Earth sciences 2
- Econometrics 2
-
101
Advances in Principal Component Analysis
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
102
Bayesian Inference Recent Advantages
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
103
Time Series Analysis New Insights
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
104
-
105
-
106
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
107
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
108
-
109
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
110
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
111
X-Machines for Agent-Based Modeling FLAME Perspectives
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
112
The Multi-Agent Transport Simulation MATSim
Published 2016OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
113
Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings
Published 2013OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
114
Software for Exascale Computing - SPPEXA 2016-2019
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
115
-
116
Annals of Scientific Society for Assembly, Handling and Industrial Robotics
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
117
Cyber-Physical Systems: A Model-Based Approach
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
118
Scaling of Differential Equations
Published 2016OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
119
-
120
Chapter Towards a Realistic and Self-Contained Biomechanical Model of the Hand
Published 2011OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter