Search results for "SNC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
164	Sangheon Pack, Hakyung Jung, Taekyoung Kwon 0001, Yanghee Choi	SNC: a selective neighbor caching scheme for fast handoff in IEEE 802.11 wireless networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2005	DBLP DOI BibTeX RDF
82	Chenping Lu, Jiaji Zhou, Liping Shen, Ruimin Shen	Techniques for Enhancing Pervasive Learning in Standard Natural Classroom.	ICHL	2008	DBLP DOI BibTeX RDF	SNC, E-pen, Emotion Understanding, e-Learning
66	Anders Lindgren, Avri Doria, Jan Lindblom, Mattias Ek	Networking in the land of northern lights: two years of experiences from DTN system deployments.	Wireless Networks and Systems for Developing Regions	2008	DBLP DOI BibTeX RDF	delay tolerant networks, deployment, challenged networks
66	Haitian Xu, Paul Dalsgaard, Zheng-Hua Tan, Børge Lindberg	Noise Condition-Dependent Training Based on Noise Classification and SNR Estimation.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
66	Daniel Y. Chao	Reachability of nonsynchronized choice Petri nets and its applications.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
54	Lihong Zhi, Stephen M. Watt (eds.)	Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014	SNC	2014	DBLP BibTeX RDF
54	Sonia Pérez-Díaz, Li-Yong Shen	Parametrization of translational surfaces.	SNC	2014	DBLP DOI BibTeX RDF
54	Lawrence C. Paulson	Automated theorem proving for special functions: the next phase.	SNC	2014	DBLP DOI BibTeX RDF
54	Greg Reid, Fei Wang, Wenyuan Wu	A note on geometric involutive bases for positive dimensional polynomial ideals and SDP methods.	SNC	2014	DBLP DOI BibTeX RDF
54	Ian G. Lisle, Tracy Shih-lung Huang, Gregory J. Reid	Structure of symmetry of PDE: exploiting partially integrated systems.	SNC	2014	DBLP DOI BibTeX RDF
54	Victor Y. Pan, Elias P. Tsigaridas	Nearly optimal computations with structured matrices.	SNC	2014	DBLP DOI BibTeX RDF
54	Libin Jiao, Bo Yu 0003	Finding a sparse solution of a class of linear differential equations by solving a nonlinear system.	SNC	2014	DBLP DOI BibTeX RDF
54	Erich L. Kaltofen	Cleaning-up data for sparse model synthesis: when symbolic-numeric computation meets error-correcting codes.	SNC	2014	DBLP DOI BibTeX RDF
54	Dario A. Bini, Leonardo Robol	A multiprecision algorithm for the solution of polynomials and polynomial eigenvalue problems.	SNC	2014	DBLP DOI BibTeX RDF
54	Yi Li	A recursive decision method for termination of linear programs.	SNC	2014	DBLP DOI BibTeX RDF
54	Jan Draisma, Emil Horobet, Giorgio Ottaviani, Bernd Sturmfels, Rekha R. Thomas	The euclidean distance degree.	SNC	2014	DBLP DOI BibTeX RDF
54	Christian Eder	Predicting zero reductions in Gröbner basis computations.	SNC	2014	DBLP DOI BibTeX RDF
54	Feng Guo 0007, Chu Wang, Lihong Zhi	Optimizing a linear function over a noncompact real algebraic variety.	SNC	2014	DBLP DOI BibTeX RDF
54	Renato Spigler	On the interplay between asymptotic and numerical methods to solve differential equations problems.	SNC	2014	DBLP DOI BibTeX RDF
54	Wei-guo Wang, Yiming Wei 0001	Mixed and componentwise condition numbers for matrix decompositions.	SNC	2014	DBLP DOI BibTeX RDF
54	Wenyuan Wu, Greg Reid, Yong Feng	Numerical and geometric properties of a method for finding points on real solution components.	SNC	2014	DBLP DOI BibTeX RDF
54	Mark Giesbrecht, Joseph Haraldson	Computing GCRDs of approximate differential polynomials.	SNC	2014	DBLP DOI BibTeX RDF
54	Kai Jin, Jin-San Cheng	Isotopic epsilon-meshing of real algebraic space curves.	SNC	2014	DBLP DOI BibTeX RDF
54	Moulay A. Barkatou, Paola Boito, Esteban Segura Ugalde	Some ideas for the computation of matrix solvents.	SNC	2014	DBLP DOI BibTeX RDF
54	Wang Lin, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng	Safety verification of nonlinear systems based on rational invariants.	SNC	2014	DBLP DOI BibTeX RDF
54	Hiroshi Sekigawa	The nearest polynomial to multiple given polynomials with a given zero.	SNC	2014	DBLP DOI BibTeX RDF
54	Mohamed Elkadi, André Galligo	Exploring univariate mixed polynomials.	SNC	2014	DBLP DOI BibTeX RDF
54	Martin Helmer	An algorithm to compute certain euler characteristics and Chern-Schwartz-MacPherson classes.	SNC	2014	DBLP DOI BibTeX RDF
54	Victor Y. Pan, Elias P. Tsigaridas	Accelerated approximation of the complex roots of a univariate polynomial.	SNC	2014	DBLP DOI BibTeX RDF
54	Jose Israel Rodriguez	Maximum likelihood for dual varieties.	SNC	2014	DBLP DOI BibTeX RDF
54	Brice Boyer, Erich L. Kaltofen	Numerical linear system solving with parametric entries by error correction.	SNC	2014	DBLP DOI BibTeX RDF
54	Dmitry Batenkov	Prony systems via decimation and homotopy continuation.	SNC	2014	DBLP DOI BibTeX RDF
54	Yong Feng, Jingwei Chen, Wenyuan Wu	Two variants of HJLS-PSLQ with applications.	SNC	2014	DBLP DOI BibTeX RDF
54	Marc Moreno Maza (eds.)	SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011	SNC	2011	DBLP BibTeX RDF
54	Nan Li	An improved method for evaluating Max Noether conditions: case of breadth one.	SNC	2011	DBLP DOI BibTeX RDF
54	Paola Boito, Olivier Ruatta	Extended companion matrix for approximate GCD.	SNC	2011	DBLP DOI BibTeX RDF
54	Tateaki Sasaki, Daiju Inaba	A study of Hensel series in general case.	SNC	2011	DBLP DOI BibTeX RDF
54	André Galligo	Roots of the derivatives of some random polynomials.	SNC	2011	DBLP DOI BibTeX RDF
54	Eugene V. Zima	Synthetic division in the context of indefinite summation.	SNC	2011	DBLP DOI BibTeX RDF
54	Bingyu Li, Xiaoli Wu	A subresultant based subspace method for the computation of polynomial GCDs.	SNC	2011	DBLP DOI BibTeX RDF
54	James Demmel	Accurate and efficient expression evaluation and linear algebra, or why it can be easier to compute accurate eigenvalues of a Vandermonde matrix than the accurate sum of 3 numbers.	SNC	2011	DBLP DOI BibTeX RDF
54	Eric Berberich, Pavel Emeliyanenko, Alexander Kobel, Michael Sagraloff	Arrangement computation for planar algebraic curves.	SNC	2011	DBLP DOI BibTeX RDF
54	Masaru Sanuki	Challenge to fast and stable computation of approximate univariate GCD, based on displacement structures.	SNC	2011	DBLP DOI BibTeX RDF
54	Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai	An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems.	SNC	2011	DBLP DOI BibTeX RDF
54	Victor Y. Pan	Univariate polynomial root-finding by arming with constraints.	SNC	2011	DBLP DOI BibTeX RDF
54	Robert M. Corless, Erik Postma, David R. Stoutemyer	GCD of multivariate approximate polynomials using beautification with the subtractive algorithm.	SNC	2011	DBLP DOI BibTeX RDF
54	Stephen M. Watt	Polynomial approximation in handwriting recognition.	SNC	2011	DBLP DOI BibTeX RDF
54	Kosaku Nagasaka	An improvement in the lattice construction process of approximate polynomial GCD over integers.	SNC	2011	DBLP DOI BibTeX RDF
54	Erich L. Kaltofen, Wen-shin Lee, Zhengfeng Yang	Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation.	SNC	2011	DBLP DOI BibTeX RDF
54	Françoise Richard-Jung	Stokes phenomenon: graphical visualization and certified computation.	SNC	2011	DBLP DOI BibTeX RDF
54	Piers W. Lawrence, Robert M. Corless	Numerical stability of barycentric Hermite root-finding.	SNC	2011	DBLP DOI BibTeX RDF
54	Johannes Grotendorst	On calculating the rate of linear convergence of non-linear transformed sequences.	SNC	2011	DBLP DOI BibTeX RDF
54	Thien Nguyen, Bernard Mourrain, André Galligo, Gang Xu 0001	A construction of injective parameterizations of domains for isogeometric applications.	SNC	2011	DBLP DOI BibTeX RDF
54	Chenyi Hu	Interval function and its linear least-squares approximation.	SNC	2011	DBLP DOI BibTeX RDF
54	Madalina Hodorog, Josef Schicho	A regularization method for computing approximate invariants of plane curves singularities.	SNC	2011	DBLP DOI BibTeX RDF
54	Jonathan M. Borwein	Mahler measures, short walks and log-sine integrals: a case study in hybrid computation.	SNC	2011	DBLP DOI BibTeX RDF
54	Min Wu 0003, Zhengfeng Yang	Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.	SNC	2011	DBLP DOI BibTeX RDF
54	Nargol Rezvani, Robert M. Corless	Using weighted norms to find nearest polynomials satisfying linear constraints.	SNC	2011	DBLP DOI BibTeX RDF
54	Hong Diep Nguyen, Nathalie Revol	Refining and verifying the solution of a linear system.	SNC	2011	DBLP DOI BibTeX RDF
54	Tsz-Wo Sze	Schönhage-Strassen algorithm with MapReduce for multiplying terabit integers.	SNC	2011	DBLP DOI BibTeX RDF
54	Barry H. Dayton	Numerical calculation of H-bases for positive dimensional varieties.	SNC	2011	DBLP DOI BibTeX RDF
54	Ioannis Z. Emiris, Tatjana Kalinka, Christos Konaxis	Implicitization of curves and surfaces using predicted support.	SNC	2011	DBLP DOI BibTeX RDF
54	Narayan Kamath, Irina Voiculescu, Chee K. Yap	Empirical study of an evaluation-based subdivision algorithm for complex root isolation.	SNC	2011	DBLP DOI BibTeX RDF
54	Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas (eds.)	Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009	SNC	2009	DBLP BibTeX RDF
54	Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang	Finding exact minimal polynomial by approximations.	SNC	2009	DBLP DOI BibTeX RDF
54	Martin Berz, Kyoko Makino	Rigorous global search using taylor models.	SNC	2009	DBLP DOI BibTeX RDF
54	Tateaki Sasaki, Yasutaka Ookura	Approximate factorization of polynomials over Z.	SNC	2009	DBLP DOI BibTeX RDF
54	Victor Y. Pan, Guoliang Qian, Ailong Zheng	Preconditioning, randomization, solving linear systems, eigen-solving, and root-finding.	SNC	2009	DBLP DOI BibTeX RDF
54	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions.	SNC	2009	DBLP DOI BibTeX RDF
54	Hiroshi Murakami	Application of filter diagonalization method to numerical solution of algebraic equations.	SNC	2009	DBLP DOI BibTeX RDF
54	Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt	Nearly optimal symbolic-numerical algorithms for structured integer matrices and polynomials.	SNC	2009	DBLP DOI BibTeX RDF
54	Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama	An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.	SNC	2009	DBLP DOI BibTeX RDF
54	Tetsuya Sakurai, Junko Asakura, Hiroto Tadano, Tsutomu Ikegami, Kinji Kimura	A method for finding zeros of polynomial equations using a contour integral based eigensolver.	SNC	2009	DBLP DOI BibTeX RDF
54	Guillaume Chèze, Jean-Claude Yakoubsohn, André Galligo, Bernard Mourrain	Computing nearest Gcd with certification.	SNC	2009	DBLP DOI BibTeX RDF
54	Kyoko Makino, Martin Berz	Rigorous integration of flows and ODEs using taylor models.	SNC	2009	DBLP DOI BibTeX RDF
54	Shin'ichi Oishi	Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms.	SNC	2009	DBLP DOI BibTeX RDF
54	Tateaki Sasaki, Akira Terui	Computing clustered close-roots of univariate polynomials.	SNC	2009	DBLP DOI BibTeX RDF
54	Philippe P. Pébay, J. Maurice Rojas, David C. Thompson 0001	Optimization and NP_R-completeness of certain fewnomials.	SNC	2009	DBLP DOI BibTeX RDF
54	Angelos Mantzaflaris, Bernard Mourrain, Elias P. Tsigaridas	Continued fraction expansion of real roots of polynomial systems.	SNC	2009	DBLP DOI BibTeX RDF
54	Kiyoshi Shirayanagi, Hiroshi Sekigawa	Reducing exact computations to obtain exact results based on stabilization techniques.	SNC	2009	DBLP DOI BibTeX RDF
54	André Galligo, Adrien Poteaux	Continuations and monodromy on random riemann surfaces.	SNC	2009	DBLP DOI BibTeX RDF
54	Robert M. Corless	Pseudospectra for exponential polynomial matrices.	SNC	2009	DBLP DOI BibTeX RDF
54	Masaru Sanuki	Computing multivariate approximate GCD based on Barnett's theorem.	SNC	2009	DBLP DOI BibTeX RDF
54	Tateaki Sasaki, Daiju Inaba	Convergence and many-valuedness of hensel seriesnear the expansion point.	SNC	2009	DBLP DOI BibTeX RDF
54	Annie A. M. Cuyt, Wen-shin Lee	Extracting numerical factors of multivariate polynomials from taylor expansions.	SNC	2009	DBLP DOI BibTeX RDF
54	Jingwei Chen, Yong Feng, Xiaolin Qin, Jingzhong Zhang	Exact polynomial factorization by approximate high degree algebraic numbers.	SNC	2009	DBLP DOI BibTeX RDF
54	Thang Luu Ba, Laurent Busé, Bernard Mourrain	Curve/surface intersection problem by means of matrix representations.	SNC	2009	DBLP DOI BibTeX RDF
54	Sonia Pérez-Díaz, J. Rafael Sendra, Sonia L. Rueda, Juana Sendra	Parametrization of ε-rational curves: extended abstract.	SNC	2009	DBLP DOI BibTeX RDF
54	Stefan Ratschan	Symbolic-numeric problems in the automatic analysis and verification of cyber-physical systems.	SNC	2009	DBLP DOI BibTeX RDF
54	Liyong Shen, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng	Finding positively invariant sets of a class of nonlinear loops via curve fitting.	SNC	2009	DBLP DOI BibTeX RDF
54	Masaaki Sugihara	De-Sinc numerical methods.	SNC	2009	DBLP DOI BibTeX RDF
54	Michael Hemmer, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos, Ioannis Z. Emiris, Menelaos I. Karavelas, Bernard Mourrain	Experimental evaluation and cross-benchmarking of univariate real solvers.	SNC	2009	DBLP DOI BibTeX RDF
54	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
54	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
54	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
54	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
54	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
54	Lloyd N. Trefethen	Computing numerically with functions instead of numbers.	SNC	2007	DBLP DOI BibTeX RDF	Chebyshev series, symbolic-numeric computing
54	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
54	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