Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | Sebastian Link |
On Multivalued Dependencies in Fixed and Undetermined Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings, pp. 258-277, 2006, Springer, 3-540-31782-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
77 | Siegfried Gottwald |
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(2), pp. 211-244, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets |
77 | Siegfried Gottwald |
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(1), pp. 23-50, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets |
72 | Frank Höppner, Mirko Böttcher |
Reliably Capture Local Clusters in Noisy Domains From Parallel Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
72 | Claus Weihs, Heike Trautmann |
Parallel Universes: Multi-Criteria Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
72 | Michael R. Berthold, Bernd Wiswedel |
Learning in Parallel Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
72 | Élisa Fromont, Rene Quiniou, Marie-Odile Cordier |
Parallel universes to improve the diagnosis of cardiac arrhythmias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
72 | Niall M. Adams, David J. Hand |
Note on parallel universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
72 | Michael R. Berthold, Katharina Morik, Arno Siebes |
07181 Abstracts Collection -- Parallel Universes and Local Patterns . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
72 | Michael R. Berthold, Katharina Morik, Arno Siebes |
07181 Introduction -- Parallel Universes and Local Patterns . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
63 | Sven Hartmann, Henning Köhler, Sebastian Link |
Full hierarchical dependencies in fixed and undetermined universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 50(1-2), pp. 195-226, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68P15 |
58 | Sebastian Link |
Charting the completeness frontier of inference systems for multivalued dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 45(7-8), pp. 565-591, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Fusheng Yu, Wenyi Zeng, Qiuyan Sun, Fangmin Wu, Yongke Jiang |
Build Complicated Granules with Generalized Operations of Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 362-366, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Peter Aczel |
On Relating Type Theories and Set Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, pp. 1-18, 1998, Springer, 3-540-66537-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
53 | Michael R. Berthold, Katharina Morik, Arno Siebes (eds.) |
Parallel Universes and Local Patterns, 01.05. - 04.05.2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
53 | Katharina Morik, Michael Wurst |
Multi-Aspect Tagging for Collaborative Structuring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
53 | Ira Assent, Ralph Krieger, Emmanuel Müller, Thomas Seidl 0001 |
Subspace outlier mining in large multimedia databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
53 | Bruno Crémilleux, Arnaud Soulet |
Discovering Knowledge from Local Patterns with Global Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Universes and Local Patterns ![In: Parallel Universes and Local Patterns, 01.05. - 04.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
48 | Joachim Biskup, Sebastian Link |
Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings, pp. 58-77, 2008, Springer, 978-3-540-77683-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Markus Marzetta, Thomas Strahm |
The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 37(5-6), pp. 391-413, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
48 | Blas C. Ruiz Jiménez |
Condensing Lemmas for Pure Type Systems with Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 422-437, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
48 | Peter Aczel |
Final Universes of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 1-28, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Final Universe, Process, CSP, Labelled, Transition System, CCS, Coalgebra |
48 | Markus Marzetta |
Universes in the Theory of Types and Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 340-351, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
43 | Steven R. Newcomb |
Flat Topic Mapping for a Flat World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TMRA ![In: Leveraging the Semantics of Topic Maps, Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers, pp. 1-7, 2006, Springer, 978-3-540-71944-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Thierry Duval, Alain Chauffaut |
La cabine virtuelle d'immersion (CVI): un mode de transport des outils d'interaction dans les univers 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, Montreal, Quebec, Canada, 18-21 April 2006, pp. 167-170, 2006, ACM, 1-59593-350-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
3D immersion, 3D interaction, collaborative environments, 3D navigation |
43 | Marek A. Bednarczyk, Andrzej M. Borzyszkowski |
CPO's do not form a CPO, and yet Recursion Works. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 268-278, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
43 | Brian Q. Monahan |
A Type Model for VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings, pp. 210-236, 1987, Springer, 3-540-17654-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
43 | Harald Nusser |
A Generalization of Probabilistic Uniform Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(1), pp. 81-98, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
probabilistic semiuniform convergence spaces, (probabilistic) convergence spaces, (probabilistic) uniform spaces, topological universes, cartesian closedness, bireflective and bicoreflective subcategories, t-norms |
43 | A. A. Ezhov |
Pattern Recognition with Quantum Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPR ![In: Advances in Pattern Recognition - ICAPR 2001, Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001, Proceedings, pp. 60-71, 2001, Springer, 3-540-41767-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
many universes interpretation, pattern recognition, entanglement, counting problem, quantum neural networks |
43 | Ulrich Berger 0001 |
Density Theorems for the Domains-with-Totality Semantics of Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 3-30, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
totality, dependent types, universes, domains, continuous functionals |
39 | Roland Coghetto |
Non-Trivial Universes and Sequences of Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 30(1), pp. 53-66, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Wei-Zhi Wu 0001, You-Hong Xu |
On Fuzzy Rough Set Algebras in Infinite Universes. ![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. 312-319, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy rough set algebras, Rough sets, Fuzzy sets, Fuzzy rough sets, Approximation operators |
34 | Achim D. Brucker, Burkhart Wolff |
Extensible Universes for Object-Oriented Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 438-462, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Wei-Zhi Wu 0001, Ju-Sheng Mi |
An Interpretation of Belief Functions on Infinite Universes in the Theory of Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 71-80, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Belief structures, Rough sets, Belief functions, Approximation operators |
34 | Christian Rüede |
Universes in metapredicative analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(2), pp. 129-151, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Judicaël Courant |
Explicit Universes for the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 115-130, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Toshiyasu Arai |
Ordinal diagrams for recursively Mahlo universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(5), pp. 353-391, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991): 03F15 |
34 | Jirí Adámek, Horst Herrlich |
Cartesian Closed Categories, Quasitopoi and Topological Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 20-41, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Yuyan Chao, Lifeng He, Tsuyoshi Nakamura, Zhenghao Shi, Kenji Suzuki 0001, Hidenori Itoh |
An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(4), pp. 541-553, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Herbrand’s theorem, Herbrand universe, model generation theorem proving, SATCHMO, really non-propositinal |
29 | Martin Hils |
Semifree actions of free groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(2), pp. 93-105, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) Primary 03C45, Secondary 20F05 |
29 | Guido Gherardi |
Internal Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 348-357, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Nonstandard Analysis, Type-2 Theory of Effectivity, Theory of Representations, Computable Analysis, Constructive Mathematics |
29 | Alexandre Miquel |
Classical Program Extraction in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 313-327, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Xiaoming You, Sheng Liu 0007, Dianxun Shuai |
On Parallel Immune Quantum Evolutionary Algorithm Based on Learning Mechanism and Its Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (1) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part I, pp. 903-912, 2006, Springer, 3-540-45901-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Xiaoming You, Sheng Liu 0007, Dianxun Shuai |
On Improved Parallel Immune Quantum Evolutionary Algorithm Based on Learning Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 908-913, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Maciej Borkowski |
Signal Analysis Using Rough Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 218-225, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
rough integral, pattern recognition, rough sets, Approximation, sensor, signal analysis |
29 | Michael Rathjen |
The strength of Martin-Löf type theory with a superuniverse. Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(3), pp. 207-233, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Michael Rathjen |
The strength of Martin-Löf type theory with a superuniverse. Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(1), pp. 1-39, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Peter Dybjer, Anton Setzer |
A Finite Axiomatization of Inductive-Recursive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 129-146, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Jürgen Schmidhuber |
A Computer Scientist's View of Life, the Universe, and Everything. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computer Science: Potential - Theory - Cognition ![In: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, pp. 201-208, 1997, Springer, 3-540-63746-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | David Harel |
Arithmetical Completeness in Logics of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings, pp. 268-288, 1978, Springer, 3-540-08860-1. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
19 | Chao Liang, Fan Ma, Linchao Zhu, Yingying Deng, Yi Yang 0001 |
CapHuman: Capture Your Moments in Parallel Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.00627, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Raffael Stenzel |
On notions of compactness, object classifiers, and weak Tarski universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 33(8), pp. 661-678, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Krzysztof Urbanowski |
Multiverse as an Ensemble of Stable and Unstable Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 473, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bingzhen Sun, Sirong Tong, Weimin Ma, Chao Jiang |
Correction to: An approach to MCGDM based on multi-granulation Pythagorean fuzzy rough set over two universes and its application to medical decision problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 56(1), pp. 653, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Urban Larsson, Richard J. Nowakowski, Carlos Pereira dos Santos |
Infinitely many absolute universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.05198, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yoan Géran |
Encoding impredicative hierarchy of type universes with variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.16595, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sara Babaee Khanehsar, Farzad Didehvar |
Turing Machines Equipped with CTC in Physical Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11632, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Linlin Xie, Guoping Lin, Jinjin Li 0001, Yi Kou |
Local fuzzy rough set model over two universes and its reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 27(12), pp. 7679-7697, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Guoping Lin, Linlin Xie, Jinjin Li 0001, Jinkun Chen, Yi Kou |
Local double quantitative fuzzy rough sets over two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 145, pp. 110556, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bin Yang 0004, Mohammed Atef |
Novel classes of fuzzy β-covering-based rough set over two distinct universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 461, pp. 108350, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Saba Ayub, Muhammad Shabir, Muhammad Riaz 0002, Faruk Karaaslan, Dragan Marinkovic, Djordje Vranjes |
Linear Diophantine Fuzzy Rough Sets on Paired Universes with Multi Stage Decision Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(12), pp. 686, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Dan Yang, Mingjie Cai, Qingguo Li, Feng Xu |
Multigranulation fuzzy probabilistic rough set model on two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 145, pp. 18-35, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Bingzhen Sun, Sirong Tong, Weimin Ma, Ting Wang, Chao Jiang |
An approach to MCGDM based on multi-granulation Pythagorean fuzzy rough set over two universes and its application to medical decision problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 55(3), pp. 1887-1913, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Bin Yang 0004 |
Fuzzy covering-based rough set on two different universes and its application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 55(6), pp. 4717-4753, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jonas Schürmann, Bernhard Steffen |
Lazy Merging: From a Potential of Universes to a Universe of Potentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Gratzer, Michael Shulman, Jonathan Sterling |
Strict universes for Grothendieck topoi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.12012, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Norihiro Yamada |
Game semantics of universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.13069, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ying Han, Sheng Chen, Xiaoning Shen |
Fuzzy rough set with inconsistent bipolarity information in two universes and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 26(19), pp. 9775-9784, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Murat Diker, Aysegül Altay Ugur |
Fuzzy rough set models over two universes using textures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 442, pp. 155-195, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Blanqui |
Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., pp. 24:1-24:14, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-233-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Felix Bradley, Zhaohui Luo |
A Metatheoretic Analysis of Subtype Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, pp. 9:1-9:21, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-285-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zsolt Csutak |
Virtual universes: the various impacts of conspicuous alternative realities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEeGov ![In: Central and Eastern European eDem and eGov Days, CEEeGov 2022, Budapest, Hungary, September 22-23, 2022, pp. 69-72, 2022, ACM, 978-1-4503-9766-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoyuan Hu, Bingzhen Sun, Ting Wang, Chao Jiang |
Double-quantitative decision rough set over two universes and application to African swine fever decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 33(2), pp. 331-347, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Wenqing Fu, Ahmed Mostafa Khalil |
Graded rough sets based on neighborhood operator over two different universes and their applications in decision-making problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 41(2), pp. 2639-2664, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Muhammad Asim Bilal, Muhammad Shabir |
Approximations of pythagorean fuzzy sets over dual universes by soft binary relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 41(1), pp. 2495-2511, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Qiang Zhang, Luyu Zhang, Bingzhen Sun |
The study on the anxiety level of college students in emergencies based on fuzzy rough set over two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 41(1), pp. 891-902, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Zhanao Xue, Haodong Hou, Bingxin Sun, Yongxiang Li, Yanna Zhang 0001 |
Object-First Incremental Algorithms for Updating Approximations in Multi-Granulation Fuzzy Probabilistic Rough Sets Over Two Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 7127-7142, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Stefano Gualeni |
A Theodicy for Artificial Universes: Moral Considerations on Simulation Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Technoethics ![In: Int. J. Technoethics 12(1), pp. 21-31, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Weimin Ma, Wenjing Lei, Bingzhen Sun |
Three-way group decisions based on multigranulation hesitant fuzzy decision-theoretic rough set over two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 38(2), pp. 2165-2179, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Bingzhen Sun, Xiangtang Chen, Liye Zhang, Weimin Ma |
Three-way decision making approach to conflict analysis and resolution using probabilistic rough set over two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 507, pp. 809-822, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Xiaonan Li, Qianqian Sun, Hongmei Chen, Huangjian Yi |
Three-way decision on two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 515, pp. 263-279, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Aysegül Altay Ugur, Murat Diker |
Generalized textural rough sets: Rough set models over two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 521, pp. 398-421, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Chao Zhang 0046, Deyu Li, Jiye Liang |
Multi-granularity three-way decisions with adjustable hesitant fuzzy linguistic multigranulation decision-theoretic rough sets over two universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 507, pp. 665-683, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Karol Pak |
Grothendieck Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 28(2), pp. 211-215, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Valerio Faraoni |
A Symmetry of the Einstein-Friedmann Equations for Spatially Flat, Perfect Fluid, Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(1), pp. 147, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Kirill Bronnikov, Vladimir Krechet, Vadim Oshurko |
Rotating Melvin-like Universes and Wormholes in General Relativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(8), pp. 1306, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Irina Aref'eva, Igor Volovich |
Gas of Baby Universes in JT Gravity and Matrix Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(6), pp. 975, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Hu Zhao, Hong-Ying Zhang 0001 |
On hesitant neutrosophic rough set over two universes and its application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 53(6), pp. 4387-4406, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Renan Alves de Oliveira, Yin Li, Francisco Villaescusa-Navarro, Shirley Ho, David N. Spergel |
Fast and Accurate Non-Linear Predictions of Universes with Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.00240, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | David H. Wolpert, David Kinney |
Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.08298, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Tanya Braun, Ralf Möller 0001 |
Exploring Unknown Universes in Probabilistic Relational Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.02021, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Alexander Mehler, Rüdiger Gleim, Regina Gaitsch, Wahed Hemati, Tolga Uslu |
From Topic Networks to Distributed Cognitive Maps: Zipfian Topic Universes in the Area of Volunteered Geographic Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.01454, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Xiao Tang, Ting Zeng, Yang Tan, Benxiang Ding |
Conflict Analysis Based on Three-Way Decision Theoretic Fuzzy Rough Set over Two Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ingénierie des Systèmes d Inf. ![In: Ingénierie des Systèmes d Inf. 25(1), pp. 75-82, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Mehler, Rüdiger Gleim, Regina Gaitsch, Wahed Hemati, Tolga Uslu |
From Topic Networks to Distributed Cognitive Maps: Zipfian Topic Universes in the Area of Volunteered Geographic Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2020, pp. 4607025:1-4607025:47, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Bingzhen Sun, Xuemei Zhou, Nannan Lin |
Diversified binary relation-based fuzzy multigranulation rough set over two universes and application to multiple attribute group decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Fusion ![In: Inf. Fusion 55, pp. 91-104, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Nataliya Kosmyna, Alexandra Gross, Pattie Maes |
"The thinking cap 2.0": preliminary study on fostering growth mindset of children by means of electroencephalography and perceived magic using artifacts from fictional sci-fi universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Proceedings of the 19th ACM International Conference on Interaction Design and Children, IDC 2020, London, United Kingdom, June 17-24, 2020, pp. 458-469, 2020, ACM, 978-1-4503-7981-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Harry Maclean, Zhaohui Luo |
Subtype Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy., pp. 9:1-9:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-182-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Antonín Dvorák, Michal Holcapek |
On Semantic Properties of Fuzzy Quantifiers over Fuzzy Universes: Restriction and Living on. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (3) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part III, pp. 173-186, 2020, Springer, 978-3-030-50152-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Antoine Millet |
Caractérisation de la perception d'un produit hybride intégrant des composantes issues d'univers produits contradictoires en conception: application aux produits sport-santé. (Characterization of the perception of a hybrid product integrating components from contradictory product universes in design: application to sport-health products). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
19 | Roman V. Yampolskiy |
Personal Universes: A Solution to the Multi-Agent Value Alignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.01851, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|