in addition to graft clarity, an acceptable refractive error is essential to consider a corneal transplant successful. the most common complication of penetrating keratoplasty (pk) is postkeratoplasty astigmatism which can result in decreased visual acuity, anisometropia, and mono-ocular diplopia. these complications can cause patient dissatisfaction, in spite of a successful transplant. intrao...

A cut set is a collection of component failure modes that could lead to a system failure. Cut Set Analysis (CSA) is applied to critical systems to identify and rank system vulnerabilities at design time. Model checking tools have been used to automate the generation of minimal cut sets but are generally based on checking reachability of system failure states. This paper describes a new approach...

In the past few years, several successful approaches to termination analysis of Constraint Handling Rules (CHR) have been proposed. In parallel to these developments, for termination analysis of Logic Programs (LP), recent work has shown that a stronger focus on the analysis of the cycles in the strongly connected components (SCC) of the program is very beneficial, both for precision and effici...

This article lists the theoretical criteria that need to be considered to assess the practicability of an automatic analyser. Two essential sets of criteria should be taken into account when selecting an automatic analyser: 'reliability' and 'practicability'. Practibility covers the features that provide information about the suitability of an analyser for specific working conditions.These prac...

The paper presents some models for optimizing the production rate of an automatic multitest blood analyser. A blood analysis may require one or more tests. The performance of the analyser depends on the test compositions of the analyses and the design of the analyser itself, The design can be changed. The optimal design can be determined by solving a set partitioning problem, given a representa...

Makalah ini menitik-beratkan pada pembuatan sistem sinkronisasi teknik pentransmisian spread spectrum asinkron. Dalam merealisasikan modul digunakan Field Programmable Gate Array ( FPGA ) Spartan II XC2S100-5 tq 144 yang terintegrasi Board XSA 100, implementasinya board 100 dan software Xilinx ISE 6.1i. Modul terhubung secara wireline dirancang seperti wireless dimana pengaruh delay transmisi s...

Scalable Platform for Malicious Content Detection Integrating Machine Learning and Manual Review

English. This paper aims at examining the diachronic distribution of one of the richest classes of nouns in Latin, namely those ending in -io. The work is performed through the combined use of a morphological analyser for Latin (Lemlat), and a database collecting all word forms occurring through different periods of Latin language (TF-CILF). Italiano. Questo articolo presenta un’analisi della d...

This paper introduces the main components of the downloadable package of the 3.0 version of the morphological analyser for Latin Lemlat. The processes of word form analysis and treatment of spelling variation performed by the tool are detailed, as well as the different output formats and the connection of the results with a recently built resource for derivational morphology of Latin. A light e...