51 search results - page 4 / 11 » Picard--Vessiot extensions for linear functional systems |
VISUALIZATION
2005
IEEE
14 years 28 days ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
ENTCS
2008
13 years 7 months ago
2008
In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
ENTCS
2007
13 years 7 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
SIAMAM
2010
13 years 5 months ago
2010
Guided acoustic waves propagating along one- and two-dimensional arrays of rigid spheres are studied semi-analytically. The quasi-periodic wave field is constructed as a superposi...