Search results for "Ontario"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality
52	Gwen Third, Lori Marshall, Caterina Kmill, Catherine Collinson, Laurie Sherrington, Darlene Steven	Multi Site Cardiac Rehabilitation Programming for Residents of Northwestern Ontario.	eTELEMED	2009	DBLP DOI BibTeX RDF
48	Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones	Motion Capture for a Natural Tree in the Wind.	MIG	2010	DBLP DOI BibTeX RDF
48	Jie Long, Cory Reimschussel, Ontario Britton, Michael D. Jones	Motion capture for natural tree animation.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
36	Susan MacDonald	A political economy of public libraries in immigrant settlement in Ontario, Canada (1945-2011).	iConference	2012	DBLP DOI BibTeX RDF
36	Stephen M. Watt, Jan Verschelde (eds.)	Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada	SNC	2007	DBLP DOI BibTeX RDF
36	Marc Moreno Maza, Stephen M. Watt (eds.)	Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada	PASCO	2007	DBLP BibTeX RDF
36	Hiroshi Kai, Nanami Nakagawa, Matu-Tarow Noda	A hybrid integral for parametrized rational functions.	SNC	2007	DBLP DOI BibTeX RDF	hybrid integral, symbolic-numeric computation
36	Masaru Sanuki, Tateaki Sasaki	Computing Approximate GCDs in Ill-conditioned Cases.	SNC	2007	DBLP DOI BibTeX RDF	approximate GCD, stabilization, euclidean algorithm, ill-conditioned problem
36	Dmytro Chibisov, Ernst W. Mayr	Motion planning for 6R-Robots: multiple tasks with constrained velocity and orientation of the end-effector.	SNC	2007	DBLP DOI BibTeX RDF	motion planning, computer algebra
36	Dhavide A. Aruliah, Robert M. Corless, Laureano González-Vega, Azar Shakoori	Companion matrix pencils for hermite interpolants.	SNC	2007	DBLP DOI BibTeX RDF	companion matrix, hermite interpolation
36	Lloyd N. Trefethen	Computing numerically with functions instead of numbers.	SNC	2007	DBLP DOI BibTeX RDF	Chebyshev series, symbolic-numeric computing
36	Erich L. Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi	Lower bounds for approximate factorizations via semidefinite programming: (extended abstract).	SNC	2007	DBLP DOI BibTeX RDF	hybrid method, SDP, approximate factorization
36	A. D. Kennedy, Thomas Binoth, Thomas Rippon	Automating renormalization of quantum field theories.	SNC	2007	DBLP DOI BibTeX RDF	Feynman diagrams, quantum field theory, renormalization theory
36	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms.	SNC	2007	DBLP DOI BibTeX RDF	multivariate rational function, random matrix, structured matrix, interpolation, probabilistic analysis, condition number, sparse polynomial, symbolic/numeric hybrid method
36	Robert M. Corless, Nargol Rezvani	The nearest polynomial of lower degree.	SNC	2007	DBLP DOI BibTeX RDF	lagrange basis, nearest polynomial, CAGD
36	Greg Leibon, Daniel N. Rockmore, Gregory S. Chirikjian	A fast hermite transform with applications to protein structure determination.	SNC	2007	DBLP DOI BibTeX RDF	generalized fourier transform, orthogonal polynomial transform, three-term recurrence, hermite transform
36	Hiroshi Sekigawa	The nearest polynomial with a zero in a given domain.	SNC	2007	DBLP DOI BibTeX RDF	polynomial, perturbation, zero
36	Helfried Peyrl, Pablo A. Parrilo	A Macaulay 2 package for computing sum of squares decompositions of polynomials with rational coefficients.	SNC	2007	DBLP DOI BibTeX RDF	semideffinite programming, symbolic/numerical methods, sum of squares, algebraic geometry
36	Yufu Chen, Xiaohui Meng	Border bases of positive dimensional polynomial ideals.	SNC	2007	DBLP DOI BibTeX RDF	border basis, algorithm, polynomial ideal
36	Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Guoliang Qian, Yuqing Tang 0001	Real root-finding.	SNC	2007	DBLP DOI BibTeX RDF	univariate polynomials, root-finding, real roots
36	Barry H. Dayton	Numerical local rings and local solution of nonlinear systems.	SNC	2007	DBLP DOI BibTeX RDF	analytic system, local ring, reduced row echelon form, polynomial system
36	Wen-shin Lee	From quotient-difference to generalized eigenvalues and sparse polynomial interpolation.	SNC	2007	DBLP DOI BibTeX RDF	Ben-Or/Tiwari algorithm, Prony's method, qd-algorithm, sparse polynomial interpolation, generalized eigenvalue
36	Mario Fioravanti, Laureano González-Vega, Andreas Seidl	Real implicitization of curves and geometric extraneous components.	SNC	2007	DBLP DOI BibTeX RDF
36	Dhavide A. Aruliah, Robert M. Corless, Azar Shakoori, Laureano González-Vega, Ignacio F. Rúa	Computing the topology of a real algebraic plane curve whose equation is not directly available.	SNC	2007	DBLP DOI BibTeX RDF
36	Tateaki Sasaki, Fujio Kako	Computing floating-point gröbner bases stably.	SNC	2007	DBLP DOI BibTeX RDF	Gröbner base, approximate Gröbner base, floating-point Gröbner base, stabilization
36	Amir Hashemi	Polynomial-time algorithm for Hilbert series of Borel type ideals.	SNC	2007	DBLP DOI BibTeX RDF	Castelnuovo-Mumford regularity, Gröbner bases, Hilbert series, satiety, complexity
36	Adrien Poteaux	Computing monodromy groups defined by plane algebraic curves.	SNC	2007	DBLP DOI BibTeX RDF	monodromy, algebraic curves, symbolic-numeric computation, Riemann surfaces
36	Victor Y. Pan, Xiaodong Yan	Null space and eigenspace computations with additive preprocessing.	SNC	2007	DBLP DOI BibTeX RDF	additive preprocessing, eigenspace computations, ill conditioned matrices, null space computations
36	Charles W. Wampler II	Numerical algebraic geometry and kinematics.	SNC	2007	DBLP DOI BibTeX RDF	robotics, kinematics, numerical algebraic geometry, homotopy continuation
36	Lihong Zhi	Numerical optimization in hybrid symbolic-numeric computation.	SNC	2007	DBLP DOI BibTeX RDF	numerical optimization, symbolic/numeric hybrid methods
36	Bin Li, Jiawang Nie, Lihong Zhi	Approximate GCDs of polynomials and SOS relaxation.	SNC	2007	DBLP DOI BibTeX RDF	SOS relaxation, global minimization, GCD
36	Dhavide A. Aruliah, Robert M. Corless, Laureano González-Vega, Azar Shakoori	Geometric applications of the Bezout matrix in the Lagrange basis.	SNC	2007	DBLP DOI BibTeX RDF	Bézout matrix, Lagrange basis, CAGD
36	Daiju Inaba, Tateaki Sasaki	A numerical study of extended Hensel series.	SNC	2007	DBLP DOI BibTeX RDF	many-valuedness, multivariate algebraic function, series expansion, convergence, singular point
36	André Galligo, Mark van Hoeij	Approximate bivariate factorization: a geometric viewpoint.	SNC	2007	DBLP DOI BibTeX RDF	maple code, algorithms, approximate factorization, algebraic geometry
36	Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, M. Tabanjeh	The schur aggregation for solving linear systems of equations.	SNC	2007	DBLP DOI BibTeX RDF	additive preconditioning, schur aggregates, linear systems, Iterative Refinement
36	John P. May, B. David Saunders, David Harlan Wood	Numerical techniques for computing the inertia of products of matrices of rational numbers.	SNC	2007	DBLP DOI BibTeX RDF	matrix signature, product eigenvalue problem, lie group, symbolic/numeric hybrid method
36	Marc Eric Normandin, Adam Vajda, Sree Ram Valluri	Matched filtering a gravitational wave pulsar signal involving reciprocal gamma functions.	SNC	2007	DBLP DOI BibTeX RDF	VIRGO spectral noise density, fitting factor, gravitational wave, pulsar signal, template, matched filtering
36	Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt	Generation and optimisation of code using coxeter lattice paths.	PASCO	2007	DBLP DOI BibTeX RDF	coxeter groups, code generation, stencils, data-parallel computing
36	Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie	Multiprocessed parallelism support in ALDOR on SMPs and multicores.	PASCO	2007	DBLP DOI BibTeX RDF	aldor, categorical parallelism, dynamic process management, multiprocessor parallelism, shared memory
36	Marc Moreno Maza, Yuzhen Xie	Component-level parallelization of triangular decompositions.	PASCO	2007	DBLP DOI BibTeX RDF	component-level, parallelization, triangular decompositions, polynomial system solving
36	Anton Leykin, Frank Sottile	Computing monodromy via parallel homotopy continuation.	PASCO	2007	DBLP DOI BibTeX RDF	Schubert problems, polynomial homotopy continuation monodromy, parallel processing, distributed computing, Galois group
36	Jean-Louis Roch, Sébastien Varrette	Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product.	PASCO	2007	DBLP DOI BibTeX RDF	divide & conquer algorithms, fork-join macro-data flow graph, global computing, result-checking
36	Ilias S. Kotsireas, Christos Koukouvinos	Inequivalent Hadamard matrices from orthogonal designs.	PASCO	2007	DBLP DOI BibTeX RDF	orthogonal designs, systems of polynomial equations, Hadamard matrices
36	Katherine A. Yelick, Dan Bonachea, Wei-Yu Chen, Phillip Colella, Kaushik Datta, Jason Duell, Susan L. Graham, Paul Hargrove, Paul N. Hilfinger, Parry Husbands, Costin Iancu, Amir Kamil, Rajesh Nishtala, Jimmy Su, Michael L. Welcome, Tong Wen	Productivity and performance using partitioned global address space languages.	PASCO	2007	DBLP DOI BibTeX RDF	GASNet, titanium, UPC, PGAS, NAS parallel benchmarks, one-sided communication, partitioned global address space
36	Shutaro Inoue, Yosuke Sato	On the parallel computation of comprehensive Gröbner systems.	PASCO	2007	DBLP DOI BibTeX RDF	comprehensive Gröbner system
36	Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche	Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography.	PASCO	2007	DBLP DOI BibTeX RDF	parallel STL, workstealing, grid computation, symmetric cryptography, adaptive parallelism
36	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Towards a high-level implementation of flexible parallelism primitives for symbolic languages.	PASCO	2007	DBLP DOI BibTeX RDF	parallelism, logic programming, symbolic computation
36	Michael A. Bauer 0001	High performance computing: the software challenges.	PASCO	2007	DBLP DOI BibTeX RDF
36	Matteo Frigo	Multithreaded programming in Cilk.	PASCO	2007	DBLP DOI BibTeX RDF	spawn, sync, cilk
36	Eric Robinson, Daniel Kunkle, Gene Cooperman	A comparative analysis of parallel disk-based Methods for enumerating implicit graphs.	PASCO	2007	DBLP DOI BibTeX RDF	disk-based, implicit graphs, parallel, search, enumeration
36	Thierry Gautier, Xavier Besseron, Laurent Pigeon	KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors.	PASCO	2007	DBLP DOI BibTeX RDF	cluster, multi-core, data flow, work-stealing, multi-processor
36	Xin Li 0009, Marc Moreno Maza	Multithreaded parallel implementation of arithmetic operations modulo a triangular set.	PASCO	2007	DBLP DOI BibTeX RDF	algorithms, parallelization, polynomials, high-performance, normal form
36	Bruce W. Char, B. David Saunders, Bryan S. Youse	LinBox and future high performance computer algebra.	PASCO	2007	DBLP DOI BibTeX RDF	parallel computation, multi-core, high performance
36	Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska	Parallel computation of the rank of large sparse matrices from algebraic K-theory.	PASCO	2007	DBLP DOI BibTeX RDF	algebraic K-theory, block Wiedemann, cohomology computation, parallel rank and Smith form, sparse matrix
36	Mohab Safey El Din, Philippe Trebuchet	POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations.	PASCO	2007	DBLP DOI BibTeX RDF	univariate polynomial, scalability, symbolic-numeric computation
36	Stephanie Chow	Ontario healthcare privacy act: compliant ad hoc healthcare applications.	PST	2006	DBLP DOI BibTeX RDF
36	Marilyne Jollineau, Phil J. Howarth	Use of high-resolution imagery to map wetland environments in south-central Ontario, Canada.	IGARSS	2002	DBLP DOI BibTeX RDF
36	Erich L. Kaltofen, Gilles Villard (eds.)	Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001	ISSAC	2001	DBLP BibTeX RDF
36	Eugene V. Zima	On computational properties of chains of recurrences.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Steven Fortune	Polynomial root finding using iterated Eigenvalue computation.	ISSAC	2001	DBLP DOI BibTeX RDF
36	André Galligo, David Rupprecht	Semi-numerical determination of irreducible branches of a reduced space curve.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Tateaki Sasaki	Approximate multivariate polynomial factorization based on zero-sum relations.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Emmanuel Thomé	Fast computation of linear generators for matrix sequences and application to the block Wiedemann algorithm.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Mikhail V. Foursov, Marc Moreno Maza	On computer-assisted classification of coupled integrable equations.	ISSAC	2001	DBLP DOI BibTeX RDF	generalized symmetries, integrable PDEs, mathematical physics, polynomial systems, triangular decompositions
36	Carlos D'Andrea, Ioannis Z. Emiris	Hybrid sparse resultant matrices for bivariate systems.	ISSAC	2001	DBLP DOI BibTeX RDF	mixed subdivison, piecewise-linear lifting, sparse resultant matrix, toric Jacobian, convexity
36	Joachim von zur Gathen	Irreducible trinomials over finite fields.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Howard Cheng, George Labahn	Computing all factorizations in ***.	ISSAC	2001	DBLP DOI BibTeX RDF	structured matrices, polynomial factorization
36	Daniele Micciancio, Bogdan Warinschi	A linear space algorithm for computing the herite normal form.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Yosuke Sato, Akira Suzuki	Discrete comprehensive Gröbner bases.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Gene Cooperman, Victor Grinberg	Scalable parallel coset enumeration using bulk definition.	ISSAC	2001	DBLP DOI BibTeX RDF
36	César Domínguez 0001, Julio Rubio 0001	Modeling inheritance as coercion in a symbolic computation system.	ISSAC	2001	DBLP DOI BibTeX RDF	CLOS
36	Raya Khanin	Dimensional analysis in computer algebra.	ISSAC	2001	DBLP DOI BibTeX RDF	dimensional variables, nondimensionalization, computer algebra, Mathematica, dimensional analysis
36	Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager	Computation of the radical of polynomial ideals over fields of arbitrary characteristic.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou	Symbolic-interval cooperation in constraint programming.	ISSAC	2001	DBLP DOI BibTeX RDF	interval arithmetic, constraint solving, symbolic computation
36	Edith Aguirre, Abdul Salam Jarrah, Reinhard C. Laubenbacher	Generic ideals and Moreno-Socías conjucture.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner bases, Moreno-Socías conjecture, generic ideals
36	Sergei A. Abramov, Marko Petkovsek	Minimal decomposition of indefinite hypergeometric sums.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns	Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Neven Jurkovic	Diagnosing and correcting student's misconceptions in an educational computer algebra system.	ISSAC	2001	DBLP DOI BibTeX RDF	mal-rules, intelligent tutoring systems (ITS), student modeling, computer algebra systems (CAS)
36	Sergei A. Abramov, Manuel Bronstein	On solutions of linear functional systems.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Olivier Ruatta	A multivariate Weierstrass iterative rootfinder.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Alexandre Sedoglavic	A probabilistic algorithm to test local algebraic observability in polynomial time.	ISSAC	2001	DBLP DOI BibTeX RDF	seminumerical algorithm, observability, identifiability
36	Francesca Cioffi, Ferruccio Orecchia	Computation of minimal generators of ideals of fat points.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner basis, fat points, minimal generators
36	Sidi Mohamed Sedjelmaci	On a parallel Lehmer-Euclid GCD algorithm.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Massimo Caboara, Lorenzo Robbiano	Families of estimable terms.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner bases, border bases, estimable terms, statistics
36	Alessandro Armando, Clemens Ballarin	Maple's evaluation process as constraint contextual rewriting.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
36	Laurent Busé	Residual resultant over the projective plane and the implicitization problem.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Olivier Cormier	On Liouvillian solutions of linear differential equations of order 4 and 5.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt	Towards factoring bivariate approximate polynomials.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
36	Victor Adamchik	On the Barnes function.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Jinwang Liu, Zhuojun Liu, Xiaoqi Liu, Mingsheng Wang	The membership problem for ideals of binomial skew polynomial rings.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner basis, binomial skew polynomial ring, two-sided ideal
36	Savvas Pericleous, Nicolai N. Vorobjov Jr.	New complexity bounds for cylindrical decompositions of sub-pfaffian sets.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Elizabeth L. Mansfield, Peter E. Hydon	Towards approximations which preserve integrals.	ISSAC	2001	DBLP DOI BibTeX RDF	variational principles, approximation, symmetry, moving frames
36	Victor Y. Pan	Univariate polynomials: nearly optimal algorithms for factorization and rootfinding.	ISSAC	2001	DBLP DOI BibTeX RDF	Graeffe's lifting, Padé approximation, geometry of polynomial zeros, numerical polynomial factorization, rootfinding, univariate polynomials, computational complexity
36	B. David Saunders	Black box methods for least squares problems.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine	Hybrid computation.	ISSAC	2001	DBLP DOI BibTeX RDF
36	J. Rafael Sendra, Franz Winkler 0001	Computation of the degree of rational maps between curves.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Scott McCallum	On propagation of equational constraints in CAD-based quantifier elimination.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Luca Gemignani	A generalized Graeffe's iteration for evaluating polynomials and rational functions.	ISSAC	2001	DBLP DOI BibTeX RDF	Graeffe's iteration, fast approximate polynomial evaluation, meromorphic functions, residue computation, polynomial zeros
36	Joze Korelc	Hybrid system for multi-language and multi-environment generation of numerical codes.	ISSAC	2001	DBLP DOI BibTeX RDF	finite element environments, symbolic approach, code generation