Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
701	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2010; 00:1–7 Prepared using cpeauth.cls [Version: v2.02] HPCT OOLKIT: Tools for performance analysis of Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:27:47 Software engineering Computer programming Computing Software optimization Profiling Instrumentation Call graph Gprof Computer performance Program optimization Scope Message Passing Interface
702	What can a philosopher and logician do for your enterprise? v. 3, A series of un-ordered top ten lists with brief, non-exhaustive annotations to answer the question above follows. Top ten skills concerning philosophy in Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-11-11 18:49:37 Logic Philosophy Science Formal sciences Belief Thought Computability theory Theoretical computer science Mathematical logic Argument ChurchTuring thesis Computation
703	Computation of Rotation Minimizing Frames 2 WENPING WANG University of Hong Kong ¨ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-08-04 08:35:24 Differential geometry Mathematics Geometry Mathematical analysis Curves Curvature Connection Multivariable calculus FrenetSerret formulas Differential geometry of curves Moving frame Torsion tensor
704	Generalization and Systematicity in Echo State Networks Stefan L. Frank () Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Neth Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:04 Artificial neural networks Cognition Computational neuroscience Cognitive science Applied mathematics Artificial intelligence Computational statistics Computational linguistics Language model Echo state network Recurrent neural network Connectionism
705	Verifiable Computation Advisor(s): Daniel Slamanig Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation Add to Reading List Source URL: www.iaik.tugraz.at Language: English - Date: 2015-09-08 06:00:03 Distributed computing Secure communication Verifiable computing Cloud computing Institute for Applied Information Processing and Communications Deliverable
706	An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:59 Algebra Abstract algebra Mathematics Polynomials Ring theory Algebras Differential operator Multivariable calculus Operator theory Associative algebra D-module Differential algebra
707	Black-Box Complexity—A Complexity Theory for Evolutionary Computation ´ Presenter: Benjamin Doerr, Ecole Polytechnique de Paris, France; email . Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:22:02 Evolution Computational complexity theory Theory of computation Metaphysics Analysis of algorithms Probabilistic complexity theory Cybernetics Applied mathematics Complexity Randomized algorithm Algorithm Evolutionary algorithm
708	Physical Computing in STEM Education Sandra Schulz Niels Pinkwart Humboldt-Universität zu Berlin Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2015-12-18 10:24:22 Education Science education Science Education policy Experiential learning Science and technology Science technology engineering and mathematics Computing Computer science Simulation Computation C-STEM Center
709 $Continued fractions / Numerical analysis / Rational functions / Pad table / Pad approximant$	Fraction-free Computation of Simultaneous Padé Approximants George Labahn Symbolic Computation Group Cheriton School of Computer Science University of Waterloo, Canada Add to Reading List Source URL: issac2009.kias.re.kr Language: English - Date: 2009-07-30 19:41:13 Continued fractions Numerical analysis Rational functions Pad table Pad approximant
710	Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication∗ Christoph Lenzen Nancy Lynch Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:12 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Edsger W. Dijkstra Algorithm Mathematical logic Theoretical computer science Time complexity Shortest path problem Asymptotically optimal algorithm Randomized algorithm

UPDATE