|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10490 occurrences of 5373 keywords
|
|
|
Results
Found 17735 publication records. Showing 17735 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Ichiro Ogata |
A Proof Theoretical Account of Continuation Passing Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 490-505, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value |
45 | Yaoyun Shi |
Tensor norms and the classical communication complexity of nonlocal quantum measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 460-467, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bell inequality, classical simulation, fourier sampling problem, quantum entanglement, tensor norms, communication complexity |
44 | Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan |
09311 Abstracts Collection - Classical and Quantum Information Assurance Foundations and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classical and Quantum Information Assurance Foundations and Practice ![In: Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
43 | Rudolf Ahlswede, Ning Cai 0001 |
A Strong Converse Theorem for Quantum Multiple Access Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTIT-C ![In: General Theory of Information Transfer and Combinatorics, pp. 460-485, 2006, Springer, 3-540-46244-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
classical quantum multiple access channel, strong converse, wringing technique, non–stationary memoryless classical quantum channel |
38 | Nicolas Gisin, Renato Renner, Stefan Wolf 0001 |
Linking Classical and Quantum Key Agreement: Is There a Classical Analog to Bound Entanglement? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 34(4), pp. 389-412, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Arnon Avron, Anna Zamansky |
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 1-24, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan (eds.) |
Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classical and Quantum Information Assurance Foundations and Practice ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
35 | Dusko Pavlovic |
Geometry of abstraction in quantum computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classical and Quantum Information Assurance Foundations and Practice ![In: Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
35 | Romain Alléaume, Norbert Lütkenhaus, Renato Renner, Philippe Grangier, Thierry Debuisschert, Gregoire Ribordy, Nicolas Gisin, Philippe Painchault, Thomas Pornin, Louis Salvail, Michel Riguidel, Andrew J. Shields, Thomas Länger, Momtchil Peev, Mehrdad Dianati, Anthony Leverrier, Andreas Poppe, Jan Bouda, Cyril Branciard, Mark Godfrey, John G. Rarity, Harald Weinfurter, Anton Zeilinger, Christian Monyk |
Quantum key distribution and cryptography: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Classical and Quantum Information Assurance Foundations and Practice ![In: Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
35 | Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona |
Probabilistic Constraints for Inverse Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 115-128, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Yaxin Bi, Xuhui Shen, Shengli Wu 0001 |
Uncertainty Reasoning in Rough Knowledge Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 187-200, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Hung T. Nguyen 0002, Olga Kosheleva, Vladik Kreinovich, Scott Ferson |
Trade-Off between Sample Size and Accuracy: Case of Dynamic Measurements under Interval Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 45-56, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Milan Vlach |
Topologies of Approximation Spaces of Rough Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 176-186, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Shanying Xu, Xi Chen, Ai Han |
Interval Forecasting of Crude Oil Price. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 353-363, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Mina Ryoke, Yoshiteru Nakamori, Van-Nam Huynh |
Personalized Recommendation for Traditional Crafts Using Fuzzy Correspondence Analysis with Kansei Data and OWA Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 311-325, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Tru H. Cao, Hoa Nguyen, Ma Nam |
Modelling and Computing with Imprecise and Uncertain Properties in Object Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 141-159, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Tho T. Quan, Tru Hoang Cao |
Approximating Reasoning for Fuzzy-Based Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 103-114, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Hung T. Nguyen 0002, Vladik Kreinovich |
Trade-Off between Sample Size and Accuracy: Case of Static Measurements under Interval Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 32-44, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Hongbin Yan, Van-Nam Huynh, Yoshiteru Nakamori |
A Probability-Based Approach to Consumer Oriented Evaluation of Traditional Craft Items Using Kansai Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 326-340, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Masahiro Inuiguchi, Yukihiro Yoshioka |
Several Reducts in Dominance-Based Rough Set Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 163-175, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | John Harding |
Completions of Ordered Algebraic Structures: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 231-244, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Noboru Takagi |
Some Properties of Logic Functions over Multi-interval Truth Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 256-267, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Rolf Haenni, Jan-Willem Romeijn, Gregory R. Wheeler, Jon Williamson |
Possible Semantics for a Common Framework of Probabilistic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 268-279, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Hung T. Nguyen 0002 |
On Modeling of Uncertainty Measures and Observed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 5-15, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Jonathan Lawry |
Label Semantics as a Framework for Granular Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 87-102, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Fabio Cuzzolin |
Semantics of the Relative Belief of Singletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 201-213, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Min Guo, Jian-Bo Yang, Kwai-Sang Chin, Hongwei Wang 0002 |
The Evidential Reasoning Approach for Multi-attribute Decision Analysis under Both Fuzzy and Interval Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 129-140, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Hiroakira Ono |
An Algebraic Approach to Substructural Logics - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 3-4, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Alexander Karlsson, Ronnie Johansson, Sten F. Andler |
Imprecise Probability as an Approach to Improved Dependability in High-Level Information Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 70-84, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Vladik Kreinovich, Gang Xiang |
Fast Algorithms for Computing Statistics under Interval Uncertainty: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 19-31, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Karin Mehr, Eberhard P. Hofer |
Automatic Classification for Decision Making of the Severeness of the Acute Radiation Syndrome. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 364-371, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Jeff B. Paris, David Picado-Muiño, Michael Rosefield |
Information from Inconsistent Knowledge: A Probability Logic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 291-307, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Chenyi Hu |
Using Interval Function Approximation to Estimate Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 341-352, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Canh Hao Nguyen, Tu Bao Ho, Vladik Kreinovich |
Estimating Quality of Support Vector Machines Learning under Probabilistic and Interval Uncertainty: Algorithms and Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 57-69, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Carol L. Walker, Elbert A. Walker |
The Algebra of Truth Values of Type-2 Fuzzy Sets: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 245-255, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Yasuo Kudo, Tetsuya Murai, Seiki Akama |
A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 280-290, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Fabio Cuzzolin |
A Lattice-Theoretic Interpretation of Independence of Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 214-227, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![Springer, 978-3-540-75938-6 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Stefan Hetzl, Alexander Leitsch |
Proof Transformations and Structural Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 201-230, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Francesc Esteva, Lluís Godo |
Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 127-137, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini |
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 84-106, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Franco Montagna |
Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 247-274, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Beloslav Riecan |
Probability Theory on IF Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 290-308, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Tobias Gedell, Reiner Hähnle |
Verification by Parallelization of Parametric Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 138-159, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Antonio Di Nola, Mirko Navara |
Cantor-Bernstein Property for MV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 107-118, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Matthias Baaz |
Note on Conditional Constructivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 25-29, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Giovanni Panti |
The Automorphism Group of Falsum-Free Product Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 275-289, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Costas A. Drossos, Panagis Karazeris |
A Note on Representing and Interpreting MV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 119-126, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Xavier Caicedo |
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 50-68, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Lawrence Peter Belluce, Antonio Di Nola, Ada Lettieri |
Symmetric MV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 30-49, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Sándor Jenei, Franco Montagna |
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 231-246, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Roberto Cignoli |
The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 69-83, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Andrew M. W. Glass, Françoise Point |
Finitely Presented Abelian Lattice-Ordered Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 160-193, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Petr Hájek 0001 |
On Fuzzy Theories with Crisp Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 194-200, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Yuanquan Li, Jiayin Qi, Huaying Shu |
A Review on the Relationship Between New Variables and Classical TAM Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 53-63, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
TAM classical structure, New variables, Variable relations, TAM |
34 | Larisa Maksimova |
Definability and Interpolation in Non-Classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(2), pp. 271-291, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation |
34 | Chin-Wang Tao, Jin-Shiuh Taur |
An approach for the robustness comparison between piecewise linear PID-like fuzzy and classical PID controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(6), pp. 430-438, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
PID-like fuzzy controller, Classical PID controller, Robustness |
34 | Daniel C. Cole, Yi Zou |
Perturbation Analysis and Simulation Study of the Effects of Phase on the Classical Hydrogen Atom Interacting with Circularly Polarized Electromagnetic Radiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 21(2), pp. 145-172, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hydrogen, Rydberg, simulation classical, nonlinear, stochastic, electrodynamics |
32 | Liang Huang 0001, Yinan Peng, Huan Wang, Zhenyu Wu |
Statistical Part-of-Speech Tagging for Classical Chinese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 5th International Conference, TSD 2002, Brno, Czech Republic September 9-12, 2002, Proceedings, pp. 115-122, 2002, Springer, 3-540-44129-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Heqing Chen, Yongquan Yu, Zhibin Chen |
Automatically Compute the Classical Filed of Matter-Element Model Based on Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (1) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 403-406, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
classical field, matter-element model, genetic algorithms |
31 | Daniel C. Cole, Yi Zou |
Simulation Study of Aspects of the Classical Hydrogen Atom Interacting with Electromagnetic Radiation: Elliptical Orbits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 20(3), pp. 379-404, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hydrogen, Rydberg, classical, simulation, nonlinear, stochastic, electrodynamics |
31 | Martin Hyland |
Abstract Interpretation of Proofs: Classical Propositional Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 6-21, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
classical propositional calculus, category theory, proof theory |
31 | Kai Brünnler |
Atomic Cut Elimination for classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 86-97, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
atomic cut, sequent calculus, cut elimination, natural deduction, classical logic |
31 | Toshiaki Shoji |
On the computation of unipotent characters of finite classical groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(3), pp. 165-174, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Lusztig conjecture, Unipotent characters, Classical groups |
30 | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
A proof-theoretic foundation of abortive continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(4), pp. 403-429, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Callcc, Minimal logic, Intuitionistic logic, Classical logic |
30 | Stéphane Demri, Rajeev Goré |
An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP (LNCS Selection) ![In: Automated Deduction in Classical and Non-Classical Logics, Selected Papers, pp. 152-166, 1998, Springer, 3-540-67190-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas Gisin, Stefan Wolf 0001 |
Linking Classical and Quantum Key Agreement: Is There "Bound Information"? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2000, 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000, Proceedings, pp. 482-500, 2000, Springer, 3-540-67907-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
intrinsic information, secret-key rate, quantum privacy amplification, purification, entanglement, Secret-key agreement |
28 | Zhihu Zhang, Zuoquan Lin, Shuang Ren |
Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings, pp. 181-190, 2009, Springer, 978-3-642-04124-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program |
28 | James Brotherston, Cristiano Calcagno |
Classical BI: a logic for reasoning about dualising resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 328-339, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models |
28 | Yiwei Cao, Ralf Klamma, Yan Gao, Rynson W. H. Lau, Matthias Jarke |
A Web 2.0 Personal Learning Environment for Classical Chinese Poetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2009, 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings, pp. 98-107, 2009, Springer, 978-3-642-03425-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
classical Chinese poetry, Web 2.0, mobile learning, community of practice, educational gaming, personal learning environment |
28 | James E. Levy, Anand Ganti, Cynthia A. Phillips, Benjamin R. Hamlet, Andrew J. Landahl, Thomas M. Gurrieri, Robert D. Carr, Malcolm S. Carroll |
Brief announcement: the impact of classical electronics constraints on a solid-state logical qubit memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 166-168, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
classical electronics, logical qubit, quantum architecture, quantum information processsing |
28 | Hirohiko Kushida, Mitsu Okada |
A proof-theoretic study of the correspondence of hybrid logic and classical logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(1), pp. 35-61, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Proof theory, Hybrid logic, Classical logic |
28 | Sylvia B. Encheva, Yuriy P. Kondratenko, Sharil Tumin, Sanjay Kumar Khattri |
Non-classical Logic in an Intelligent Assessment Sub-system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I, pp. 305-314, 2007, Springer, 978-3-540-74468-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
decision support systems, logistics, Non-classical logic |
28 | Witold A. Pogorzelski, Piotr Wojtylak |
A Proof System for Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 95-104, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Inferential rule, Consequence operation, Classical logic |
28 | Oliver Pretzel |
Extended Classical Goppa Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(6), pp. 447-454, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Classical Goppa codes, Error correction algorithms, Berlekamp-Massey algorithm, Linear block codes |
28 | Viorica Sofronie-Stokkermans |
Representation Theorems and Theorem Proving in Non-Classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings, pp. 242-247, 1999, IEEE Computer Society, 0-7695-0161-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributive lattices with operators, Priestley duality, many-values logics, automated theorem proving, Non-classical logics |
28 | H. Mayr |
Using software sensors for migrating from classical simulation systems towards virtual worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 105-112, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
classical simulation systems, distributed simulation environment, intelligent simulation environment, collision checking algorithms, graphic simulation model, virtual factory concepts, virtual reality, virtual reality, design, implementation, virtual worlds, simulation environment, object motion, software sensors |
28 | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 68-75, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reduced order systems, AJM's games model, classical linear logic, general category, saturated strategies, copy games, codings |
28 | Chan Park, Hee Sook Choi, Jin-Oh Kim, Jong Hyup Lee |
Next hop resolution using classical IP over ATM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 22nd IEEE Conference on Local Computer Networks (LCN '97), 2-5 November 1997, Minneapolis, Minnesota, USA, Proceedings, pp. 106-110, 1997, IEEE Computer Society, 0-8186-8141-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
classical IP, IP subnets, logical IP subnet, direct virtual channel connection, next hop resolution protocol, multi-protocol over ATM, inter-LIS communication, RFC1577, test-bed network, protocols, ATM, prototype systems |
27 | Wei Zheng Teo, Marco Carmosino, Lior Horesh |
Creating quantum-resistant classical-classical OWFs from quantum-classical OWFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.10146, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Christoph Benzmüller |
Combining and automating classical and non-classical logics in classical higher-order logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 62(1-2), pp. 103-128, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Dov M. Gabbay |
Classical vs non-classical logics (the universality of classical logic). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Logic in Artificial Intelligence and Logic Programming (2) ![In: Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies, pp. 359-495, 1994, Oxford University Press, 0-19-853746-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
27 | Hirotada Kobayashi, François Le Gall, Harumichi Nishimura, Martin Rötteler |
General Scheme for Perfect Quantum Network Coding with Free Classical Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I, pp. 622-633, 2009, Springer, 978-3-642-02926-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Rahul Tripathi |
Complexity Upper Bounds for Classical Locally Random Reductions Using a Quantum Computational Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings, pp. 548-558, 2007, Springer, 978-3-540-74455-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | François Le Gall |
Exponential separation of quantum and classical online space complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 67-73, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
quantum computation, communication complexity, online, space complexity, streaming algorithms |
27 | Ofer Arieli, Marc Denecker |
Modeling Paraconsistent Reasoning by Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings, pp. 1-14, 2002, Springer, 3-540-43220-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Wing-Yi Chan, Huamin Qu, Wai-Ho Mak |
Visualizing the Semantic Structure in Classical Music Works. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 16(1), pp. 161-173, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Classical music, macro-micro relationship, information visualization, threads, glyph, weaving, typography |
25 | Alessio Guglielmi, Tom Gundersen, Lutz Straßburger |
Breaking Paths in Atomic Flows for Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 284-293, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
atomic flows, proof normalization, classical logic |
25 | Brendan S. Gillon |
Tagging Classical Sanskrit Compounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sanskrit Computational Linguistics ![In: Sanskrit Computational Linguistics, Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings, pp. 98-105, 2009, Springer, 978-3-540-93884-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
A?? ?dhy? y?, Classical Sanskrit, compounds, context free rules, P??ini |
25 | Martin Craig Serpell, Alistair R. Clark, Jim E. Smith, Andrea T. Staggemeier |
Pre-processing Optimisation Applied to the Classical Integer Programming Model for Statistical Disclosure Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Privacy in Statistical Databases ![In: Privacy in Statistical Databases, UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008. Proceedings, pp. 24-36, 2008, Springer, 978-3-540-87470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cell Suppression Problem, Classical Model, Pre-processing Optimisation, External Attacker, Statistical Disclosure Control |
25 | Germano Resconi, Boris Kovalerchuk |
Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan's Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 26-33, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
explanatory model, logic equivalence, irrational agent, inconsistent agent, Fuzzy logic, classical logic, paradox, rational agent |
25 | Pilar de la Torre |
How efficiently can room at the bottom be traded away for speed at the top? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 2(4), pp. 349-389, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bio-molecular and classical algorithms, Covering Code Creation, randomized bio-molecular computing model, sub-exponential space and time product efficiency, k-SAT |
24 | François Le Gall |
Exponential Separation of Quantum and Classical Online Space Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(2), pp. 188-202, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Online space complexity, Quantum computation, Communication complexity |
24 | Dusko Pavlovic |
Quantum and Classical Structures in Nondeterminstic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings, pp. 143-157, 2009, Springer, 978-3-642-00833-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Sean Hallgren, Alexandra Kolla, Pranab Sen, Shengyu Zhang |
Making Classical Honest Verifier Zero Knowledge Protocols Secure against Quantum Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 592-603, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Scott Aaronson, Greg Kuperberg |
Quantum versus Classical Proofs and Advice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 22nd Annual IEEE Conference on Computational Complexity (CCC 2007), 13-16 June 2007, San Diego, California, USA, pp. 115-128, 2007, IEEE Computer Society, 0-7695-2780-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Hugo Herbelin |
On the Degeneracy of Sigma-Types in Presence of Computational Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 209-220, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Zena M. Ariola, Hugo Herbelin |
Minimal Classical Logic and Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 871-885, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Pieter Jonker, Jie Han 0001 |
On Quantum and Classical Computing with Arrays of Superconducting Persistent Current Qubits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMP ![In: Fifth International Workshop on Computer Architectures for Machine Perception (CAMP 2000), September 11-13, 2000, Padova, Italy, pp. 69-, 2000, IEEE Computer Society, 0-7695-0740-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
superconducting persistent current qubits, superconducting qubit, quantum bit, quantum computing, quantum computing, quantum computer |
24 | Hanspeter Bieri, Felix Grimm |
Approaching Classical Algorithms in APL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1993, Toronto, Ontario, Canada, August 15-19, 1993., pp. 33-40, 1993, ACM, 0-89791-612-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
APL |
Displaying result #1 - #100 of 17735 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|