Recursos de colección

University of Twente Publications (60.939 recursos)

University of Twente Repository provides publications of UT scientific staff, in many cases full text and publicly available.

Full-text = Public

Mostrando recursos 1 - 20 de 26.359

  1. Parallel model checking of ω-automata

    Bloemen, Vincent
    Specifications for non-terminating reactive systems are described by ω-regular properties. Such properties can be translated in various types of automata, e.g. Büchi, Rabin, and Parity. A model checker can then check for language containment and determine whether the system meets the specification. Checking these automata becomes more complex when introducing probabilities and/or an adversary, e.g. the uncontrollable environment, to the automaton. Parallel algorithms have become crucial for fully utilizing current hardware systems. With respect to model checking we therefore focus on designing scalable parallel algorithms for emptiness checking. This research focuses on designing and improving parallel graph searching algorithms for emptiness checking...

  2. Potential of Wake-Up Radio-Based MAC Protocols for Implantable Body Sensor Networks (IBSN)—A Survey

    Karuppiah Ramachandran, Vignesh Raja; Ayele, Eyuel D.; Meratnia, Nirvana; Havinga, Paul J.M.
    With the advent of nano-technology, medical sensors and devices are becoming highly miniaturized. Consequently, the number of sensors and medical devices being implanted to accurately monitor and diagnose a disease is increasing. By measuring the symptoms and controlling a medical device as close as possible to the source, these implantable devices are able to save lives. A wireless link between medical sensors and implantable medical devices is essential in the case of closed-loop medical devices, in which symptoms of the diseases are monitored by sensors that are not placed in close proximity of the therapeutic device. Medium Access Control (MAC)...

  3. Cocoon: A lightweight opportunistic networking middleware for community-oriented smart mobile applications

    Türkes, Okan; Scholten, Hans; Havinga, Paul J.M.
    Modern society is surrounded by an ample spectrum of smart mobile devices. This ubiquity forms a high potential for community-oriented opportunistic ad hoc networking applications. Nevertheless, today’s smart mobile devices such as smartphones, tablets, and wristbands are still onerous to automatically establish mobile ad hoc connections with our physical circle of friends and between occasional contact opportunities. Motivated by this, this study presents Cocoon as a lightweight middleware proposed for smart mobile platforms to support mobile opportunistic communications for general public use. Cocoon employs an adaptive context-aware service that can fairly coordinate a multitude of concurrently-running networking applications. Along with...

  4. PERGAMON: A serious gaming and digital coaching platform supporting patients and healthcare professionals

    Klaassen, Randy; Akker, Rieks op den; Di Bitonto, Pierpaolo; Burger, Gert-Jan van der; Bul, Kim; Kato, Pam
    This paper describes the design of a platform for serious gaming and digital coaching supporting healthcare and self-management of chronic patients. An instantiation of the platform outlined here supports self-management of adolescents with Type I diabetes that is integrated with their usual paediatric diabetes care. The platform integrates a sensor network (i.e., physical activity and blood glucose monitor), a gamification component and a virtual coach that functions as a coach as well as a game guide which provides hints and tailored feedback based on the patient’s sensor data, behavioural goals in the game world or in the real world. The...

  5. Why observational studies are important in comparative effectiveness research: the effect of breast-conserving therapy and mastectomy in the real world

    Maaren, Marissa C. van; Poortmans, Philip; Strobbe, Luc J.; Munck, Linda de; Siesling, Sabine
    We thank Dr. Franceschini and colleagues for their comment (1) on our recently published article in the Lancet Oncology (2). First, it is completely justified to ask oneself whether results from observational studies are likely to arise from selection bias. It is extensively described that observational studies investigating treatment effects are prone to confounding by severity (3). However, in contrast to randomised controlled trials (RCTs), observational studies do reflect the real-world population. As long as we interpret the results carefully, as it should be done for RCTs as well, these types of studies are of additional value through their ability...

  6. Government ownership, concentration, and the capital structure of firms: empirical analysis of an institutional context from China

    Huang, Xiaohong; Kabir, Rezaul; Zhang, Lingling

  7. United Kingdom, higher education mergers in Wales: One of twelve case studies produced as part of the project on structural reform in higher education

    Benneworth, Paul; Boer, Harry de

  8. The Netherlands, strengthening research in Universities of Applied Sciences: One of twelve case studies produced as part of the project on structural reform in higher education

    Boer, Harry de
    This study analyses how different types of system-level (or ‘landscape’) structural reforms in higher education have been designed and implemented in selected higher education systems. In the 12 case studies that form the core of the project, the researchers examine reforms aimed at:• Increasing horizontal differentiation between different types of higher education institutions (for example reforms to introduce or modify the role of universities of applied science);• Increasing vertical differentiation through increasing or decreasing positional or status differences between higher education institutions (for example, reforms aimed at concentrating research in a limited number of universities) and;• Changing institutional interrelationships between...

  9. Denmark - Creating university centres of excellence: the UNIK-Initiative

    Aagaard, Kaare; Boer, Harry de
    This study analyses how different types of system-level (or ‘landscape’) structural reforms in higher education have been designed and implemented in selected higher education systems. In the 12 case studies that form the core of the project, the researchers examine reforms aimed at:• Increasing horizontal differentiation between different types of higher education institutions (for example reforms to introduce or modify the role of universities of applied science);• Increasing vertical differentiation through increasing or decreasing positional or status differences between higher education institutions (for example, reforms aimed at concentrating research in a limited number of universities) and;• Changing institutional interrelationships between...

  10. Structural higher education reform - design and evaluation: synthesis report

    File, Jon; Huisman, Jeroen; Boer, Harry de; Seeber, Marco; Vukasovic, Martina; Westerheijden, Don F.
    This study analyses how different types of system-level (or ‘landscape’) structural reforms in higher education have been designed and implemented in selected higher education systems. In the 12 case studies that form the core of the project, the researchers examine reforms aimed at: - Increasing horizontal differentiation between different types of higher education institutions (for example reforms to introduce or modify the role of universities of applied science); - Increasing vertical differentiation through increasing or decreasing positional or status differences between higher education institutions (for example, reforms aimed at concentrating research in a limited number of universities) and; - Changing...

  11. Participatiewet en social return bij aanbestedingen

    Telgen, J.; Koseoglu, E.

  12. Specificeren

    Telgen, Jan

  13. Inkopen met een vaste prijs

    Telgen, Jan

  14. Doelmatigheid versus rechtmatigheid

    Telgen, Jan

  15. Nieuw, maar niet altijd vernieuwend: inkopen van zorg door gemeenten

    Uenk, Niels; Telgen, Jan

  16. Gunningsmethode voorspelt klachtenpatroon

    Lohmann, Wouter; Telgen, Jan
    Sinds de Aanbestedingswet 2012 neemt het aantal opdrachten op basis van emvi toe. Bij al die emvi-aanbestedingen moet een gunningsmethode gekozen worden, waardoor ook de interesse in de zoektocht naar de ‘beste’ gunningsmethode groeit.

  17. Surface charge characterization of solid-liquid interfaces using atomic force microscopy

    Kumar, Naveen
    In this thesis, we investigate the charging behavior and ion adsorption at aolid-liquid interfaces. These phenomena play a crucial role in a wide range of fields, such as colloid science, self-assembly, wetting, electrochemistry, and molecular biology. The aim of this work is to understand the scientific challenges in enhanced oil recovery (EOR) processes. Surface charge properties of rock/clay surface plays an important role in understanding various fluid-rock/clay interactions in an oil reservoir. In this regard, we characterize the surface charge properties of rock/clay-water interface in various electrolyte solutions.

  18. Openbaar aanbesteden of onderhands?

    Telgen, Jan
    De discussie over openbaar dan wel onderhands aanbesteden steekt geregeld de kop op. Nu weer naar aanleiding van een circulaire van Binnenlandse Zaken (‘Grensbedragen onder de Europese drempelwaarde’).

  19. Maatschappelijke waarden in aanbesteden

    Telgen, Jan
    Recent hebben groene ondernemersorganisaties vastgesteld dat duurzame initiatieven weinig aftrek vinden bij de overheid. Het streven - al uit 2010 - om 100 procent duurzaam in te kopen, wordt nog lang niet gehaald. Bij sociaal aanbesteden wordt gelijkluidende kritiek geuit. Door de wijze waarop de discussie wordt gevoerd, lijkt het alsof duurzaam en sociaal aanbesteden een keuze voor overheidsaanbesteders is en geen verplichting. Maar is dit wel correct?

  20. Met emvi is niets mis, toepassing ervan wel

    Telgen, Jan

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.