Computer Science 675. Springer-Verlag, 1993.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Computational Field Theory and Pattern Formation - Toral (Correct)
....2 Ra ul Toral by diminishing the number of points in the integration grid. Even 2 points per integration variable is beyond the capability of any present (or future) computer. The solution to this problem is given by application of the Monte Carlo techniques (Kalos et al. 1986; Binder 1992, Heermann 1986). For our particular example, they consist in interpreting f x (X) as a probability density function of some random variable x and, consequently, the integral is nothing but the average value of the function G(X) hGi = Z dXf x (X)G(X) 1:3) The key idea behind Monte Carlo integration is to ....
Heermann 1986: Computer Simulation Methods, Springer--Verlag.
Automotive Engine Control and Hybrid Systems.. - Balluchi.. (2000) (16 citations) (Correct)
....Luigi Sangiovanni#Vincentelliy# yPARADES, Via San Pantaleo, 66, 00186 Roma, Italy, balluchi, lucab, alberto parades.rm.cnr.it zDip. di Ingegneria Elettrica, Universit#a dell Aquila, Poggio di Roio, 67040 L Aquila, Italy, dibenede giannutri.caspur.it #Dep. of Electrical Engineering and Computer Science, University of California at Berkeley, CA 94720, alberto,pinello eecs.berkeley.edu Abstract The design of engine control systems has been traditionally carried out using a mix of heuristic techniques validated by simulation and prototyping using approximate average value models. However, the ever ....
....and SGS Thomson GEIE, by CNR and by GSRC. 1 Fuel Air Mix Ignition Combustion Exhaust Management Motion Generation Figure 1: Functional decomposition of the system. 1 Introduction Hybrid systems have been the subject of intensive study in the past few years by both the control and the computer#science communities. Particular emphasis has been placed on a uni#ed representation of hybrid models rooted in rigorous mathematical foundations ##1, 2, 3, 4, 5, 6, 7##. Some classical problems such as reachability analysis ##8, 9##, stability and safety ##10, 11, 12## have been investigated and tools ....
Science. Springer-Verlag, 1997.
Automotive Engine Control and Hybrid Systems.. - Balluchi.. (2000) (16 citations) (Correct)
....Alberto Luigi Sangiovanni#Vincentelliy# yPARADES, Via San Pantaleo, 66, 00186 Roma, Italy, balluchi, lucab, alberto parades.rm.cnr.it zDip. di Ingegneria Elettrica, Universit#a dell Aquila, Poggio di Roio, 67040 L Aquila, Italy, dibenede giannutri.caspur.it #Dep. of Electrical Engineering and Computer Science, University of California at Berkeley, CA 94720, alberto,pinello eecs.berkeley.edu Abstract The design of engine control systems has been traditionally carried out using a mix of heuristic techniques validated by simulation and prototyping using approximate average value models. However, the ever ....
Computer Science. Springer-Verlag, 1996.
Automotive Engine Control and Hybrid Systems.. - Balluchi.. (2000) (16 citations) (Correct)
....Alberto Luigi Sangiovanni#Vincentelliy# yPARADES, Via San Pantaleo, 66, 00186 Roma, Italy, balluchi, lucab, alberto parades.rm.cnr.it zDip. di Ingegneria Elettrica, Universit#a dell Aquila, Poggio di Roio, 67040 L Aquila, Italy, dibenede giannutri.caspur.it #Dep. of Electrical Engineering and Computer Science, University of California at Berkeley, CA 94720, alberto,pinello eecs.berkeley.edu Abstract The design of engine control systems has been traditionally carried out using a mix of heuristic techniques validated by simulation and prototyping using approximate average value models. However, the ever ....
Computer Science. Springer-Verlag, 1995.
Effective Meta-programming in Declarative Languages - Bowers (1998) (3 citations) (Correct)
No context found.
Computer Science 675. Springer-Verlag, 1993.
Factorization-based Fail-Stop Signatures Revisited - Schmidt-Samoa (2004) (Correct)
No context found.
Computer Science, pages 366 -- 377, Berlin, 1997. Springer-Verlag.
Efficient Zero-Knowledge Proofs of Knowledge - Without Intractability.. (Correct)
No context found.
Science, pages 390--420. Springer-Verlag, 1993, 16--20 August 1992.
Luby-Racko Backwards: Increasing Security by Making Block.. - Bellare, al. (2 citations) (Correct)
No context found.
Science Vol. 473, I. Damg#ard ed., Springer-Verlag, 1990 pp. 140#150.
Luby-Racko Backwards: Increasing Security by Making Block.. - Bellare, al. (2 citations) (Correct)
No context found.
Computer Science Vol. 658, R. Rueppel ed., Springer-Verlag, 1992, pp. 239#255.
Luby-Racko Backwards: Increasing Security by Making Block.. - Bellare, al. (2 citations) (Correct)
No context found.
Science Vol. 739, H. Imai, R. Rivest and T. Matsumoto ed., Springer-Verlag, 1991.
Luby-Racko Backwards: Increasing Security by Making Block.. - Bellare, al. (2 citations) (Correct)
No context found.
Science Vol. 1070, U. Maurer ed., Springer-Verlag, 1996.
Translation - Invariant Digital Image (Correct)
No context found.
Computer Science# pages 207#226# Cambridge# UK# May#June 1996. Springer Verlag.
Sight and Sound: Generating Facial Expressions and Spoken.. - Pelachaud, Prevost (1994) (3 citations) (Correct)
No context found.
Computer Animation '91, pages 45#58. Springer-Verlag, 1991.
Automatically Detecting Authentication Limitations in Commercial.. - Brackin (1999) (2 citations) (Correct)
No context found.
Science. Springer-Verlag, 1995.
Parallelizing the Divide and Conquer Algorithm for the.. - Tisseur, Dongarra (1999) (2 citations) (Correct)
No context found.
Science 1215, pages 140#153. Springer-Verlag, Berlin, 1997.
A Semantics for Multiprocessor Systems - Krishnan (1991) (2 citations) (Correct)
No context found.
Science Vol. 92. Springer Verlag, 1980.
A trying C++ experience (why compare dropped C++) - Dinesh (Correct)
No context found.
Computer Science, pages 278--293, Edinburgh, U.K.,, April 1994. Springer-Verlag.
Managing Multiple Communication Methods in.. - Foster, Geisler.. (1997) (45 citations) (Correct)
No context found.
Computer Graphics and Visualization, pages 217#237. Springer-Verlag, 1995.
A Graph-Theoretic Model of Shared-Memory Legality - Filho, Barbosa (2000) (Correct)
No context found.
Computer Science, pages 224#241. Springer Verlag, 1995.
Indeterminate Applicative Systems - The (Correct)
No context found.
Computer Science 70, Springer-Verlag, New York #1979#, pp. 203#225.
The Intuitionism Behind Statecharts Steps - Lüttgen, Mendler (2000) (Correct)
No context found.
Science, Sendai, Japan, September 1991, Springer-Verlag, pp. 244#264.
Representing and Reasoning on XML Documents: A.. - Calvanese, De.. (34 citations) (Correct)
No context found.
Computer Science, pages 229#246. Springer-Verlag, 1995.
Conjunctive query containment in Description Logies.. - Calvanese, De.. (1997) (10 citations) (Correct)
No context found.
Computer Science, pages 19#40. Springer-Verlag, 1997.
Tree-Structured Neural Networks: Efficient Evaluation of.. - Heinz (2000) (Correct)
No context found.
Computer Science. Springer Verlag, Berlin, 1981.
On the Decidability of Query Containment under Constraints - Calvanese, De Giacomo.. (1998) (74 citations) (Correct)
No context found.
Science, pages 19#40. Springer-Verlag, 1997.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC