Symbolic Trajectory Evaluation (STE) is a powerful technique for model checking. It is based on 3-valued symbolic simulation, using 0,1 and X (”unknown”). The X value is used to abstract away parts of the circuit. The abstraction is derived from the user’s specification. Currently the process of abstraction and refinement in STE is performed manually. This paper presents an automatic refinement...

This paper analyzes certain technical details of Floridi’s Theory of Strongly Semantic Information. It provides a clarification regarding desirable properties of degrees of informativeness functions by rejecting three of Floridi’s original constraints and proposing a replacement constraint. Finally, the paper briefly explores the notion of quantities of inaccuracy and shows an analysis that mim...

OBJECTIVE 1) To determine if unexplained ear fullness might be a symptom of endolymphatic hydrops (EH) by using Electrocochleography (ECochG) SP/AP area and amplitude ratios. 2) To assess if individuals with unexplained ear fullness without vertigo differ significantly from individuals with ear fullness due to Ménière's disease (MD). MATERIALS AND METHODS In a case-control study in our tertia...

The black bullhead is an invasive species that forms dense populations and has a negative impact on the native ichthyofauna. Recent studies indicate it one of most dominant fish in Serbian waters. Feeding habits based stomach contents individuals caught Lake Sava were analyzed as first step towards evaluating its possible fauna lake. following indices for diet analysis applied: vacuity index, f...

PURPOSE Even though aural fullness is ubiquitous among patients presenting to otolaryngology clinics, the association between aural fullness and disease development has not yet been clearly determined. MATERIALS AND METHODS Our study was performed on outpatients from June 2006 to February 2010 whose major complaint was "ear fullness", "aural fullness", or "ear pressure". We assessed their dem...

Lister had been interested in wound infection, or “hospital gangrene” as it was known then, for many years. When operating on tuberculous changes in the wrist, he noted good results when the wound did not become infected. On the other hand, when infection set in, he encountered a high incidence of gangrene and blood poisoning.1 In Lister’s time, wound infection was generally thought to arise fr...