×

Found 4,246 Documents (Results 1–100)

Representing small ordinals by finite automata. (English) Zbl 1455.68088

McQuillan, Ian (ed.) et al., Twelfth annual workshop on descriptional complexity of formal systems, Saskatoon, Canada, August 8–10, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 31, 78-87 (2010).
MSC:  68Q45 03E10 68Q25
PDFBibTeX XMLCite
Full Text: arXiv Link

State complexity of testing divisibility. (English) Zbl 1455.68085

McQuillan, Ian (ed.) et al., Twelfth annual workshop on descriptional complexity of formal systems, Saskatoon, Canada, August 8–10, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 31, 48-57 (2010).
MSC:  68Q45 11Y16
PDFBibTeX XMLCite
Full Text: arXiv Link

Quantum algorithms for testing Boolean functions. (English) Zbl 1456.68055

Cooper, S. Barry (ed.) et al., Proceedings of the sixth workshop on developments in computational models: causality, computation, and physics, DCM 2010, Edinburgh, Scotland, July 9–10, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 26, 101-108 (2010).
PDFBibTeX XMLCite
Full Text: Link

Understanding the quantum computational speed-up via de-quantisation. (English) Zbl 1459.81027

Cooper, S. Barry (ed.) et al., Proceedings of the sixth workshop on developments in computational models: causality, computation, and physics, DCM 2010, Edinburgh, Scotland, July 9–10, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 26, 1-12 (2010).
MSC:  81P68 68Q12
PDFBibTeX XMLCite
Full Text: Link

A rigorous extension of the Schönhage-Strassen integer multiplication algorithm using complex interval arithmetic. (English) Zbl 1456.68232

Zheng, Xizhong (ed.) et al., Seventh international conference on computability and complexity in analysis, Zhenjiang, China, June 21–25, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 24, 151-159 (2010).
PDFBibTeX XMLCite
Full Text: Link

NP-logic systems and model-equivalence reductions. (English) Zbl 1456.68060

Zheng, Xizhong (ed.) et al., Seventh international conference on computability and complexity in analysis, Zhenjiang, China, June 21–25, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 24, 130-138 (2010).
MSC:  68Q25 68Q60 68T20
PDFBibTeX XMLCite
Full Text: Link

Making big steps in trajectories. (English) Zbl 1456.65049

Zheng, Xizhong (ed.) et al., Seventh international conference on computability and complexity in analysis, Zhenjiang, China, June 21–25, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 24, 106-119 (2010).
PDFBibTeX XMLCite
Full Text: Link

Computing the solutions of the combined Korteweg-de Vries equation by Turing machines. (English) Zbl 1456.35181

Zheng, Xizhong (ed.) et al., Seventh international conference on computability and complexity in analysis, Zhenjiang, China, June 21–25, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 24, 101-105 (2010).
PDFBibTeX XMLCite
Full Text: Link

Evolutionary computation for modelling and optimization in finance. (English) Zbl 1436.62500

Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 265-274 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Detecting multivariate outliers using projection pursuit with particle swarm optimization. (English) Zbl 1436.62306

Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 89-98 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Enumerating and generating labeled \(k\)-degenerate graphs. (English) Zbl 1429.05099

