Now showing items 21-30 of 1166
Transforming VHDL to timed automata
This report presents the transformation of behavioral VHDL programs to Timed Automata.
Model checker-based delay fault testing of sequential circuits
This paper applies model checker-based testing, a well-known method from software engineering, to the delay fault testing of synchronous sequential logic circuits. We first model the circuit as timed automata to reveal its ...
Essential oil loaded mucoadhesive nanocomposite delivery system for gastrointestinal system
(World Intellectual Property Organization, 2016-07-07)
Current treatments for H. pylori infection are not efficient enough due to poor diffusion of antibiotics to mucus layer, low stability, side effects and insufficient residence time of antibiotics in gut, antibiotic resistance ...
Design of a secure microprocessor
This work presents the prototype design of a secure microprocessor that executes encrypted programs. The aim of such a secure processor is to prevent programs from being copied; otherwise the encrypted programs will not ...
Merkezi laboratuvarların araştırmadaki önemi: İYTE-MAM örneği
(Yükseköğretim Kurulu, 2012)
Üniversitelerin üç temel misyonu vardır: bilgiyi üretmek, bilgiyi yaymak ve topluma hizmet etmek. Bunlardan birincisi literatürü takip ederek edinilen bilgi ışığında planlanan deneylerle laboratuvarda güncel veri toplamak ...
International porous and powder materials symposium and exhibition PPM 2013, 3-6 September 2013, Çeşme İzmir-Turkey
(The Organizing Committee of The International Porous and Powder Materials Symposium and Exhibition, 2013)
We welcome you to the first of the International Porous and Powder Materials Symposium and Exhibition, PPM 2013. The idea of organizing a symposium on porous and powder materials owes its germination to the curiosity ...
International porous and powder materials symposium and exhibition PPM 2015, 15-18 September 2015, İzmir-Turkey
(The Organizing Committee of The International Porous and Powder Materials Symposium and Exhibition, 2015)
We welcome you to the International Porous and Powder Materials Symposium and Exhibition, PPM 2015. The foreword of the proceedings and the abstracts books of the previous symposium, PPM 2013 which was the first of its ...
Neuroboscope sisteminin model tabanlı sınaması
(Eskişehir Osmangazi Üniversitesi, 2016)
NeuRoboScope projesinde, endoskopik hipofiz cerrahisinde kullanılan optik-kamera sisteminin, cerrahın kullandığı cerrahi aletleri takip ederek yönlendirilmesini amaçlayan emniyet kritik bir sistemin tasarlanması amaçlanmıştır. ...
Rayleigh-based optical reflectometry techniques for distributed sensing applications
(Selcuk University, 2018-10)
In this paper, we discuss the operation principles, sensing mechanisms, challenges and application areas of the optical reflectometry techniques exploiting Rayleigh scattering phenomenon, considering both time- and ...
Manipulator design for a haptic system with improved performance
This paper presents the work carried out to improve the design of an existing kinesthetic haptic device. The proposed improvement is designated for enhancing this device’s impedance width which is a common metric in ...