Journal: Fundamenta Informaticae

Volume 78, Issue 4

467 -- 485Liying Jiang, Jitender S. Deogun. SPICE: A New Framework for Data Mining based on Probability Logic and Formal Concept Analysis
487 -- 505Ugo Galassi, Marco Botta, Attilio Giordana. Hierarchical Hidden Markov Models for User/Process Profile Learning
507 -- 524Seunghyun Im. Privacy Aware Data Management and Chase
525 -- 542Minkoo Seo, Sanghyun Park, Jung-Im Won. Towards Efficient Searching on the Secondary Structure of Protein Sequences
543 -- 559Marie Agier, Jean-Marc Petit, Einoshin Suzuki. Unifying Framework for Rule Semantics: Application to Gene Expression Data
561 -- 573Shusaku Tsumoto, Shoji Hirano. Visualization of Differences between Rules Syntactic and Semantic Similarities using Multidimensional Scaling
575 -- 594Ansaf Salleb-Aouissi, Christel Vrain. A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases
595 -- 612Xintao Wu, Yongge Wang, Songtao Guo, Yuliang Zheng. Privacy Preserving Database Generation for Database Application Testing
613 -- 628Xin Zhang, Zbigniew W. Ras. Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition

Volume 78, Issue 3

311 -- 327Rudolf Freund, Fritz Tafill. Cellular Automata and Parallel Array Systems
329 -- 341Henryk Fuks. Remarks on the Critical Behavior of Second Order Additive Invariants in Elementary Cellular Automata
343 -- 368Andreas Klein, Martin Kutrib. Cellular Devices and Unary Languages
369 -- 396Pradipta Maji, Parimal Pal Chaudhuri. RBFFCA: A Hybrid Pattern Classifier Using Radial Basis Function and Fuzzy Cellular Automata
397 -- 416Hidenosuke Nishio, Maurice Margenstern, Friedrich von Haeseler. On Algebraic Structure of Neighborhoods of Cellular AutomataHorse Power Problem
417 -- 447Marcus Pivato. Spectral Domain Boundaries in Cellular Automata

Volume 78, Issue 2

199 -- 216Lukasz Bolikowski, Anna Gambin. New Metrics for Phylogenies
217 -- 238Olivia Breysse, Michel De Glas. A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
239 -- 255Yu-Chen Hu. Predictive Grayscale Image Coding Scheme Using VQ and BTC
257 -- 270Yu-Chen Hu, Chia-Chen Lin, Kang-Liang Chi. Block Prediction Vector Quantization for Grayscale Image Compression
271 -- 294Van-Nam Huynh, Yoshiteru Nakamori, Tetsuya Murai. An Algebraic Foundation for Linguistic Reasoning
295 -- 309Ewa Palka. An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices

Volume 78, Issue 1

1 -- 33Robert Clarisó, Jordi Cortadella. Verification of Concurrent Systems with Parametric Delays Using Octahedra
35 -- 74Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten. An Algebra of Pareto Points
75 -- 100Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms
101 -- 130Mark B. Josephs, Hemangee K. Kapoor. Controllable Delay-Insensitive Processes
131 -- 159Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
161 -- 197Walter Vogler, Ben Kangsah. Improved Decomposition of Signal Transition Graphs