Sedgewick, Robert (ed.) et al., Proceedings of the 7th workshop on analytic algorithmics and combinatorics (ANALCO ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 90-98 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Preference-constrained oriented matching. (English) Zbl 1430.05092

Sedgewick, Robert (ed.) et al., Proceedings of the 7th workshop on analytic algorithmics and combinatorics (ANALCO ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 66-73 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Fast algorithm for optimal compression of graphs. (English) Zbl 1430.68183

Sedgewick, Robert (ed.) et al., Proceedings of the 7th workshop on analytic algorithmics and combinatorics (ANALCO ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 34-46 (2010).
PDFBibTeX XMLCite
Full Text: DOI

The subset partial order: computing and combinatorics. (English) Zbl 1430.68198

Sedgewick, Robert (ed.) et al., Proceedings of the 7th workshop on analytic algorithmics and combinatorics (ANALCO ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 27-33 (2010).
MSC:  68R10 05C85 68W40
PDFBibTeX XMLCite
Full Text: DOI

StreamKM++: a clustering algorithm for data streams. (English) Zbl 1429.68059

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 173-187 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Untangling the braid: finding outliers in a set of streams. (English) Zbl 1429.68025

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 159-172 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Implementing streaming simplification for large labeled meshes. (English) Zbl 1430.68367

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 149-158 (2010).
MSC:  68U05 68W27
PDFBibTeX XMLCite
Full Text: DOI Link

Navigation in real-world complex networks through embedding in latent spaces. (English) Zbl 1429.68171

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 138-148 (2010).
MSC:  68R10 05C82 05C85
PDFBibTeX XMLCite
Full Text: DOI

Route planning with flexible objective functions. (English) Zbl 1430.68207

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 124-137 (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Budgeted maximum coverage with overlapping costs: monitoring the emerging infections network. (English) Zbl 1430.68186

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 112-123 (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Employing \((1 - \varepsilon)\) dominating set partitions as backbones in wireless sensor networks. (English) Zbl 1430.68227

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 98-111 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Tabulation based 5-universal hashing and linear probing. (English) Zbl 1430.68059

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 62-76 (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Algorithm engineering – an attempt at a definition using sorting as an example. (English) Zbl 1430.68429

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 55-61 (2010).
MSC:  68W01 68P10
PDFBibTeX XMLCite
Full Text: DOI

Implementation and parallelization of a reverse-search algorithm for Minkowski sums. (English) Zbl 1430.68391

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 34-42 (2010).
PDFBibTeX XMLCite
Full Text: DOI

A polynomial delay algorithm for enumerating approximate solutions to the interval constrained coloring problem. (English) Zbl 1430.68446

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 23-33 (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Fast local search for Steiner trees in graphs. (English) Zbl 1430.68248

Blelloch, Guy (ed.) et al., Proceedings of the 12th workshop on algorithm engineering and experiments (ALENEX ’10), Austin, TX, USA, January 16, 2010. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 1-10 (2010).
MSC:  68R10 05C85 68W40
PDFBibTeX XMLCite
Full Text: DOI Link

PASCO 2010 – Proceedings of the 4th international workshop on parallel symbolic computation, Grenoble, France, July 21–23, 2010. (English) Zbl 1405.68014

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0067-4). iv, 192 p. (2010).
PDFBibTeX XMLCite
Full Text: DOI

On efficiency of supercomputers in CFD simulations. (English) Zbl 1398.76189

Tromeur-Dervout, Damien (ed.) et al., Parallel computational fluid dynamics 2008. Parallel numerical methods, software development and applications. Proceedings of the 20th international conference, Lyon, France, May 19–22, 2008. Berlin: Springer (ISBN 978-3-642-14437-0/hbk; 978-3-642-26515-0/pbk978-3-642-14438-7/ebook). Lecture Notes in Computational Science and Engineering 74, 347-354 (2010).
MSC:  76M99 65Y05 65Y10
PDFBibTeX XMLCite
Full Text: DOI

Parallel shape optimization of a missile on a grid infrastructure. (English) Zbl 1398.76200

Tromeur-Dervout, Damien (ed.) et al., Parallel computational fluid dynamics 2008. Parallel numerical methods, software development and applications. Proceedings of the 20th international conference, Lyon, France, May 19–22, 2008. Berlin: Springer (ISBN 978-3-642-14437-0/hbk; 978-3-642-26515-0/pbk978-3-642-14438-7/ebook). Lecture Notes in Computational Science and Engineering 74, 51-59 (2010).
MSC:  76N25 65Y05
PDFBibTeX XMLCite
Full Text: DOI

The higher arithmetic. An introduction to the theory of numbers. Translated from the English by B. Z. Moroz. 2nd edition. (Высшая арифметика. Введение в теорию чисел.) (Russian) Zbl 1390.11001

Fiziko-Matematicheskoe Nasledie. Moscow: Knizhnyĭ Dom “LIBROKOM” (ISBN 978-5-397-01298-0). 175 p. (2010).
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