Search results for "universes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Sebastian Link	On Multivalued Dependencies in Fixed and Undetermined Universes.	FoIKS	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.	Stud Logica	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.	Stud Logica	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.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
72	Claus Weihs, Heike Trautmann	Parallel Universes: Multi-Criteria Optimization.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
72	Michael R. Berthold, Bernd Wiswedel	Learning in Parallel Universes.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
72	Élisa Fromont, Rene Quiniou, Marie-Odile Cordier	Parallel universes to improve the diagnosis of cardiac arrhythmias.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
72	Niall M. Adams, David J. Hand	Note on parallel universes.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
72	Michael R. Berthold, Katharina Morik, Arno Siebes	07181 Abstracts Collection -- Parallel Universes and Local Patterns .	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
72	Michael R. Berthold, Katharina Morik, Arno Siebes	07181 Introduction -- Parallel Universes and Local Patterns .	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
63	Sven Hartmann, Henning Köhler, Sebastian Link	Full hierarchical dependencies in fixed and undetermined universes.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68P15
58	Sebastian Link	Charting the completeness frontier of inference systems for multivalued dependencies.	Acta Informatica	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.	FSKD (1)	2007	DBLP DOI BibTeX RDF
58	Peter Aczel	On Relating Type Theories and Set Theories.	TYPES	1998	DBLP DOI BibTeX RDF
53	Michael R. Berthold, Katharina Morik, Arno Siebes (eds.)	Parallel Universes and Local Patterns, 01.05. - 04.05.2007	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
53	Katharina Morik, Michael Wurst	Multi-Aspect Tagging for Collaborative Structuring.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
53	Ira Assent, Ralph Krieger, Emmanuel Müller, Thomas Seidl 0001	Subspace outlier mining in large multimedia databases.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
53	Bruno Crémilleux, Arnaud Soulet	Discovering Knowledge from Local Patterns with Global Constraints.	Parallel Universes and Local Patterns	2007	DBLP BibTeX RDF
48	Joachim Biskup, Sebastian Link	Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes.	FoIKS	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.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
48	Blas C. Ruiz Jiménez	Condensing Lemmas for Pure Type Systems with Universes.	AMAST	1998	DBLP DOI BibTeX RDF
48	Peter Aczel	Final Universes of Processes.	MFPS	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.	CSL	1992	DBLP DOI BibTeX RDF
43	Steven R. Newcomb	Flat Topic Mapping for a Flat World.	TMRA	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.	IHM	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.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
43	Brian Q. Monahan	A Type Model for VDM.	VDM Europe	1987	DBLP DOI BibTeX RDF
43	Harald Nusser	A Generalization of Probabilistic Uniform Spaces.	Appl. Categorical Struct.	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.	ICAPR	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.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	totality, dependent types, universes, domains, continuous functionals
39	Roland Coghetto	Non-Trivial Universes and Sequences of Universes.	Formaliz. Math.	2022	DBLP DOI BibTeX RDF
34	Wei-Zhi Wu 0001, You-Hong Xu	On Fuzzy Rough Set Algebras in Infinite Universes.	RSKT	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.	ECOOP	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.	RSCTC	2008	DBLP DOI BibTeX RDF	Belief structures, Rough sets, Belief functions, Approximation operators
34	Christian Rüede	Universes in metapredicative analysis.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
34	Judicaël Courant	Explicit Universes for the Calculus of Constructions.	TPHOLs	2002	DBLP DOI BibTeX RDF
34	Toshiyasu Arai	Ordinal diagrams for recursively Mahlo universes.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03F15
34	Jirí Adámek, Horst Herrlich	Cartesian Closed Categories, Quasitopoi and Topological Universes.	Mathematical Foundations of Programming Semantics	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.	J. Comput. Sci. Technol.	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.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03C45, Secondary 20F05
29	Guido Gherardi	Internal Computability.	CiE	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.	CSL	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.	ICNC (1)	2006	DBLP DOI BibTeX RDF
29	Xiaoming You, Sheng Liu 0007, Dianxun Shuai	On Improved Parallel Immune Quantum Evolutionary Algorithm Based on Learning Mechanism.	ISDA (1)	2006	DBLP DOI BibTeX RDF
29	Maciej Borkowski	Signal Analysis Using Rough Integrals.	Rough Sets and Current Trends in Computing	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.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
29	Michael Rathjen	The strength of Martin-Löf type theory with a superuniverse. Part I.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
29	Peter Dybjer, Anton Setzer	A Finite Axiomatization of Inductive-Recursive Definitions.	TLCA	1999	DBLP DOI BibTeX RDF
29	Jürgen Schmidhuber	A Computer Scientist's View of Life, the Universe, and Everything.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
29	David Harel	Arithmetical Completeness in Logics of Programs.	ICALP	1978	DBLP DOI BibTeX RDF
19	Chao Liang, Fan Ma, Linchao Zhu, Yingying Deng, Yi Yang 0001	CapHuman: Capture Your Moments in Parallel Universes.	CoRR	2024	DBLP DOI BibTeX RDF
19	Raffael Stenzel	On notions of compactness, object classifiers, and weak Tarski universes.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Krzysztof Urbanowski	Multiverse as an Ensemble of Stable and Unstable Universes.	Symmetry	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.	Artif. Intell. Rev.	2023	DBLP DOI BibTeX RDF
19	Urban Larsson, Richard J. Nowakowski, Carlos Pereira dos Santos	Infinitely many absolute universes.	CoRR	2023	DBLP DOI BibTeX RDF
19	Yoan Géran	Encoding impredicative hierarchy of type universes with variables.	CoRR	2023	DBLP DOI BibTeX RDF
19	Sara Babaee Khanehsar, Farzad Didehvar	Turing Machines Equipped with CTC in Physical Universes.	CoRR	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.	Soft Comput.	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.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
19	Bin Yang 0004, Mohammed Atef	Novel classes of fuzzy β-covering-based rough set over two distinct universes.	Fuzzy Sets Syst.	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.	Axioms	2022	DBLP DOI BibTeX RDF
19	Dan Yang, Mingjie Cai, Qingguo Li, Feng Xu	Multigranulation fuzzy probabilistic rough set model on two universes.	Int. J. Approx. Reason.	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.	Artif. Intell. Rev.	2022	DBLP DOI BibTeX RDF
19	Bin Yang 0004	Fuzzy covering-based rough set on two different universes and its application.	Artif. Intell. Rev.	2022	DBLP DOI BibTeX RDF
19	Jonas Schürmann, Bernhard Steffen	Lazy Merging: From a Potential of Universes to a Universe of Potentials.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2022	DBLP DOI BibTeX RDF
19	Daniel Gratzer, Michael Shulman, Jonathan Sterling	Strict universes for Grothendieck topoi.	CoRR	2022	DBLP BibTeX RDF
19	Norihiro Yamada	Game semantics of universes.	CoRR	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.	Soft Comput.	2022	DBLP DOI BibTeX RDF
19	Murat Diker, Aysegül Altay Ugur	Fuzzy rough set models over two universes using textures.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
19	Frédéric Blanqui	Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity.	FSCD	2022	DBLP DOI BibTeX RDF
19	Felix Bradley, Zhaohui Luo	A Metatheoretic Analysis of Subtype Universes.	TYPES	2022	DBLP DOI BibTeX RDF
19	Zsolt Csutak	Virtual universes: the various impacts of conspicuous alternative realities.	CEEeGov	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.	J. Exp. Theor. Artif. Intell.	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.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
19	Muhammad Asim Bilal, Muhammad Shabir	Approximations of pythagorean fuzzy sets over dual universes by soft binary relations.	J. Intell. Fuzzy Syst.	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.	J. Intell. Fuzzy Syst.	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.	IEEE Access	2021	DBLP DOI BibTeX RDF
19	Stefano Gualeni	A Theodicy for Artificial Universes: Moral Considerations on Simulation Hypotheses.	Int. J. Technoethics	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.	J. Intell. Fuzzy Syst.	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.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
19	Xiaonan Li, Qianqian Sun, Hongmei Chen, Huangjian Yi	Three-way decision on two universes.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
19	Aysegül Altay Ugur, Murat Diker	Generalized textural rough sets: Rough set models over two universes.	Inf. Sci.	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.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
19	Karol Pak	Grothendieck Universes.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
19	Valerio Faraoni	A Symmetry of the Einstein-Friedmann Equations for Spatially Flat, Perfect Fluid, Universes.	Symmetry	2020	DBLP DOI BibTeX RDF
19	Kirill Bronnikov, Vladimir Krechet, Vadim Oshurko	Rotating Melvin-like Universes and Wormholes in General Relativity.	Symmetry	2020	DBLP DOI BibTeX RDF
19	Irina Aref'eva, Igor Volovich	Gas of Baby Universes in JT Gravity and Matrix Models.	Symmetry	2020	DBLP DOI BibTeX RDF
19	Hu Zhao, Hong-Ying Zhang 0001	On hesitant neutrosophic rough set over two universes and its application.	Artif. Intell. Rev.	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.	CoRR	2020	DBLP BibTeX RDF
19	David H. Wolpert, David Kinney	Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes.	CoRR	2020	DBLP BibTeX RDF
19	Tanya Braun, Ralf Möller 0001	Exploring Unknown Universes in Probabilistic Relational Models.	CoRR	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.	CoRR	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.	Ingénierie des Systèmes d Inf.	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.	Complex.	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.	Inf. Fusion	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.	IDC	2020	DBLP DOI BibTeX RDF
19	Harry Maclean, Zhaohui Luo	Subtype Universes.	TYPES	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.	IPMU (3)	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).		2020	RDF
19	Roman V. Yampolskiy	Personal Universes: A Solution to the Multi-Agent Value Alignment Problem.	CoRR	2019	DBLP BibTeX RDF