Výsledky vyhledávání - Theory of computation, Models of computation

Essentials of computational chemistry. Theories and models / Autor Cramer, Christopher J.

Computational genomics : theory and application / Autor Grant, Richard P.

Non-clasical logics, model theory and computability.

Trade Theory in Computable General Equilibrium Models Armington, Krugman and Melitz / Autor Dixon, Peter B.

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /

Combustion Theory and Modelling

Computational Models in Architecture : Towards Communication in CAAD. Spectral Characterisation and Modelling with Conjugate Symbolic Domains / Autor Marinčić, Nikola

The New Generation of Computable General Equilibrium Models Modeling the Economy /

Soft Computing: Theories and Applications Proceedings of SoCTA 2016, Volume 1 /

Soft Computing: Theories and Applications Proceedings of SoCTA 2016, Volume 2 /

Frontier Computing Theory, Technologies and Applications FC 2016 /

Obsah: “…-Programming Languages -- Communication and Networking -- Database and Data Mining -- Big Data and Internet of Things -- Web and Internet Computing -- Natural Language Processing -- Operating Systems -- Image Processing, Pattern Recognition, Multimedia Technology -- Embedded system and software; -Game Theory; -Anticipatory Computing -- Geographical Information Systems/ Global Navigation Satellite Systems (GIS/GNSS) -- Intelligent Information & Database Systems -- Security and Privacy -- Social Web, Network, and Computing -- Social, Ethical & Other Issues of Networked World -- Software Design Patterns & Engineering -- Information/Business Management, and IT policy -- Mobile and Ubiquitous Computing -- Modeling and Simulation -- Multimedia systems and services -- Integrating Technology in Real-World Environment -- Promising topics in all aspects of information technology, science, and engineering.…”

Frontier Computing Theory, Technologies and Applications (FC 2017) /

Probability, stochastic processes, and queueing theory. The mathematics of computer performance modeling / Autor Nelson, Randolph

Computation and Combinatorics in Dynamics, Stochastics and Control The Abel Symposium, Rosendal, Norway, August 2016 /

Obsah: “…Murua et al -- Quantitative Limit Theorems for Local Functionals of Arithmetic Random Waves: Giovanni Peccati et al -- Combinatorics on Words and the Theory of Markoff: Christophe Reutenauer -- An Algebraic Approach to Integration of Geometric Rough Paths: Danyu Yang. .…”

Computational Neuroscience Models of the Basal Ganglia Autor Chakravarthy, V. Srinivasa

Quantum Computational Chemistry Modelling and Calculation for Functional Materials / Autor Onishi, Taku

Computer Science and Engineering-Theory and Applications

Mathematical Modelling for Next-Generation Cryptography CREST Crypto-Math Project /

Applied Physics, System Science and Computers Proceedings of the 1st International Conference on Applied Physics, System Science and Computers (APSAC2016), September 28-30, Dubrovn...

Modelling Identities A Case Study from the Iron Age of South-East Europe / Autor Popa, Catalin Nicolae