Fundamenta Informaticae - Tom Vol. 72, nr 1-3 (2006) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 72, nr 1-3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2006

Identyfikatory

Zawartość wolumenu

Vol. 72, nr 1-3
- artykuł: Observational Equivalences for Timed Stable Event Structures (Andreeva M. V., Virbitskaite I. B.), s. 1-19
- artykuł: A Calculus of Looping Sequences for Modelling Microbiological Systems (Barbuti R., Maggiolo-Schettini A., Milazzo P., Troina A.), s. 21-35
- artykuł: Behavioral Pattern Identification Through Rough Set Modeling (Bazan J. G.), s. 37-50
- artykuł: Expressing and Verifying Temporal and Structural Properties of Mobile Agents (Bednarczyk M. A., Jamroga W., Pawłowski W.), s. 51-63
- artykuł: Determining Sound Markings in Structured Nets (Chrząstowski-Wachtel P.), s. 65-79
- artykuł: Equations for message passing (Czaja L.), s. 81-93
- artykuł: A Rewriting Framework for Rule-Based Programming Dynamic Applications (Doroshenko A., Shevchenko R.), s. 95-108
- artykuł: Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets (Farwer B., Köhler M.), s. 109-122
- artykuł: Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets (Farwer B., Varea M.), s. 123-137
- artykuł: Possible Rough Ingredients of Concepts in Approximation Spaces (Gomolińska A.), s. 139-154
- artykuł: Dynamic Behavior of Simple Insertion Sort Algorithm (Grabowski F., Strzałka D.), s. 155-165
- artykuł: Network Information Flow (Gruska D. P.), s. 167-180
- artykuł: Slicing of Timed Automata with Discrete Data (Janowska A., Janowski P.), s. 181-195
- artykuł: A Strong Completeness Result for a MAS Logic (Kacprzak M.), s. 197-213
- artykuł: Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol (Kacprzak M., Lomuscio A., Niewiadomski A., Penczek W., Raimondi F., Szreter M.), s. 215-234
- artykuł: Star-Connected Flat Languages and Automata (Klunder B.), s. 235-243
- artykuł: Properties of Super-Dual Nets (Köhler M., Rölke H.), s. 245-254
- artykuł: On Quantum Vector Addition Systems (Kudlek M.), s. 255-261
- artykuł: A Quantifier-free First-order Knowledge Logic of Authentication (Kurkowski M., Srebrny M.), s. 263-282
- artykuł: Optimization of Speech Recognition by Clustering of Phones (Nowak A., Wakulicz-Deja A., Bachliński S.), s. 283-293
- artykuł: Learning Sunspot Classification (Nguyen T. T., Willis C. P., Paddon D. J., Nguyen S. H., Nguyen H. S.), s. 295-309
- artykuł: Trace Nets and Conflict-free Computations (Ochmański E., Pieckowska J.), s. 311-321
- artykuł: Star-free Star and Trace Languages (Ochmański E., Stawikowska K.), s. 323-331
- artykuł: Associative Omega-product of Processes (Redziejowski R. R.), s. 333-345
- artykuł: Update and Abstraction in Model Checking of Knowledge and Branching Time (Shilov N. V., Garanina N. O., Choe K. M.), s. 347-361
- artykuł: Calculi of Approximation Spaces (Skowron A., Stepaniuk J., Peters J., Swinarski R.), s. 363-378
- artykuł: Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based Classifiers (Stefanowski J., Wilk S.), s. 379-391
- artykuł: A Rough Set Approach to Multiple Classifier Systems (Suraj Z., El Gayar N., Delimata P.), s. 393-406
- artykuł: An Axiomatic Characterization of Algebras of Processes of Petri Nets (Winkowski J.), s. 407-420
- artykuł: Complete Orders, Categories and Lattices of Approximations (Wolski M.), s. 421-435

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.