|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2858 occurrences of 1618 keywords
|
|
|
Results
Found 12777 publication records. Showing 12777 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Prateek Sarkar, George Nagy, Jiangying Zhou, Daniel P. Lopresti |
Spatial Sampling of Printed Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(3), pp. 344-351, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
random phase sampling, document defect models, scanner models, modulo-grid diagram, locales, optical character recognition, digitization, Spatial sampling |
16 | András Bezdek, Károly Bezdek, Robert Connelly |
Finite and Uniform Stability of Sphere Packings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 20(1), pp. 111-130, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Andy C. Hung, Ely K. Tsern, Teresa H. Meng |
Error-resilient pyramid vector quantization for image compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 7(10), pp. 1373-1386, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Gregor Snelting, Frank Tip |
Reengineering Class Hierarchies Using Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998, pp. 99-110, 1998, ACM, 978-1-58113-108-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Phong Q. Nguyen, Jacques Stern |
Cryptanalysis of the Ajtai-Dwork Cryptosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '98, 18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings, pp. 223-242, 1998, Springer, 3-540-64892-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Mihir Bellare, Daniele Micciancio |
A New Paradigm for Collision-Free Hashing: Incrementality at Reduced Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '97, International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11-15, 1997, Proceeding, pp. 163-192, 1997, Springer, 3-540-62975-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Phong Q. Nguyen, Jacques Stern |
Merkle-Hellman Revisited: A Cryptanalysis of the Qu-Vanstone Cryptosystem Based on Group Factorizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '97, 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997, Proceedings, pp. 198-212, 1997, Springer, 3-540-63384-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Venky Harinarayan, Anand Rajaraman, Jeffrey D. Ullman |
Implementing Data Cubes Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, Montreal, Quebec, Canada, June 4-6, 1996., pp. 205-216, 1996, ACM Press, 978-0-89791-794-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Dae-Gwon Jeong, Jerry D. Gibson |
Image coding with uniform and piecewise-uniform vector quantizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 4(2), pp. 140-146, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Gonzalo R. Arce, Timothy A. Hall, Kenneth E. Barner |
Permutation weighted order statistic filter lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 4(8), pp. 1070-1083, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Iwen E. Kang, Thomas F. Keefe |
Concurrency control for federated multilevel secure database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 118-135, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
MLS database systems, federated MLS database, local database systems, global serializability, security, interoperation, distributed databases, concurrency control, concurrency control, transaction processing, transaction processing, open systems, security of data, federated, multilevel secure database systems |
16 | Ricardo A. F. Belfor, Marc P. A. Hesp, Reginald L. Lagendijk, Jan Biemond |
Spatially adaptive subsampling of image sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 3(5), pp. 492-500, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Wayne M. Lawton |
Multidimensional chirp algorithms for computing Fourier transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 1(3), pp. 429-431, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Takanori Senoo, Bernd Girod |
Vector quantization for entropy coding of image subbands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 1(4), pp. 526-533, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Lincoln, John C. Mitchell |
Algorithmic Aspects of Type Inference with Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992, pp. 293-304, 1992, ACM Press, 0-89791-453-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Claus-Peter Schnorr |
Factoring Integers and Computing Discrete Logarithms via Diophantine Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings, pp. 281-293, 1991, Springer, 3-540-54620-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | T. Y. Lin |
Neighborhood systems and relational databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 725, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas Spyratos |
The Partition Model: A Deductive Database Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 12(1), pp. 1-37, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Cousot, Radhia Cousot |
Systematic Design of Program Analysis Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 269-282, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | John B. Kam, Jeffrey D. Ullman |
Global Data Flow Analysis and Iterative Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 23(1), pp. 158-171, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Michal Botur, Ivan Chajda, Radomír Halas |
Are basic algebras residuated structures? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(3), pp. 251-255, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice |
16 | Gábor Czédli, Miklós Maróti, E. Tamás Schmidt |
On the Scope of Averaging for Frankl's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(1), pp. 31-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Union-closed sets, Frankl’s conjecture, Lattice |
16 | Jie Tan, Xubo Yang |
Physically-based fluid animation: A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(5), pp. 723-740, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
particle level set, physically-based animation, Navier-Stokes equations, finite difference method, Lattice-Boltzmann method, smoothed particle hydrodynamics |
16 | Ping Luo, Haijian Zhou, Daoshun Wang, Yiqi Dai |
Cryptanalysis of RSA for a special case with d > e. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(4), pp. 609-616, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cryptanalysis, RSA, LLL algorithm, lattice basis reduction |
16 | Haijian Zhou, Ping Luo, Daoshun Wang, Yiqi Dai |
Probability method for cryptanalysis of general multivariate modular linear equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(10), pp. 1792-1800, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multivariate modular linear equation, cryptanalysis, public key cryptosystems, lattice basis reduction |
16 | Agostinho Almeida |
Canonical Extensions and Relational Representations of Lattices with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 171-199, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
canonical extension, Lattice, duality, negation |
16 | Zhe Fan, Yu-Chuan Kuo, Ye Zhao 0004, Feng Qiu, Arie E. Kaufman, William Arcieri |
Visual simulation of thermal fluid dynamics in a pressurized water reactor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(11), pp. 985-996, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Pressurized thermal shock, Thermal fluid dynamics, Lattice Boltzmann method, Power plant |
16 | Kenny Erleben |
Maximal independent set graph partitions for representations of body-centered cubic lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(5-7), pp. 423-430, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Coarsening, Body-centered cubic lattice, Graph, Refinement |
16 | Dhia Mahjoub, David W. Matula |
Experimental Study of Independent and Dominating Sets in Wireless Sensor Networks Using Graph Coloring Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings, pp. 32-42, 2009, Springer, 978-3-642-03416-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
domatic partition problem, triangular lattice, Wireless Sensor Networks, graph coloring, dominating sets, independent sets, random geometric graphs |
16 | Sang-Gui Lee, Sang Bub Lee |
Scaling Relations in Absorbing Phase Transitions with a Conserved Field in One Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 841-852, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
absorbing phase transition, conserved lattice gas, conserved threshold transfer process, critical exponents, scaling relations |
16 | Dinh Anh Nguyen, Koichiro Doi, Akihiro Yamamoto |
Discovering the Structures of Open Source Programs from Their Developer Mailing Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009, pp. 227-241, 2009, Springer, 978-3-642-04746-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
open source programs, extraction of structures, concept lattice, mailing lists |
16 | Álvar Ibeas, Arne Winterhof |
Noisy Interpolation of Multivariate Sparse Polynomials in Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 18th International Symposium, AAECC-18 2009, Tarragona, Catalonia, Spain, June 8-12, 2009. Proceedings, pp. 169-178, 2009, Springer, 978-3-642-02180-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Noisy interpolation, Lattice reduction, Exponential sums, Sparse polynomials, Hidden number problem |
16 | Huafeng Chen, Jianyong Wang |
An Improved Population Migration Algorithm for the Prediction of Protein Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III, pp. 657-662, 2009, Springer, 978-3-642-01512-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Protein-folding lattice model, Improved population migration algorithm, Stability |
16 | Didier Coquin, Philippe Bolon |
Lower and Upper Bounds for Scaling Factors Used for Integer Approximation of 3D Anisotropic Chamfer Distance Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings, pp. 457-468, 2009, Springer, 978-3-642-04396-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Anisotropic lattice, Distance transformation, Chamfer distance |
16 | Srecko Brlek, Michel Koskas, Xavier Provençal |
A Linear Time and Space Algorithm for Detecting Path Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings, pp. 397-408, 2009, Springer, 978-3-642-04396-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Freeman code, lattice paths, radix tree, discrete figures, data structure, self-intersection |
16 | Hongdi Ke, Dejiang Zhang, Wen You |
Mental Imagery Knowledge Representation Mode of Human-Level Intelligence System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 232-238, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Human-level intelligence, Knowledge representation mode, Mental imagery, Discernible attribute matrix, Concept lattice |
16 | Zhengjiang Wu, Lingxiao Yang, Tianrui Li 0001, Keyun Qin |
The Basis Algebra in L-Fuzzy Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 320-325, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
basis algebra, Rough sets, residuated lattice |
16 | Gang Xu 0001, Guozhao Wang, Xiao-Diao Chen |
Free-Form Deformation with Rational DMS-Spline Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 23(5), pp. 862-873, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
rational DMS-spline volume, control lattice of arbitrary topology, multiresolution deformation, direct manipulation, free-form deformation |
16 | Elia Zardini |
A Model of Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(3), pp. 337-368, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sorites paradox, transitivity of consequence, many-valued logics, vagueness, lattice theory |
16 | Benjamin Braun |
Norm Bounds for Ehrhart Polynomial Roots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 191-193, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lattice polytopes, Ehrhart theory, Polynomial roots |
16 | Xiaolong Zhang 0002, Wen Cheng |
An Improved Tabu Search Algorithm for 3D Protein Folding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 1104-1109, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
protein folding prediction, off-lattice model, Tabu search |
16 | Li Zou, Wenjiang Li, Yang Xu 0001 |
Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 266-274, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making |
16 | Constantin Paleologu, Felix Albu, Andrei Alexandru Enescu, Silviu Ciochina |
Square-Root-Free QRD-LSL Adaptive Algorithm with Improved Numerical Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico, pp. 572-577, 2008, IEEE Computer Society, 978-0-7695-3106-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
QR-decomposition-based least-squares lattice (QRD-LSL), Adaptive filters, logarithmic number system (LNS), fixed-point arithmetic |
16 | Igor Berenboym, Mireille Avigal |
Genetic algorithms with local search optimization for protein structure prediction problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1097-1098, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
global energy, lattice HP model, pull move, genetic algorithms, local search, protein folding |
16 | Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi |
Semirigid Equivalence Relations on a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 118-123, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semirigid, lattice, clone, universal algebra, equivalence relation |
16 | Alfonso Caiazzo, Jean-Luc Falcone, Bastien Chopard, Alfons G. Hoekstra |
Scale-Splitting Error in Complex Automata Models for Reaction-Diffusion Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II, pp. 291-300, 2008, Springer, 978-3-540-69386-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Complex Automata, multiscale algorithms, lattice Boltzmann method, reaction-diffusion |
16 | Srecko Brlek, Gilbert Labelle, Annie Lacasse |
On Minimal Moment of Inertia Polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings, pp. 299-309, 2008, Springer, 978-3-540-79125-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Discrete sets, moment of inertia, lattice paths, polyominoes |
16 | Isabel Aguiló, Javier Martín, Gaspar Mayor, Jaume Suñer |
Triangular Conorms on the Space of Non-decreasing Lists of Non-negative Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMPS ![In: Soft Methods for Handling Variability and Imprecision, Selected papers from the 4th International Conference on Soft Methods in Probability and Statistics, SMPS 2008, Toulouse, France, September 8-10, 2008, pp. 341-348, 2008, Springer, 978-3-540-85026-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Generalized distance, Probabilistic metric space, Discrete t-norm, Lattice, t-Norm, Triangle inequality, t-Conorm |
16 | Susumu Yamada, Masahiko Okumura, Masahiko Machida |
High Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization of the Hamiltonian Matrix-Vector Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: High Performance Computing for Computational Science - VECPAR 2008, 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers, pp. 39-45, 2008, Springer, 978-3-540-92858-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DMRG method, quantum lattice systems, Parallel and distributed computing, eigenvalue problem, matrix-vector multiplication |
16 | Hung-Min Sun, Mu-En Wu, Ron Steinfeld, Jian Guo 0001, Huaxiong Wang |
Cryptanalysis of Short Exponent RSA with Primes Sharing Least Significant Bits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings, pp. 49-63, 2008, Springer, 978-3-540-89640-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
LSBS-RSA, short exponent attack, lattice reduction technique, the Boneh-Durfee attack, RSA, least significant bits (LSBs) |
16 | Yi Zhao, Wolfgang A. Halang, Xia Wang |
A Rough Similarity Measure for Ontology Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 136-141, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semantic web, rough set, similarity measure, ontology mapping, concept lattice |
16 | Alfonso Caiazzo, Jean-Luc Falcone, Bastien Chopard, Alfons G. Hoekstra |
Error Investigations in Complex Automata Models for Reaction-Diffusion Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings, pp. 260-267, 2008, Springer, 978-3-540-79991-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Complex Automata modeling, lattice Boltzmann method, asymptotic expansion, reaction-diffusion |
16 | Luigi Santocanale |
On the Join Dependency Relation in Multinomial Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 24(3), pp. 155-179, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies |
16 | H. Mohebi 0001, Eskandar Naraghirad |
Closed convex sets and their best simultaneous approximation properties with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 1(4), pp. 313-328, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Simultaneous best approximation, Simultaneous pseudo-Chebyshev set, Simultaneous quasi-Chebyshev set, Conditionally complete lattice Banach space, Extremal point |
16 | Hong Zhang, Yeping He, Zhiguo Shi |
A formal model for access control with supporting spatial context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(3), pp. 419-439, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constraints, RBAC, information security, lattice, MLS, formal model, spatial context |
16 | Ye Zhao 0004, Yiping Han, Zhe Fan, Feng Qiu, Yu-Chuan Kuo, Arie E. Kaufman, Klaus Mueller 0001 |
Visual Simulation of Heat Shimmering and Mirage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 13(1), pp. 179-189, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
thermal flow dynamics, heat shimmering, mirage, nonlinear ray tracing, lattice Boltzmann model, Heat transfer, GPU acceleration |
16 | Daniel Leitner, Siegfried Wassertheurer, Michael Hessinger, Andreas Holzinger, Felix Breitenecker |
Modeling Elastic Vessels with the LBGK Method in Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USAB ![In: HCI and Usability for Medicine and Health Care, Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November, 22, 2007, Proceedings, pp. 213-226, 2007, Springer, 978-3-540-76804-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Haemodynamics, Simulation, Computer Fluid Dynamics, Elasticity, Lattice Boltzmann Model |
16 | Haijian Zhou, Ping Luo, Daoshun Wang, Yiqi Dai |
Cryptanalysis of General Lu-Lee Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology, Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers, pp. 412-426, 2007, Springer, 978-3-540-79498-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lu-Lee type systems, cryptanalysis, lattice reduction |
16 | Irina Perfilieva |
Fixed Points and Solvability of Systems of Fuzzy Relation Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 841-849, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
solvability of a system of equations, semilinear space, fixed point, Residuated lattice |
16 | Vilém Novák |
EQ-Algebras in Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 876-884, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy type theory, higher-order fuzzy logic, fuzzy logic, Residuated lattice, fuzzy equality |
16 | Branimir Seselja, Andreja Tepavcevic |
Fuzzy Ordering Relation and Fuzzy Poset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings, pp. 209-216, 2007, Springer, 978-3-540-77045-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lattice valued fuzzy ordering relation, fuzzy weak ordering relation, fuzzy poset, cutworthy approach |
16 | Minyar Sassi, Amel Grissa Touzi, Habib Ounelli |
Clustering Quality Evaluation Based on Fuzzy FCA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 639-649, 2007, Springer, 978-3-540-74467-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Clustering Quality, Overlapping Rate, Separation Degree, Formal Concept Analyis, Fuzzy Concept Lattice, Validity Index |
16 | Jeremy Carter |
Lighting marble. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007, pp. 8-12, 2007, ACM, 978-1-59593-629-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lattice-Boltzmann, rendering, subsurface scattering, BSSRDF |
16 | Hongbin Zhu, Kai Bao, Enhua Wu, Xuehui Liu |
Stable and efficient miscible liquid-liquid interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2007, Newport Beach, California, USA, November 5-7, 2007, pp. 55-64, 2007, ACM, 978-1-59593-863-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
miscible mixture, subgrid model, stability, control, memory optimization, lattice Boltzmann method, multicore system, free surface |
16 | Nicolas Brisebarre, Sylvain Chevillard |
Efficient polynomial L-approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 25-27 June 2007, Montpellier, France, pp. 169-176, 2007, IEEE Computer Society, 0-7695-2854-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Efficient polynomial approximation, absolute error, L norm, floating-point arithmetic, LLL algorithm, lattice basis reduction, closest vector problem |
16 | Pedro Comesaña, Fernando Pérez-González |
On the capacity of stegosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 9th workshop on Multimedia & Security, MM&Sec 2007, Dallas, Texas, USA, September 20-21, 2007, pp. 15-24, 2007, ACM, 978-1-59593-857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
costa's construction, steganography, lattice, capacity |
16 | Lukasz Korus |
Alternative Methods of Wave Motion Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I, pp. 335-345, 2007, Springer, 978-3-540-74817-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lattice gas automata, cellular automata, finite difference method, Wave equation |
16 | Barbara Pekala |
Operations on Interval Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSEISP ![In: Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, pp. 613-621, 2007, Springer, 978-3-540-73450-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
interval matrices, lattice, interval |
16 | Ye Zhao 0004, Feng Qiu, Zhe Fan, Arie E. Kaufman |
Flow simulation with locally-refined LBM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2007 Symposium on Interactive 3D Graphics, SI3D 2007, April 30 - May 2, 2007, Seattle, Washington, USA, pp. 181-188, 2007, ACM, 978-1-59593-628-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
embedded grids, interactive fluid simulation, GPU, local refinement, flow simulation, lattice Boltzmann model |
16 | Jean-Sébastien Coron |
Finding Small Roots of Bivariate Integer Polynomial Equations: A Direct Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2007, 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings, pp. 379-394, 2007, Springer, 978-3-540-74142-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Coppersmith’s theorem, cryptanalysis, lattice reduction |
16 | Erich L. Kaltofen, Zhengfeng Yang |
On exact and approximate interpolation of sparse rational functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 203-210, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
hybrid symbolic-numeric computation, rational vector recovery, sparse rational function interpolation, lattice basis reduction, early termination |
16 | David J. Foulis |
The Universal Group of a Heyting Effect Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(3), pp. 407-424, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lattice ordered, pseudocomplementation, partially ordered abelian group, ?-group, universal group, central comparability, central Rickart property, MV-algebra, effect algebra, Heyting algebra |
16 | Hongru Li, Ping Wei, Xiaoxue Song |
Construction of Concept Lattices Based on Indiscernibility Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, pp. 229-240, 2006, Springer, 3-540-37033-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Indiscernibility matrix, Concept lattice, Congruence, Formal context, Semilattice |
16 | Radim Belohlávek, Vilém Vychodil |
Attribute Implications in a Fuzzy Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 45-60, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
attribute implication, fuzzy logic, functional dependency, concept lattice |
16 | Yin Tang |
Partially Ordered Template-Based Matching Algorithm for Financial Time Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings, pp. 1059-1070, 2006, Springer, 3-540-35453-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pattern recognition, time series, lattice, case-based reasoning, partially order |
16 | Bruno Bouchard 0001, Abdenour Bouzouane, Sylvain Giroux |
A smart home agent for plan recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 320-322, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
description logic, smart home, plan recognition, lattice theory |
16 | Sándor Radeleczki, Jenö Szigeti |
Linear Orders on General Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(1), pp. 41-62, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compatible quasi and partial orders on algebraic structures, finite extension property, zero-distributive and zero-modular lattice, linear extension |
16 | Marcel Wild |
On Rank Functions of Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(4), pp. 357-370, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
greedoid, join irreducible, locally submodular, unit increase, upper semimodular lattice, ?-subsemilattice, matroid, closure operator |
16 | Jin-yi Cai, Hong Zhu 0004 |
Progress in Computational Complexity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(6), pp. 735-750, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
computational complexity theory, PCP theorem, logspace complexity, Reingold's theorem, GAP problem, complexity of lattice problems, worst-case to average-case reductions, extractors, pseudorandomness, inapproximability, primality testing, theoretical computer science, holographic algorithms |
16 | Richard N. Ball, Ales Pultr, Jirí Sichler |
Configurations in Coproducts of Priestley Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(2), pp. 121-130, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Priestley space, ultrafilter, coproduct, distributive lattice |
16 | Igor E. Shparlinski, Arne Winterhof |
Noisy interpolation of sparse polynomials in finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 16(5), pp. 307-317, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Noisy interpolation, Finite fields, Lattice reduction, Exponential sums, Sparse polynomials, Hidden number problem |
16 | Joseph Teran, Neil Molino, Ronald Fedkiw, Robert Bridson |
Adaptive physics based tetrahedral mesh generation using level sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 21(1), pp. 2-18, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Tetrahedral mesh generation, BCC lattice, Red green refinement hierarchy, Muscle simulation, Level set methods, Large deformations |
16 | Nelson Siu-Hang Chu, Chiew-Lan Tai |
MoXi: real-time ink dispersion in absorbent paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 24(3), pp. 504-511, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
eastern ink painting, lattice boltzmann equation, physically-based modeling, fluid simulation |
16 | Gerold Jäger |
Reduction of Smith Normal Form Transformation Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 74(4), pp. 377-388, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
transformation matrices, lattice basis reduction, Smith normal form |
16 | Hung-Min Sun, Cheng-Ta Yang |
RSA with Balanced Short Exponents and Its Application to Entity Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2005, 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005, Proceedings, pp. 199-215, 2005, Springer, 3-540-24454-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Short Exponent Attack, RSA, Lattice Reduction, Entity Authentication |
16 | Wei Qiao, David S. Ebert, Alireza Entezari, Marek Korkusinski, Gerhard Klimeck |
VolQD: Direct Volume Rendering of Multi-million Atom Quantum Dot Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 16th IEEE Visualization Conference, IEEE Vis 2005, Minneapolis, MN, USA, October 23-28, 2005, Proceedings, pp. 319-326, 2005, IEEE Computer Society, 0-7803-9462-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
face-centered cubic lattice, reconstruction filter, atomistic simulation, volume rendering, volume visualization, programmable graphics hardware, quantum dots |
16 | Katsuyuki Takashima |
Practical Modifications of Leadbitter et al.'s Repeated-Bits Side-Channel Analysis on (EC)DSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers, pp. 259-270, 2005, Springer, 3-540-31012-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
(EC)DSA, Side-channel analysis (attack), Lattice basis reduction algorithm, Window method |
16 | Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Inmaculada Perez de Guzmán |
A New Algebraic Tool for Automatic Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(4), pp. 369-398, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory |
16 | M. E. Adams, Kira V. Adaricheva, Wieslaw Dziobiak, A. V. Kravchenko |
Open questions related to the problem of Birkhoff and Maltsev. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 357-378, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Q-lattice, join-semidistributive, Q-universality, independent basis, graph, Quasivariety |
16 | Yanxi Liu 0001, Robert T. Collins, Yanghai Tsin |
A Computational Model for Periodic Pattern Perception Based on Frieze and Wallpaper Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(3), pp. 354-371, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
frieze group, wallpaper group, lattice, tiles, gait analysis, motifs, Periodic pattern, symmetry group |
16 | Debjit Sinha, Hai Zhou 0001, Chris C. N. Chu |
Optimal gate sizing for coupling-noise reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2004 International Symposium on Physical Design, ISPD 2004, Phoenix, Arizona, USA, April 18-21, 2004, pp. 176-181, 2004, ACM, 1-58113-817-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
coupling-noise, gate-sizing, lattice theory, fixpoint |
16 | Feng Qiu, Ye Zhao 0004, Zhe Fan, Xiaoming Wei, Haik Lorenz, Jianning Wang, Suzanne Yoakum-Stover, Arie E. Kaufman, Klaus Mueller 0001 |
Dispersion Simulation and Visualization For Urban Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 15th IEEE Visualization Conference, IEEE Vis 2004, Austin, TX, USA, October 10-15, 2004, Proceedings, pp. 553-560, 2004, IEEE Computer Society, 0-7803-8788-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Visualization, GPU, Lattice Boltzmann Model |
16 | Stefan Porschen |
On the Time Complexity of Rectangular Covering Problems in the Discrete Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III, pp. 137-146, 2004, Springer, 3-540-22057-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
rectangular set cover, integer lattice, NP-completeness, discrete plane |
16 | Zhe Fan, Feng Qiu, Arie E. Kaufman, Suzanne Yoakum-Stover |
GPU Cluster for High Performance Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 6-12 November 2004, Pittsburgh, PA, USA, CD-Rom, pp. 47, 2004, IEEE Computer Society, 0-7695-2153-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
GPU cluster, urban airborne dispersion, computational fluid dynamics, data intensive computing, lattice Boltzmann model |
16 | Marcel Erné, Branimir Seselja, Andreja Tepavcevic |
Posets Generated by Irreducible Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(1), pp. 79-89, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
(completely) irreducible, join-dense, completion, poset, complete lattice |
16 | Pierre-Alain Fouque, Guillaume Poupard |
On the Security of RDSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings, pp. 462-476, 2003, Springer, 3-540-14039-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
DSA variant, known-message attack, cryptanalysis, GPS, Signature scheme, lattice reduction |
16 | Katharina Geißler, Nigel P. Smart |
Computing the M = U Ut Integer Matrix Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings, pp. 223-233, 2003, Springer, 3-540-20663-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
NTRU, Lattice based cryptography |
16 | Guy Dumais, Hon Fung Li |
Distributed Predicate Detection in Series-Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(4), pp. 373-387, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
state lattice, concurrent interval, series-parallel structure, separable predicate, distributed computation, predicate detection, communication graph |
16 | Michael A. Frumkin, Rob F. Van der Wijngaart |
Tight bounds on cache use for stencil operations on rectangular grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 49(3), pp. 434-453, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fundamental parallelepiped, lower and upper bounds, reduced basis, structured grids, scientific computing, lattice, Cache memory, cache misses |
16 | Dario Catalano, Phong Q. Nguyen, Jacques Stern |
The Hardness of Hensel Lifting: The Case of RSA and Discrete Logarithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2002, 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings, pp. 299-310, 2002, Springer, 3-540-00171-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Paillier, Hensel, One-wayness, RSA, Lattice, Discrete logarithm, Public-key |
|
|