×

Found 93 Documents (Results 1–93)

A new B.E. formulation and its applications in engineering. (English) Zbl 0828.73072

Brebbia, C. A. (ed.), Boundary element technology VI. 6th international conference, BETECH 91, held in Southampton, GB, June 1991. Southampton: Computational Mechanics Publications. 295-308 (1991).
MSC:  74S15 74B05
PDFBibTeX XMLCite

Integration of neural networks and expert systems for process fault diagnosis. (English) Zbl 0749.68090

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 832-837 (1991).
Reviewer: N.Curteanu (Iaşi)
PDFBibTeX XMLCite

CABOT: An adaptive approach to case-based search. (English) Zbl 0751.68048

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 803-808 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T05 68T20 68T35
PDFBibTeX XMLCite

Choise of the optimum mathematical model in the problem of action recognition. (Russian) Zbl 0744.93053

Differential equations and their applications in physics, Collect. Sci. Works, Dnepropetrovsk, 25-33 (1991).
Reviewer: V.Kamen (Praha)
MSC:  93C30 45D05
PDFBibTeX XMLCite

Reachability for a class of nonlinear distributed systems governed by parabolic variational inequalities. (English) Zbl 0790.93081

Li, Xunjing (ed.) et al., Control theory of distributed parameter systems and applications. Proceedings of the IFIP WG 7.2 working conference, Shanghai, China, May 6-9, 1990. Berlin: Springer-Verlag. Lect. Notes Control Inf. Sci. 159, 196-202 (1991).
MSC:  93C30
PDFBibTeX XMLCite

Global stability and oscillations of distributed parameter synchronization systems. (English) Zbl 0801.93042

Barbu, V. (ed.), Differential equations and control theory. Proceedings of an international conference on differential equations and control theory, held in Iasi, Romania, August 27-September 1, 1990. Harlow: Longman Scientific & Technical. Pitman Res. Notes Math. Ser. 250, 299-305 (1991).
MSC:  93C15 93C30
PDFBibTeX XMLCite

On some nonlinear dynamic systems. (English) Zbl 0800.93507

Barbu, V. (ed.), Differential equations and control theory. Proceedings of an international conference on differential equations and control theory, held in Iasi, Romania, August 27-September 1, 1990. Harlow: Longman Scientific & Technical. Pitman Res. Notes Math. Ser. 250, 112-120 (1991).
MSC:  93C10 93C30
PDFBibTeX XMLCite

Finite element methods in the mechanics of deformable bodies. (Методы конечных ехлементов в механике деформируемых тел.) (Russian) Zbl 0777.73001

Khar’kov: Izdatel’stvo “Osnova” pri Khar’kovskom Gosudarstvennom Universitete. 272 p. (1991).
MSC:  74-02 74S05 65N30
PDFBibTeX XMLCite

A hybrid perturbation-Galerkin technique for partial differential equations. (English) Zbl 0743.65087

Asymptotic analysis and the numerical solution of partial differential equations, Proc. Workshop, Argonne/IL (USA) 1990, Lect. Notes Pure Appl. Math. 130, 113-134 (1991).
PDFBibTeX XMLCite

Task-driven supervisory control of discrete event systems. (English) Zbl 0789.68055

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 251-274 (1991).
MSC:  68Q10 93C30
PDFBibTeX XMLCite

The integral-difference method for quasilinear singular perturbation problems. (English) Zbl 0769.65060

Computational methods for boundary and interior layers in several dimensions, Adv. Comput. Methods Bound. Inter. Layers 1, 1-26 (1991).
Reviewer: O.Titow (Berlin)
PDFBibTeX XMLCite

A hybrid scheme for the singular value decomposition on a multiprocessor. (English) Zbl 0738.65028

Numerical linear algebra, digital signal processing and parallel algorithms, Proc. NATO ASI, Leuven/Belg. 1988, NATO ASI Ser., Ser. F 70, 419-428 (1991).
Reviewer: Z.Dostal (Ostrava)
PDFBibTeX XMLCite

A general framework for modal deduction. (English) Zbl 0765.68172

Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 196-207 (1991).
MSC:  68T15 03B45 03B35
PDFBibTeX XMLCite

Practical factorization of univariate polynomials over finite fields. (English) Zbl 1019.11506

Watt, Stephen M. (ed.), ISSAC ’91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15-17, 1991. New York, NY: ACM Press, 22-31 (1991).
MSC:  11Y16 68W30 11T06
PDFBibTeX XMLCite

Approximating rational curves using polynomial curves. (English) Zbl 0768.41019

NURBS for curve and surface design, Collect. Pap. SIAM Conf. Geom. Des., Tempe/AZ (USA) 1990, 149-158 (1991).
Reviewer: R.S.Dahiya (Ames)
MSC:  41A30
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

all top 3

Software