Sciweavers

3128 search results - page 406 / 626
» Finite element method
Sort
View
137
Voted
FIMH
2009
Springer
15 years 8 months ago
Atrioventricular Blood Flow Simulation Based on Patient-Specific Data
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...
Viorel Mihalef, Dimitris N. Metaxas, Mark Sussman,...
146
Voted
ACSD
2004
IEEE
113views Hardware» more  ACSD 2004»
15 years 8 months ago
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
166
Voted
CSCLP
2006
Springer
15 years 8 months ago
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem
A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased d...
Francisco Azevedo
ESORICS
2006
Springer
15 years 8 months ago
Privacy-Preserving Queries on Encrypted Data
Data confidentiality is a major concern in database systems. Encryption is a useful tool for protecting the confidentiality of sensitive data. However, when data is encrypted, perf...
Zhiqiang Yang, Sheng Zhong, Rebecca N. Wright
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
15 years 8 months ago
Memory analysis and significance test for agent behaviours
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DaeEun Kim