The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SQuaRE with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1959 (16) 1960-1962 (20) 1963-1965 (19) 1966-1969 (21) 1970-1972 (22) 1973-1974 (24) 1975-1976 (22) 1977-1978 (23) 1979 (16) 1980-1981 (25) 1982 (18) 1983 (55) 1984 (20) 1985 (24) 1986 (27) 1987 (28) 1988 (38) 1989 (37) 1990 (50) 1991 (106) 1992 (53) 1993 (60) 1994 (67) 1995 (95) 1996 (90) 1997 (94) 1998 (112) 1999 (166) 2000 (166) 2001 (204) 2002 (251) 2003 (265) 2004 (420) 2005 (596) 2006 (798) 2007 (819) 2008 (986) 2009 (517) 2010 (257) 2011 (292) 2012 (276) 2013 (284) 2014 (321) 2015 (315) 2016 (351) 2017 (349) 2018 (343) 2019 (370) 2020 (369) 2021 (397) 2022 (384) 2023 (363) 2024 (92)
Publication types (Num. hits)
article(5766) book(4) incollection(40) inproceedings(5299) phdthesis(11) proceedings(13)
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
64Tomás Lang, Elisardo Antelo Radix-4 Reciprocal Square-Root and Its Combination with Division and Square Root. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Combined division, reciprocal square root, exact rounding, staircase selection function, square root, digit-recurrence algorithm
64José-Alejandro Piñeiro, Javier D. Bruguera High-Speed Double-Precision Computation of Reciprocal, Division, Square Root and Inverse Square Root. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Goldschmidt iteration, table-based methods, double-precision operations, inverse square root, Computer arithmetic, division, square root
61John B. Polhill New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS Classification 05B10
59Miriam Leeser, John W. O'Leary Verification of a subtractive radix-2 square root algorithm and implementation. Search on Bibsonomy ICCD The full citation details ... 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
54Zhengyu Li 0002, Curtis Bright, Vijay Ganesh An SC-Square Approach to the Minimum Kochen-Specker Problem. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
54Matthew England 0001 SC-Square: Future Progress with Machine Learning? (invited paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
54Matthew England 0001 SC-Square: Overview to 2021 (invited paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
54Andreas Weber 0004 SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper). Search on Bibsonomy SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
51Vidhyacharan Bhaskar Finite-state Markov Model for Lognormal, Chi-square (Central), Chi-square (Non-central), and K -distributions. Search on Bibsonomy Int. J. Wirel. Inf. Networks The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Chi-square (central) distribution, Chi-square (non-central) distribution, Level crossing rate, Average fade duration, Lognormal distribution, K-distribution
51Milos D. Ercegovac, Laurent Imbert, David W. Matula, Jean-Michel Muller, Guoheng Wei Improving Goldschmidt Division, Square Root, and Square Root Reciprocal. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF square root reciprocal, convergence division, Goldschmidt iteration, computer arithmetic, Division, square root
51Milos 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 IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF inverse square root, single-/double-precision operations, small multipliers, exponential, square root, Reciprocal, logarithm, Taylor series
51Hosahalli R. Srinivas, Keshab K. Parhi A floating point radix 2 shared division/square root chip. Search on Bibsonomy ICCD The full citation details ... 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
47Michael J. Schulte, Kent E. Wires High-Speed Inverse Square Roots. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF inverse square roots, truncated multiplication, squaring units, computer arithmetic, error analysis, VLSI design, Function approximation
45Erika Á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 SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
45Ali 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 SC-Square@FLoC The full citation details ... 2023 DBLP  BibTeX  RDF
45Yameen Ajani, Curtis Bright A Hybrid SAT and Lattice Reduction Approach for Integer Factorization. Search on Bibsonomy SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
45Martin Brain, Jacob M. Howe Widening for Systems of Two Variables Per Inequality. Search on Bibsonomy SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
45André Platzer Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract). Search on Bibsonomy SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
45Christopher 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 SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
45Tereso del Río, Matthew England 0001 Data Augmentation for Mathematical Objects. Search on Bibsonomy SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
45Haniel Barbosa Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper). Search on Bibsonomy SC-Square@ISSAC The full citation details ... 2023 DBLP  BibTeX  RDF
45Curtis 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 SC-Square@SIAM AG The full citation details ... 2022 DBLP  BibTeX  RDF
45Bogdan David, Madalina Erascu Automatic Deployment of Component-based Applications in the Cloud (short paper). Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
45Daniel Dallaire, Curtis Bright Enumerating Projective Planes of Order Nine with Proof Verification. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
45Ali Kemal Uncu, James H. Davenport, Matthew England 0001 SMT-Solving Induction Proofs of Inequalities. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
45Bernard Boigelot, Pascal Fontaine, Baptiste Vergain Decidability of difference logics with unary predicates. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
45Gereon Kremer, Jasper Nalbach Cylindrical Algebraic Coverings for Quantifiers (short paper). Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
45Akshar S. Nair, James H. Davenport, Gregory Sankaran Equational Constraints, the Lazard Projection and the Curtain Problem (short paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
45Vijay Ganesh Logic Solvers and Machine Learning: The Next Frontier (keynote abstract). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
45James H. Davenport, Zak Tonks, Ali Kemal Uncu Practical Evaluation of Quantifier Elimination Methods (short paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
45Michela Ceria, Samuel Lundqvist, Ferdinando Mora Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
45Bernard Boigelot, Pascal Fontaine, Baptiste Vergain Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
45James H. Davenport Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition. Search on Bibsonomy SC-Square@SIAM AG The full citation details ... 2021 DBLP  BibTeX  RDF
45John 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 SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45Gereon Kremer, Erika Ábrahám, Vijay Ganesh On the Proof Complexity of MCSAT. Search on Bibsonomy SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45Akshar Nair, James H. Davenport, Gregory Sankaran On Benefits of Equality Constraints in Lex-Least Invariant CAD. Search on Bibsonomy SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45Jasper Nalbach, Gereon Kremer, Erika Ábrahám On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. Search on Bibsonomy SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45Zak Tonks Evolutionary Virtual Term Substitution in a Quantifier Elimination System. Search on Bibsonomy SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45Karsten 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 SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45Dorian Florescu, Matthew England 0001 Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. Search on Bibsonomy SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. Search on Bibsonomy SC-square@SIAM AG The full citation details ... 2019 DBLP  BibTeX  RDF
45John Abbott, Anna Maria Bigatti, Elisa Palezzato New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
43Jimmy 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 ICCD The full citation details ... 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
39Ashok K. Murugavel, N. Ranganathan, Ramamurti Chandramouli, Srinath Chavali Average Power in Digital CMOS Circuits using Least Square Estimation. Search on Bibsonomy VLSI Design The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Xinwang Liu 0002, Guomin Zhang, Yubin Zhan, En Zhu An Incremental Feature Learning Algorithm Based on Least Square Support Vector Machine. Search on Bibsonomy FAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Support Vector Machine, Incremental Learning, Least Square Support Vector Machine
39Wen Ji, Lei Hu Square Attack on Reduced-Round Zodiac Cipher. Search on Bibsonomy ISPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Zodiac, square attack, block cipher
39Peter Kornerup Digit Selection for SRT Division and Square Root. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Digit selection, division, square root
39Gensoh 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 IEEE Symposium on Computer Arithmetic The full citation details ... 1995 DBLP  DOI  BibTeX  RDF simulation, CMOS, division, square root, self-timed, SRT, on-the-fly
38Rui Zhang, Wenjian Wang, Yi-Chen Ma, Changqian Men Least Square Transduction Support Vector Machine. Search on Bibsonomy Neural Process. Lett. The full citation details ... 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
36Anna 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 SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Tudor Jebelean Techniques for Natural-style Proofs in Elementary Analysis. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Casey 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 SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Pascal 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 SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Jan Horácek, Martin Kreuzer Refutation of Products of Linear Polynomials. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Ilias S. Kotsireas Hard Combinatorial Problems: A Challenge for Satisfiability. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Syed Mohammad Meesum, T. V. H. Prathamesh Unknot Recognition Through Quantifier Elimination. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Rebecca Haehn, Gereon Kremer, Erika Ábrahám Evaluation of Equational Constraints for CAD in SMT Solving. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Alexander I. Cowen-Rivers, Matthew England 0001 Towards Incremental Cylindrical Algebraic Decomposition in Maple. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Stephen A. Forrest SMT-like Queries in Maple. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
36Daniela Ritirc, Armin Biere, Manuel Kauers A Practical Polynomial Calculus for Arithmetic Circuit Verification. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
35Semih Aslan, Erdal Oruklu, Jafar Saniie Realization of area efficient QR factorization using unified division, square root, and inverse square root hardware. Search on Bibsonomy EIT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Cristina Iordache, David W. Matula On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Francisco 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 IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Computations in finite fields, Algorithms, Computer arithmetic
35Jingxin Nie, Tianming Liu 0001, Geoffrey S. Young, Lei Guo 0002, Stephen T. C. Wong Least square conformal mapping with spring energy. Search on Bibsonomy ISBI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Ashok K. Murugavel, N. Ranganathan, Ramamurti Chandramouli, Srinath Chavali Least-square estimation of average power in digital CMOS circuits. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Feliu Sagols, Raúl Marín The Inscribed Square Conjecture in the Digital Plane. Search on Bibsonomy IWCIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Inscribed Square Conjecture, Jordan Curve Theorem, simple closed digital curves, digital topology
34Milos D. Ercegovac, Jean-Michel Muller Complex Square Root with Operand Prescaling. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF complex square-root, operand prescaling, computer arithmetic, digit-recurrence algorithm
34Kent E. Wires, Michael J. Schulte Reciprocal and Reciprocal Square Root Units with Operand Modification and Multiplication. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reciprocal square root, Newton-Raphson iteration, computer arithmetic, function approximation, table lookup, reciprocal
34Swee-Huay Heng, Kaoru Kurosawa Square Hash with a Small Key Size. Search on Bibsonomy ACISP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF square hash, Message authentication codes, universal hash
34Elisardo 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 IEEE Trans. Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF high-radix methods, inverse square-root, division, square-root, Digit-recurrence algorithm
34Tomás Lang, Paolo Montuschi Higher Radix Square Root with Prescaling. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
33Boris 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 Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Magic square, Matrix, Discrepancy, Digital halftoning, Latin square
33John Lloyd Parallel Formulations of Matrix-Vector Multiplication for Matrices with Large Aspect Ratios. Search on Bibsonomy PDP The full citation details ... 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
33Hossam Osman, Moustafa M. Fahmy On the Discriminatory Power of Adaptive Feed-Forward Layered Networks. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
31Yachen Lin, Chung Chen Computation of Least Square Estimates Without Matrix Manipulation. Search on Bibsonomy CASDMKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Wanming Chu, Yamin Li Cost/Performance Tradeoff of n-Select Square Root Implementations. Search on Bibsonomy ACAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Daisuke Takahashi Implementation of Multiple-Precision Parallel Division and Square Root on Distributed-Memory Parallel Computers. Search on Bibsonomy ICPP Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Kari J. Nurmela, Patric R. J. Östergård Packing up to 50 Equal Circles in a Square. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Shu Hung Leung, Chi Fuk So Gradient-based variable forgetting factor RLS algorithm in time-varying environments. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Lina Yao, Hong Wang 0001 Robust fault diagnosis for non-Gaussian stochastic systems based on the rational square-root approximation model. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SDC systems, output probability density functions (PDFs), robust fault detection and diagnosis, rational square-root B-spline functions
30Zeqing Yang, Libing Liu, Weiling Liu, Weidong Yang Research of CT / MRI Tumor Image Registration Based on Least Square Support Vector Machines. Search on Bibsonomy ICIC (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MRI Image, Transformation Model Estimation, Image Registration, CT Image, Least Square Support Vector Machines (LS-SVM)
30Yansheng 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 AINA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF odd function congestion control, RTT unfairness, TCP friendliness, SQUARE
30Stefan Lachowicz, Hans-Jörg Pfleiderer Fast Evaluation of the Square Root and Other Nonlinear Functions in FPGA. Search on Bibsonomy DELTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FPGA, square root, nonlinear function
30Roberto Maria Avanzi Another Look at Square Roots (and Other Less Common Operations) in Fields of Even Characteristic. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Square root extraction, Trace computation, Point halving, Polynomial basis, Binary fields, Quadratic equations
30Frédéric Payan, Marc Antonini Mean Square Error Approximation for Wavelet-Based Semiregular Mesh Compression. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Weighted mean square error (MSE), butterfly scheme, geometry coding, semiregular meshes, lifting scheme, bit allocation, biorthogonal wavelet
30Zhan Guo, Peter Nilsson 0001 A VLSI Architecture of the Square Root Algorithm for V-BLAST Detection. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF square root algorithm, VLSI, wireless LAN, ASIC, MIMO, fixed-point, 3G, HSDPA, CORDIC, BLAST
30Anuja Jayraj Thakkar, Abdel Ejnioui Pipelining of double precision floating point division and square root operations. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FPGA, pipelining, floating point, division, square root
30Kin Keung Lai, Lean Yu, Ligang Zhou, Shouyang Wang Credit Risk Evaluation with Least Square Support Vector Machine. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Credit risk evaluation, least square support vector machine
30Madhusudana V. S. Shashanka, Amrita Pati, Anil M. Shende A Characterisation of Optimal Channel Assignments for Cellular and Square Grid Wireless Networks. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cellular and square grids, channel assignment, wireless computing
30Siguna Müller On the Computation of Square Roots in Finite Fields. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF complexity, finite fields, square roots, efficient computation
30Seog-Jin Kim, Kittikorn Nakprasit On the Chromatic Number of the Square of the Kneser Graph K(2 k+1, k). Search on Bibsonomy Graphs Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Kneser graph, Intersecting family, Graph coloring, Square
30Yu Lan, Guoqing Chen, Davy Janssens, Geert Wets Dilated Chi-Square: A Novel Interestingness Measure to Build Accurate and Compact Decision List. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dilated chi-square, CBA, associative classification
30Lu Lin, Zhong-Yun Liu On the Square Root of an H-matrix with Positive Diagonal Elements. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF H-matrix, positive diagonal elements, square root
30Kazunori Miyata, Takayuki Itoh, Kenji Shimada A method for generating pavement textures using the square packing technique. Search on Bibsonomy Vis. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Pavement, Square packing, Stone, Texture, Subdivision surface
30Gensoh 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 ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF floating point, division, square root, self-timed
30Alain Guyot, Marc Renaudin, Bachar El-Hassan, Volker Levering Self timed division and square-root extraction. Search on Bibsonomy VLSI Design The full citation details ... 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
30Peter Soderquist, Miriam Leeser An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Newton-Raphson method, Goldschmidt's algorithm, microprocessor, Floating-point, division, square root, SRT
30Billy Bob Brumley, Kimmo U. Järvinen Fast Point Decompression for Standard Elliptic Curves. Search on Bibsonomy EuroPKI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF square roots modulo p, elliptic curve cryptography, exponentiation, addition chains
30Benedek Nagy A Comparison Among Distances Based on Neighborhood Sequences in Regular Grids. Search on Bibsonomy SCIA The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license