×

Found 353 Documents (Results 1–100)

Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints. (English) Zbl 1268.68114

Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 64-83 (2002).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

From the specification to the scheduling of time-dependent systems. (English) Zbl 1278.68182

Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 129-145 (2002).
MSC:  68Q60 68M20 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Transitive substructures of \(L_\alpha\). (English) Zbl 1120.03311

Contreras, G. (ed.) et al., 34th national congress of the Mexican Mathematical Society, Toluca, Mexico, October 7–12, 2001. Proceedings. México: Sociedad Matemática Mexicana (ISBN 970-32-0225-X/pbk). Aportaciones Mat., Comun. 30, 65-70 (2002).
MSC:  03E35 03E45 03E55
PDFBibTeX XMLCite

An optimal error estimate for an \(h\)-\(p\) clouds Galerkin method. (English) Zbl 1066.65115

Chan, Tony F. (ed.) et al., Recent progress in computational and applied PDEs. Conference proceedings for the international conference held in Zhangjiajie, China, July 1–7, 2001. New York, NY: Kluwer Academic / Plenum Publishers (ISBN 0-306-47420-4/hbk). 217-230 (2002).
PDFBibTeX XMLCite

Numerical solution of radiative transfer problems with finite volumes. (English) Zbl 1062.65147

Herbin, Raphaéle (ed.) et al., Finite volumes for complex applications III. Problems and perspectives. Papers from the 3rd symposium of finite volumes for complex applications, Porquerolles, France, June 24–28, 2002. London: Hermes Penton Science (ISBN 1-9039-9634-1/pbk). 695-702 (2002).
MSC:  65R20 45K05 85A25
PDFBibTeX XMLCite

Dynamic CSPs for interval-based temporal reasoning. (English) Zbl 1045.68835

Hendtlass, Tim (ed.) et al., Developments in applied artificial intelligence. 15th international conference on industrial and engineering applications of artificial intelligence and expert systems IEA/AIE 2002, Cairns, Australia, June 17–20, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43781-9). Lect. Notes Comput. Sci. 2358, 575-585 (2002).
MSC:  68U99 68T20 68T30
PDFBibTeX XMLCite
Full Text: Link

Nonparametric estimation of the ruin probability for generalized risk processes. (English. Russian original) Zbl 1036.62108

Theory Probab. Appl. 47, No. 1, 1-16 (2002); translation from Teor. Veroyatn. Primen. 47, No. 1, 3-20 (2002).
MSC:  62P05 62G15 62G20 91B30
PDFBibTeX XMLCite
Full Text: DOI

Referential and inferential many-valuedness. (English) Zbl 1036.03017

Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. New York, NY: Marcel Dekker (ISBN 0-8247-0805-9/pbk). Lect. Notes Pure Appl. Math. 228, 341-352 (2002).
PDFBibTeX XMLCite

On \(NCG_\omega\): A paraconsistent sequent calculus. (English) Zbl 1034.03033

Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. New York, NY: Marcel Dekker (ISBN 0-8247-0805-9/pbk). Lect. Notes Pure Appl. Math. 228, 227-240 (2002).
MSC:  03B53 03F05
PDFBibTeX XMLCite

A taxonomy of C-systems. (English) Zbl 1036.03022

Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. New York, NY: Marcel Dekker (ISBN 0-8247-0805-9/pbk). Lect. Notes Pure Appl. Math. 228, 1-94 (2002).
MSC:  03B53
PDFBibTeX XMLCite
Full Text: arXiv

Adapted multiresolution analysis and wavelets. (English) Zbl 1041.42032

Leindler, L. (ed.) et al., Functions, series, operators. Alexits memorial conference in honor of the 100th anniversary of the birth of Professor George Alexits (1899–1978), Budapest, Hungary, August 9–13, 1999. Budapest: János Bolyai Mathematical Society (ISBN 963-9453-00-5/hbk). 23-38 (2002).
MSC:  42C40 28A80
PDFBibTeX XMLCite

Convergence of corresponding continued fractions. (English) Zbl 1031.30003

Bennett, M. A. (ed.) et al., Number theory for the millennium II. Proceedings of the millennial conference on number theory, Urbana-Champaign, IL, USA, May 21-26, 2000. Natick, MA: A K Peters. 355-373 (2002).
MSC:  30B70 40A15
PDFBibTeX XMLCite

An algorithm for checking the time consistency of message sequence charts. (English. Russian original) Zbl 1031.68138

Cybernetics and Systems Analysis 38, No. 6, 808-817 (2002); translation from Kibern. Sist. Anal. 2002, No. 6, 16-29 (2002).
MSC:  68W05
PDFBibTeX XMLCite
Full Text: DOI

The power set function. (English) Zbl 1030.03032

Li, Ta Tsien (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20-28, 2002. Vol. I: Plenary lectures and ceremonies. Beijing: Higher Education Press. 507-513 (2002).
MSC:  03E10 03E35 03E55
PDFBibTeX XMLCite
Full Text: arXiv

Consistency of \(k\)-centres via metric projection. (English) Zbl 1038.60005

Berkes, I. (ed.) et al., Limit theorems in probability and statistics. Fourth Hungarian colloquium on limit theorems in probability and statistics, Balatonlelle, Hungary, June 28–July 2, 1999. Vol. II. Budapest: János Bolyai Mathematical Society (ISBN 963-9453-01-3/hbk). 335-350 (2002).
PDFBibTeX XMLCite

Convergence in the presence of algebraic structure. (English) Zbl 1029.54003

Hušek, Miroslav (ed.) et al., Recent progress in general topology II. Based on the Prague topological symposium, Prague, Czech Republic, August 19-25, 2001. Amsterdam: Elsevier. 463-484 (2002).
PDFBibTeX XMLCite

Recent results in set-theoretic topology. (English) Zbl 1026.54001

Hušek, Miroslav (ed.) et al., Recent progress in general topology II. Based on the Prague topological symposium, Prague, Czech Republic, August 19-25, 2001. Amsterdam: Elsevier. 131-152 (2002).
PDFBibTeX XMLCite

A method for maintaining document consistency based on similarity contents. (English) Zbl 1031.68835

Andersson, Birger (ed.) et al., Natural language processing and information systems. 6th international conference on applications of natural language to information systems, NLDB 2002, Stockholm, Sweden, June 27-28, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2553, 85-96 (2002).
MSC:  68U99 68T50 68U35
PDFBibTeX XMLCite
Full Text: Link

Generalized orthogonal decompositions in adjustment models. (Generalisierte Orthogonalzerlegungen in der Ausgleichsrechnung.) (German) Zbl 1026.65008

Deutsche Geodätische Kommission bei der Bayerischen Akademie der Wissenschaften. Reihe C: Dissertationen. 559. München: Verlag der Bayerischen Akademie der Wissenschaften in Kommission bei der Beck’schen Verlagsbuchhandlung München. 112 S. (2002).
MSC:  65C60 65F20 62J05 62J10 86A30
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software