No abstract available.
Proceeding Downloads
Plenary lecture 1: on formally engineering applications software
Formal methods--be they logical (such as model checking) or algebraic (such as model-based testing)-- have established themselves as mainstream tools for verification and validation. Hardware, device drivers, and network protocol have all been formally ...
Plenary lecture 2: the electric PCR microsystems based on LTCC technology for Escherichia coli detection in environmental samples
Escherichia coli (E.coli) is a common bacteria that colonize digestive truck of many organisms including humans and is a important source of Vitamin K and B12. However, numerous strains of E.coli are pathogenic and cause severe infections and alimentary ...
Plenary lecture 3: biomedical informatics a creative way in health education - an ethical approach
Developing the medicine in our days is not possible without clinical informatics and biomedical informatics. Biomedical informatics and its development is connected with computer science, medicine, biomedicine, public health and is more and more a ...
Plenary lecture 4: elaboration and physicochemical behaviour of nano hydroxyapatite / silver nanoparticles biocompsite after "In vitro" assays
Silver nanoparticles induce many beneficiate effects in biomedical materials when it is used in good dose. Silver is generally recognized by its inhibitory effect towards many bacterial strains and microorganisms commonly present in medical and ...
Plenary lecture 5: possibilities of applications of the fuzzy inference systems and probabilistic-fuzzy inference systems for the prediction and diagnosis
Probabilistic methods have a long history of applications to data analysis and statistical inference in many fields of human activities, also for prediction and diagnosis. Zadeh's theory of fuzzy systems, especially theory of approximate reasoning, gave ...
Plenary lecture 6: digital signal processing and softcomputing methods applied to ECG and PCG to infer about subject physiological status
Electrocardiogram (ECG) and Phonocardiogram (PCG) signals embed key information about subject physiological status. Physicians use such information to diagnose the general physiological status of the patient and also to diagnose incoming pathologies. ...
Plenary lecture 7: the use of biomedical imaging for computer-aided diagnosis and treatment planning in orthodontics and dentofacial orthopedics
Orthodontics and Dentofacial Orthopedics, the most complex branch of dentistry, assume a careful acquisition and interpretation of a large amount of information to achieve a correct diagnosis and treatment planning. Medical imaging has become a major ...
Plenary lecture 8: the learning content management systems in medical education: a new wave emerges
For millennia, the paradigm of learning? classroom teaching prevailed! The formal learning was scarce; resources were concentrated around and centered on the availability of the educator, rather than the learner. The first applications of eLearning were ...
Plenary lecture 9: advances in 2-D filter design - new algorithms for notch, fan and cone filters
In the first part of the Plenary Lecture, new general transformations for designing 2-D (Two-Dimensional) FIR and IIR filters are provided. The present methodology can be viewed as an extension of the McClellan Transformations and can be applied in ...
Plenary lecture 10: multi-criterion, evolutionary and quantum decision making in complex systems
Designing of the general complex systems like the semantic Web, computer networks, production scheduling or robot path planning require some extremely efficient optimization techniques that support decision making process [7]. Decision making for ...
On the measurability of the families in the Euclidean plane
In two previous paper [4], [5] M. Stoka shown that all the family with two and three measurable parameters *of the space E2(x1, x2).
A laplace type problem for a regular lattice with six obstacles
Let be R1 (a; b; c; α) a regular lattice with the fundamental cell as in fig. 1. In this paper we compute the probability that a random segment of constant leght l intersects a side of the lattice. In particular when the fundamental cell becomes a ...
Automatic disease diagnosis systems using pattern recognition based genetic algorithm and neural networks
This paper presents three disease diagnosis systems using pattern recognition based on genetic algorithm and neural networks. All systems deal with feature selection and classification. Genetic algorithm chooses subsets of features for the input of the ...
Enrichment of Iron and Manganese in Zayanderoud river sediments (Iran)
Zayanderud River, located in Isfahan Province with a length of about 420 km flowing from west to east, is one of the most important rivers of Iran.
The river is very important because of its various applications of its water. However, many heavy ...
Calibration alternatives in schema matching
Schema matching is the task of finding related entities in various input schemas. This task is crucial in enterprise integration scenarios, as companies have different systems and the schemas of these systems are heterogeneous. In order to be able to ...
A novel approach to add semantics to web services
Web services have been based on widely accepted industry standards and protocols. We have thousand of web services available on the web. An appropriate web service can be selected from the list of available services based on the description provided in ...
Probabilistic: fuzzy knowledge bases for diagnostic systems
In this work we present the methods of creating the knowledge bases by using the theory of fuzzy systems as well as the probability and stochastic processes theory. We show that such knowledge-based systems can be applied in different diagnostic tasks. ...
Elaboration and physicochemical behaviour of nano hydroxyapatite: silver nanoparticles biocompsite after "In vitro" assays
Silver nanoparticles induce many beneficiate effects in biomedical materials when it is used in good dose. Silver is generally recognized by its inhibitory effect towards many bacterial strains and microorganisms commonly present in medical and ...
Planning "Logistics information systems" course content and its promotion through baltic regional competence network
The paper is focused on modeling of content of the course "Logistics information system" according to the cognitive domain of Bloom's taxonomy model. Authors introduce their empirical study on improving the course content to achieve better education ...
Performance of a novel SUV calculation scheme for PET study
PET/CT has become an important cancer imaging tool for both diagnosis and staging. One of the most important values for both diagnosis and staging is Standardized Uptake Value (SUV). However the data accessibility and analysis would be limited because ...
Sequential recognition of EMG signals applied to the control of bioprosthetic hand: experimental comparative analysis of methods
The paper presents a concept of bio-prosthesis control via recognition of user intent on the basis of EMG signal analysis. The contextual (sequential) recognition is considered and the following methods of sequential classification are explored: Bayes ...
Classification of cancer cells based on morphological features from segmented multispectral bio-images
In this paper a new approach aiming to detect and classify colon cancer cells is presented. Our detection approach was derived from the "Snake" method but using a progressive division of the dimensions of the image to achieve faster segmentation. ...
Pumping visibly pushdown languages
Visibly pushdown languages are a subclass of context-free languages and are particularly well suited for specification and verification of application software. We find that, in addition to the pumping theorem inherited from context-free languages, ...
Constructing optimal CAE design approach model: application of the advanced TDS
This paper focus on a strategic development of "Advanced TDS, Total Integrated Development Design Model" to be used in development design, then proposes an "Optimal CAE Design Approach Model" that can be used to shorted development design times. The ...
Assessment of electrode-based spontaneous eye blink analysis
In this paper, we assess the use of electrode based spontaneous eye blink recording technique (which is considered to be a suitable indicator for fatigue diagnostics) through experiments, and conclude that the electrode based measurement of eye blink ...
Security as a service model in SOA
The software architecture requires interoperable security mechanisms. This article focuses on applying security requirements to service-oriented solution design. SOA security is very much concerned with what the system is supposed to do and what can go ...
Dynamic programming matching for detecting abnormalities in machines emitting intermittent sounds
This paper proposes an acoustic diagnosis technique for detecting abnormalities in and deterioration of machines that emit intermittent sounds during operation. The effectiveness of this technique is demonstrated experimentally. Acoustic diagnosis is ...
Neural network face identification
The identification of peoples represents the actual problem of this World. The problem is the methods for contact-free or extremely user-friendly methods. The potential solutions of this problem are based on the method, that doesn't require the direct ...
Access to the solver of functional differential equations through the web interface
This paper contains presentation of Web server that provides an interface to a MATLAB solver of functional differential equations in ordinary and partial derivatives. ASP.NET4/C# was used to elaborate system and COM technology to bind these programs ...
Physical therapy system for children with hemiplegia
The paper describes a novel system and a physical therapy method for rehabilitating the affected limbs of infants and children diagnosed with hemiplegic cerebral palsy (CP). Currently, the most effective procedure for the treatment of cerebral palsy is ...