|
|
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Computers |
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. |
Des. Codes Cryptogr. |
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. |
ICCD |
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. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
54 | Matthew England 0001 |
SC-Square: Future Progress with Machine Learning? (invited paper). |
SC-Square@SIAM AG |
2021 |
DBLP BibTeX RDF |
|
54 | Matthew England 0001 |
SC-Square: Overview to 2021 (invited paper). |
SC-Square@SIAM AG |
2021 |
DBLP BibTeX RDF |
|
54 | Andreas Weber 0004 |
SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper). |
SC-square@SIAM AG |
2019 |
DBLP BibTeX RDF |
|
51 | Vidhyacharan Bhaskar |
Finite-state Markov Model for Lognormal, Chi-square (Central), Chi-square (Non-central), and K -distributions. |
Int. J. Wirel. Inf. Networks |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Computers |
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. |
ICCD |
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. |
IEEE Symposium on Computer Arithmetic |
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. |
SC-Square@ISSAC |
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. |
SC-Square@FLoC |
2023 |
DBLP BibTeX RDF |
|
45 | Yameen Ajani, Curtis Bright |
A Hybrid SAT and Lattice Reduction Approach for Integer Factorization. |
SC-Square@ISSAC |
2023 |
DBLP BibTeX RDF |
|
45 | Martin Brain, Jacob M. Howe |
Widening for Systems of Two Variables Per Inequality. |
SC-Square@ISSAC |
2023 |
DBLP BibTeX RDF |
|
45 | André Platzer |
Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract). |
SC-Square@ISSAC |
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. |
SC-Square@ISSAC |
2023 |
DBLP BibTeX RDF |
|
45 | Tereso del Río, Matthew England 0001 |
Data Augmentation for Mathematical Objects. |
SC-Square@ISSAC |
2023 |
DBLP BibTeX RDF |
|
45 | Haniel Barbosa |
Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper). |
SC-Square@ISSAC |
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. |
SC-Square@SIAM AG |
2022 |
DBLP BibTeX RDF |
|
45 | Bogdan David, Madalina Erascu |
Automatic Deployment of Component-based Applications in the Cloud (short paper). |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
45 | Daniel Dallaire, Curtis Bright |
Enumerating Projective Planes of Order Nine with Proof Verification. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
45 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
45 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Decidability of difference logics with unary predicates. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
45 | Gereon Kremer, Jasper Nalbach |
Cylindrical Algebraic Coverings for Quantifiers (short paper). |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
45 | Akshar S. Nair, James H. Davenport, Gregory Sankaran |
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). |
SC-Square@SIAM AG |
2021 |
DBLP BibTeX RDF |
|
45 | Vijay Ganesh |
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract). |
SC-Square@SIAM AG |
2021 |
DBLP BibTeX RDF |
|
45 | James H. Davenport, Zak Tonks, Ali Kemal Uncu |
Practical Evaluation of Quantifier Elimination Methods (short paper). |
SC-Square@SIAM AG |
2021 |
DBLP BibTeX RDF |
|
45 | Michela Ceria, Samuel Lundqvist, Ferdinando Mora |
Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper). |
SC-Square@SIAM AG |
2021 |
DBLP BibTeX RDF |
|
45 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). |
SC-Square@SIAM AG |
2021 |
DBLP BibTeX RDF |
|
45 | James H. Davenport |
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition. |
SC-Square@SIAM AG |
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. |
SC-square@SIAM AG |
2019 |
DBLP BibTeX RDF |
|
45 | Gereon Kremer, Erika Ábrahám, Vijay Ganesh |
On the Proof Complexity of MCSAT. |
SC-square@SIAM AG |
2019 |
DBLP BibTeX RDF |
|
45 | Akshar Nair, James H. Davenport, Gregory Sankaran |
On Benefits of Equality Constraints in Lex-Least Invariant CAD. |
SC-square@SIAM AG |
2019 |
DBLP BibTeX RDF |
|
45 | Jasper Nalbach, Gereon Kremer, Erika Ábrahám |
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. |
SC-square@SIAM AG |
2019 |
DBLP BibTeX RDF |
|
45 | Zak Tonks |
Evolutionary Virtual Term Substitution in a Quantifier Elimination System. |
SC-square@SIAM AG |
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. |
SC-square@SIAM AG |
2019 |
DBLP BibTeX RDF |
|
45 | Dorian Florescu, Matthew England 0001 |
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. |
SC-square@SIAM AG |
2019 |
DBLP BibTeX RDF |
|
45 | Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani |
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. |
SC-square@SIAM AG |
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. |
SC-Square@FLOC |
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. |
ICCD |
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. |
VLSI Design |
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. |
FAW |
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. |
ISPEC |
2008 |
DBLP DOI BibTeX RDF |
Zodiac, square attack, block cipher |
39 | Peter Kornerup |
Digit Selection for SRT Division and Square Root. |
IEEE Trans. Computers |
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. |
IEEE Symposium on Computer Arithmetic |
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. |
Neural Process. Lett. |
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. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Tudor Jebelean |
Techniques for Natural-style Proofs in Elementary Analysis. |
SC-Square@FLOC |
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. |
SC-Square@FLOC |
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. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Jan Horácek, Martin Kreuzer |
Refutation of Products of Linear Polynomials. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Ilias S. Kotsireas |
Hard Combinatorial Problems: A Challenge for Satisfiability. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Syed Mohammad Meesum, T. V. H. Prathamesh |
Unknot Recognition Through Quantifier Elimination. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Rebecca Haehn, Gereon Kremer, Erika Ábrahám |
Evaluation of Equational Constraints for CAD in SMT Solving. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Alexander I. Cowen-Rivers, Matthew England 0001 |
Towards Incremental Cylindrical Algebraic Decomposition in Maple. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Stephen A. Forrest |
SMT-like Queries in Maple. |
SC-Square@FLOC |
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. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
36 | Daniela Ritirc, Armin Biere, Manuel Kauers |
A Practical Polynomial Calculus for Arithmetic Circuit Verification. |
SC-Square@FLOC |
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. |
EIT |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Cristina Iordache, David W. Matula |
On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal. |
IEEE Symposium on Computer Arithmetic |
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. |
IEEE Trans. Computers |
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. |
ISBI |
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. |
IEEE Trans. Very Large Scale Integr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Feliu Sagols, Raúl Marín |
The Inscribed Square Conjecture in the Digital Plane. |
IWCIA |
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. |
J. VLSI Signal Process. |
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. |
J. VLSI Signal Process. |
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. |
ACISP |
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. |
IEEE Trans. Computers |
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. |
IEEE Trans. Computers |
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. |
Theory Comput. Syst. |
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. |
PDP |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
CASDMKM |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Wanming Chu, Yamin Li |
Cost/Performance Tradeoff of n-Select Square Root Implementations. |
ACAC |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Daisuke Takahashi |
Implementation of Multiple-Precision Parallel Division and Square Root on Distributed-Memory Parallel Computers. |
ICPP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Kari J. Nurmela, Patric R. J. Östergård |
Packing up to 50 Equal Circles in a Square. |
Discret. Comput. Geom. |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Shu Hung Leung, Chi Fuk So |
Gradient-based variable forgetting factor RLS algorithm in time-varying environments. |
IEEE Trans. Signal Process. |
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. |
Sci. China Ser. F Inf. Sci. |
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. |
ICIC (1) |
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. |
AINA |
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. |
DELTA |
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. |
Selected Areas in Cryptography |
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. |
IEEE Trans. Vis. Comput. Graph. |
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. |
J. VLSI Signal Process. |
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. |
ACM Southeast Regional Conference |
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. |
RSKT |
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. |
Mob. Networks Appl. |
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. |
Des. Codes Cryptogr. |
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). |
Graphs Comb. |
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. |
Intelligent Information Processing |
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. |
Ann. Oper. Res. |
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. |
Vis. Comput. |
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. |
ASYNC |
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. |
VLSI Design |
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. |
IEEE Symposium on Computer Arithmetic |
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. |
EuroPKI |
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. |
SCIA |
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][ >>] |
|