A Feasability Study of Color Flow Doppler Vectorization for Automated Blood Flow Monitoring

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Whereas pulse-echo ultrasound imaging relied on focused acoustic waves since its inception, the last two decades have seen the development of techniques based on unfocused waves, including ultrafast ultrasound imaging. In large part due to the emergence of ...

The proliferation of microscopy methods for live-cell imaging offers many new possibilities for users but can also be challenging to navigate. The prevailing challenge in live-cell fluorescence microscopy is capturing intra-cellular dynamics while preservi ...

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

Background and Objective: Computational models of the cardiovascular system allow for a detailed and quantitative investigation of both physiological and pathological conditions, thanks to their ability to combine clinical-possibly patient-specific-data wi ...

Geometric properties of lattice quantum gravity in two dimensions are studied numerically via Monte Carlo on Euclidean Dynamical Triangulations. A new computational method is proposed to simulate gravity coupled with fermions, which allows the study of int ...

Genome-wide chromatin conformation capture assays provide formidable insights into the spatial organization of genomes. However, due to the complexity of the data structure, their integration in multi-omics workflows remains challenging. We present data st ...

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

A laser-based ultrasound inspection system comprising an object for inspection (1), a laser device for ultrasound generation (3a), a laser device for ultrasound detection (3b), and a coating arrangement (4) including a laser absorbing layer (4a) disposed o ...

The performance of machine learning algorithms is conditioned by the availability of training datasets, which is especially true for the field of nondestructive evaluation. Here we propose one reconfigurable specimen instead of numerous reference specimens ...

We consider fluid flows, governed by the Navier-Stokes equations, subject to a steady symmetry-breaking bifurcation and forced by a weak noise acting on a slow timescale. By generalizing the multiple-scale weakly nonlinear expansion technique employed in t ...

In this paper we will consider distributed Linear-Quadratic Optimal Control Problems dealing with Advection-Diffusion PDEs for high values of the Peclet number. In this situation, computational instabilities occur, both for steady and unsteady cases. A Str ...

We present a combination technique based on mixed differences of both spatial approximations and quadrature formulae for the stochastic variables to solve efficiently a class of optimal control problems (OCPs) constrained by random partial differential equ ...

The goal of this work is to use anisotropic adaptive finite elements for the numerical simulation of aluminium electrolysis. The anisotropic adaptive criteria are based on a posteriori error estimates derived for simplified problems. First, we consider an ...

EncodingActs investigates how computational methods can facilitate the transmission of multifaceted knowledge within intangible cultural heritage (ICH). ICH, characterized by living, tacit, yet complex epistemic systems, is conventionally viewed as challen ...

We propose an image-based elastography method to measure the heterogeneous stiffness inside a cell and its nucleus. It uses a widely accessible setup consisting of plate compression imaged with fluorescence microscopy. Our framework recovers a spatial map ...

Computational fluid dynamics (CFD) is an important tool for the simulation of the cardiovascular function and dysfunction. Due to the complexity of the anatomy, the transitional regime of blood flow in the heart, and the strong mutual influence between the ...

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

We propose a framework for the construction of 4D scientific models for cities of the past. It leverages both the use of computational methods for bootstrapping, and a collaborative interface for visualisation and edition. This permits to continuously enri ...

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

A Feasability Study of Color Flow Doppler Vectorization for Automated Blood Flow Monitoring

Chattez avec Graph Search

Inverse Problems in Pulse-Echo Ultrasound: Exploiting Coherence for Image Enhancement and Quantitative Imaging

Live-cell imaging powered by computation

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

The role of computational methods in cardiovascular medicine: a narrative review

Hausdorff dimension of fermions on a random lattice

Orchestrating chromosome conformation capture analysis with Bioconductor

Orthologic with Axioms

Non-planarity of Markoff graphs mod p

Laser-based ultrasound inspection system

Reduced Training Data for Laser Ultrasound Signal Interpretation by Neural Networks

Noise-induced transitions past the onset of a steady symmetry-breaking bifurcation: The case of the sudden expansion

A Streamline Upwind Petrov-Galerkin Reduced Order Method for Advection-Dominated Partial Differential Equations Under Optimal Control

A Combination Technique for Optimal Control Problems Constrained by Random PDEs

Adaptive Finite Elements with Large Aspect Ratio. Application to Aluminium Electrolysis

EncodingActs: Modeling, Representing and Transmitting Embodied Knowledge in Traditional Martial Arts

PROBING INTRACELLULAR ELASTICITY WITH MINIMAL-HESSIAN REGISTRATION

lifex-cfd: An open-source computational fluid dynamics solver for cardiovascular applications

LISA – A Modern Proof System

From Automated Bootstrapping to Collaborative Editing: A Framework for 4D City Reconstruction

A Gapless Post-quantum Hash Proof System in the Hamming Metric