1631 search results - page 155 / 327 » Observing Functional Logic Computations |
112
click to vote
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
154
click to vote
NGC
1998
Springer
15 years 3 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
105
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— An accurate and efficient solution for the transient response at the far end of a transmission line is proposed in this paper. Unlike approximating the poles by truncating the...
115
click to vote
ER
1995
Springer
15 years 7 months ago
1995
Springer
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
120
click to vote
AMC
2010
15 years 2 months ago
2010
Exact solutions of the Nizhnik-Novikov-Veselov equation by Li [New kink-shaped solutions and periodic wave solutions for the (2+1)-dimensional Sine-Gordon equation, Appl. Math. Co...