Index of /~moreno/Publications

Icon  Name                                                                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] 118_paper.pdf 2010-08-30 11:47 1.0M [   ] ACA-2005-I.ps.gz 2009-09-11 01:20 171K [   ] ACA-2017-HPCA.1.pdf 2017-07-18 18:04 1.0M [   ] ACA-AXIOM-04.ps.gz 2009-09-11 01:16 108K [   ] AGGM-06-1.pdf 2014-10-01 00:39 164K [   ] AGT-ACA-2014.pdf 2014-08-02 19:14 2.4M [   ] AGT-CASC-2015.pdf 2015-09-29 22:29 2.4M [   ] AGT-ICMS-2014.pdf 2014-08-08 21:18 2.4M [   ] A_Many-Core_Machine_Model_for_Designing_Algorithms_with_Minimum_Parallelism_Overheads.pdf 2015-11-03 09:13 412K [   ] A_Standard_Basis_Free_Algorithm_for_Computing_the_Tangent_Cones_of_a_Space_Curve.paper.pdf 2015-11-03 10:00 350K [   ] A_many-core_Machine_Model_for_Designing_Algorithms_with_Minimum_Parallelism_Overheads.slides.pdf 2014-11-07 20:53 1.2M [   ] A_many-core_machine_model_for_designing_algorithms_with_minimum_parallelism_overheads.pdf 2013-08-20 12:17 673K [   ] AkpodighaFilatei-MasterThesis-2006.ps.gz 2009-09-11 01:30 348K [   ] AldorLibraries.ps 2009-09-11 01:14 163K [   ] AlgebraSeminar-UWO-2011.pdf 2013-11-01 11:53 1.2M [   ] Algorithms_for_computing_triangular_decomposition_of_polynomial_systems.pdf 2013-06-03 05:59 409K [   ] Algorithms_for_computing_triangular_decomposition_of_polynomial_systems.slides.pdf 2014-11-19 16:15 511K [   ] Amir.Hashemi-ICMS2.pdf 2014-08-12 13:11 507K [   ] An_Incremental_Algorithm_for_Computing_Cylindrical_Algebraic_Decompositions.pdf 2013-06-03 05:18 397K [   ] An_application_of_regular_chain_theory_to_the_study_of_limit_cycles.pdf 2013-06-02 10:51 439K [   ] AnnualReport-15-11-2013.pdf 2013-11-18 10:03 1.1M [   ] Aubry-Lazard-MorenoMaza-1999-JSC-preprint.dvi 2009-09-11 01:35 105K [   ] Aubry-Lazard-MorenoMaza-1999-JSC.pdf 2009-09-11 01:35 354K [   ] Aubry-Lazard-MorenoMaza-1999-JSC.pdf.gz 2005-12-12 22:19 286K [   ] Aubry-MorenoMaza-1999-JSC-preprint.dvi 2009-09-11 01:29 150K [   ] Aubry-MorenoMaza-1999-JSC.pdf 2009-09-11 01:29 443K [   ] Aubry-MorenoMaza-1999-JSC.pdf.gz 2005-12-12 22:19 362K [   ] BCDEMW14-LNCS.pdf 2014-08-02 23:59 606K [   ] BCLM09.pdf 2014-02-25 22:06 448K [   ] BMO-EACA-04.dvi 2009-09-11 01:17 29K [   ] BMO-EACA-04.ps 2009-09-11 01:17 146K [   ] BMO-ISSAC-04-poster.ps 2009-09-11 01:29 297K [   ] BPAS-ICMS-2014-talk.pdf 2014-08-07 17:28 1.2M [   ] BPAS-ICMS-2014.pdf 2014-08-06 20:45 1.2M [   ] Boulier-Lemaire-MorenoMaza-ISSAC2001.dvi 2009-09-11 01:27 83K [   ] Boulier-Lemaire-MorenoMaza-ISSAC2001.ps 2009-09-11 01:36 255K [   ] Boulier-Lemaire-MorenoMaza-ISSAC2001.ps.gz 2005-12-12 22:19 83K [   ] Boulier-Lemaire-MorenoMaza-LIFL-TR-2001-09.dvi 2009-09-11 01:35 31K [   ] Boulier-Lemaire-MorenoMaza-LIFL-TR-2001-09.ps 2009-09-11 01:37 178K [   ] Boulier-Lemaire-MorenoMaza-LIFL-TR-2001-09.ps.gz 2005-12-12 22:19 73K [   ] Boulier-Lemaire-MorenoMaza-PARDI-TechRep-LIFL-TR-2001-11-revised-17-12-2004.pdf 2009-09-11 01:19 272K [   ] Boulier-Lemaire-MorenoMaza-PARDI-TechRep-LIFL-TR-2001-11-revised-17-12-2004.ps 2009-09-11 01:16 515K [   ] Boulier.Chen.Lemaire.Moreno-Maza.ASCM.2009.pdf 2010-08-31 00:38 231K [   ] Boulier.Chen.Lemaire.Moreno-Maza.VCA.2009.pdf 2009-09-29 23:53 224K [   ] Boulier.Lemaire.Moreno-Maza.ACA-2009.Modeling.pdf 2009-09-11 01:19 584K [   ] Boulier.Lemaire.Moreno-Maza.Pardi.JSC-2009.pdf 2009-09-11 01:27 357K [   ] Boulier.Lemaire.MorenoMaza-2007.pdf 2009-09-11 01:38 345K [   ] BoulierLemaireMorenoMaza-2007.pdf 2008-03-25 22:32 345K [   ] BoulierLemaireMorenoMaza-TC2006.pdf 2009-09-11 01:29 229K [   ] BoulierLemaireMorenoMaza-TC2006.ps 2009-09-11 01:27 222K [   ] Bronstein-MorenoMaza-Watt-AWFS-2007.pdf 2009-09-11 01:17 134K [   ] CAIMS-MITACS-June-2006.pdf 2009-09-11 01:27 455K [   ] CAS-Research-Day-2014.pdf 2014-05-06 11:16 882K [   ] CASCON-2015.pdf 2015-11-02 08:56 424K [   ] CASC_2017_slides_I.pdf 2017-10-15 20:38 394K [   ] CASC_2017_slides_II.pdf 2017-10-15 20:01 331K [   ] CASC_2017_submission_28.pdf 2017-10-15 20:39 479K [   ] CASC_2017_submission_29.pdf 2017-10-15 20:39 400K [   ] CATLAN-04.pdf 2009-09-11 01:38 201K [   ] CATLAN-04.ps 2009-09-11 01:19 211K [   ] CDMW-EACA-04.ps 2009-09-11 01:30 1.2M [   ] CIGIT-9-6-2015.pdf 2015-08-08 13:45 3.5M [   ] CIGIT-20-10-2015.pdf 2015-11-03 08:34 2.0M [   ] CLGMPX-2007.pdf 2007-03-23 01:55 81K [   ] CLGMPX-2007.ps 2007-03-23 01:56 209K [   ] CLLMPX-08.JSC.MICA-submission.pdf 2009-09-11 01:27 255K [   ] CLLMPX-ConstructibleSet-CASA-2008-IEEEproceedings.pdf 2009-09-11 01:28 307K [   ] CLLMPX-ConstructibleSet-CASA-2008.pdf 2009-09-11 01:38 209K [   ] CLMPX-ConstructibleSet-MICA-08.pdf 2009-09-11 01:28 124K [   ] CM-ECCAD12.pdf 2013-05-27 18:29 107K [   ] CM-ICMS2014-CAD-talk.pdf 2014-08-08 18:42 559K [   ] CM-ICMS2014-QE-talk.pdf 2014-08-06 02:09 452K [   ] CM-ICMS2014-RCTD-talk.pdf 2014-08-08 01:37 581K [   ] CM-ISSAC2014.tgz 2014-07-22 03:19 503K [   ] CM-SIAM-AG13.pdf 2013-11-17 18:50 490K [   ] CM-Wu90-jsc.pdf 2011-11-11 11:31 409K [   ] CM11-CASC.pdf 2011-11-11 11:26 337K [   ] CM11.pdf 2014-06-23 00:50 427K [   ] CM12-ASCM-Talk.pdf 2016-05-03 21:28 360K [   ] CM12-ascm.pdf 2012-12-02 09:06 397K [   ] CMPS-ISSAC-2010.poster.pdf 2010-09-02 02:15 98K [   ] CMWD-ACA04.ps 2009-09-11 01:15 769K [   ] CMX.ISSAC-10-realroot.poster.pdf 2010-09-02 02:03 138K [   ] CMX11-proceeding.pdf 2011-11-11 12:12 336K [   ] CMXY-MITACS.pdf 2009-09-11 01:35 353K [   ] CS9652.tgz 2017-09-13 12:17 1.8M [   ] CUMODP-ICMS-2014-talk.pdf 2014-08-07 21:01 554K [   ] Cache_Complexity.ACA_2017.pdf 2017-10-10 16:36 1.1M [   ] Cache_friendly_sparse_matrix_vector_multiplication.pdf 2013-11-17 19:20 2.1M [   ] Changbo.Chen-Thesis-UWO.pdf 2011-11-13 12:36 1.6M [   ] Changbo.Chen-Thesis.pdf 2011-09-13 23:42 1.5M [   ] Changbo.Chen-ThesisTalk.pdf 2011-11-13 11:25 673K [   ] Chen.Lemaire.Moreno-Maza.Xia.Xiao.Xie-ACA-2009-Parametric.pdf 2009-09-11 01:17 166K [   ] Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf 2009-09-11 01:36 215K [   ] Chen.Moreno-Maza.Xia.Yang.ISSAC-2009.pdf 2009-09-11 01:28 276K [   ] Chen.Moreno-Maza.Xia.Yang.MITACS-2009.pdf 2009-09-11 01:26 208K [   ] Chen.Moreno_Maza.JSC.47.2012.610-642.pdf 2012-11-24 20:31 419K [   ] ChenLemaireGolubitskyMorenoMazaPan-CASC-07.pdf 2009-09-11 01:18 627K [   ] ChenLemaireMorenoMazaPanXie-CASA-07.pdf 2009-09-11 01:21 335K [   ] ChenLemaireMorenoMazaPanXie-CASA-07.ps 2009-09-11 01:37 283K [   ] ChenMorenoMazaPanXie-AWFS-07.pdf 2009-09-11 01:28 208K [   ] ChenMorenoMazaPanXie-FCSC-2008.pdf 2009-09-11 01:38 193K [   ] ChenMorenoPanXie-07-poster.pdf 2009-09-11 01:17 102K [   ] Computing_Intersection_Multiplicity_via_Triangular_Decomposition.pdf 2015-02-01 20:37 4.1M [   ] Computing_Limits_of_Real_Multivariate_Rational.slides.pdf 2016-07-22 10:49 1.6M [   ] Computing_the_Limit_Points_of_Quasi-componets_of_Regular_Chains_in_Diemnsion_One.Talk.pdf 2013-09-18 15:36 387K [   ] Computing_the_Supremum_of_the_Real_Roots_of_a_Parametric_Univariate_Polynomial.pdf 2015-10-16 04:38 3.6M [   ] Computing_the_limit_polints_of_the_quasi-componets_of_a_regular_chain_in_dimension_one.pdf 2013-06-13 16:55 492K [   ] Computing_with_Semi-Algebraic_Sets_Relaxation_Techniques_and_Effective_Boundaries.pdf 2013-06-02 16:59 385K [   ] Computing_with_Semi-Algebraic_Sets_Represented_by_Triangular_Decomposition.slides.pdf 2016-01-13 21:29 332K [   ] ConstructibleSets-Chen.Li.Moreno-Maza.Pan.Xie-M3Workshop.pdf 2009-09-11 01:19 419K [   ] D5Poster.pdf 2009-09-11 01:31 129K [   ] DJMS-ISSAC06-poster.pdf 2009-09-11 01:18 116K [   ] DMSWX-04.ps 2009-09-11 01:16 128K [   ] DMSWX-ISSAC-2005.pdf 2009-09-11 01:17 524K [   ] DaJiMoSc-06a.pdf 2009-09-11 01:14 115K [   ] DaJiMoSc-06a.ps 2009-09-11 01:21 277K [   ] DaJiMoSc-Proceedings-AGGM-2006.pdf 2009-09-11 01:36 115K [   ] DaJiMoSc-Proceedings-AGGM-2006.ps 2009-09-11 01:37 288K [   ] DaJiMoSc-Proceedings.pdf 2009-09-11 01:15 426K [   ] DaJiMoSc-Proceedings.ps 2009-09-11 01:21 721K [   ] DaMoPoSc10.pdf 2010-09-09 23:08 83K [   ] Dagstuhl-July-2006.pdf 2009-09-11 01:16 242K [   ] DahanJinMorenoSchost-TCS-2007-postPrint.pdf 2009-09-11 01:26 554K [   ] DahanJinMorenoSchost-TCS-2007.pdf 2009-09-11 01:38 390K [   ] DahanMorenoMazaSchostWuXie-ISSAC-05.pdf 2009-09-11 01:27 296K [   ] DahanMorenoMazaSchostWuXie-ISSAC-05.ps 2009-09-11 01:29 490K [   ] DahanMorenoMazaSchostXie-TC2006-submission.pdf 2009-09-11 01:38 237K [   ] DahanMorenoMazaSchostXie-TC2006-submission.ps 2009-09-11 01:21 260K [   ] DahanMorenoSchostWuYie-ICPSS-04-Proceedings.ps 2009-09-11 01:29 128K [   ] DahanMorenoSchostWuYie-ISSAC-2005-Proceedings.ps 2009-09-11 01:14 490K [   ] DahanMorenoSchostYie-TC-2006-Proceedings.dvi 2009-09-11 01:27 92K [   ] DahanMorenoSchostYie-TC-2006-Proceedings.pdf 2009-09-11 01:29 191K [   ] DahanMorenoSchostYie-TC-2006-Proceedings.ps 2009-09-11 01:38 366K [   ] Davenport-et-al-UI-design-geometric-decomposition-MathUI09.pdf 2009-09-11 01:30 250K [   ] Davood_Mohajerani.Maste_Thesis-2016.pdf 2017-01-21 13:28 1.4M [   ] Degree_and_dimension_estimates_for_invariant_ideals_of_P-solvable_recurrences.pdf 2013-10-07 00:30 236K [   ] DetHpcsPaper-proceedings.pdf 2011-11-11 12:10 155K [   ] Determinant_computation_on_the_GPU.slides.pdf 2014-09-30 23:45 350K [   ] ECCAD-2015.pdf 2015-11-03 02:49 963K [   ] ECCAD2012.pdf 2013-05-27 18:28 153K [   ] EPD-ISSAC-uwo-12-07.pdf.gz 2009-09-11 01:16 539K [   ] Efficient_evaluation_of_large_polynomials.ICMS-10-LLMX.pdf 2013-11-01 12:28 855K [   ] England-ICMS-ProjectionCAD.pdf 2014-08-10 23:02 1.0M [   ] F101-MarcMorenoMaza-submission.pdf 2009-10-27 10:26 120K [   ] FM01a-talk.ps 2009-09-11 01:30 171K [   ] FM01a-talk.ps.gz 2005-12-12 22:19 72K [   ] Farnam-Mansouri-MasterThesis-2014.pdf 2014-10-06 00:34 1.2M [   ] Fast_Polynomial_Multiplication.pdf 2017-10-04 16:04 353K [   ] Filatei-Li-MorenoMaza-Schost-ISSAC-06.pdf 2009-09-11 01:28 244K [   ] Filatei-Li-MorenoMaza-Schost-ISSAC-06.ps 2009-09-11 01:26 599K [   ] Filatei.Xin.Marc.Eric-MITACS06-poster.pdf 2009-09-11 01:36 132K [   ] Foursov-MorenoMaza-2002-JSC-preprint.dvi 2009-09-11 01:19 66K [   ] Foursov-MorenoMaza-2002-JSC-preprint.ps 2009-09-11 01:37 390K [   ] Foursov-MorenoMaza-2002-JSC-preprint.ps.gz 2005-12-12 22:19 160K [   ] Foursov-MorenoMaza-2002-JSC.pdf 2009-09-11 01:27 309K [   ] Foursov-MorenoMaza-2002-JSC.pdf.gz 2005-12-12 22:19 241K [   ] Foursov-MorenoMaza-ISSAC2001.dvi 2009-09-11 01:29 71K [   ] Foursov-MorenoMaza-ISSAC2001.ps 2009-09-11 01:26 179K [   ] Foursov-MorenoMaza-ISSAC2001.ps.gz 2005-12-12 22:19 70K [   ] Foursov-MorenoMaza-LIFL-TR-2001-04.dvi 2009-09-11 01:18 21K [   ] Foursov-MorenoMaza-LIFL-TR-2001-04.ps 2009-09-11 01:36 120K [   ] Foursov-MorenoMaza-LIFL-TR-2001-04.ps.gz 2005-12-12 22:19 51K [   ] Fulton_s_Algorithm_in_higher_dimension.slides.pdf 2014-06-23 00:44 1.3M [   ] GB-AG-Tutorial.pdf 2017-10-04 00:57 163K [   ] GKMO-Dagstuhl06271.pdf 2009-09-11 01:30 176K [   ] GKMO-ISSAC06-poster.pdf 2009-09-11 01:28 136K [   ] GPU-bivarsolve.pdf 2013-05-30 18:48 599K [   ] Generating_loop_invariants_via_polynomial_interpolation.ASCM-27-Oct-2012.pdf 2016-02-02 22:58 447K [   ] Generating_loop_invariants_via_polynomial_interpolation.ECNU-24-May-2012.pdf 2016-02-02 22:58 527K [   ] Generating_program_invariants_via_interpolation.pdf 2013-06-02 20:07 296K [   ] Golubitsky-Kondratieva-MorenoMaza-Ovchinnikov-ISCS-2006.pdf 2009-09-11 01:29 137K [   ] Golubitsky-Kondratieva-MorenoMaza-Ovchinnikov-ISCS-2006.ps 2009-09-11 01:30 95K [   ] Golubitsky-Kondratieva-MorenoMaza-Ovchinnikov-JSC.submission-2006.pdf 2009-09-11 01:30 365K [   ] Golubitsky-Kondratieva-MorenoMaza-Ovchinnikov-JSC.submission-2006.ps 2009-09-11 01:14 644K [   ] GolubitskyKondratievaMorenoMazaOvchinnikov-JSC.pdf 2009-09-11 01:15 564K [   ] HHM.ISSAC-10.poster.pdf 2010-09-02 01:54 1.5M [   ] HM-HPCS-2012.pdf 2013-05-27 18:29 582K [   ] HMM-CASC-2014.pdf 2014-08-03 00:03 528K [   ] Haque.Hossain.Moreno-Maza.PASCO-2010.pdf 2010-08-30 12:25 162K [   ] Hensel_constructions_absolute_factorization_and_Abhyankhar-Jung_theorem.pdf 2015-12-10 12:18 851K [   ] Hensel_constructions_absolute_factorization_and_abhyankhar-Jung_theorem.pdf 2015-11-05 00:33 265K [   ] ICIAM-2011.pdf 2011-09-30 11:43 1.1M [   ] ICMS-06-1.pdf 2009-09-11 01:39 232K [   ] ICMS-2014-ACMMSV.pdf 2014-08-02 23:15 465K [   ] ICMS-2014-BPAS.pdf 2014-08-02 23:33 529K [   ] ICMS-2014-CUMODP.pdf 2014-08-02 23:39 410K [   ] ICMS-2014.pdf 2014-08-07 20:07 1.2M [   ] ICMS2014-CM-CAD.pdf 2014-08-02 23:11 451K [   ] ICMS2014-CM-QE.pdf 2014-08-02 23:05 398K [   ] ICMS2014-CM-RCTD.pdf 2014-08-02 23:26 482K [TXT] ICMS_Triangular_Decomposition_Session.html 2014-08-01 02:47 20K [IMG] IM02-2.eps 2009-09-11 01:16 39K [IMG] IM02-3.eps 2009-09-11 01:36 7.1K [IMG] IM02-4.eps 2009-09-11 01:27 6.6K [   ] IPM-1-2014.pdf 2014-06-21 16:14 2.3M [   ] IPM-24-June-2014.pdf 2014-06-25 00:54 1.3M [   ] IPM-2014-Tutorial.pdf 2014-06-21 23:54 518K [   ] ISSAC-2014-Software-demo.pdf 2014-07-22 03:02 710K [   ] ISSAC-2017_EHC_paper.pdf 2017-10-14 19:37 1.6M [   ] ISSAC_Software_Demo.Award.pdf 2011-06-26 17:40 218K [   ] ISSAC_Software_Demo.Talk.pdf 2011-06-26 16:32 471K [   ] ISSAC_Software_Demo_Executed.mw 2011-06-26 16:58 354K [   ] Intersection_formulas_and_algorithms_for_computing_triangular_decompositions.MACIS_2009.pdf 2013-11-01 11:23 306K [   ] Inversion_Modulo_Zero-Dimensional_Regular_Chains.pdf 2013-06-02 19:52 329K [   ] JHD-ICMS2014-post.pdf 2014-08-12 13:11 315K [   ] JNCF05.pdf 2009-09-11 01:36 484K [   ] JSC3748_MazaReidScottWu06.pdf 2009-09-11 01:28 289K [   ] JSC3748_MorenoMazaReidScottWu06.pdf 2009-09-11 01:31 567K [   ] JSC_3748.pdf 2009-09-11 01:14 328K [   ] JinlongCai-MSThesis-2004.pdf.gz 2009-09-11 01:15 671K [   ] Jordan_Canonical_Form_with_Parameters_From_Frobenius_Form_with_Parameters.pdf 2017-11-19 22:35 492K [   ] Kogan-MorenoMaza-ISSAC2002-extended.ps 2009-09-11 01:38 412K [   ] Kogan-MorenoMaza-ISSAC2002-extended.ps.gz 2005-12-12 22:19 157K [   ] Kogan-MorenoMaza-ISSAC2002.dvi 2009-09-11 01:31 90K [   ] Kogan-MorenoMaza-ISSAC2002.ps 2009-09-11 01:26 241K [   ] Kogan-MorenoMaza-ISSAC2002.ps.gz 2005-12-12 22:19 92K [   ] LIFL-May-2011.pdf 2013-11-01 11:31 775K [   ] LMPX-08-JSC.pdf 2009-09-11 01:39 243K [   ] LMRS-JSC.MICA-submission.pdf 2009-09-11 01:16 229K [   ] LMRS-Modpn-MICA-08.pdf 2009-09-11 01:31 138K [   ] LMS-06.pdf 2009-09-11 01:38 385K [   ] LMS-06.ps 2009-09-11 01:36 358K [   ] LMS-Modpn-CASA-08-IEEEproceedings.pdf 2009-09-11 01:15 311K [   ] LMS-Modpn-CASA-08.pdf 2009-09-11 01:38 196K [   ] LMX-06-ATCM-ElectronicJournal.pdf 2009-09-11 01:38 142K [   ] LMX-06-ATCM-HardCopyProceedings.pdf 2009-09-11 01:20 131K [   ] Leiserson.Li.Moreno-Maza.Xie-ICMS-2010-postprint.pdf 2010-12-30 01:23 254K [   ] Leiserson.Li.Moreno-Maza.Xie-ICMS-2010.pdf 2010-06-28 01:11 151K [   ] Leiserson.Li.Moreno-Maza.Xie-PASCO-2010.pdf 2010-08-30 11:53 240K [   ] Lemaire.Moreno-Maza.Pan.Xie-M3Workshop.2009.pdf 2009-09-11 01:18 126K [   ] Lemaire.Moreno-Maza.Pan.Xie.ISSAC-2008.pdf 2009-09-11 01:29 226K [   ] LemaireMorenoMazaXie-MSC-05.pdf 2009-09-11 01:31 214K [   ] LemaireMorenoMazaXie-MSC-05.ps 2009-09-11 01:20 204K [   ] LemaireMorenoXie-05-MapleConference-Proceedings.dvi 2009-09-11 01:36 51K [   ] LemaireMorenoXie-06-ATCM-HardCopyProceedings.pdf 2009-09-11 01:39 131K [   ] Li-MorenoMaza-ICMS-06.pdf 2009-09-11 01:27 376K [   ] Li-MorenoMaza-ICMS-06.ps 2009-09-11 01:38 417K [   ] Li-MorenoMaza-PASCO-2007.pdf 2009-09-11 01:28 202K [   ] Li-Zhang-MasterThesis-2015.pdf 2016-06-11 12:09 1.4M [   ] Li.Moreno-Maza.Pan-JSC-format-2009.pdf 2010-08-30 12:30 292K [   ] Li.Moreno-Maza.Pan.ISSAC-09.pdf 2009-09-11 01:16 463K [   ] Li.Moreno-Maza.Pan.ISSAC-2009.longVersion.CoRR.pdf 2009-09-11 01:35 264K [   ] LiMorenoMazaSchost-JSC.postprint-2007.pdf 2009-09-11 01:20 1.8M [   ] LiMorenoMazaSchost-JSC.preprint-2007.pdf 2009-09-11 01:27 453K [   ] LiMorenoSchost-2007.pdf 2009-09-11 01:31 337K [   ] LiMorenoSchost-2007.ps 2007-03-23 01:44 423K [   ] LiMorenoSchost-ISSAC-2007.pdf 2009-09-11 01:19 382K [   ] LiMorenoSchost-ISSAC-2007.ps 2009-09-11 01:20 764K [   ] Liang.Jeffrey.Moreno-Maza.ISSAC-2008.pdf 2009-09-11 01:29 368K [   ] Liyun.Li-MasterThesis-2010.pdf 2010-12-30 20:55 705K [   ] M3-MEGA-2005.pdf 2009-09-11 01:28 288K [   ] MICA-2008-proceedings.pdf 2009-09-11 01:35 13M [   ] MITACS2008-CS-poster.pdf 2009-09-11 01:21 110K [   ] MITACS2008-Mod-poster.pdf 2009-09-11 01:39 132K [   ] MMM-SabbaticalReport-2009.pdf 2009-08-08 21:24 226K [   ] MMX-HPCS-2012.pdf 2013-05-27 18:27 593K [   ] MP11-HPCS.proceedings.pdf 2015-04-03 21:42 332K [   ] MSRI-2007.pdf 2009-09-11 01:29 410K [   ] Magixalix-2011.pdf 2011-09-30 11:31 939K [   ] Many_core_computing_with_CUDA.PASCO-2017.pdf 2017-07-24 07:18 3.9M [   ] Marc.ACA-2009-BPAS.pdf 2009-09-11 01:14 561K [   ] Marc.Moreno-Maza-CV.pdf 2017-11-21 20:39 778K [   ] Marc.Moreno-Maza-ICMM-2009.PDF 2009-09-11 01:28 841K [   ] Marc.Moreno-Maza-SSSC-09.pdf 2009-09-11 01:39 1.2M [   ] Marc.Moreno-Maza-TeachingDossier.pdf 2009-09-11 01:28 542K [   ] Marc.Moreno-Maza_Research_group_overview.pdf 2017-11-21 20:57 762K [   ] Matrix_Multiplication_a_Little_Faster.pdf 2017-09-27 14:48 734K [   ] Meng.Voronenko.Johnson.Moreno-Maza.Franchetti.Xie.PASCO-2010.pdf 2010-08-30 12:23 367K [   ] MetaFork_A_Framework_for_Concurrency_Platforms_Targeting_Multicores.pdf 2014-07-24 12:10 327K [   ] Meta_fork_Euro-Par-2014.pdf 2014-02-13 21:53 296K [   ] Meta_fork_experimentation.pdf 2014-02-04 23:04 350K [   ] Meta_fork_presentation.pdf 2013-10-03 23:17 343K [   ] Meta_fork_specifications.pdf 2014-01-17 12:04 294K [   ] Modular_methods_for_polynomial_and_matrix_arithmetic.pdf 2017-10-04 00:30 421K [   ] Mohsin.Ali-MasterThesis-2011.pdf 2013-01-13 23:32 615K [   ] Montgomery_trick.pdf 2014-04-28 15:01 337K [   ] Moreno-Maza.Pan.HPCS-2010-preprint.pdf 2010-09-27 23:24 279K [   ] Moreno-Maza.Pan.HPCS-2010.pdf 2010-12-29 19:49 617K [   ] Moreno-Maza.Xie.IJFCS.2010.pdf 2011-11-11 11:42 598K [   ] MorenoMaza-1999-MEGA2000.dvi 2009-09-11 01:27 164K [   ] MorenoMaza-1999-MEGA2000.pdf 2009-09-11 01:18 336K [   ] MorenoMaza-1999-MEGA2000.ps 2015-04-19 10:57 339K [   ] MorenoMaza-1999-MEGA2000.ps.gz 2005-12-12 22:19 148K [   ] MorenoMaza-CASC-2007.pdf 2009-09-11 01:18 219K [   ] MorenoMaza-Reid-Scott-Wu-SNCbook-2006.pdf 2009-09-11 01:16 198K [   ] MorenoMaza-Reid-Scott-Wu-SNCbook-2006.ps 2009-09-11 01:37 361K [   ] MorenoMaza-Rioboo-AAECC-1995.dvi 2009-09-11 01:38 85K [   ] MorenoMaza-Rioboo-AAECC-1995.ps 2009-09-11 01:37 265K [   ] MorenoMaza-Rioboo-AAECC-1995.ps.gz 2005-12-12 22:19 100K [   ] MorenoMaza-Stephenson-Watt-Xie-PASCO-2007.pdf 2009-09-11 01:18 316K [   ] MorenoMaza-Talk-MEGA2000.ps 2009-09-11 01:30 201K [   ] MorenoMaza-Talk-SCA-2002.pdf 2009-09-11 01:39 82K [   ] MorenoMaza-Thesis-1997.ps 2003-07-18 09:53 2.1M [   ] MorenoMaza-Thesis-1997.ps.gz 2009-09-11 01:26 686K [   ] MorenoMaza-Xie-PASCO-2007.pdf 2009-09-11 01:36 236K [   ] MorenoMaza-Xie-SPAA-2006.pdf 2009-09-11 01:16 41K [   ] MorenoMaza-Xie-SPAA-2006.ps 2009-09-11 01:18 115K [   ] MorenoMaza.Xie.HPCS-2009.pdf 2009-09-29 22:31 375K [   ] MorenoMaza.Xie.PDCAT-2009.pdf 2009-09-29 23:45 387K [   ] MorenoMazaReidScottWu-05a.pdf 2009-09-11 01:29 324K [   ] MorenoMazaReidScottWu-05a.ps 2009-09-11 01:18 429K [   ] MorenoMazaReidScottWu-05b.pdf 2009-09-11 01:19 224K [   ] MorenoMazaSchostZhou-TC2006-proceedings.pdf 2009-09-11 01:18 110K [   ] MorenoMazaSchostZhou-TC2006-proceedings.ps 2009-09-11 01:36 243K [   ] MorenoMazaSchostZhou-TC2006-submission.pdf 2009-09-11 01:27 165K [   ] MorenoMazaSchostZhou-TC2006-submission.ps 2009-09-11 01:15 146K [   ] MorenoXie-06-IPDPS-submission.pdf 2009-09-11 01:15 127K [   ] MorenoXie-06-SPAA-Proceedings.dvi 2009-09-11 01:35 7.9K [   ] MorenoXie-2007.pdf 2009-09-11 01:20 236K [   ] MorenoXie-2007.ps 2009-09-11 01:15 421K [   ] MorenoXie-AGGM-06-Proceedings.pdf 2009-09-11 01:35 440K [   ] MorenoXie-AGGM-06-Proceedings.ps 2009-09-11 01:26 259K [   ] Na.Lei-ICMS-2014-BirkhoffRational.pdf 2014-08-13 11:06 397K [   ] ORCCA-JLM-14-10-2016.pdf 2017-10-14 20:08 1.9M [   ] On_Fulton_s_Algorithm_for_Computing_Intersection_Multiplicities.pdf 2013-06-02 19:40 288K [   ] On_Fulton_s_algorithm_for_computing_intersection_multiplicities.MCAG-2012.pdf 2013-11-01 12:00 2.1M [   ] On_Solving_Parametric_Polynomial_Systems.pdf 2013-06-03 05:54 215K [   ] On_solving_parametric_polynomial_systems.pdf 2012-12-02 09:10 215K [   ] On_the_Factor_Refinement_Principle_and_its_Implementaon_on_Multicore_Architectures.pdf 2013-06-13 17:02 150K [   ] On_the_Factor_Refinement_Principle_and_its_Implementation_on_Multicore_Architectures.pdf 2013-05-27 18:36 454K [   ] On_the_parallelization_of_subproduct_tree_techniques_targeting_many-core_architectures.pdf 2013-11-17 19:01 370K [   ] PARDI_nice25122001.pdf 2014-09-30 23:40 119K [   ] Parallel_Univariate_Real_Root_Isolation_on_Multicores.pdf 2013-11-17 19:43 374K [   ] Parallel_generation_of_transversal_hypergraphs.SIAM-DM-2012.pdf 2013-11-01 12:04 406K [   ] Parisa_Alvandi.PhD_disssertation.pdf 2017-04-15 14:55 2.5M [   ] Paul_Vrbik.Thesis_talk.pdf 2015-02-01 20:50 2.1M [   ] PhDThesis-YuzhenXie.pdf 2009-09-11 01:37 1.1M [   ] Plain_Polynomial_Arithmetic_on_GPU.pdf 2012-12-02 08:50 154K [   ] Polynomial_Data-Types.pdf 2017-09-26 12:53 933K [   ] Polynomial_ideals_and_algebraic_varieties.pdf 2017-10-25 11:25 237K [   ] PowerSeries.tgz 2015-11-25 15:18 6.1K [   ] Proposal.Marc_Moreno-Maza.NSECR_Discovery_2013.pdf 2016-06-10 17:34 145K [   ] Quantifier_Elimination_by_Cylindrical_Algebraic_Decomposition_Based_on_Regular_Chains.JSC_version.pdf 2015-11-03 10:05 501K [   ] Quantifier_Elimination_by_Cylindrical_Algebraic_Decomposition_Based_on_Regular_Chains.pdf 2014-04-27 12:59 468K [   ] Quantifier_Elimination_by_Cylindrical_Algebraic_Decomposition_Based_on_Regular_Chains.slides.pdf 2014-07-22 09:53 488K [   ] RC.ppt 2009-09-11 01:21 225K [IMG] RCPosterIssac2005-3.png 2009-09-11 01:18 1.1M [   ] RCTTICAD2.pdf 2014-08-02 23:52 836K [   ] RS-SAV-Tutorial.pdf 2013-05-27 16:37 106K [   ] Raqeeb.Rasheed.MSThesis-2007.pdf 2009-09-11 01:37 489K [   ] Real_Root_Isolation_of_Regular_Chains.pdf 2013-11-17 19:34 257K [   ] RegularChains.UIC.2013.mw 2013-10-02 09:52 2.1M [   ] RegularChains.mla 2014-08-03 01:52 2.1M [   ] Regular_Chains_under_Linear_Changes_of_Coordinates_and_Applications.paper.pdf 2015-11-03 09:55 404K [   ] Regular_Chains_under_Linear_Changes_of_Coordinates_and_Applications.slides.pdf 2015-11-03 09:54 318K [   ] SHARCNET-2006.pdf 2009-09-11 01:30 347K [   ] SHARCNET_Tutorial-2.pdf 2012-10-09 08:38 6.1M [   ] SHARCNET_Tutorial.pdf 2013-06-17 09:42 7.4M [   ] SYNASC-2016.pdf 2016-09-23 10:38 631K [   ] Sardar-Anisul-Haque-Thesis-UWO.pdf 2014-10-06 00:06 1.0M [   ] Sardar-Anisul-Haque-ThesisTalk.pdf 2014-10-06 00:07 1.1M [   ] Simplification_of_Cylindrical_Algebraic_Formulas.paper.pdf 2015-11-03 09:21 345K [   ] Simplification_of_Cylindrical_Algebraic_Formulas.slides.pdf 2015-11-03 09:19 417K [   ] Solving_Parametric_Polynomial_Optimization_via_Triangular_Decomposition.slides.pdf 2015-11-03 10:26 415K [   ] Sparse_polynomial_arithmetic.pdf 2017-09-27 14:48 591K [   ] Steven.Thorton-ICMS-2014.pdf 2014-08-13 11:06 520K [   ] Sushek-Shekar-MasterThesis-2013.pdf 2014-10-06 00:30 725K [   ] Sushek_Shekar.dissertation.pdf 2013-12-22 22:51 725K [   ] Svyatoslav-Covanov-Rapport-de-Stage-Recherche-2014.pdf 2015-01-04 22:14 350K [   ] Symbolic-Numeric-Integration-of-Rational-Functions.pdf 2017-11-19 22:50 537K [   ] TRICS-2-3-2016.pdf 2016-03-10 22:14 1.2M [   ] The_Modpn_library_bringing_fast_polynomial_arithmetic_into_MAPLE.pdf 2013-06-13 17:38 229K [   ] ToDo 2005-02-10 20:28 31 [   ] Triangular_decomposition_of_semi-algebraic_systems.pdf 2013-06-02 16:50 361K [   ] UIC-2-Oct-2013.pdf 2013-10-02 09:50 1.0M [   ] UWO-EduPar-2012.pdf 2013-05-30 18:42 215K [   ] UWO-Proposal-EduPar-2012.pdf 2013-06-11 17:22 74K [   ] WLU_Tutorial.pdf 2013-03-24 23:35 5.8M [   ] Wei.Pan-Thesis-UWO.pdf 2011-02-02 00:39 1.3M [   ] Wei.Pan-ThesisTalk.pdf 2011-02-02 00:49 905K [   ] What_Every_Programmer_Should_Know_About_Memory.pdf 2017-09-27 14:48 912K [   ] What_computer_algebra_can_offer_to_tackle_realizability_problems_of_matroids.SIAM-DM-2012.pdf 2013-11-01 12:09 1.8M [   ] XinLi-MSThesis-2005.pdf.gz 2009-09-11 01:21 2.7M [   ] XinLiPhDThesis-2008.pdf 2009-09-11 01:17 1.2M [   ] YangZhang2014ICMS.pdf 2014-08-10 23:02 674K [   ] Yuzhen.ACA-2009-Balanced.pdf 2009-09-11 01:36 861K [   ] Yuzhen.Moreno-Maza.ISSAC-2009.pdf 2009-09-11 01:30 124K [   ] Zunaid.Haque-MasterThesis-2012.pdf 2013-01-13 23:33 792K [   ] aca-29-08-2003.ps 2009-09-11 01:27 195K [   ] cckmx-ACM.pdf 2015-09-22 18:03 417K [   ] cdlmpxxx.pdf 2011-11-11 12:36 424K [   ] cdmxx-issac-11-jsc.pdf 2013-05-31 18:31 385K [   ] dft.mpl 2017-09-27 14:47 1.2K [IMG] diag1.eps 2009-09-11 01:19 3.5K [IMG] diag2.eps 2009-09-11 01:29 3.6K [IMG] diag3.eps 2009-09-11 01:39 3.9K [IMG] diag4.eps 2009-09-11 01:28 4.3K [IMG] diag5.eps 2009-09-11 01:31 4.4K [IMG] diag6.eps 2009-09-11 01:17 5.2K [IMG] diag7.eps 2009-09-11 01:16 4.0K [IMG] diag8.eps 2009-09-11 01:17 4.4K [IMG] diag9.eps 2009-09-11 01:14 4.4K [IMG] diag10.eps 2009-09-11 01:28 4.7K [   ] divide_n_conquer_poly_mul.tgz 2013-06-25 22:47 5.6M [IMG] eulerv2.eps 2009-09-11 01:36 8.3K [   ] farnam-thesis.pdf 2014-04-30 21:08 1.2M [   ] frisco97.ps.gz 2009-09-11 01:16 34K [   ] hctd_icms20140808.pdf 2014-08-12 13:11 80K [   ] hmm-HPCS.pdf 2013-11-17 18:58 370K [   ] internship_Alexandre_Temperville.pdf 2012-07-16 20:04 6.2M [   ] issac82-chenA.pdf 2017-06-09 20:40 843K [   ] issac83-alvandiA.pdf 2017-06-09 20:39 744K [   ] issac85c-chen.pdf 2011-03-31 03:00 211K [   ] issac87r-chen.pdf 2011-05-25 18:32 242K [   ] issac2002-IM02.pdf 2014-10-01 00:16 210K [   ] issac2002-IM02.ps 2009-09-11 01:35 484K [   ] issac2002-IM02.ps.gz 2005-12-12 22:19 187K [   ] m3-ISSAC-Tutorial-slides.pdf 2009-09-11 01:37 591K [   ] m3-ISSAC-Tutorial-slides.ps 2009-09-11 01:26 15M [   ] m3-ISSAC-Tutorial.pdf 2009-09-11 01:17 49K [   ] m3-ISSAC-Tutorial.ps 2009-09-11 01:15 145K [   ] mxx-2011.pdf 2011-11-11 12:40 171K [   ] mxx-2011_slides.pdf 2014-06-23 00:48 391K [   ] orientation_2016.pdf 2016-09-06 09:32 136K [   ] orientation_2017.pdf 2017-09-04 23:25 139K [   ] pasco2010.pdf 2010-07-06 01:27 7.3M [   ] poster_ECCAD2012.pdf 2013-05-27 18:30 140K [   ] presentation-research_+_teaching.pdf 2016-09-19 07:34 745K [   ] presentation-undergrad_theses_2016.pdf 2016-09-19 07:49 1.0M [   ] presentation-undergrad_theses_2017.pdf 2017-09-08 09:32 867K [   ] presentation.pdf 2016-09-19 07:27 1.0M [   ] roots_of_unity.mpl 2017-09-27 14:47 6.0K [   ] santander1.ps 2009-09-11 01:15 192K [   ] sea-pub-18-03-2003.tgz 2009-09-11 01:17 1.5M [   ] signed-BCLM109-GT_Contributor-Consent_to_Publish_proceeding.pdf 2014-05-06 19:55 6.2M [   ] signed-MX12-GT_Contributor-Consent_to_Publish_proceeding.pdf 2014-05-06 19:55 6.2M [   ] slides_bigFFT.pdf 2017-10-15 23:56 405K [   ] these.ps 2009-09-11 01:18 205K [   ] thesisTalk.Xin-Li.pdf 2009-09-11 01:19 432K [   ] thesisTalk.YuzhenXie.pdf 2009-09-11 01:36 405K