Fundamenta Informaticae - Tom Vol. 143, nr 1/2 (2016) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 143, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2016

Identyfikatory

Zawartość wolumenu

Vol. 143, nr 1/2
- artykuł: A Classifier Based on a Decision Tree with Verifying Cuts (Bazan J. G., Buregwa-Czuma S., Rzasa W., Bazan-Socha S., Dydo L., Skowron A.), s. 1--18
- artykuł: Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data (Bazan J. G., Szczur A., Dydo L., Wojtowicz H., Szpyrka M.), s. 19--34
- artykuł: Programming Self-Assembly of DNA Tiles (Bellia M., Occhiuto M. E.), s. 35--49
- artykuł: A Function Elimination Method for Checking Satisfiability of Arithmetical Logics (Castiglioni V., Lanotte R., Tini S.), s. 51--71
- artykuł: Differential Privacy and Security (Gruska D. P.), s. 73--87
- artykuł: An Upper Bound for the Reachability Problem of Safe, Elementary Hornets (Köhler-Bußmeier M., Heitmann F.), s. 89--100
- artykuł: Controlling Petri Net Behavior using Priorities for Transitions (Lomazova I. A., Popova-Zeugmann L.), s. 101--112
- artykuł: A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic (Nguyen L. A.), s. 113--139
- artykuł: Cut Points in PEG (Redziejowski R. R.), s. 141--149
- artykuł: Inverted Fuzzy Implications in Approximate Reasoning (Suraj Z., Lasek A., Lasek P.), s. 151--171
- artykuł: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems (Woźna-Szcześniak B.), s. 173--205

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ć.