Informatica (Lithuanian Academy of Sciences),
Volume 18
Volume 18,
Number 1,
2007
- Eduardas Bareisa, Vacius Jusas, Kestutis Motiejunas, Rimantas Seinauskas:
Functional Test Generation Based on Combined Random and Deterministic Search Methods.
3-26
Electronic Edition (link) BibTeX
- Tzungher Chen, Gwoboa Horng, Ke-Chiang Wu:
A Secure YS-Like User Authentication Scheme.
27-36
Electronic Edition (link) BibTeX
- Vytautas Cyras:
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loops.
37-54
Electronic Edition (link) BibTeX
- Pei-Hui Huang, Hsiang-An Wen, Chih-Hung Wang, Tzonelih Hwang:
On the Proxy-Protected Property of Chen et al.'s Proxy Multisignature Schemes.
55-60
Electronic Edition (link) BibTeX
- Chuan-Ming Li, Tzonelih Hwang, Narn-Yih Lee:
Security Flaw in Simple Generalized Group-Oriented Cryptosystem Using ElGamal Cryptosystem.
61-66
Electronic Edition (link) BibTeX
- Rongxing Lu, Zhenfu Cao, Shengbao Wang, Haiyong Bao:
A New ID-Based Deniable Authentication Protocol.
67-78
Electronic Edition (link) BibTeX
- Athanasios Margaris, Stavros Souravlas, Efthimios Kotsialos, Manos Roumeliotis:
Design and Implementation of Parallel Counterpropagation Networks Using MPI.
79-102
Electronic Edition (link) BibTeX
- Jurate Sakalauskaite:
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief.
103-114
Electronic Edition (link) BibTeX
- Eligijus Sakalauskas, Povilas Tvarijonas, Andrius Raulynaitis:
Key Agreement Protocol (KAP) Using Conjugacy and Discrete Logarithm Problems in Group Representation Level.
115-124
Electronic Edition (link) BibTeX
- Yuh-Min Tseng:
An Efficient Two-Party Identity-Based Key Exchange Protocol.
125-136
Electronic Edition (link) BibTeX
- Chih-Chia Yao, Pao-Ta Yu:
Oblique Support Vector Machines.
137-157
Electronic Edition (link) BibTeX
Volume 18,
Number 2,
2007
- Baghdad Atmani, Bouziane Beldjilali:
Neuro-IG: A Hybrid System for Selection and Elimination of Predictor Variables and non Relevant Individuals.
163-186
Electronic Edition (link) BibTeX
- Jolita Bernataviciene, Gintautas Dzemyda, Virginijus Marcinkevicius:
Conditions for Optimal Efficiency of Relative MDS.
187-202
Electronic Edition (link) BibTeX
- Algis Garliauskas:
Information Conveyed by the Neural Network Systems and its Applied Significance.
203-216
Electronic Edition (link) BibTeX
- Jingyu Hou:
A Matrix-Based Model for Web Page Community Construction and More.
217-238
Electronic Edition (link) BibTeX
- Phani Kumar Kancharla, Shailaja Gummadidala, Ashutosh Saxena:
Identity Based Strong Designated Verifier Signature Scheme.
239-252
Electronic Edition (link) BibTeX
- Jonas Kleiza, Mifodijus Sapagovas, Vytautas Kleiza:
The Extension of the Van Der Pauw Method to Anisotropic Media.
253-266
Electronic Edition (link) BibTeX
- Alvydas Paunksnis, Skaidra Kurapkiene, Audris Maciulis, Audris Kopustinskas, Marija-Liucija Paunksniene:
Ultrasound Quantitative Evaluation of Human Eye Cataract.
267-278
Electronic Edition (link) BibTeX
- Zoran Peric, Jelena Nikolic:
An Effective Method for Initialization of Lloyd-Max's Algorithm of Optimal Scalar Quantization for Laplacian Source.
279-288
Electronic Edition (link) BibTeX
- Junyan Qian, Baowen Xu:
Formal Verification for C Program.
289-304
Electronic Edition (link) BibTeX
- Chunyu Yang, Qingling Zhang, Linna Zhou:
Strongly Absolute Stability Problem of Descriptor Systems.
305-320
Electronic Edition (link) BibTeX
Volume 18,
Number 3,
2007
- Salem M. Al-Yakoob, Hanif D. Sherali:
Multiple Shift Scheduling of Hierarchical Workforce with Multiple Work Centers.
325-342
Electronic Edition (link) BibTeX
- Bostjan Brumen, Matjaz B. Juric, Tatjana Welzer, Ivan Rozman, Hannu Jaakkola, Apostolos Papadopoulos:
Assessment of Classification Models with Small Amounts of Data.
343-362
Electronic Edition (link) BibTeX
- Valentina Dagiene, Rimgaudas Laucius:
Internationalization of Compilers.
363-374
Electronic Edition (link) BibTeX
- Zhenjie Huang, Kefei Chen, Xuanzhi Lin, Rufen Huang:
Analysis and Improvements of Two Identity-Based Perfect Concurrent Signature Schemes.
375-394
Electronic Edition (link) BibTeX
- Sigita Laurinciukaite, Antanas Lipeika:
Framework for Choosing a Set of Syllables and Phonemes for Lithuanian Speech Recognition.
395-406
Electronic Edition (link) BibTeX
- Arvydas Martinkenas, Vytautas Kaminskas, Giedrius Varoneckas:
Forecast Model of Impact of Meteorological Factors on Coronary Artery Disease Patients.
407-418
Electronic Edition (link) BibTeX
- Athanasios D. Styliadis:
E-Learning Documentation of Historical Living Systems with 3-D Modeling Functionality.
419-446
Electronic Edition (link) BibTeX
- Ching-Liang Su:
Overlapped Finger Geometry Signal Processing and Finger Shape Comparisons for Person Identification.
447-456
Electronic Edition (link) BibTeX
- Mihai Talmaciu, Elena Nechita:
Recognition Algorithm for Diamond-Free Graphs.
457-462
Electronic Edition (link) BibTeX
- Jonas Valantinas, Tomas Zumbakis:
On the Application of Invariant Image Parameters to Fractal Encoding of Bi-Level Images.
463-478
Electronic Edition (link) BibTeX
Volume 18,
Number 4,
2007
- Omara Abdul Hamid, Muhammad Abdul Qadir, Nadeem Iftikhar, Mohib ur Rehman, Mobin Uddin Ahmed, Imran Ihsan:
Generic Multimedia Database Architecture Based upon Semantic Libraries.
483-510
Electronic Edition (link) BibTeX
- Sidi Mohamed Benslimane, Mimoun Malki, Mustapha Kamal Rahmouni, Djamal Benslimane:
Extracting Personalised Ontology from Data-Intensive Web Application: an HTML Forms-Based Reverse Engineering Approach.
511-534
Electronic Edition (link) BibTeX
- Ya-Fen Chang, Chin-Chen Chang, Pei-Yu Lin:
A Concealed t-out-of-n Signer Ambiguous Signature Scheme with Variety of Keys.
535-546
Electronic Edition (link) BibTeX
- Kim-Kwang Raymond Choo:
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker.
547-568
Electronic Edition (link) BibTeX
- Li Chunlin, Li Layuan:
Fabric Level and Application Level QoS Guarantees in Grid Computing.
569-584
Electronic Edition (link) BibTeX
- Donatas Ciuksys, Albertas Caplinskas:
Reusing Ontological Knowledge about Business Processes in IS Engineering: Process Configuration Problem.
585-602
Electronic Edition (link) BibTeX
- Darius Grigaitis, Vaida Bartkute, Leonidas Sakalauskas:
An Optimization of System for Automatic Recognition of Ischemic Stroke Areas in Computed Tomography Images.
603-614
Electronic Edition (link) BibTeX
- Jeng-Shyang Pan, Hao Luo, Zhe-Ming Lu:
Look-up Table Based Reversible Data Hiding for Error Diffused Halftone Images.
615-628
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:03:37 2009
by Michael Ley (ley@uni-trier.de)
