|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1037 occurrences of 720 keywords
|
|
|
Results
Found 3060 publication records. Showing 3060 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | S. K. Lakshminarayana, Prabhugoud I. Basarkod |
Unification of K-Nearest Neighbor (KNN) with Distance Aware Algorithm for Intrusion Detection in Evolving Networks Like IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 132(3), pp. 2255-2281, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia |
Equational Anti-Unification over Absorption Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.11136, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nikolai Kudasov |
E-unification for Second-Order Abstract Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.05815, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Dowek |
The Undecidability of Unification Modulo σ Alone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06214, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Dowek |
A Unification Algorithm for Second-Order Linear Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.02024, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojtek Szpankowski, Chai Wah Wu, Mark S. Squillante, Alex Gray |
Towards a Unification of Logic and Information Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.10414, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan |
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15651, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhongda Chu, Fei Teng 0005 |
Stability Constrained Optimization in High IBR-Penetrated Power Systems-Part I: Constraint Development and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.12151, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Mostafanejad |
Unification of popular artificial neural network activation functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.11007, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Anti-unification and Generalization: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.00277, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xu Liu, Tong Zhou, Yuanxin Wang, Yuping Wang, Qinjingwen Cao, Weizhi Du, Yonghuan Yang, Junjun He, Yu Qiao, Yiqing Shen 0003 |
Towards the Unification of Generative and Discriminative Visual Foundation Model: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.10163, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhibo Chen 0009, Frank Pfenning |
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.07263, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ivo Düntsch, Wojciech Dzik |
The fork and its role in unification of closure algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.16824, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Harshit Sikchi, Amy Zhang 0001, Scott Niekum |
Imitation from Arbitrary Experience: A Dual Unification of Reinforcement and Imitation Learning Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.08560, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sabah Al-Fedaghi |
In Pursuit of Unification of Conceptual Models: Sets as Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13833, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna |
Recursive First-order Syntactic Unification Modulo Variable Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.09152, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xihua Xu |
Unification of Lagrangian staggered-grid hydrodynamics and cell-centered hydrodynamics in one dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.14054, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xingtong Yu, Zhenghao Liu, Yuan Fang 0001, Zemin Liu, Sihong Chen, Xinming Zhang 0001 |
Generalized Graph Prompt: Toward a Unification of Pre-Training and Downstream Tasks on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.15317, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Vanessa Wirth 0001, Vanessa Wirth 0002 |
Author-Unification: Name-, Institution-, and Career-Sharing Co-authors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.17328, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner |
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | August J. Naudé, Herman C. Myburgh |
Unification of Road Scene Segmentation Strategies Using Multistream Data and Latent Space Attention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(17), pp. 7355, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kevin Kappelmann |
Unification Utilities for Isabelle/ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Jean-Pierre Jouannaud, Fernando Orejas |
Unification of drags and confluence of drag rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 131, pp. 100845, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | José Meseguer 0001 |
Variants and satisfiability in the infinitary unification wonderland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 134, pp. 100877, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Pankaj, Ashish Kumar 0005, Rama Komaragiri, Manjeet Kumar |
A novel CS-NET architecture based on the unification of CNN, SVM and super-resolution spectrogram to monitor and classify blood pressure using photoplethysmography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 240, pp. 107716, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Emmanuel Oluseye Adeyefa, Ezekiel Olaoluwa Omole |
A continuous five-step implicit block unification method for numerical solution of second-order elliptic partial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Oper. Res. ![In: Int. J. Math. Oper. Res. 24(3), pp. 360-386, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi |
Unification types in Euclidean modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 31(3), pp. 422-440, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev |
Remarks about the unification types of some locally tabular normal modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 31(1), pp. 115-139, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mediva Haura, Agatha Constansha, Levana Dhia Prawati |
Implementation of Tax Technology e-Bupot Unification in Indonesia: Applying the DeLone & McLean Information Systems Success Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEME ![In: Proceedings of the 14th International Conference on E-business, Management and Economics, ICEME 2023, Beijing, China, July 21-23, 2023, pp. 209-215, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl |
Refining Unification with Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 36-47, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tianze Zhang, Haolin Ren, Qian'Ang Mao, Cong Ma, Shuxi Liang, Daning Hu, Xiao Fan Liu |
Unlocking Decentralized Lending Protocols: Semantic Unification and Risk Spillover Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM (Workshops) ![In: IEEE International Conference on Data Mining, ICDM 2023 - Workshops, Shanghai, China, December 4, 2023, pp. 691-697, 2023, IEEE, 979-8-3503-8164-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xiang Gao, Honghui Lin, Yu Li, Ruiyan Fang, Xin Zhang |
Look and Think: Intrinsic Unification of Self-Attention and Convolution for Spatial-Channel Specificity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023, pp. 1-5, 2023, IEEE, 978-1-7281-6327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nikolai Kudasov |
E-Unification for Second-Order Abstract Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 10:1-10:22, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Victor Araújo, Riei Joaquim Matos Rodrigues, José Victor Silva Cruz, Lucas Cavalcanti, Matheus Vinícius Teotonio do Nascimento Andrade, Matheus Paixão Gumercindo dos Santos, João G. Melo, Pedro Paulo Salman de Oliveira, Ryan Vinicius Santos Morais, Edna Barros |
RobôCIn SSL-Unification: A Modular Software Architecture for Dynamic Multi-robot Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2023: Robot World Cup XXVI [Bordeaux, France, 4-10 July, 2023]., pp. 313-324, 2023, Springer, 978-3-031-55014-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Joachim Baumann 0002, Corinna Hertweck, Michele Loi, Christoph Heitz |
Unification, Extension, and Interpretation of Group Fairness Metrics for ML-Based Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWAF ![In: Proceedings of the 2nd European Workshop on Algorithmic Fairness, Winterthur, Switzerland, June 7th to 9th, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson 0001 |
Superposition with Delayed Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 23-40, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho |
Towards Fast Nominal Anti-unification of Letrec-Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 456-473, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Tomoki Ichikawa, Yoshiki Fukao, Shohei Nobuhara, Ko Nishino |
Fresnel Microfacet BRDF: Unification of Polari-Radiometric Surface-Body Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023, pp. 16489-16497, 2023, IEEE, 979-8-3503-0129-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Roger Bosman, Georgios Karachalias, Tom Schrijvers |
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland, pp. 8:1-8:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-284-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jaron Maene, Luc De Raedt |
Soft-Unification in Deep Probabilistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Karina Melnyk, Yaroslav Kravets, Iryna Liutenko, Svitlana Yershova, Oksana Ivashchenko, Dmytro Yershov, Olena Odyntsova |
Multi-Agent Approach for the Unification of Meteorological Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLINS (3) ![In: Proceedings of the 7th International Conference on Computational Linguistics and Intelligent Systems. Volume III: Intelligent Systems Workshop, Kharkiv, Ukraine, April 20-21, 2023., pp. 476-486, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
12 | Maribel Fernández |
Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings, pp. 3-6, 2023, Springer, 978-3-031-45783-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Predicate Anti-unification in (Constraint) Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings, pp. 131-149, 2023, Springer, 978-3-031-45783-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mehrdad Khatir, Nurendra Choudhary, Sutanay Choudhury, Khushbu Agarwal, Chandan K. Reddy |
A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 3875-3883, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Anti-unification and Generalization: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6563-6573, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Masaya Sato, Keisuke Maeda, Ren Togo, Takahiro Ogawa 0001, Miki Haseyama |
Caption Unification for Multiple Viewpoint Lifelogging Images and Its Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 12th IEEE Global Conference on Consumer Electronics, GCCE 2023, Nara, Japan, October 10-13, 2023, pp. 415-416, 2023, IEEE, 979-8-3503-4018-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xiaoyu Li, Xiao Dai, Dan Wang |
Target Tracking Algorithm Based on Hybrid Attention Unification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIBDA ![In: Advances in Artificial Intelligence, Big Data and Algorithms - Proceedings of the 3rd International Conference on Artificial Intelligence, Big Data and Algorithms (CAIBDA 2023) - 16-18 June 2023, Zhengzhou, China, pp. 1116-1122, 2023, IOS Press, 978-1-64368-444-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz |
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 185(3), pp. 247-283, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Panpan Zhang, Zhicai Li, Lifeng Bao, Peng Zhang, Yongshang Wang, Lin Wu 0003, Yong Wang |
The Refined Gravity Field Models for Height System Unification in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(6), pp. 1437, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Gruber 0003, Jonas Ågren, Detlef Angermann, Artu Ellmann, Andreas Engfeldt, Christoph Gisinger, Leszek Jaworski, Tomasz Kur, Simo Marila, Jolanta Nastula, Faramarz Nilfouroushan, Maaria Nordman, Markku Poutanen, Timo Saari, Marius Schlaak, Anna Swiatek, Sander Varbla, Ryszard Zdunek |
Geodetic SAR for Height System Unification and Sea Level Research - Results in the Baltic Sea Test Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(14), pp. 3250, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | James Joseph Wright, Paul David Bourke |
Unification of free energy minimization, spatiotemporal energy, and dimension reduction models of V1 organization: Postnatal learning on an antenatal scaffold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Neurosci. ![In: Frontiers Comput. Neurosci. 16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rahul Sharma 0011, Minakshi Kaushik, Sijo Arakkal Peious, Alexandre Bazin, Syed Attique Shah, Iztok Fister Jr., Sadok Ben Yahia, Dirk Draheim |
A Novel Framework for Unification of Association Rule Mining, Online Analytical Processing and Statistical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 12792-12813, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Svetlana V. Minina, Nikita E. Shklovskiy-Kordi |
Neuron quantum computers and a way to unification of science: A compendium of Efim Liberman's scientific work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 217, pp. 104684, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sonal Tuteja, Rajeev Kumar 0004 |
A Unification of Heterogeneous Data Sources into a Graph Model in E-commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Sci. Eng. ![In: Data Sci. Eng. 7(1), pp. 57-70, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Constantinos G. Vayenas, Dimitrios Grigoriou, Dionysios Tsousis, Konstantinos Parisis, Elias C. Aifantis |
Computation of the Deuteron Mass and Force Unification via the Rotating Lepton Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(11), pp. 657, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev |
About the unification type of $\mathbf {K}+\square \square \bot $. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 90(5), pp. 481-497, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Guoqing Zhang 0002, Zhiyuan Luo 0003, Yuhao Chen, Yuhui Zheng, Weisi Lin |
Illumination Unification for Person Re-Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 32(10), pp. 6766-6777, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Liisa Holm |
Dali server: structural unification of protein families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 50(W1), pp. 210-215, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ghassen Hamdi, Abdelmoutia Telli, Mohamed Nazih Omri |
Querying of several DL-Lite knowledge bases from various information sources-based polynomial response unification approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. King Saud Univ. Comput. Inf. Sci. ![In: J. King Saud Univ. Comput. Inf. Sci. 34(4), pp. 1161-1171, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Tomoki Ichikawa, Yoshiki Fukao, Shohei Nobuhara, Ko Nishino |
Fresnel Microfacet BRDF: Unification of Polari-Radiometric Surface-Body Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.04483, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Bin Yan 0004, Yi Jiang, Peize Sun, Dong Wang 0004, Zehuan Yuan, Ping Luo 0002, Huchuan Lu |
Towards Grand Unification of Object Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.07078, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna |
A Special Case of Schematic Syntactic Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.10298, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
12 | Ximing Qiao, Hai Li 0001 |
Learning and Compositionality: a Unification Attempt via Connectionist Probabilistic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12789, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova |
babble: Learning Better Abstractions with E-Graphs and Anti-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.04596, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ran Gutin |
Unitary canonical forms over Clifford algebras, and an observed unification of some real-matrix decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.04272, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Andrew Draganov, Tyrus Berry, Jakob Rødsgaard Jørgensen, Katrine Scheel Nellemann, Ira Assent, Davide Mottin |
GiDR-DUN; Gradient Dimensionality Reduction - Differences and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.09689, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nikolai Kudasov |
Functional Pearl: Dependent type inference via free higher-order unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.05653, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Joachim Baumann 0002, Corinna Hertweck, Michele Loi, Christoph Heitz |
Distributive Justice as the Foundational Premise of Fair ML: Unification, Extension, and Interpretation of Group Fairness Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.02897, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mehrdad Khatir, Nurendra Choudhary, Sutanay Choudhury, Khushbu Agarwal, Chandan K. Reddy |
Pseudo-Poincaré: A Unification Framework for Euclidean and Hyperbolic Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.04285, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Michal Buran, David M. Cerna |
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.08918, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner |
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.13428, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yingxue Fu |
Towards Unification of Discourse Annotation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.07781, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nic Fishman, Leif Hancox-Li |
Should attention be all we need? The epistemic and ethical implications of unification in machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.08377, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Shailendra Singh 0005, S. P. Tiwari |
On unification of categories of fuzzy automata as Qua category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 26(4), pp. 1509-1529, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Slawomir Kost, Piotr Wojtylak |
Finitary unification in locally tabular modal logics characterized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 173(4), pp. 103072, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Oded Shor, Felix Benninger, Andrei Yu. Khrennikov |
Towards Unification of General Relativity and Quantum Theory: Dendrogram Representation of the Event-Universe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(2), pp. 181, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ehsan Abedi, Simone Carlo Surace, Jean-Pascal Pfister |
A Unification of Weighted and Unweighted Particle Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 60(2), pp. 597-619, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Becher, Armin Gerl |
ConTra Preference Language: Privacy Preference Unification via Privacy Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(14), pp. 5428, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Dennis de Champeaux |
Faster Linear Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 66(4), pp. 845-860, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Steven Eker |
Associative unification in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 126, pp. 100747, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner |
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 125, pp. 100746, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Zofia Kostrzycka |
Projective unification in weakly transitive and weakly symmetric modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 32(5), pp. 996-1013, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Mojtaba Mojtahedi |
Unification with parameters in the implication fragment of classical propositional logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 30(3), pp. 454-464, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Bahram Farhadinia |
An innovative unification process for probabilistic hesitant fuzzy elements and its application to decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Optim. Decis. Mak. ![In: Fuzzy Optim. Decis. Mak. 21(3), pp. 335-382, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | George A. Anastassiou |
Unification of Fractional Calculi with Applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
12 | Max Lübbering, Maren Pielka, Ilhamcengiz Henk, Rafet Sifa |
Datastack: Unification of Heterogeneous Machine Learning Dataset Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: 38th IEEE International Conference on Data Engineering Workshops, ICDE Workshops 2022, Kuala Lumpur, Malaysia, May 9, 2022, pp. 66-69, 2022, IEEE, 978-1-6654-8104-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Seiichi Harata, Takuto Sakuma, Shohei Kato |
Audio-Visual Shared Emotion Representation for Robust Emotion Recognition on Modality Missing Using Hemi-hyperspherical Embedding and Latent Space Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (38) ![In: HCI International 2022 Posters - 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II, pp. 137-143, 2022, Springer, 978-3-031-06387-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Hai Lin 0005, Christopher Lynch |
Local XOR Unification: Definitions, Algorithms and Application to Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, pp. 272-289, 2022, Springer, 978-3-031-17714-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Pedro Ângelo 0002, Mário Florido |
Type Inference for Rank-2 Intersection Types Using Set Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, pp. 462-480, 2022, Springer, 978-3-031-17714-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Moshe Y. Vardi, Seth Fogarty, Yong Li 0031, Yih-Kuen Tsay |
Towards a Grand Unification of Büchi Complementation Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Systems Design ![In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, pp. 185-207, 2022, Springer, 978-3-031-22336-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | René Arnulfo García-Hernández, Yulia Ledeneva, Ángel Hernández-Castañeda, Gabriela Villada Ramírez |
Unification of Source-Code Re-Use Similarity Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI (1) ![In: Advances in Computational Intelligence - 21st Mexican International Conference on Artificial Intelligence, MICAI 2022, Monterrey, Mexico, October 24-29, 2022, Proceedings, Part I, pp. 397-409, 2022, Springer, 978-3-031-19492-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho |
Nominal Anti-Unification with Atom-Variables. ![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. 7:1-7:22, 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 |
|
12 | Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho |
A Certified Algorithm for AC-Unification. ![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. 8:1-8:21, 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 |
|
12 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Narciso Martí-Oliet, José Meseguer 0001, Rubén Rubio, Carolyn L. Talcott |
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 529-540, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Rahul Sharma 0011, Minakshi Kaushik, Sijo Arakkal Peious, Mahtab Shahin, Amrendra Singh Yadav, Dirk Draheim |
Towards Unification of Statistical Reasoning, OLAP and Association Rule Mining: Semantics and Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (1) ![In: Database Systems for Advanced Applications - 27th International Conference, DASFAA 2022, Virtual Event, April 11-14, 2022, Proceedings, Part I, pp. 596-603, 2022, Springer, 978-3-031-00122-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani, Quentin Gougeon |
Projective unification through duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 119-134, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
12 | Hiroki Uematsu, Phuc Nguyen 0001, Hideaki Takeda 0001 |
Design for Data Structures: Data Unification and Federation with Wikibase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, Big Data 2022, Osaka, Japan, December 17-20, 2022, pp. 6169-6178, 2022, IEEE, 978-1-6654-8045-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Anshu Dubey, Tom Klosterman |
Language Agnostic Approach for Unification of Implementation Variants for Different Computing Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM (1) ![In: Parallel Processing and Applied Mathematics - 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I, pp. 279-290, 2022, Springer, 978-3-031-30441-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mirko Bunse |
Unification of Algorithms for Quantification and Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022, Hamburg, pp. 459-468, 2022, Gesellschaft für Informatik, Bonn, 978-3-88579-720-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jordan Samhi, Jun Gao 0001, Nadia Daoudi, Pierre Graux, Henri Hoyez, Xiaoyu Sun 0002, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein |
JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pp. 1232-1244, 2022, ACM, 978-1-4503-9221-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 3060 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|