Learn More
OBJECTIVE The aim of this study is to compare the clinical audiological outcomes as well as patient satisfaction of bone-anchored, hearing aid surgery between the percutaneous Dermalock and the transcutaneous Attract systems. STUDY DESIGN AND METHODS This is a multicenter, retrospective clinical study. The patients who underwent Baha Dermalock and Baha(More)
OBJECTIVES In this study, we reported our experience with a new transcutaneous bone conduction hearing device, the Baha® Attract System. PATIENTS AND METHODS This multi-center clinical study included the first 12 patients (8 females, 4 males; mean age 27.6 years; range 5 to 65 years) in whom a new transcutaneous bone conduction system was implanted in(More)
This paper demonstrates the existence, in a particular subset of the Turkish public health care sector, of equilibria moving towards a low-quality trap over time. The dynamics of the movement in question hinges, in part, on the socially necessary but demographically asymmetric burden, on some public health care institutions, of providing affordable health(More)
BACKGROUND Parapharyngeal space (PPS) tumors are rare tumors for which the surgical management differs widely. The purpose of this study was to discuss the advantages and disadvantages of the endoscope-assisted transoral approach over the traditional approaches. METHODS This prospective study included 4 patients who were diagnosed with PPS tumors and(More)
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logic which is a semantical fragment of the logic LTL ↓ 1 of Demri and Lazic with operators for navigation into the future and the past. By reduction to the emptiness problem for data(More)
We study dynamic communicating automata (DCA), an extension of classical communicating finite-state machines that allows for dynamic creation of processes. The behavior of a DCA can be described as a set of message sequence charts (MSCs). While DCA serve as a model of an implementation, we propose branching high-level MSCs (bHMSCs) on the specification(More)
We introduce an automata model for data words, that is words that carry at each position a symbol from a finite alphabet and a value from an unbounded data domain. The model is (semantically) a restriction of data automata, introduced by Bojanczyk, et. al. in 2006, therefore it is called weak data automata. It is strictly less expressive than data automata(More)
We consider the verification problem for Dynamic Register Automata (Dra). Dra extend classical register automata by process creation. In this setting, each process is equipped with a finite set of registers in which the process IDs of other processes can be stored. A process can communicate with processes whose IDs are stored in its registers and can send(More)
The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL + by variables. Previous complexity results show that only fragments with one variable do have elementary complexity. It is shown that H 1 CTL + and H 1 CTL, the hybrid extensions with one variable of CTL(More)