Object
Title: Validation of reactive embedded systems against specification requirements
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identifier:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 2 (2004)
Rights:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Object collections:
Last modified:
Mar 12, 2015
In our library since:
Mar 12, 2015
Number of object content hits:
14
Number of object content views in DjVu format
13
All available object's versions:
https://dlibra.umcs.lublin.pl/publication/20158
Show description in RDF format:
Show description in OAI-PMH format:
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 2 (2004)
- The four-color theorem and its consequences for the philosophy of mathematics
- The inverse iteration with the WZ factorization used to the Markovian models
- Distributed generation of Markov chains infinitesimal generator matrices for queuing network models
- Two modifications of Levenberg-Marquardt’s method for fast batch neural network training
- The application of adaptive algorithm to potential problem
- Simulations of quantum systems evolution with quantum-octave package
- Church’s thesis and its epistemological status
- Mind and information processing: some considerations
- The implementation and analysis of parallel algorithm for finding perfect matching in the bipartite graphs
- Parallel implementation of the k-connectivity test algorithm
- Three simulations of Turing machines with the use of real recursive functions
- An algorithm and case study for the object oriented abstraction
- OpenMP parser for Ada
- The computational power and complexity of discrete feedforward neural networks
- Algorithmical and topological methods of fault tolerance assurance
- The project of implementing the expert system to analyse polyp changes in the alimentary canal
- Ignoring improper data in decision support system for medical applications+
- Validation of reactive embedded systems against specification requirements
- Automatic recognition of non-fluent stops+
- Generation of virtual anatomical models from the multimodal medical image data
- Histogram analysis of the human brain MR images based on the S-function membership and Shannon’s entropy function
- A hybrid approach to segmentation of medical images
- Bent beamlets – efficient tool in image coding
- Multi-class 3D region growing algorithm
- Superquadraticly convergent methods for minimization functions
- Efficiency of 2–order iterative methods
- Computer simulation of the potential distribution inside the plasma chamber of negative ion source
- Evaluating linear recursive filters on clusters of workstations
- High-order extremal principles and P-factor penalty function method for solving irregular optimization problems
- A numerical model of MHD waves
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 3 (2005)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 4 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 5 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 6 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 7 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 8 (2008)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 9 (2009)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 10 (2010)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 12 (2012)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 13 (2013)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 14 (2014)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 15 (2015)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 16 (2016)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
