Fundamenta Informaticae, Volume 90

Volume 90, Numbers 1-2, 2009

• Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi:
  An Efficient Computation of the Equation K-automaton of a Regular K-expression. 1-16
  
• Chin-Chen Chang, Yung-Chen Chou:
  A Fragile Digital Image Authentication Scheme Inspired by Wet Paper Codes. 17-26
  
• Janis Cirulis:
  Rough Set Algebras as Description Domains. 27-41
  
• Stefano Ferilli, Teresa Maria Altomare Basile, Marenglen Biba, Nicola Di Mauro, Floriana Esposito:
  A General Similarity Framework for Horn Clause Logic. 43-66
  
• Joachim Giesen, Eva Schuberth, Milos Stojakovic:
  Approximate Sorting. 67-72
  
• Marcin Gorawski, Adam Dyga:
  Indexing of Spatio-Temporal Telemetric Data Based on Adaptive Multi-Dimensional Bucket Index. 73-86
  
• Radomír Halas:
  A Note on Axiom System for SBL-algebras. 87-92
  
• Yo-Sub Han, Kai Salomaa, Derick Wood:
  Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages. 93-106
  
• Sriparna Saha, Sanghamitra Bandyopadhyay:
  Some Symmetry Based Classifiers. 107-123
  
• Chung-Chuan Wang, Chin-Chen Chang, Jinn-ke Jan:
  NovelWatermarking Authentication Schemes for Binary Images Based on Dual-Pair Block Pixel Patterns. 125-155
  
• Xia Wang, Wenxiu Zhang:
  Concept Lattices of Subcontexts of a Context. 157-169
  
• Chih-Chia Yao, Pao-Ta Yu, Ruo-Wei Hung:
  Extractive Support Vector Algorithm on Support Vector Machines for Image Restoration. 171-190
  
• Leyou Zhang, Yupu Hu, Qing Wu:
  New Construction of Short Hierarchical ID-Based Signature in the Standard Model. 191-201
  

Volume 90, Number 3, 2009

• Yingxu Wang, Du Zhang, Shusaku Tsumoto:
  Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I).
  
• Yingxu Wang, Witold Kinsner, James A. Anderson, Du Zhang, Yiyu Yao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai, Witold Pedrycz, Jean-Claude Latombe, Lotfi A. Zadeh, Dilip Patel, Christine W. Chan:
  A Doctrine of Cognitive Informatics (CI). 203-228
  
• Louis ten Bosch, Lou Boves, Hugo Van Hamme, Roger K. Moore:
  A Computational Model of Language Acquisition: the Emergence of Words. 229-249
  
• Shusaku Tsumoto, Shoji Hirano:
  Statistical Independence and Determinants in a Contingency Table - Interpretation of Pearson Residuals based on Linear Algebra -. 251-267
  
• Jun Peng, Du Zhang, Xiaofeng Liao:
  A Digital Image Encryption Algorithm Based on Hyper-chaotic Cellular Neural Network. 269-282
  
• Yingxu Wang:
  Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing. 283-303
  
• Luis Fernando Llana Díaz, Manuel Núñez:
  Testing Semantics for RTPA. 305-335
  
• Ali Kamandi, Jafar Habibi:
  A Comparison of Metric-Based and Empirical Approaches for Cognitive Analysis of Modeling Languages. 337-352
  

Volume 90, Number 4, 2009

• Yingxu Wang, Du Zhang, Shusaku Tsumoto:
  Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II).
  
• Yingxu Wang:
  A Formal Syntax of Natural Languages and the Deductive Grammar. 353-368
  
• Hidenao Abe, Shusaku Tsumoto:
  Investigating Accuracies of Classifications for Randomized Imbalanced Class Distributions. 369-378
  
• Bogdan Kwolek:
  Object segmentation in video via graph cut built on superpixels. 379-393
  
• Guoyin Wang, Yan Wang:
  3DM: Domain-oriented Data-driven Data Mining. 395-426
  
• Shusaku Tsumoto, Shoji Hirano:
  Contingency Matrix Theory II: Degree of Dependence as Granularity. 427-442
  
• Yingxu Wang:
  Toward Formal Models of the Theoretical Framework of Fundamental Economics. 443-459