Obiekt
Tytuł: Validation of reactive embedded systems against specification requirements
Opis:
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Miejsce wydania:
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identyfikator zasobu:
Język:
Powiązania:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 2 (2004)
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Kolekcje, do których przypisany jest obiekt:
Data ostatniej modyfikacji:
12 mar 2015
Data dodania obiektu:
12 mar 2015
Liczba wyświetleń treści obiektu:
14
Liczba wyświetleń treści obiektu w formacie DjVu
13
Wszystkie dostępne wersje tego obiektu:
https://dlibra.umcs.lublin.pl/publication/20158
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
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)
