Powered by OpenAIRE graph
Found an issue? Give us feedback

University of Twente

University of Twente

Top 100 values are shown in the filters
Results number
537 Projects, page 1 of 108
  • Funder: European Commission Project Code: 278801
    Powered by Usage counts
  • Funder: European Commission Project Code: 893732
    Overall Budget: 175,572 EURFunder Contribution: 175,572 EUR

    Virtually all aspects of society, industry and science are significantly impacted by increasingly complex computers and the software that they run. A major objective within computer science is to ensure that these computer systems are formally correct by developing ways to prove that a system correctly implements certain given properties, or ways to construct such a system. In this domain of computer science, an important topic is parity games. Many real-world systems run continuously and properties for such systems are described in temporal logics such as linear temporal logic (LTL) and various logics derived from or related to LTL. Solving parity games computes whether a given system has a property specified in these temporal logics, or constructs a system that implements such a property. Parity games are in addition a compelling subject for theoretical computer science because they are believed to be in the complexity class P; however, this has been an open question for over 20 years. In recent years, new algorithms have been discovered that solve parity games in quasi-polynomial time, while at the same time researchers have found quasi-polynomial lower bounds for several families of algorithms.In my publication on tangle learning, I propose the notion of a tangle and show that existing parity game solving algorithm implicitly explore tangles when reasoning about how a player can force the opponent to move through the parity game from A to B. The aim of this proposal is to understand the inherent complexity of solving parity games algorithmically. The strategy to achieve this is to obtain fundamental insights into the structure of tangles, how they are handled by parity game solving algorithms and how they arise in practical games.

  • Funder: European Commission Project Code: 966703
    Funder Contribution: 150,000 EUR

    Endovascular interventions are an established class of procedures within minimally invasive surgery (MIS). They enable the treatment of cardiovascular diseases through small incisions in the body by using flexible instruments. Conventionally, these instruments are manually operated, which restricts their precision, and limits their applicability. The magnetic actuation of instruments for endovascular interventions creates a novel and effective steering alternative. Even in deeply seated regions, magnetic flexible instruments provide clinicians with dexterity, while retaining minimal access. Thereby, they permit a range of advanced surgical tasks unattainable otherwise. Nevertheless, to be remotely actuated, such instruments rely on magnetic fields originating from outside the body. Thus, the aim of RAMSES is to develop and evaluate a clinic-ready robotic system capable of generating external fields during endovascular interventions. The RAMSES system will become an enabling technology for the clinical use of magnetic surgical instruments. It will truly revolutionize MIS, opening a new market for advanced diagnosis and treatment options. The RAMSES system will contain optimized electromagnetic actuators, located on robotic manipulators and powered by dedicated control software. The resulting versatile clinical framework will be applicable to a wide range of surgical instruments. This includes both commercially-available magnetic catheters as well as novel experimental designs. As a consequence, RAMSES will satisfy the needs of clinicians to further expand the effectiveness and availability of MIS techniques. It will provide an indispensable clinical tool for accurate and comprehensive surgical interventions in hard-to-reach locations within the human body. RAMSES aspires to turn magnetic actuation into a commercially successful technology. It involves strong industrial collaborations and a dedicated business development team in an ambitious quest to make that happen.

  • Funder: European Commission Project Code: 101078313
    Overall Budget: 1,962,500 EURFunder Contribution: 1,962,500 EUR

    Lipid-coated microbubbles are fascinating objects rich in nonlinear dynamics. They are used in medicine as ultrasound contrast agents (UCAs) to visualize organ perfusion. The contrast enhancement results from their ultrasound-driven oscillations, which produce a powerful echo. The echo response is sensitive to ambient pressure and the microbubble surroundings so that bubbles have potential sensing capabilities that reach far beyond their current use as contrast agents. However, UCAs contain microbubbles non-uniform in size (1-10 μm diameter) and in shell properties. The resulting ill-defined echo inhibits game-changing applications such as non-invasive pressure sensing and molecular sensing using functionalized bubbles that bind to diseased cells. Microfluidics allows controlled formation of mono-sized bubbles. However, even the echo response of mono-sized bubbles is heterogeneous due to uncontrolled shell properties. I aim to go beyond size-control and enable the microfluidic formation of functional mono-acoustic bubbles with a tuned and predictable acoustic response. The challenge is to bridge the gaps between fluid dynamics, colloid and interface science, interface rheology, and acoustics to unravel the coupled problem of microfluidic bubble-shell formation and ultrasound-driven bubble dynamics in the bulk and near or targeted to a wall. To reach this goal, we will develop highly controlled lab experiments at the sub-microsecond and sub-micrometer level, together with simulations and theory development. The ultimate goal is a physics-based parametrization of the acoustic bubble response as a function of shell formulation, microfluidic control parameters, diffusive gas exchange effects, and targeted molecular binding of the bubble to a boundary.

  • Funder: European Commission Project Code: 101076844
    Overall Budget: 1,500,000 EURFunder Contribution: 1,500,000 EUR

    Our healthcare system is under unsustainable strain owing, largely, to cardiovascular diseases and cancer. For both, imaging vasculature and flow precisely is paramount to reduce costs while improving diagnosis and treatment. Specifically, the focus is on the multiscale aspects of shear, vorticity, pressure and capillary bed (10-200 μm vessels) structure and mechanics. However, this requires an imaging depth of ~10 cm with a resolution of ~50μm. Furthermore, velocities often exceed 1m/s, which requires a frame rate of ~1000 fps. Clinical imaging modalities have so far been hindered by insufficient spatiotemporal resolution and there is thus a dire need for new techniques. Plane-wave ultrasound enhanced with contrast microbubbles outperforms all modalities in safety, cost, and speed, and is thus the ideal candidate to address this need. The strategy I propose in Super-FALCON harnesses the nonlinear dynamics of monodisperse microbubbles. In WP1, I will use deep learning and GPU-accelerated acoustic simulations to recover super-resolved (1/20th of the wavelength) bubble clouds. In WP2, I will create a new model for confined bubbles, and use them as nonlinear sensors for capillary imaging. In WP3, I will disentangle attenuation and scattering using (physics-informed) deep learning and correct for wave distortion. This is needed to apply the strategies from WP1 and 2 in deep tissue. Finally, in WP4, I will use automatic segmentation to integrate the fundamental results of WP1, 2 and 3 into a technology that I will scientifically assess on vascularized ex vivo livers. With Super-FALCON, my ambition is to generate a long-term impact both scientifically and societally. I will produce new fundamental knowledge about confined bubble dynamics, inhomogeneous ultrasound propagation, and deconvolution strategies as well as new experimental methods for flow imaging and characterization. In healthcare, Super-FALCON could initiate a paradigm shift towards patient-specific treatment.


Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.

Content report
No reports available
Funder report
No option selected

Do you wish to download a CSV file? Note that this process may take a while.

There was an error in csv downloading. Please try again later.