Sciweavers

2087 search results - page 313 / 418
» Computation of class numbers of quadratic number fields
Sort
View
SIAMSC
2008
142views more  SIAMSC 2008»
15 years 6 months ago
Multitarget Error Estimation and Adaptivity in Aerodynamic Flow Simulations
Important quantities in aerodynamic flow simulations are the aerodynamic force coefficients including the pressure induced and the viscous stress induced drag, lift and moment coef...
Ralf Hartmann
DNA
2007
Springer
176views Bioinformatics» more  DNA 2007»
16 years 26 days ago
Asynchronous Spiking Neural P Systems: Decidability and Undecidability
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
Matteo Cavaliere, Ömer Egecioglu, Oscar H. Ib...
DLOG
2007
15 years 9 months ago
Speeding up Approximation with Nicer Concepts
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
Anni-Yasmin Turhan, Yusri Bong
RECOMB
2006
Springer
16 years 7 months ago
Detecting MicroRNA Targets by Linking Sequence, MicroRNA and Gene Expression Data
MicroRNAs (miRNAs) have recently been discovered as an important class of non-coding RNA genes that play a major role in regulating gene expression, providing a means to control th...
Jim C. Huang, Quaid Morris, Brendan J. Frey
MOBICOM
2009
ACM
16 years 1 months ago
SurroundSense: mobile phone localization via ambience fingerprinting
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
Martin Azizyan, Ionut Constandache, Romit Roy Chou...