Linear Quadratic Control Problem for Linear Stochastic Systems

BOOK CHAPTER published in Mathematical Concepts and Methods in Science and Engineering

Mathematical Methods in Robust Control of Linear Stochastic Systems

BOOK published 2006 in Mathematical Concepts and Methods in Science and Engineering

Feedback methods for inverse simulation of dynamic models for engineering systems applications

JOURNAL ARTICLE published October 2011 in Mathematical and Computer Modelling of Dynamical Systems

Authors: David J. Murray-Smith

Context-Switch-Directed Verification in DIVINE

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Vladimír Štill | Petr Ročkai | Jiří Barnat

A New Concept in Advice Complexity of Job Shop Scheduling

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: David Wehner

Methods for the external validation of contiuous system simulation models:a review

JOURNAL ARTICLE published January 1998 in Mathematical and Computer Modelling of Dynamical Systems

Authors: D. J. Murray_smith

Determining the Impact of Green Computing in It Industry to Make Eco Friendly Environment

BOOK CHAPTER published 11 February 2022 in Recent Advances in Mathematical Research and Computer Science Vol. 8

Authors: Shalabh Agarwal | Arnab Datta | Asoke Nath

WI-FI SIGNAL STRENGTH VS. MAGNETIC FIELDS FOR INDOOR POSITIONING SYSTEMS

JOURNAL ARTICLE published 2014 in Eurasian Journal of Mathematical and Computer Applications

Authors: M. H. Selamat | Faculty of Computer Science and Information Technology, University Putra Malaysia | An. Narzullaev | Faculty of Computer Science and Information Technology, University Putra Malaysia

Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science

JOURNAL ARTICLE published June 2005 in Mathematical Structures in Computer Science

Authors: LAWRENCE S. MOSS

Environment-driven distributed evolutionary adaptation in a population of autonomous robotic agents

JOURNAL ARTICLE published February 2012 in Mathematical and Computer Modelling of Dynamical Systems

Authors: Nicolas Bredeche | Jean-Marc Montanier | Wenguo Liu | Alan F.T. Winfield

On Monitoring C/C++ Transactional Memory Programs

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Jan Fiedor | Zdeněk Letko | João Lourenço | Tomáš Vojnar

LTL Model Checking of LLVM Bitcode with Symbolic Data

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Petr Bauch | Vojtěch Havel | Jiří Barnat

Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Karel Štěpka | Martin Falk

Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Vojtech Nikl | Jiri Jaros

Mapping Problems to Skills Combining Expert Opinion and Student Data

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Juraj Nižnan | Radek Pelánek | Jiří Řihák

Concurrent Automata vs. Asynchronous Systems

BOOK CHAPTER published 2005 in Mathematical Foundations of Computer Science 2005

Authors: Rémi Morin

The Riccati Equations of Stochastic Control

BOOK CHAPTER published in Mathematical Concepts and Methods in Science and Engineering

Abstract Numeration Systems and Tilings

BOOK CHAPTER published 2005 in Mathematical Foundations of Computer Science 2005

Authors: Valérie Berthé | Michel Rigo

Sturm‐Liouville Systems and the Factorization Method

OTHER published 21 July 2006 in Mathematical Methods in Science and Engineering

Exponential Stability and Lyapunov-Type Linear Equations

BOOK CHAPTER published in Mathematical Concepts and Methods in Science and Engineering