|
|
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 |
24 | Karl-Heinz Zimmermann |
A Unifying Lattice-Based Approach for the Partitioning of Systolic Arrays via LPGS and LSGP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 17(1), pp. 21-41, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Frommer, Thomas Lippert, Klaus Schilling 0002 |
Scalable Parallel SSOR Preconditioning for Lattice Computations in Gauce Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 742-749, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Zulkalnain Mohdyusof, Thomas R. Fischer |
An entropy-coded lattice vector quantizer for transform and subband image coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 5(2), pp. 289-298, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Claus-Peter Schnorr, Horst Helmut Hörner |
Attacking the Chor-Rivest Cryptosystem by Improved Lattice Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '95, International Conference on the Theory and Application of Cryptographic Techniques, Saint-Malo, France, May 21-25, 1995, Proceeding, pp. 1-12, 1995, Springer, 3-540-59409-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Paul Ammann, Sushil Jajodia |
Distributed Timestamp Generation in Planar Lattice Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 11(3), pp. 205-225, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
hierarchical databases, planar lattices, secure databases, timestamps |
24 | H. Levinson, Ruth Silverman |
Algorithms for paths in the lattice of topologies on finite sets (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 440, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Ka-Chun Wong, Kwong-Sak Leung, Man Hon Wong 0001 |
Protein structure prediction on a lattice model via multimodal optimization techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 155-162, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
absolute encoding, hp lattice model, relative encoding, evolutionary algorithm, protein structure prediction, distance metric, crowding, multimodal optimization, fitness sharing |
24 | E. Riegel, T. Indinger, Nikolaus A. Adams |
Implementation of a Lattice-Boltzmann method for numerical fluid mechanics using the nVIDIA CUDA technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Res. Dev. ![In: Comput. Sci. Res. Dev. 23(3-4), pp. 241-247, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Lattice-Boltzmann, LBUltra, GPU, CUDA, Fluid dynamics |
24 | Daofeng Xu, Yongming Huang, Luxi Yang |
Improved nonlinear multiuser precoding using lattice reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Image Video Process. ![In: Signal Image Video Process. 3(1), pp. 47-52, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multiuser precoding, MIMO, Lattice reduction |
24 | Jakub Pawlewicz, Mihai Patrascu |
Order Statistics in the Farey Sequences in Sublinear Time and Counting Primitive Lattice Points in Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 55(2), pp. 271-282, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Möbius inversion, Mertens function, Primitive lattice points, Farey sequence |
24 | Yann Gaudeau, Jean-Marie Moureaux |
Lossy compression of volumetric medical images with 3D dead-zone lattice vector quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 64(5-6), pp. 359-367, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Volumetric medical images, 3D dead-zone lattice vector quantization, Lossy compression, 3D wavelet transform |
24 | Olga L. Bandman |
A Lattice-Gas Model of Fluid Flow through Tortuous Channels of Hydrophilous and Hydrophobic Porous Materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings, pp. 168-181, 2009, Springer, 978-3-642-03274-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Lattice-Gas models, porous medium, cellular automata, parallel implementation, pattern formation |
24 | Dieter Bardyn, Ann Dooms, Tim Dams, Peter Schelkens |
Comparative Study of Wavelet Based Lattice QIM Techniques and Robustness against AWGN and JPEG Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDW ![In: Digital Watermarking, 8th International Workshop, IWDW 2009, Guildford, UK, August 24-26, 2009. Proceedings, pp. 39-53, 2009, Springer, 978-3-642-03687-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quantization Index Modulation, Digital Watermarking, Lattice |
24 | Yonnim Lee, Debashis Sarangi, Ohbyung Kwon, Minyong Kim |
Lattice Based Privacy Negotiation Rule Generation for Context-Aware Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009. Proceedings, pp. 340-352, 2009, Springer, 978-3-642-02829-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Privacy negotiation, Privacy ontology, Lattice, P3P, Agent technology |
24 | Yukio-Pegio Gunji, Taichi Haruna, Eugene Schneider Kitamura |
Lattice Derived by Double Indiscernibility and Computational Complementarity. ![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. 46-51, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
computational complementarity, automata, lattice theory, Indiscernibility |
24 | Abdul Majid, Muhammad Farooq Ahmad, Tae-Sun Choi |
Lattice Constant Prediction of A2BB'O6 Type Double Perovskites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II, pp. 82-92, 2009, Springer, 978-3-642-02456-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Lattice Constant, Double Cubic Perovskites, Artificial Neural Network, Support Vector Regression, Multiple Linear Regression |
24 | Stefan Cernák |
Convergence with a fixed regulator in lattice ordered groups and applications to MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(5), pp. 453-462, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Regulator of a convergence, Dedekind completion, Cauchy completion, MV-algebra, Lattice ordered group |
24 | Ye Zhao 0003 |
Lattice Boltzmann based PDE solver on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 24(5), pp. 323-333, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Laplace and Poisson equation, Volume smoothing, Diffusion, Image editing, Lattice Boltzmann model, Surface fairing |
24 | Liu Peng, Ken-ichi Nomura, Takehiro Oyakawa, Rajiv K. Kalia, Aiichiro Nakano, Priya Vashishta |
Parallel Lattice Boltzmann Flow Simulation on Emerging Multi-core Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 763-777, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hybrid thread + message passing programming, Spatial decomposition, Critical section-free, dual representation, PlayStation3 cluster, Cell Broadband Engine architecture, Parallel computing, CUDA, Lattice Boltzmann Method, Flow simulation |
24 | Shinsuke Tajiri, Michihisa Tsutahara, Hisao Tanaka |
Simulation of Sound Emitted from Collision of Droplet with Shallow Water by the Lattice Boltzmann Method. ![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. 271-280, 2008, Springer, 978-3-540-69386-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Finite difference lattice Boltzmann method, Aero-acoustics, Twophase flow, Two-fluid interface |
24 | Tee Kiah Chia, Khe Chai Sim, Haizhou Li 0001, Hwee Tou Ng |
A lattice-based approach to query-by-example spoken document retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 363-370, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lattice-based spoken document retrieval, probabilistic retrieval approach, retrieval of conversational telephone speech, language modeling, query by example |
24 | Nicolas Gama, Phong Q. Nguyen |
Finding short lattice vectors within mordell's inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 207-216, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
schnorr's algorithm, slide reduction, transference reduction, lattice reduction, lll |
24 | Francesca Tosi, Stefano Ubertini, Sauro Succi, Iliya V. Karlin |
Optimization Strategies for the Entropic Lattice Boltzmann Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 30(3), pp. 369-387, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
H-theorem, lid-driven cavity flow, entropy, Lattice Boltzmann method |
24 | Vassilis G. Kaburlasos |
Unified Analysis and Design of ART/SOM Neural Networks and Fuzzy Inference Systems Based on Lattice Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Computational and Ambient Intelligence, 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings, pp. 80-93, 2007, Springer, 978-3-540-73006-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Neural Networks, Self-Organizing Map (SOM), Fuzzy Inference System (FIS), Adaptive Resonance Theory (ART), Lattice Theory |
24 | Jia-Xing Cheng, Ling Zhang 0001, Bo Zhang 0010 |
A Theoretical Framework of Natural Computing - M Good Lattice Points (GLP) Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 452-462, 2007, Springer, 978-3-540-72483-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
good lattice point method, genetic algorithm, semi-supervising learning, discrepancy, immunity algorithm, ant colony algorithm, particle swarm optimizer algorithm |
24 | Gilles Villard |
Certification of the QR factor R and of lattice basis reducedness. ![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. 361-368, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lattice basis reducedness, verification algorithm, linear algebra, QR factorization |
24 | Patricia Hersh, John Shareshian |
Chains of Modular Elements and Lattice Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(4), pp. 339-342, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modular element, topological connectivity, lattice |
24 | Jean-Luc Baril, Jean Marcel Pallo |
The Phagocyte Lattice of Dyck Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(2-3), pp. 97-107, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Dyck words, noncrossing partitions, lattice |
24 | Guillermo Barrenetxea, Baltasar Beferull-Lozano, Martin Vetterli |
Lattice networks: capacity limits, optimal routing, and queueing behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(3), pp. 492-505, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
border data gathering, lattice networks, uniform communication, routing, queueing theory, torus, data gathering, network capacity, square grid |
24 | James B. Nation |
Closure Operators and Lattice Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(1), pp. 43-48, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
atomistic, congruence-preserving, lattice, extension, closure operator |
24 | Xiaoming Wei, Ye Zhao 0004, Zhe Fan, Wei Li 0004, Feng Qiu, Suzanne Yoakum-Stover, Arie E. Kaufman |
Lattice-Based Flow Field Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 10(6), pp. 719-729, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
force evaluation, flow field interaction, two-way solid-fluid coupling, bubble simulation, feather simulation, computation on GPU, hardware acceleration, Lattice Boltzmann model |
24 | Jan Jakubik |
On the Schröder-Bernstein problem for abelian lattice ordered groups and for MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(8), pp. 581-586, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Direct factor, Convex -subgroup, Lattice ordered group |
24 | Karen I. Aardal |
Comments on the Paper: Attacking the Market Split Problem with Lattice Point Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 8(2), pp. 147-149, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
linear diophantine equations, lattice reformulation, integer programming |
24 | Taweechai Ouypornkochagorn, Kitsana Waiyamai |
Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings, pp. 195-211, 2004, Springer, 3-540-24087-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Formal Concept Mining, DESEA, Statistic-based, Pertinent Concept, Data Mining, Concept Lattice |
24 | Wei Li 0004, Xiaoming Wei, Arie E. Kaufman |
Implementing lattice Boltzmann computation on graphics hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 19(7-8), pp. 444-456, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Graphics hardware, Lattice Boltzmann method, Flow simulation |
24 | James Mayfield, Paul McNamee, Christine D. Piatko, Claudia Pearce |
Lattice-based tagging using support vector machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, New Orleans, Louisiana, USA, November 2-8, 2003, pp. 303-308, 2003, ACM, 1-58113-723-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SVM-Lattice, support vector machines, tagging, named entity recognition, part of speech tagging |
24 | Nathan Reading |
Order Dimension, Strong Bruhat Order and Lattice Properties for Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(1), pp. 73-100, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective |
24 | Gérard D. Cohen, Iiro S. Honkala, Antoine Lobstein, Gilles Zémor |
On Codes Identifying Vertices in the Two-Dimensional Square Lattice with Diagonals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(2), pp. 174-176, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
square lattice, identifying code, Graph, code |
24 | Massimo Bernaschi, Sauro Succi, Hudong Chen |
Accelerated Lattice Boltzmann Schemes for Steady-State Flow Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 16(2), pp. 135-144, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
discrete kinetic theory, numerical matrix algebra, steady-state flows, lattice Boltzmann method |
24 | Zhaoli Guo, Chuguang Zheng, T. S. Zhao |
A Lattice BGK Scheme with General Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 16(4), pp. 569-585, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
lattice BGK method, numerical stability |
24 | P. Morales, F. García Mazarío, Pedro Jiménez Guerra |
First Alexandroff Decomposition Theorem for Topological Lattice Group Valued Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(1), pp. 43-60, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
paving, topological lattice group, K-inner regular measure, Alexandroff space, A-compactness, Wallman extension, F-mooth measure, Boolean algebra |
24 | Z. L. Guo, Baochang Shi, N. C. Wang |
Fully Lagrangian and Lattice Boltzmann Methods for the Advection-Diffusion Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 14(3), pp. 291-300, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Fully-Lagrangian method, advection-diffusion equation, Lattice Boltzmann method |
24 | Chi Lap Yip, K. K. Loo, Ben Kao, David Wai-Lok Cheung, C. K. Cheng |
LGen - A Lattice-Based Candidate Set Generation Algorithm for I/O Efficient Association Rule Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Methodologies for Knowledge Discovery and Data Mining, Third Pacific-Asia Conference, PAKDD-99, Beijing, China, April 26-28, 1999, Proceedings, pp. 54-63, 1999, Springer, 3-540-65866-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
LGen, Data mining, association rules, lattice, Apriori |
24 | Ravi Kumar 0001, D. Sivakumar 0001 |
A Note on the Shortest Lattice Vector Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 14th Annual IEEE Conference on Computational Complexity, Atlanta, Georgia, USA, May 4-6, 1999, pp. 200-204, 1999, IEEE Computer Society, 0-7695-0075-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
shortest lattice vector, NP-completness, uniqueness |
24 | T. F. Himdi, Ravi S. Sandhu |
Lattice Based Models for Controlled Sharing of Confidential Information in the Saudi Hajj System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 13th Annual Computer Security Applications Conference (ACSAC 1997), 8-12 December 1997, San Diego, CA, USA, pp. 164-174, 1997, IEEE Computer Society, 0-8186-8274-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
lattice based models, controlled sharing, confidential information, Saudi Hajj system, pilgrimage, annual event, Saudi Arabia, government ministries, trusted environment, Saudi ministries, no obligation access security, Chinese Wall security, information flow policy, interoperability, confidentiality, data sharing, security requirements, security requirement, government data processing, shared data, multi level security |
24 | Lucien Haddad, Jean Fugère |
On the Lattice of Partial Clones on a Finite Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 273-278, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
partial clones, lattice, set theory, multivalued logic, finite set |
24 | Kiyoshi Muto, Haruo Miyazaki, Yoichi Seki, Yoshihiro Kimura, Yukio Shibata |
Lattice path counting andM/M/c queueing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 19(1-2), pp. 193-214, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
M/M/c queue, transient solution, lattice path counting, depth of path |
24 | Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter |
I/O Overhead and Parallel VLSI Architectures for Lattice Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings, pp. 497-506, 1990, Springer, 3-540-53504-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Input/output complexity, lattice computations, cellular automata, VLSI architectures, pebbling |
24 | Paul A. Karger |
The Lattice Security Model In A Public Computing Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 453-459, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Data processing security, Lattice security model, Non-discretionary security, Computer security, Computer network security |
22 | Jouni Järvinen, Sándor Radeleczki, Laura Veres |
Rough Sets Determined by Quasiorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(4), pp. 337-355, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06A06, Secondary 06D10, 06D15, 68T37 |
22 | K. Raj Kumar, Giuseppe Caire |
Space-Time Codes From Structured Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 55(2), pp. 547-556, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | William B. Lund, Eric K. Ringger |
Improving optical character recognition through efficient multiple system alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: Proceedings of the 2009 Joint International Conference on Digital Libraries, JCDL 2009, Austin, TX, USA, June 15-19, 2009, pp. 231-240, 2009, ACM, 978-1-60558-322-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OCR error rate reduction, text alignment, A* algorithm |
22 | Fritz Venter, Derrick G. Kourie, Bruce W. Watson |
FCA-Based Two Dimensional Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings, pp. 299-313, 2009, Springer, 978-3-642-01814-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
2d pattern matching, microchip design layout, microchip design rules, formal concept analysis |
22 | Gasper Jaklic, Jernej Kozak, Marjeta Krajnc, Vito Vitrih, Emil Zagar |
Barycentric coordinates for Lagrange interpolation over lattices on a simplex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 48(1-3), pp. 93-104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 41A05, 65D05, 41A63 |
22 | Joshua A. Cole |
Embedding FD(omega) into Ps densely. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(7-8), pp. 649-664, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complexity of Constraints ![In: Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]., pp. 1-2, 2008, Springer, 978-3-540-92799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Nayantara Bhatnagar, Sam Greenberg, Dana Randall |
Sampling stable marriages: why spouse-swapping won't work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, pp. 1223-1232, 2008, SIAM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
22 | Giulio Manzonetto, Antonino Salibra |
From lambda-Calculus to Universal Algebra and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 479-490, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra |
22 | Francisco J. Valverde-Albacete, Carmen Peláez-Moreno |
Spectral Lattices of ['(R)]max, +-Formal Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings, pp. 124-139, 2008, Springer, 978-3-540-78136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote |
Protein Structure Prediction with Large Neighborhood Constraint Programming Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 82-96, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Heverton B. Macêdo, Marcelo J. L. Lima, Gina M. B. Oliveira |
Searching for a Cryptographic Model Based on the Pre-Image Calculus of Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBRN ![In: 10th Brazilian Symposium on Neural Networks (SBRN 2008), Salvador, Bahia, Brazil, October 26-30, 2008, pp. 153-158, 2008, IEEE Computer Society, 978-0-7695-3361-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Daowen Qiu |
Notes on automata theory based on quantum logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(2), pp. 154-169, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
orthomodular lattices, quantum computing, automata, quantum logic |
22 | Fang-Min Han, Xian-Da Zhang |
Hexagonal Multicarrier Modulation: A Robust Transmission Scheme for Time-Frequency Dispersive Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(5-1), pp. 1955-1961, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Laurent Condat, Brigitte Forster-Heinlein, Dimitri Van De Ville |
H2O: Reversible Hexagonal-Orthogonal Grid Conversion by 1-D Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 73-76, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Mi Ryung Han, Hee-Joon Chung, Jihun Kim 0001, Dong-Young Noh, Ju Han Kim |
Protein Classification from Protein-Domain and Gene-Ontology Annotation Information Using Formal Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 347-354, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin Berkels, Andreas Rätz, Martin Rumpf, Axel Voigt |
Identification of Grain Boundary Contours at Atomic Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings, pp. 765-776, 2007, Springer, 978-3-540-72822-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Josep Maria Font, Ramon Jansana, Don Pigozzi |
On the Closure Properties of the Class of Full G-models of a Deductive System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 215-278, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Leibniz congruence, Tarski congruence, generalized matrix, full generalized model, fully adequate Gentzen system, algebraizable logic, abstract algebraic logic, protoalgebraic logic |
22 | Amir J. Salomon, Ofer Amrani |
Encoding and Decoding Binary Product Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(12), pp. 5485-5495, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Moulin, Anil Kumar Goteti |
Block QIM watermarking games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 1(3), pp. 293-310, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Sebastian Hunt, David Sands 0001 |
On flow-sensitive security types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 79-90, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
static analysis, type systems, information flow, non-interference, flow-sensitivity |
22 | Guangming Shi, Yafang Sun, Danhua Liu, Jin Pan |
A Study on Construction of Time-Varying Orthogonal Wavelets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part II, pp. 284-294, 2006, Springer, 3-540-45907-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Wen-Chieh Lin, Yanxi Liu 0001 |
Tracking Dynamic Near-Regular Texture Under Occlusion and Rapid Movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II, pp. 44-55, 2006, Springer, 3-540-33834-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | William Y. C. Chen, Christian Krattenthaler, Arthur L. B. Yang |
The Flagged Cauchy Determinant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 21(1), pp. 51-62, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AMS Subject Classification: 05E05, 05A15 |
22 | Babak Hassibi, Haris Vikalo |
On the sphere-decoding algorithm I. Expected complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(8-1), pp. 2806-2818, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yabo Li, Xiang-Gen Xia 0001, Genyuan Wang |
Simple iterative methods to exploit the signal-space diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 53(1), pp. 32-38, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar |
Joining dataflow with predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 227-236, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
counterexample analysis, model checking, dataflow analysis, predicate abstraction |
22 | Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone |
Querying a Bioinformatic Data Sources Registry with Concept Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings, pp. 323-336, 2005, Springer, 3-540-27783-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jürg Schmid |
Bialgebraic Contexts for Distributive Lattices - Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings, pp. 403-407, 2005, Springer, 3-540-24525-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Tian-Shyr Dai, Yuh-Dauh Lyuu |
Pricing Double Barrier Options by Combinatorial Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTST ![In: Soft Computing as Transdisciplinary Science and Technology, Proceedings of the fourth IEEE International Workshop, WSTST'05, Muroran, Japan, pp. 1131-1140, 2005, Springer, 978-3-540-25055-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong |
The design and application of structured types in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 683-688, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Uri Dekel, Joseph Gil |
Visualizing class interfaces with formal concept analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 288-289, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
feature categorization, reverse-engineering, documentation, classes, concept analysis |
22 | Jeffrey Johnson, Blaine A. Price |
Complexity Science and Representation in Robot Soccer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2003: Robot Soccer World Cup VII, pp. 67-76, 2003, Springer, 3-540-22443-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Zongtian Liu, Liansheng Li, Qing Zhang |
Research on a Union Algorithm of Multiple Concept Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 533-540, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Multiple concept lattices, Union operation of concept lattices, Union algorithm of concept lattices, Formal Concept Analysis |
22 | Iwan Jensen |
Counting Polyominoes: A Parallel Implementation for Cluster Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part III, pp. 203-212, 2003, Springer, 3-540-40196-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Antoine Deza, Shmuel Onn |
Solitaire Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 18(2), pp. 227-243, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Christo Dichev |
Do What We Do to Find What You Want. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002, Proceedings, pp. 253-263, 2002, Springer, 3-540-44127-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
web-based technology, information retrieval |
22 | Michael Bain 0001 |
Structured Features from Concept Lattices for Unsupervised Learning and Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 557-568, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Gatica-Perez, Chuang Gu, Ming-Ting Sun, Salvador Ruiz-Correa |
Extensive partition operators, gray-level connected operators, and region merging/classification segmentation algorithms: theoretical links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 10(9), pp. 1332-1345, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Manijeh Khataie, M. Reza Soleymani |
Indexing the output points of an LBVQ used for image transform coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(5), pp. 827-833, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Richard J. Cole II, Peter W. Eklund, Gerd Stumme |
CEM-Visualisation and Discovery in Email. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Principles of Data Mining and Knowledge Discovery, 4th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000, Proceedings, pp. 367-374, 2000, Springer, 3-540-41066-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Yuhong Xiong, Edward A. Lee |
An Extensible Type System for Component-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 20-37, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | John Atkins, William E. Hart |
On the Intractability of Protein Folding with a Finite Alphabet of Amino Acids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 25(2-3), pp. 279-294, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Protein folding, Protein structure prediction, Intractability |
22 | Benjamin W. Wah, Zhe Wu 0002 |
Discrete Lagrangian Methods for Designing Multiplierless Two-Channel PR-LP Filter Banks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 21(2), pp. 131-149, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Martin F. van Bommel, T. J. Beck |
Incremental Encoding of Multiple Inheritance Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 507-513, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Volker Heun |
Approximate Protein Folding in the HP Side Chain Model on Extended Cubic Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '99, 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999, Proceedings, pp. 212-223, 1999, Springer, 3-540-66251-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Susanne Wetzel |
An Efficient Parallel Block-Reduction Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: Algorithmic Number Theory, Third International Symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998, Proceedings, pp. 323-337, 1998, Springer, 3-540-64657-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Wojciech Banaszczyk |
Inequalities for Convex Bodies and Polar Reciprocal Lattices in $R^n$ II: Application of $K$-Convexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 16(3), pp. 305-311, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | J. C. Lagarias 0001, Andrew M. Odlyzko |
Solving Low-Density Subset Sum Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 32(1), pp. 229-246, January 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
22 | Hassan Aït-Kaci |
Solving Type Equations by Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings, pp. 158-179, 1985, Springer, 3-540-15976-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
22 | Gérard Berry, Jean-Jacques Lévy |
Minimal and Optimal Computations of Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 215-226, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 12777 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|