×

Found 52 Documents (Results 1–52)

Checking protocol compatibility using Maude. (English) Zbl 1364.68282

Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 65-81 (2009).
PDFBibTeX XMLCite
Full Text: Link

Identifying query incompatibilities with evolving XML schemas. (English) Zbl 1302.68089

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 221-230 (2009).
MSC:  68N30 68P05
PDFBibTeX XMLCite
Full Text: DOI Link

Reduction of multidimensional nonlinear d’Alembert equations to two-dimensional equations and classes of reduced equations. (English) Zbl 1227.35187

Ivanova, Nataliya (ed.) et al., Proceedings of the 4th international workshop (GADEIS-IV) on group analysis of differential equations and integrable systems, Protaras, Cyprus, October 26–30, 2008. Nicosia: University of Cyprus, Department of Mathematics and Statistics (ISBN 978-9963-689-12-5). 243-253 (2009).
MSC:  35L05 35L70
PDFBibTeX XMLCite
Full Text: arXiv

On some operations using the min operator. (English) Zbl 1227.03084

Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 353-368 (2009).
MSC:  03G25 06D20
PDFBibTeX XMLCite

Compatibility and priority method of trapezoid fuzzy number judgement matrix. (English) Zbl 1189.90081

Cao, Bingyuan (ed.) et al., Fuzzy information and engineering. Vol. 2. Proceedings of the third international conference on fuzzy information and engineering (ICFIE 2009), Chongqing, China, September 26–29, 2009. Berlin: Springer (ISBN 978-3-642-03663-7/pbk; 978-3-642-03664-4/ebook). Advances in Intelligent and Soft Computing 62, 1397-1404 (2009).
MSC:  90B50
PDFBibTeX XMLCite
Full Text: DOI

Continuity of compatibility function based on \(t\)-operation. (English) Zbl 1191.68687

Cao, Bingyuan (ed.) et al., Fuzzy information and engineering. Vol. 2. Proceedings of the third international conference on fuzzy information and engineering (ICFIE 2009), Chongqing, China, September 26–29, 2009. Berlin: Springer (ISBN 978-3-642-03663-7/pbk; 978-3-642-03664-4/ebook). Advances in Intelligent and Soft Computing 62, 639-645 (2009).
MSC:  68T37 03E72
PDFBibTeX XMLCite
Full Text: DOI

Niceness theorems. (English) Zbl 1190.00001

Kruglikov, Boris (ed.) et al., Differential equations – Geometry, symmetries and integrability. The Abel symposium 2008. Proceedings of the fifth Abel symposium, Tromsø, Norway, June 17–22, 2008. Berlin: Springer (ISBN 978-3-642-00872-6/hbk; 978-3-642-00873-3/ebook). Abel Symposia 5, 107-150 (2009).
PDFBibTeX XMLCite
Full Text: DOI

The embedding problem with non-abelian kernel for local fields. (English. Russian original) Zbl 1208.11127

J. Math. Sci., New York 161, No. 4, 553-557 (2009); translation from Zap. Nauchn. Semin. POMI 365, 172-181 (2009).
MSC:  11S20 12F10
PDFBibTeX XMLCite
Full Text: DOI

Characterizing incentive compatibility for convex valuations. (English) Zbl 1262.91057

Mavronicolas, Marios (ed.) et al., Algorithmic game theory. Second international symposium, SAGT 2009, Paphos, Cyprus, October 18–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04644-5/pbk). Lecture Notes in Computer Science 5814, 24-35 (2009).
MSC:  91B14
PDFBibTeX XMLCite
Full Text: DOI

Violation of Bell’s inequality and non-Kolmogorovness. (English) Zbl 1183.81009

Accardi, Luigi (ed.) et al., Foundations of probability and physics – 5. Växjö, Sweden, 24–27 August 2008. Proceedings of the international conference. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0636-0/hbk). AIP Conference Proceedings 1101, 86-99 (2009).
MSC:  81P05 81P40 81P13
PDFBibTeX XMLCite

An example of Osofsky and essential overrings. (English) Zbl 1191.16003

Dung, Nguyen Viet (ed.) et al., Rings, modules and representations. International conference on rings and things in honor of Carl Faith and Barbara Osofsky, Zanesville, OH, USA, June 15–17, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4370-3/pbk). Contemporary Mathematics 480, 13-33 (2009).
MSC:  16D50 16L60
PDFBibTeX XMLCite

Semantic characterizations of German question-embedding predicates. (English) Zbl 1236.91121

Bosch, Peter (ed.) et al., Logic, language, and computation. 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1–5, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00664-7/pbk). Lecture Notes in Computer Science 5422. Lecture Notes in Artificial Intelligence, 229-241 (2009).
MSC:  91F20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

all top 3

Software