×

Found 323 Documents (Results 101–200)

Going after the \(k\)-SAT threshold. (English) Zbl 1293.68164

Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 705-714 (2013).
MSC:  68Q25 68Q17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Catching the \(k\)-NAESAT threshold. (English) Zbl 1286.68185

Karloff, Howard J. (ed.) et al., Proceedings of the 44th annual ACM symposium on theory of computing, STOC 2012. New York, NY, USA, May 19–22, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1245-5). 899-908 (2012).
MSC:  68Q17 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lagrangean method with topological changes for numerical modelling of forest fire propagation. (English) Zbl 1278.65131

Handlovičová, Angela (ed.) et al., Algoritmy 2012. 19th conference on scientific computing, Vysoké Tatry, Podbanské, Slovakia, September 9–14, 2012. Proceedings of contributed papers and posters. Bratislava: Slovak University of Technology, Faculty of Civil Engineering, Department of Mathematics and Descriptive Geometry (ISBN 978-80-227-3742-5/pbk). 42-52 (2012).
MSC:  65M08 65Y20 35K61
PDFBibTeX XMLCite

Fast algorithms for high frequency wave propagation. (English) Zbl 1248.65114

Graham, Ivan G. (ed.) et al., Numerical analysis of multiscale problems. Selected papers based on the presentations at the 91st London Mathematical Society symposium, Durham, UK, July 5–15, 2010. Berlin: Springer (ISBN 978-3-642-22060-9/hbk; 978-3-642-22061-6/ebook). Lecture Notes in Computational Science and Engineering 83, 127-161 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Using expression graphs in optimization algorithms. (English) Zbl 1242.90131

Lee, Jon (ed.) et al., Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17–21, 2008. New York, NY: Springer (ISBN 978-1-4614-1926-6/hbk; 978-1-4614-1927-3/ebook). The IMA Volumes in Mathematics and its Applications 154, 247-262 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

A coupled finite difference-Gaussian beam method for high frequency wave propagation. (English) Zbl 1246.65154

Engquist, Björn (ed.) et al., Numerical analysis of multiscale computations. Proceedings of a winter workshop at the Banff International Research Station 2009, Canada, December 6–11, 2011. Berlin: Springer (ISBN 978-3-642-21942-9/hbk; 978-3-642-21943-6/ebook). Lecture Notes in Computational Science and Engineering 82, 401-420 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Theoretical and practical results on straight skeletons of planar straight-line graphs. (English) Zbl 1283.68367

Proceedings of the 27th annual symposium on computational geometry, SoCG 2011, Paris, France, June 13–15, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0682-9). 171-178 (2011).
MSC:  68U05 05C10 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Efficient constraint propagation for graph coloring. (English) Zbl 1268.68149

Bonomo, Flavia (ed.) et al., LAGOS’11 – VI Latin-American algorithms, graphs, and optimization symposium. Extended abstracts from the symposium, Bariloche, Argentina, March 28–April 1, 2011. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 37, 243-248 (2011).
MSC:  68T20 05C15 05C85
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic data propagation in wireless sensor networks. (English) Zbl 1218.68057

Nikoletseas, Sotiris (ed.) et al., Theoretical aspects of distributed computing in sensor networks. Berlin: Springer (ISBN 978-3-642-14848-4/hbk; 978-3-642-14849-1/ebook). Monographs in Theoretical Computer Science. An EATCS Series, 353-380 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Nonmonotone learning of recurrent neural networks in symbolic sequence processing applications. (English) Zbl 1186.68386

Palmer-Brown, Dominic (ed.) et al., Engineering applications of neural networks. 11th international conference, EANN 2009, London, UK, August 27–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03968-3/pbk; 978-3-642-03969-0/ebook). Communications in Computer and Information Science 43, 325-335 (2009).
MSC:  68T05
PDFBibTeX XMLCite
Full Text: DOI

Numerical solution of hyperbolic partial differential equations. With CD-ROM. (English) Zbl 1187.65088

Cambridge: Cambridge University Press (ISBN 978-0-521-87727-5/hbk). xxi, 597 p. (2009).
PDFBibTeX XMLCite

Implementing spectral methods for partial differential equations. Algorithms for scientists and engineers. (English) Zbl 1172.65001

Scientific Computation. Berlin: Springer (ISBN 978-90-481-2260-8/hbk; 978-90-481-2261-5/ebook). xviii, 394 p. (2009).
PDFBibTeX XMLCite
Full Text: DOI

When selfish meets evil, Byzantine players in a virus inoculation game. (English) Zbl 1314.68070

Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 35-44 (2006).
PDFBibTeX XMLCite
Full Text: DOI

On the solution-space geometry of random constraint satisfaction problems. (English) Zbl 1301.68190

Kleinberg, Jon M. (ed.), Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21–23, 2006. New York, NY: ACM Press (ISBN 1-59593-134-1). 130-139 (2006).
MSC:  68Q87 68Q25 68T20
PDFBibTeX XMLCite
Full Text: DOI

Wave propagation software, computational science, and reproducible research. (English) Zbl 1100.65068

Sanz-Solé, Marta (ed.) et al., Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume III: Invited lectures. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-022-7/hbk). 1227-1253 (2006).
PDFBibTeX XMLCite

Parameter optimization algorithm with improved convergence properties for adaptive learning. (English) Zbl 1106.68096

Maroulis, George (ed.) et al., In the frontiers of computational science. Lectures presented in the international conference of computational methods in science and engineering (ICCMSE 2005), Corinth, Greece, October 21–26, 2005. Utrecht: VSP (ISBN 90-6764-442-0/pbk). Lecture Series on Computer and Computational Sciences 3, 384-398 (2006).
MSC:  68T05
PDFBibTeX XMLCite

Dynamic importance sampling computation in Bayesian networks. (English) Zbl 1274.68545

Nielsen, Thomas Dyhre (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40494-5/pbk). Lect. Notes Comput. Sci. 2711, 137-148 (2003).
MSC:  68T37 68W25
PDFBibTeX XMLCite
Full Text: DOI

An improved snap-stabilizing PIF algorithm. (English) Zbl 1039.68514

Huang, Shing-Tsaan (ed.) et al., Self-stabilizing systems. 6th international symposium, SSS 2003, San Francisco, CA, USA, June 24–25, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40453-8/pbk). Lect. Notes Comput. Sci. 2704, 199-214 (2003).
MSC:  68M12 68M14 68M15
PDFBibTeX XMLCite
Full Text: Link

Wave-propagation methods and software for complex applications. (English) Zbl 1118.65356

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). 107-118 (2002).
PDFBibTeX XMLCite

Adaptation and assessment of a high resolution semi-discrete numerical scheme for hyperbolic systems with source terms and stiffness. (English) Zbl 1062.65097

Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 2. Berlin: Springer (ISBN 3-540-43593-X). Lect. Notes Comput. Sci. 2330, 452-460 (2002).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software