|
|
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 | Guangming Lang, Junfang Luo, Yiyu Yao |
Three-way conflict analysis: A unification of models based on rough sets and formal concept analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 194, pp. 105556, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Vitaly Kocharovsky, Vladimir Kocharovsky, Sergey Tarasov |
Unification of the Nature's Complexities via a Matrix Permanent - Critical Phenomena, Fractals, Quantum Computing, ♯P-Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(3), pp. 322, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | James Kunert-Graf, Nikita A. Sakhanenko, David J. Galas |
Partial Information Decomposition and the Information Delta: A Geometric Unification Disentangling Non-Pairwise Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(12), pp. 1333, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
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) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 929, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Masaomi Kimura |
Correspondence analysis-based network clustering and importance of degenerate solutions unification of spectral clustering and modularity maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Netw. Anal. Min. ![In: Soc. Netw. Anal. Min. 10(1), pp. 71, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Nakhoon Choi, Heeyoul Kim |
Hybrid Blockchain-based Unification ID in Smart Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACT ![In: 22nd International Conference on Advanced Communication Technology, ICACT 2020, Phoenix Park, PyeongChang, Korea (South), February 16-19, 2020, pp. 166-170, 2020, IEEE, 979-11-88428-04-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Sergey A. Stupnikov |
Applying Model-Driven Approach for Data Model Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M2P ![In: Modelling to Program - Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers, pp. 212-232, 2020, Springer, 978-3-030-72695-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Temur Kutsia, Andrew M. Marshall (eds.) |
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Andreas Blass |
Functional Thesauri, Classifying Topoi, Unification, and Flatness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fields of Logic and Computation III ![In: Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, pp. 46-56, 2020, Springer, 978-3-030-48005-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Andrej Dudenhefner |
Undecidability of Semi-Unification on a Napkin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 9:1-9:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | David M. Cerna, Temur Kutsia |
Unital Anti-Unification: Type and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 26:1-26:20, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |
Efficient Full Higher-Order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 5:1-5:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Jayesh Patel |
Unification of Machine Learning Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020, pp. 1201-1205, 2020, IEEE, 978-1-7281-7303-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Daniel J. Abadi, Owen Arden, Faisal Nawab, Moshe Shadmon |
AnyLog: a Grand Unification of the Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDR ![In: 10th Conference on Innovative Data Systems Research, CIDR 2020, Amsterdam, The Netherlands, January 12-15, 2020, Online Proceedings, 2020, www.cidrdb.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Eray Özkural |
Omega: An Architecture for AI Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGI ![In: Artificial General Intelligence - 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings, pp. 267-278, 2020, Springer, 978-3-030-52151-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Marco Abbadini, Federica Di Stefano 0001, Luca Spada |
Unification in Łukasiewicz Logic with a Finite Number of Variables. ![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. 622-633, 2020, Springer, 978-3-030-50152-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Welsch, Vitaliy Kurlin |
Synthesis through unification genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: GECCO '20: Genetic and Evolutionary Computation Conference, Cancún Mexico, July 8-12, 2020, pp. 1029-1036, 2020, ACM, 978-1-4503-7128-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Rostyslav Tarasenko, Svitlana Amelina |
A Unification of the Study of Terminological Resource Management in the Automated Translation Systems as an Innovative Element of Technological Training of Translators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 16th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kharkiv, Ukraine, October 06-10, 2020., pp. 1012-1027, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Wei Jiang, Wei Wang 0311, Shan Liu 0001 |
Structured Weight Unification and Encoding for Neural Network Compression and Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2020, Seattle, WA, USA, June 14-19, 2020, pp. 3068-3076, 2020, Computer Vision Foundation / IEEE, 978-1-7281-9360-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Simon Spies, Yannick Forster 0002 |
Undecidability of higher-order unification formalised in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 143-157, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Nuri Cingillioglu, Alessandra Russo |
Learning Invariants through Soft Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual., 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | José Meseguer 0001 |
Variants in the Infinitary Unification Wonderland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA@ETAPS ![In: Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, pp. 75-95, 2020, Springer, 978-3-030-63594-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Artur Jez |
Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 3:1-3:17, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Barbara Morawska 0001 |
Unification in FL0 Modulo a Flat TBox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Terminating Non-disjoint Combined Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings, pp. 113-130, 2020, Springer, 978-3-030-68445-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, Yunus D. K. Kutz |
Nominal Unification with Letrec and Environment-Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings, pp. 95-112, 2020, Springer, 978-3-030-68445-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Philipp Ladwig, Kester Evers, Eric J. Jansen, Ben Fischer, David Nowottnik, Christian Geiger 0001 |
MotionHub: Middleware for Unification of Multiple Body Tracking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCO ![In: MOCO '20: 7th International Conference on Movement and Computing, virtual [Jersey City, NJ, USA], July 15-17, 2020, pp. 1:1-1:8, 2020, ACM, 978-1-4503-7505-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Seiichi Harata, Takuto Sakuma, Shohei Kato |
Emotional Space by Combining Recognition and Unification Tasks Using Multimodal DNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 9th IEEE Global Conference on Consumer Electronics, GCCE 2020, Kobe, Japan, October 13-16, 2020, pp. 957-959, 2020, IEEE, 978-1-7281-9802-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Paliath Narendran, Saumya Arora, Yu Zhang |
An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020., pp. 11:1-11:6, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Stéphanie Delaune |
Rewriting in Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020., pp. 1:1-1:1, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar, Brandon Rozek |
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020., pp. 10:1-10:6, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Paliath Narendran, Ashley Suchy, Yu Zhang |
Some Results on Prefix Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020., pp. 12:1-12:6, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Manfred Schmidt-Schauß |
Nominal Algorithms: Applications and Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020., pp. 2:1-2:6, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale |
An Investigation into General Nominal Equational Problems (Work in progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020., pp. 3:1-3:8, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
12 | Michael J. Risbeck, Christos T. Maravelias, James B. Rawlings |
Unification of closed-loop scheduling and control: State-space formulations, terminal constraints, and nominal theoretical properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 129, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wolfram Weckwerth |
Toward a Unification of System-Theoretical Principles in Biology and Ecology - The Stochastic Lyapunov Matrix Equation and Its Inverse Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Appl. Math. Stat. ![In: Frontiers Appl. Math. Stat. 5, pp. 29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Tomas Ambra, An Caris, Cathy Macharis |
Towards freight transport system unification: reviewing and combining the advancements in the physical internet and synchromodal transport research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 57(6), pp. 1606-1623, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Roski |
Bolzano and Kim on grounding and unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(7), pp. 2971-2999, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Molly Kao |
Unification beyond justification: a strategy for theory development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(8), pp. 3263-3278, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Surabhi Hom Choudhury, Amioy Kumar, Shahedul Haque Laskar |
Biometric Authentication through Unification of Finger Dorsal Biometric Traits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 497, pp. 202-218, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Chuck C. Liang |
On the unification of classical, intuitionistic and affine logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 29(8), pp. 1177-1216, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Florin F. Nichita |
Unification Theories: New Results and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 8(2), pp. 60, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Carlos A. Rubio, Felipe A. Asenjo, Sergio A. Hojman |
Quantum Cosmologies under Geometrical Unification of Gravity and Dark Energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(7), pp. 860, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Valeria Mongelli, Erik L. Meijs, Simon van Gaal, Peter Hagoort |
No language unification without neural feedback: How awareness affects sentence processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 202, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Philippe F. Gourdine, Matthew H. Brush, Nicole A. Vasilevsky, Kent A. Shefchek, Sebastian Köhler 0001, Nicolas Matentzoglu, Monica C. Munoz-Torres, Julie A. McMurry, Xingmin Aaron Zhang, Peter N. Robinson, Melissa A. Haendel |
Representing glycophenotypes: semantic unification of glycobiology resources for disease discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Database J. Biol. Databases Curation ![In: Database J. Biol. Databases Curation 2019, pp. baz114, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jianghua Duan, Yongsheng Ou, Sheng Xu 0004, Ming Liu 0001 |
Sequential learning unification controller from human demonstrations for robotic compliant manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 366, pp. 35-45, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Artur Jez |
Deciding Context Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 66(6), pp. 39:1-39:45, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Dusan Jakovetic |
A Unification and Generalization of Exact Distributed First-Order Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Inf. Process. over Networks ![In: IEEE Trans. Signal Inf. Process. over Networks 5(1), pp. 31-46, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | René Haberland |
Unification of Template-Expansion and XML-Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.08369, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Luka Nenadovic, Vladimir Prelovac |
Deep learning based unsupervised concept unification in the embedding space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.01873, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Philippe Balbiani, Çigdem Gencer |
About the unification type of simple symmetric modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.03770, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Chiranjib Sur |
CRUR: Coupled-Recurrent Unit for Unification, Conceptualization and Context Capture for Language Representation - A Generalization of Bi Directional LSTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.10132, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner |
Unification and combination of iterative insertion strategies with one-step traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.07668, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Christopher Lynch, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar |
On Asymmetric Unification for the Theory of XOR with a Homomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.00227, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Anti-unification in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.10333, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Jiaming Liu, Chihao Wu 0001, Yuzhi Wang, Qin Xu, Yuqian Zhou, Haibin Huang, Chuan Wang 0001, Shaofan Cai, Yifan Ding, Haoqiang Fan, Jue Wang 0001 |
Learning Raw Image Denoising with Bayer Pattern Unification and Bayer Preserving Augmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.12945, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel |
Unification-based Pointer Analysis without Oversharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.01706, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, Tim Rocktäschel |
NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.06187, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner |
Unification and combination of iterative insertion strategies with rudimentary traversals and failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.10901, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Nuri Cingillioglu, Alessandra Russo |
Learning Invariants through Soft Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.07328, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Vinícius R. Máximo, Mariá C. V. Nascimento |
Intensification, learning and diversification in a hybrid metaheuristic: an efficient unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 25(4-5), pp. 539-564, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Toshiyuki Nakajima |
Unification of Epistemic and Ontic Concepts of Information, Probability, and Entropy, Using Cognizers-System Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 21(2), pp. 216, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Edward Bormashenko |
The Landauer Principle: Re-Formulation of the Second Thermodynamics Law or a Step to Great Unification? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 21(10), pp. 918, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Peter Ochs, Jalal Fadili, Thomas Brox |
Non-smooth Non-convex Bregman Minimization: Unification and New Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 181(1), pp. 244-278, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wei Jiang, Zheng Wang 0008, Jesse S. Jin, Xian-Feng Han, Chunguang Li |
Speech Emotion Recognition with Heterogeneous Feature Unification of Deep Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(12), pp. 2730, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Piotr Wojtylak |
Unification in superintuitionistic Predicate Logics and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 12(1), pp. 37-61, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Manfred Schmidt-Schauß, David Sabel, Yunus D. K. Kutz |
Nominal unification with atom-variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 90, pp. 42-64, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Gonzague Yernaux, Wim Vanhoof |
Anti-unification in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 19(5-6), pp. 773-789, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | J. Gerard Wolff |
Mathematics as Information Compression via the Matching and Unification of Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2019, pp. 6427493:1-6427493:25, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani |
Remarks about the unification type of several non-symmetric non-transitive modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 27(5), pp. 639-658, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Piotr Wojtylak |
Unification in first-order transitive modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 27(5), pp. 693-717, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Krishnaiyan Thulasiraman, Mamta Yadav, Kshirasagar Naik |
Network Science Meets Circuit Theory: Resistance Distance, Kirchhoff Index, and Foster's Theorems With Generalizations and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 66-I(3), pp. 1090-1103, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ihab F. Ilyas |
Data unification at scale: data tamer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Making Databases Work ![In: Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker, pp. 269-277, 2019, ACM / Morgan & Claypool, 978-1-94748-719-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Irina Perfilieva, Anand Pratap Singh, S. P. Tiwari |
Aggregation Through Composition: Unification of Three Principal Fuzzy Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGOP ![In: New Trends in Aggregation Theory, International Summer School on Aggregation Functions, AGOP 2019, Olomouc, Czech Republic, July 1-4, 2019, pp. 63-74, 2019, Springer, 978-3-030-19493-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Balbiani |
Unification in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 1-5, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Shuichiro Yamamoto |
Enterprise Architecture Towards Transdisciplinary Knowledge Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIAI-AAI ![In: 8th International Congress on Advanced Applied Informatics, IIAI-AAI 2019, Toyama, Japan, July 7-11, 2019, pp. 833-838, 2019, IEEE, 978-1-7281-2627-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Qiang Duan, Shangguang Wang |
Network Cloudification Enabling Network - Cloud/Fog Service Unification: State of the Art and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: 2019 IEEE World Congress on Services, SERVICES 2019, Milan, Italy, July 8-13, 2019, pp. 153-159, 2019, IEEE, 978-1-7281-3851-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Maria Mannone, Federico Favali |
Categories, Musical Instruments, and Drawings: A Unification Dream. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCM ![In: Mathematics and Computation in Music - 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings, pp. 59-72, 2019, Springer, 978-3-030-21391-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Andrei Arusoaie, Dorel Lucanu |
Unification in Matching Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 502-518, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni, Ugo Montanari, Giorgio Mossa |
A Coalgebraic Approach to Unification Semantics of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 223-240, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran |
Asymmetric Unification and Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic, Theory Combination, and All That ![In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 497-522, 2019, Springer, 978-3-030-22101-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Xinyan Jiang, Meng Ding |
Unsupervised Monocular Depth Estimation with Scale Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCID (1) ![In: 12th International Symposium on Computational Intelligence and Design, ISCID 2019, Hangzhou, China, December 14-15, 2019, Volume 1, pp. 284-287, 2019, IEEE, 978-1-7281-4653-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Rule-Based Unification in Combined Theories and the Finite Variant Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, pp. 356-367, 2019, Springer, 978-3-030-13434-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Hangbo Bao, Li Dong 0004, Furu Wei, Wenhui Wang 0003, Nan Yang 0002, Lei Cui 0001, Songhao Piao, Ming Zhou 0001 |
Inspecting Unification of Encoding and Matching with Transformer: A Case Study of Machine Reading Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MRQA@EMNLP ![In: Proceedings of the 2nd Workshop on Machine Reading for Question Answering, MRQA@EMNLP 2019, Hong Kong, China, November 4, 2019, pp. 14-18, 2019, Association for Computational Linguistics, 978-1-950737-81-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Artur Jez |
Deciding Context Unification (with Regular Constraints). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings, pp. 18-40, 2019, Springer, 978-3-030-24885-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jesús Domínguez, Maribel Fernández |
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings, pp. 64-79, 2019, Springer, 978-3-030-25026-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Lists with Reverse Relation with Certain Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 1-17, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Bhayat, Giles Reger |
Restricted Combinatory Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, pp. 74-93, 2019, Springer, 978-3-030-29435-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle, Ana Klimovic, Adrian Schüpbach, Bernard Metzler |
Unification of Temporary Storage in the NodeKernel Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019, pp. 767-782, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Alexei Korolev, Ilia Garmashov |
Game Equilibria and Transition Dynamics with Networks Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCGO ![In: Optimization of Complex Systems: Theory, Models, Algorithms and Applications, WCGO 2019, World Congress on Global Optimization, Metz, France, 8-10 July, 2019., pp. 398-406, 2019, Springer, 978-3-030-21802-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jiaming Liu, Chihao Wu 0001, Yuzhi Wang, Qin Xu, Yuqian Zhou, Haibin Huang, Chuan Wang 0001, Shaofan Cai, Yifan Ding, Haoqiang Fan, Jue Wang 0001 |
Learning Raw Image Denoising With Bayer Pattern Unification and Bayer Preserving Augmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2019, Long Beach, CA, USA, June 16-20, 2019, pp. 2070-2077, 2019, Computer Vision Foundation / IEEE. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
12 | Chang Zhou, Lai Man Po, Mengyang Liu, Wilson Y. F. Yuen, Peter H. W. Wong, Hon-Tung Luk, Kin Wai Lau, Hok Kwan Cheung |
Deep Hashing with Triplet Labels and Unification Binary Code Selection for Fast Image Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM (1) ![In: MultiMedia Modeling - 25th International Conference, MMM 2019, Thessaloniki, Greece, January 8-11, 2019, Proceedings, Part I, pp. 277-288, 2019, Springer, 978-3-030-05709-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel |
Unification-based Pointer Analysis without Oversharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 37-45, 2019, IEEE, 978-0-9835678-9-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
A Certified Functional Nominal C-Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers, pp. 123-138, 2019, Springer, 978-3-030-45259-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Reda Belaiche, Cyrille Migniot, Dominique Ginhac, Fan Yang 0019 |
Time Unification on Local Binary Patterns Three Orthogonal Planes for Facial Expression Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: 15th International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2019, Sorrento, Italy, November 26-29, 2019, pp. 436-439, 2019, IEEE, 978-1-7281-5686-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Christopher Lynch, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar |
On Asymmetric Unification for the Theory of XOR with a Homomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 297-312, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Peter Golubtsov |
Information Spaces for Big Data Processing: Unification and Parallelization of Sequential Information Accumulation Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI (1) ![In: 21st IEEE Conference on Business Informatics, CBI 2019, Moscow, Russia, July 15-17, 2019, Volume 1 - Research Papers, pp. 212-220, 2019, IEEE, 978-1-7281-0650-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Besik Dundua, Temur Kutsia, Mikheil Rukhaia |
Unranked Nominal Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Language, Logic, and Computation - 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers, pp. 279-296, 2019, Springer, 978-3-030-98478-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, Tim Rocktäschel |
NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 57th Conference of the Association for Computational Linguistics, ACL 2019, Florence, Italy, July 28- August 2, 2019, Volume 1: Long Papers, pp. 6151-6161, 2019, Association for Computational Linguistics, 978-1-950737-48-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Dimitrios K. Iakovidis, Spiros V. Georgakopoulos, Michael Vasilakakis, Anastasios Koulaouzidis, Vassilis P. Plagianakos |
Detecting and Locating Gastrointestinal Anomalies Using Deep Learning and Iterative Cluster Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 37(10), pp. 2196-2210, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
|
|