Sciweavers

780 search results - page 86 / 156
» Inverse Probleme
Sort
View
MCM
2011
13 years 5 months ago
The shape of the polymerization rate in the prion equation
We consider a polymerization (fragmentation) model with size-dependent parameters involved in prion proliferation. Using power laws for the different rates of this model, we reco...
Pierre Gabriel
ICASSP
2011
IEEE
13 years 1 months ago
Saturation-robust SAR image formation
The formation of synthetic aperture radar (SAR) images is formulated as an inverse problem, a flexible approach suitable for a variety of acquisition systems and signal models. T...
Dennis Wei, Petros Boufounos
WCRE
1993
IEEE
14 years 2 months ago
A Practical Program Transformation System for Reverse Engineering
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
M. Ward, K. Bennett
DLOG
2007
14 years 14 days ago
A New Mapping from ALCI to ALC
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
Yu Ding, Volker Haarslev, Jiewen Wu
FPL
2008
Springer
120views Hardware» more  FPL 2008»
13 years 11 months ago
An FPGA-based implementation of the MINRES algorithm
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...
David Boland, George A. Constantinides