|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3910 occurrences of 2358 keywords
|
|
|
Results
Found 11133 publication records. Showing 11133 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
64 | Tomás Lang, Elisardo Antelo |
Radix-4 Reciprocal Square-Root and Its Combination with Division and Square Root. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(9), pp. 1100-1114, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Combined division, reciprocal square root, exact rounding, staircase selection function, square root, digit-recurrence algorithm |
64 | José-Alejandro Piñeiro, Javier D. Bruguera |
High-Speed Double-Precision Computation of Reciprocal, Division, Square Root and Inverse Square Root. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(12), pp. 1377-1388, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Goldschmidt iteration, table-based methods, double-precision operations, inverse square root, Computer arithmetic, division, square root |
61 | John B. Polhill |
New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 46(3), pp. 365-377, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMS Classification 05B10 |
59 | Miriam Leeser, John W. O'Leary |
Verification of a subtractive radix-2 square root algorithm and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 526-531, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations |
54 | Zhengyu Li 0002, Curtis Bright, Vijay Ganesh |
An SC-Square Approach to the Minimum Kochen-Specker Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 55-66, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
54 | Matthew England 0001 |
SC-Square: Future Progress with Machine Learning? (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 7-16, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
54 | Matthew England 0001 |
SC-Square: Overview to 2021 (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 1-6, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
54 | Andreas Weber 0004 |
SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
51 | Vidhyacharan Bhaskar |
Finite-state Markov Model for Lognormal, Chi-square (Central), Chi-square (Non-central), and K -distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wirel. Inf. Networks ![In: Int. J. Wirel. Inf. Networks 14(4), pp. 237-250, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Chi-square (central) distribution, Chi-square (non-central) distribution, Level crossing rate, Average fade duration, Lognormal distribution, K-distribution |
51 | Milos D. Ercegovac, Laurent Imbert, David W. Matula, Jean-Michel Muller, Guoheng Wei |
Improving Goldschmidt Division, Square Root, and Square Root Reciprocal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(7), pp. 759-763, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
square root reciprocal, convergence division, Goldschmidt iteration, computer arithmetic, Division, square root |
51 | Milos D. Ercegovac, Tomás Lang, Jean-Michel Muller, Arnaud Tisserand |
Reciprocation, Square Root, Inverse Square Root, and Some Elementary Functions Using Small Multipliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(7), pp. 628-637, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
inverse square root, single-/double-precision operations, small multipliers, exponential, square root, Reciprocal, logarithm, Taylor series |
51 | Hosahalli R. Srinivas, Keshab K. Parhi |
A floating point radix 2 shared division/square root chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 472-478, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
floating point radix 2 shared division/square root chip, full-custom 1.2 micron CMOS VLSI chip, single precision IEEE 754 std. floating point numbers, square root algorithm, digit-by-digit schemes, quotient/root digit selection, 5.0 V, 66 MHz, VLSI, floating point arithmetic, CMOS integrated circuits, IEEE standards, dividing circuits, 1.2 micron, division algorithm |
47 | Michael J. Schulte, Kent E. Wires |
High-Speed Inverse Square Roots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 14th IEEE Symposium on Computer Arithmetic (Arith-14 '99), 14-16 April 1999, Adelaide, Australia, pp. 124-, 1999, IEEE Computer Society, 0-7695-0116-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
inverse square roots, truncated multiplication, squaring units, computer arithmetic, error analysis, VLSI design, Function approximation |
45 | Erika Ábrahám, Thomas Sturm 0001 (eds.) |
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | Ali Kemal Uncu, Haniel Barbosa (eds.) |
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | Yameen Ajani, Curtis Bright |
A Hybrid SAT and Lattice Reduction Approach for Integer Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![In: Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023., pp. 39-43, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | Martin Brain, Jacob M. Howe |
Widening for Systems of Two Variables Per Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![In: Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023., pp. 11-28, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | André Platzer |
Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![In: Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023., pp. 10, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | Christopher W. Brown 0001, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez |
Towards Detection of Partial Truth via Real Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![In: Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023., pp. 44-53, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | Tereso del Río, Matthew England 0001 |
Data Augmentation for Mathematical Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![In: Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023., pp. 29-38, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | Haniel Barbosa |
Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@ISSAC ![In: Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023., pp. 1-9, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
45 | Curtis Bright, James H. Davenport (eds.) |
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
45 | Bogdan David, Madalina Erascu |
Automatic Deployment of Component-based Applications in the Cloud (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 37-44, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
45 | Daniel Dallaire, Curtis Bright |
Enumerating Projective Planes of Order Nine with Proof Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 45-54, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
45 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 10-24, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
45 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Decidability of difference logics with unary predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 25-36, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
45 | Gereon Kremer, Jasper Nalbach |
Cylindrical Algebraic Coverings for Quantifiers (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022., pp. 1-9, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
45 | Akshar S. Nair, James H. Davenport, Gregory Sankaran |
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 50-58, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
45 | Vijay Ganesh |
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 17, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
45 | James H. Davenport, Zak Tonks, Ali Kemal Uncu |
Practical Evaluation of Quantifier Elimination Methods (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 41-49, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
45 | Michela Ceria, Samuel Lundqvist, Ferdinando Mora |
Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 27-30, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
45 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 18-26, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
45 | James H. Davenport |
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@SIAM AG ![In: Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021., pp. 31-40, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
45 | John Abbott, Alberto Griggio (eds.) |
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Gereon Kremer, Erika Ábrahám, Vijay Ganesh |
On the Proof Complexity of MCSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Akshar Nair, James H. Davenport, Gregory Sankaran |
On Benefits of Equality Constraints in Lex-Least Invariant CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Jasper Nalbach, Gereon Kremer, Erika Ábrahám |
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Zak Tonks |
Evolutionary Virtual Term Substitution in a Quantifier Elimination System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer |
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Dorian Florescu, Matthew England 0001 |
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani |
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-square@SIAM AG ![In: Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
45 | John Abbott, Anna Maria Bigatti, Elisa Palezzato |
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 88, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
43 | Jimmy Shinn-Hwa Wang, Wayne Wei-Ming Dai |
Transformation of min-max optimization to least-square estimation and application to interconnect design optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 664-670, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
min-max optimization transformation, interconnect design optimization, tighter bound, circuit layout CAD, minimisation, least squares approximations, multichip modules, multichip modules, least-square estimation, minimax techniques |
39 | Ashok K. Murugavel, N. Ranganathan, Ramamurti Chandramouli, Srinath Chavali |
Average Power in Digital CMOS Circuits using Least Square Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India, pp. 215-220, 2001, IEEE Computer Society, 0-7695-0831-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Xinwang Liu 0002, Guomin Zhang, Yubin Zhan, En Zhu |
An Incremental Feature Learning Algorithm Based on Least Square Support Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings, pp. 330-338, 2008, Springer, 978-3-540-69310-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Support Vector Machine, Incremental Learning, Least Square Support Vector Machine |
39 | Wen Ji, Lei Hu |
Square Attack on Reduced-Round Zodiac Cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, 4th International Conference, ISPEC 2008, Sydney, Australia, April 21-23, 2008, Proceedings, pp. 377-391, 2008, Springer, 978-3-540-79103-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Zodiac, square attack, block cipher |
39 | Peter Kornerup |
Digit Selection for SRT Division and Square Root. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(3), pp. 294-303, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Digit selection, division, square root |
39 | Gensoh Matsubara, Nobuhiro Ide, Haruyuki Tago, Seigo Suzuki, Nobuyuki Goto |
30-ns 55-b Radix 2 Division and Square Root Using a Self-Timed Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 98-, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
simulation, CMOS, division, square root, self-timed, SRT, on-the-fly |
38 | Rui Zhang, Wenjian Wang, Yi-Chen Ma, Changqian Men |
Least Square Transduction Support Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 29(2), pp. 133-142, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Least square transduction support vector machine, Transductive support vector machine, Semi-supervised learning, Supervised learning, Least square support vector machine |
36 | Anna Maria Bigatti, Martin Brain (eds.) |
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Tudor Jebelean |
Techniques for Natural-style Proofs in Elementary Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 122, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England 0001, Zak Tonks |
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 48, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, To Van Khanh, Xuan-Tung Vu |
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 110, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Jan Horácek, Martin Kreuzer |
Refutation of Products of Linear Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 33, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Ilias S. Kotsireas |
Hard Combinatorial Problems: A Challenge for Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 1, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Syed Mohammad Meesum, T. V. H. Prathamesh |
Unknot Recognition Through Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 77, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Rebecca Haehn, Gereon Kremer, Erika Ábrahám |
Evaluation of Equational Constraints for CAD in SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 19, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Alexander I. Cowen-Rivers, Matthew England 0001 |
Towards Incremental Cylindrical Algebraic Decomposition in Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 3, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Stephen A. Forrest |
SMT-like Queries in Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 118, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer |
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 95, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Daniela Ritirc, Armin Biere, Manuel Kauers |
A Practical Polynomial Calculus for Arithmetic Circuit Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018., pp. 61, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
35 | Semih Aslan, Erdal Oruklu, Jafar Saniie |
Realization of area efficient QR factorization using unified division, square root, and inverse square root hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2009 IEEE International Conference on Electro/Information Technology, EIT 2009, Windsor, Ontario, Canada, June 7-9, 2009, pp. 245-250, 2009, IEEE, 978-1-4244-3355-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Cristina Iordache, David W. Matula |
On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 14th IEEE Symposium on Computer Arithmetic (Arith-14 '99), 14-16 April 1999, Adelaide, Australia, pp. 233-240, 1999, IEEE Computer Society, 0-7695-0116-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Francisco Rodríguez-Henríquez, Guillermo Morales-Luna, Julio César López-Hernández |
Low-Complexity Bit-Parallel Square Root Computation over GF(2^{m}) for All Trinomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(4), pp. 472-480, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Computations in finite fields, Algorithms, Computer arithmetic |
35 | Jingxin Nie, Tianming Liu 0001, Geoffrey S. Young, Lei Guo 0002, Stephen T. C. Wong |
Least square conformal mapping with spring energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 1308-1311, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Ashok K. Murugavel, N. Ranganathan, Ramamurti Chandramouli, Srinath Chavali |
Least-square estimation of average power in digital CMOS circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 10(1), pp. 55-58, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Feliu Sagols, Raúl Marín |
The Inscribed Square Conjecture in the Digital Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis, 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings, pp. 411-424, 2009, Springer, 978-3-642-10208-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Inscribed Square Conjecture, Jordan Curve Theorem, simple closed digital curves, digital topology |
34 | Milos D. Ercegovac, Jean-Michel Muller |
Complex Square Root with Operand Prescaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 49(1), pp. 19-30, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
complex square-root, operand prescaling, computer arithmetic, digit-recurrence algorithm |
34 | Kent E. Wires, Michael J. Schulte |
Reciprocal and Reciprocal Square Root Units with Operand Modification and Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 42(3), pp. 257-272, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
reciprocal square root, Newton-Raphson iteration, computer arithmetic, function approximation, table lookup, reciprocal |
34 | Swee-Huay Heng, Kaoru Kurosawa |
Square Hash with a Small Key Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, pp. 522-531, 2003, Springer, 3-540-40515-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
square hash, Message authentication codes, universal hash |
34 | Elisardo Antelo, Tomás Lang, Javier D. Bruguera |
Computation of sqrt(x/d) in a Very High Radix Combined Division/Square-Root Unit with Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(2), pp. 152-161, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
high-radix methods, inverse square-root, division, square-root, Digit-recurrence algorithm |
34 | Tomás Lang, Paolo Montuschi |
Higher Radix Square Root with Prescaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(8), pp. 996-1009, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
higher radix square root, radicand, result-digit selection, double-precision square root, complexity, pipelining, online algorithms, digital arithmetic, multiplication, division, multiplying circuits, number theory, prescaling, dividing circuits |
33 | Boris Aronov, Tetsuo Asano, Yosuke Kikuchi, Subhas C. Nandy, Shinji Sasahara, Takeaki Uno |
A Generalization of Magic Squares with Applications to Digital Halftoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 42(2), pp. 143-156, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Magic square, Matrix, Discrepancy, Digital halftoning, Latin square |
33 | John Lloyd |
Parallel Formulations of Matrix-Vector Multiplication for Matrices with Large Aspect Ratios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 102-108, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallel formulations, large aspect ratio matrices, square matrices, square meshes, wraparound connections, parallel algorithms, parallel algorithms, parallel architectures, parallel architectures, partitioning, hypercubes, hypercube networks, matrix multiplication, communication overhead, matrix-vector multiplication |
33 | Hossam Osman, Moustafa M. Fahmy |
On the Discriminatory Power of Adaptive Feed-Forward Layered Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(8), pp. 837-842, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
discriminatory power, adaptive feedforward layered networks, linear-output networks, mean-square classifiers, mean-square error minimisation, familiar discriminant criterion, final hidden layer, feature extraction criterion, target coding scheme, pattern recognition, feature extraction, pattern classification, Bayes methods, discriminant analysis, feedforward neural nets |
31 | Yachen Lin, Chung Chen |
Computation of Least Square Estimates Without Matrix Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASDMKM ![In: Data Mining and Knowledge Management, Chinese Academy of Sciences Symposium, CASDMKM 2004, Beijing, China, July 12-14, 2004, Revised Papers, pp. 81-89, 2004, Springer, 3-540-23987-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Wanming Chu, Yamin Li |
Cost/Performance Tradeoff of n-Select Square Root Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAC ![In: 5th Australasian Computer Architecture Conference (ACAC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 9-16, 2000, IEEE Computer Society, 0-7695-0512-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Daisuke Takahashi |
Implementation of Multiple-Precision Parallel Division and Square Root on Distributed-Memory Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 2000 International Workshop on Parallel Processing, ICPPW 2000, Toronto, Canada, August 21-24, 2000, pp. 229-236, 2000, IEEE Computer Society, 0-7695-0771-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Kari J. Nurmela, Patric R. J. Östergård |
Packing up to 50 Equal Circles in a Square. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 18(1), pp. 111-120, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Shu Hung Leung, Chi Fuk So |
Gradient-based variable forgetting factor RLS algorithm in time-varying environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(8-2), pp. 3141-3150, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Lina Yao, Hong Wang 0001 |
Robust fault diagnosis for non-Gaussian stochastic systems based on the rational square-root approximation model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(9), pp. 1281-1290, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SDC systems, output probability density functions (PDFs), robust fault detection and diagnosis, rational square-root B-spline functions |
30 | Zeqing Yang, Libing Liu, Weiling Liu, Weidong Yang |
Research of CT / MRI Tumor Image Registration Based on Least Square Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 1078-1086, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MRI Image, Transformation Model Estimation, Image Registration, CT Image, Least Square Support Vector Machines (LS-SVM) |
30 | Yansheng Qu, Junzhou Luo, Wei Li 0017, Bo Liu 0004, Laurence Tianruo Yang |
SQUARE: A New TCP Variant for Future High Speed and Long Delay Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 22nd International Conference on Advanced Information Networking and Applications, AINA 2008, GinoWan, Okinawa, Japan, March 25-28, 2008, pp. 636-643, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
odd function congestion control, RTT unfairness, TCP friendliness, SQUARE |
30 | Stefan Lachowicz, Hans-Jörg Pfleiderer |
Fast Evaluation of the Square Root and Other Nonlinear Functions in FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008, pp. 474-477, 2008, IEEE Computer Society, 978-0-7695-3110-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FPGA, square root, nonlinear function |
30 | Roberto Maria Avanzi |
Another Look at Square Roots (and Other Less Common Operations) in Fields of Even Characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers, pp. 138-154, 2007, Springer, 978-3-540-77359-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Square root extraction, Trace computation, Point halving, Polynomial basis, Binary fields, Quadratic equations |
30 | Frédéric Payan, Marc Antonini |
Mean Square Error Approximation for Wavelet-Based Semiregular Mesh Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 12(4), pp. 649-657, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Weighted mean square error (MSE), butterfly scheme, geometry coding, semiregular meshes, lifting scheme, bit allocation, biorthogonal wavelet |
30 | Zhan Guo, Peter Nilsson 0001 |
A VLSI Architecture of the Square Root Algorithm for V-BLAST Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 44(3), pp. 219-230, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
square root algorithm, VLSI, wireless LAN, ASIC, MIMO, fixed-point, 3G, HSDPA, CORDIC, BLAST |
30 | Anuja Jayraj Thakkar, Abdel Ejnioui |
Pipelining of double precision floating point division and square root operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 488-493, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
FPGA, pipelining, floating point, division, square root |
30 | Kin Keung Lai, Lean Yu, Ligang Zhou, Shouyang Wang |
Credit Risk Evaluation with Least Square Support Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 490-495, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Credit risk evaluation, least square support vector machine |
30 | Madhusudana V. S. Shashanka, Amrita Pati, Anil M. Shende |
A Characterisation of Optimal Channel Assignments for Cellular and Square Grid Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 10(1-2), pp. 89-98, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cellular and square grids, channel assignment, wireless computing |
30 | Siguna Müller |
On the Computation of Square Roots in Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 31(3), pp. 301-312, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
complexity, finite fields, square roots, efficient computation |
30 | Seog-Jin Kim, Kittikorn Nakprasit |
On the Chromatic Number of the Square of the Kneser Graph K(2 k+1, k). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 20(1), pp. 79-90, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Kneser graph, Intersecting family, Graph coloring, Square |
30 | Yu Lan, Guoqing Chen, Davy Janssens, Geert Wets |
Dilated Chi-Square: A Novel Interestingness Measure to Build Accurate and Compact Decision List. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 233-237, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dilated chi-square, CBA, associative classification |
30 | Lu Lin, Zhong-Yun Liu |
On the Square Root of an H-matrix with Positive Diagonal Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 103(1-4), pp. 339-350, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
H-matrix, positive diagonal elements, square root |
30 | Kazunori Miyata, Takayuki Itoh, Kenji Shimada |
A method for generating pavement textures using the square packing technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 17(8), pp. 475-490, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Pavement, Square packing, Stone, Texture, Subdivision surface |
30 | Gensoh Matsubara, Nobuhiro Ide |
A Low Power Zero-Overhead Self-Timed Division and Square Root Unit Combining a Single-Rail Static Circuit with a Dual-Rail Dynamic Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 198-209, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
floating point, division, square root, self-timed |
30 | Alain Guyot, Marc Renaudin, Bachar El-Hassan, Volker Levering |
Self timed division and square-root extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 376-381, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
self-timed integrated circuit, square-root extraction, mathematical algorithm, logic level, binary notation, iterative methods, design methodology, integrated circuit design, division, dividing circuits, quotient, pipeline arithmetic, pipelined arithmetic, functional blocks |
30 | Peter Soderquist, Miriam Leeser |
An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 132-139, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Newton-Raphson method, Goldschmidt's algorithm, microprocessor, Floating-point, division, square root, SRT |
30 | Billy Bob Brumley, Kimmo U. Järvinen |
Fast Point Decompression for Standard Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPKI ![In: Public Key Infrastructure, 5th European PKI Workshop: Theory and Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008, Proceedings, pp. 134-149, 2008, Springer, 978-3-540-69484-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
square roots modulo p, elliptic curve cryptography, exponentiation, addition chains |
30 | Benedek Nagy |
A Comparison Among Distances Based on Neighborhood Sequences in Regular Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005, Proceedings, pp. 1027-1036, 2005, Springer, 3-540-26320-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Hexagonal grid, Triangular grid, Distance, Digital geometry, Square grid, Neighborhood sequences |
Displaying result #1 - #100 of 11133 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|