Sciweavers

3190 search results - page 371 / 638
» cans 2011
Sort
View
SBP
2011
Springer
15 years 1 months ago
Using Web-Based Knowledge Extraction Techniques to Support Cultural Modeling
The World Wide Web is a potentially valuable source of information about the cognitive characteristics of cultural groups. However, attempts to use the Web in the context of cultur...
Paul R. Smart, Winston R. Sieck, Nigel R. Shadbolt
SCN
2011
Springer
292views Communications» more  SCN 2011»
15 years 1 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
154
Voted
SIAMAM
2011
15 years 1 months ago
On Solutions to Equilibrium Problems for Systems of Stiffened Gases
We consider an isolated system of N immiscible fluids, each following a stiffened-gas equation of state. We consider the problem of calculating equilibrium states from the conser...
Tore Flåtten, Alexandre Morin, Svend Tollak ...
262
Voted
SIAMAM
2011
15 years 1 months ago
On the Kleinman-Martin Integral Equation Method for Electromagnetic Scattering by a Dielectric Body
The interface problem describing the scattering of time-harmonic electromagnetic waves by a dielectric body is often formulated as a pair of coupled boundary integral equations fo...
Martin Costabel, Frédérique Le Lou&e...
209
Voted
SIAMCO
2011
15 years 1 months ago
Nonlinear Black-Scholes Equations in Finance: Associated Control Problems and Properties of Solutions
We study properties of solutions to fully nonlinear versions of the standard Black– Scholes partial differential equation. These equations have been introduced in financial mat...
Rüdiger Frey, Ulrike Polte