|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4666 occurrences of 2688 keywords
|
|
|
Results
Found 6250 publication records. Showing 6250 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Anupam Das 0002, Lukas Melgaard |
Cyclic Proofs for Arithmetical Inductive Definitions. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alfredo Cuzzocrea, Selim Soufargi |
QFLS: A Cloud-Based Framework for Supporting Big Healthcare Data Management and Analytics from Big Data Lakes: Definitions, Requirements, Models and Techniques. |
DATA |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jakub Bulín, Michael Kompatscher |
Short Definitions in Constraint Languages. |
MFCS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alessandro Berti, Daniel Schuster 0001, Wil M. P. van der Aalst |
Abstractions, Scenarios, and Prompt Definitions for Process Mining with LLMs: A Case Study. |
Business Process Management Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Anna Yi Leung, Xenia Schmalz |
In search of proxy measures of heterogeneity in conceptual definitions: A cognitive linguistic perspective. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
12 | Yunxiao Zhou, Shengli Liu 0001, Shuai Han 0001, Haibin Zhang |
Fine-Grained Proxy Re-encryption: Definitions and Constructions from LWE. |
ASIACRYPT (6) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ce Zheng, Yiming Wang, Baobao Chang |
Query Your Model with Definitions in FrameNet: An Effective Method for Frame Semantic Role Labeling. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Olivia Doggett, Kelly Bronson, Robert Soden |
HCI Research on Agriculture: Competing Sociotechnical Imaginaries, Definitions, and Opportunities. |
CHI |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Luigi Procopio, Simone Conia, Edoardo Barba, Roberto Navigli |
Entity Disambiguation with Entity Definitions. |
EACL |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Danilo Silva de Carvalho, Giangiacomo Mercatali, Yingji Zhang, André Freitas |
Learning Disentangled Representations for Natural Language Definitions. |
EACL (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Minhao Qiu, Peter Bazan, Tobias Antesberger, Reinhard German |
Improved Sensor Error Definitions for Reliability Analysis of Multi-Sensor Systems. |
ICSRS |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jesús Lovón-Melgarejo, José G. Moreno 0001, Romaric Besançon, Olivier Ferret, Lynda Tamine |
Reconnaissance d'Entités Nommées fondée sur des Modèles de Langue Enrichis avec des Définitions des Types d'Entités. |
CORIA-TALN |
2023 |
DBLP BibTeX RDF |
|
12 | Suvradip Chakraborty, Manoj Prabhakaran 0001, Daniel Wichs |
A Map of Witness Maps: New Definitions and Connections. |
Public Key Cryptography (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Irene Morazzoni, Vincenzo Scotti 0001, Roberto Tedesco |
Def2Vec: Extensible Word Embeddings from Dictionary Definitions. |
ICNLSP |
2023 |
DBLP BibTeX RDF |
|
12 | Thibaut Benajmin, Julien Signoles |
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Stefan A. Wiesner, Jannicke Baalsrud Hauge, Klaus-Dieter Thoben |
Smart Product-Service System Definitions and Elements - Relationship to Sustainability. |
APMS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Junzuo Lai, Gongxian Zeng, Zhengan Huang, Siu Ming Yiu, Xin Mu, Jian Weng 0001 |
Asymmetric Group Message Franking: Definitions and Constructions. |
EUROCRYPT (5) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Arthur Rodrigues Soares de Quadros, Sarah Luiza de Souza Magalhães, Giulia Zanon de Castro, Jéssica Assunção da Almeida de Lima, Wladmir Cardoso Brandão, Alessandro Garcia Vieira |
Impacts of Social Factors in Wage Definitions. |
WEBIST |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Youri Peskine, Damir Korencic, Ivan Grubisic 0002, Paolo Papotti, Raphaël Troncy, Paolo Rosso |
Definitions Matter: Guiding GPT for Multi-label Classification. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | François Remy, Kris Demuynck, Thomas Demeester |
Automatic Glossary of Clinical Terminology: a Large-Scale Dictionary of Biomedical Definitions Generated from Ontological Knowledge. |
BioNLP@ACL |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
Definitions and (Uniform) Interpolants in First-Order Modal Logic. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jiaying Liu 0010, Yan Zhang 0005, Yeolib Kim |
Consumer Health Information Quality, Credibility, and Trust: An Analysis of Definitions, Measures, and Conceptual Dimensions. |
CHIIR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Morgane Goibert, Clément Calauzènes, Ekhine Irurozki, Stéphan Clémençon |
Robust Consensus in Ranking Data Analysis: Definitions, Properties and Computational Issues. |
ICML |
2023 |
DBLP BibTeX RDF |
|
12 | Yivan Zhang, Masashi Sugiyama |
A Category-theoretical Meta-analysis of Definitions of Disentanglement. |
ICML |
2023 |
DBLP BibTeX RDF |
|
12 | Fan Yin, Jesse Vig, Philippe Laban, Shafiq Joty, Caiming Xiong, Chien-Sheng Wu |
Did You Read the Instructions? Rethinking the Effectiveness of Task Definitions in Instruction Learning. |
ACL (1) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Hwiyeol Jo |
A Self-Supervised Integration Method of Pretrained Language Models and Word Definitions. |
ACL (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sunjae Kwon, Rishabh Garodia, Minhwa Lee, Zhichao Yang 0001, Hong Yu 0001 |
Vision Meets Definitions: Unsupervised Visual Word Sense Disambiguation Incorporating Gloss Information. |
ACL (1) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mariarosaria Taddeo, Alexander Blanchard |
A Comparative Analysis of the Definitions of Autonomous Weapons Systems. |
Sci. Eng. Ethics |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Aya Khaled Youssef Sayed Mohamed, Dagmar Auer, Daniel Hofer, Josef Küng |
A systematic literature review for authorization and access control: definitions, strategies and models. |
Int. J. Web Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ana Perisic 0001, Dubravka Sisak Jung, Marko Pahor |
Churn in the mobile gaming field: Establishing churn definitions and measuring classification similarities. |
Expert Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Hernane Borges de Barros Pereira, Marcos Grilo Rosa, Inácio de Sousa Fadigas, Cleônidas Tavares de Souza Junior, Marcelo do Vale Cunha, Renata Souza Freitas Dantas Barreto, Júlia Carvalho Andrade, Trazíbulo Henrique |
Systematic review of the "semantic network" definitions. |
Expert Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Alcides Gonçalves Lopes Junior, Joel Luis Carbonera, Daniela Schimdt, Mara Abel |
Predicting the top-level ontological concepts of domain entities using word embeddings, informal definitions, and deep learning. |
Expert Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Samar Binkheder, Heng-Yi Wu, Sara K. Quinney, Shijun Zhang, Md. Muntasir Zitu, Chienwei Chiang, Lei Wang, Josette Jones, Lang Li 0001 |
PhenoDEF: a corpus for annotating sentences with information of phenotype definitions in biomedical literature. |
J. Biomed. Semant. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Samar Binkheder, Heng-Yi Wu, Sara K. Quinney, Shijun Zhang, Md. Muntasir Zitu, Chienwei Chiang, Lei Wang, Josette Jones, Lang Li 0001 |
Correction: PhenoDEF: a corpus for annotating sentences with information of phenotype definitions in biomedical literature. |
J. Biomed. Semant. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Dejarvis Oliver, Adriane B. Randolph |
Hacker Definitions in Information Systems Research. |
J. Comput. Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Shofiyati Nur Karimah, Shinobu Hasegawa |
Automatic engagement estimation in smart education/learning settings: a systematic review of engagement definitions, datasets, and methods. |
Smart Learn. Environ. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ana Fernández-Montes de Oca, Adrián Ghilardi, Edith Kauffer, José Alberto Gallardo-Cruz, Juan Manuel Núñez, Victor Sánchez-Cordero |
Harmonizing Definitions and Methods to Estimate Deforestation at the Lacandona Tropical Region in Southern Mexico. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Heyang Song, Dongdong Kong, Li Xiong 0017, Xihui Gu, Jianyu Liu |
Inter-Comparison of Diverse Heatwave Definitions in the Analysis of Spatiotemporally Contiguous Heatwave Events over China. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ben Smyth, Michael R. Clarkson |
Surveying definitions of election verifiability. |
Inf. Process. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Chong Shen 0003, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao |
Hofmann-Mislove type definitions of non-Hausdorff spaces. |
Math. Struct. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Abbas M. Al-Ghaili, Hairoladenan Kasim, Naif Mohammed Al-Hada, Zainuddin Bin Hassan, Marini Othman, Jakir Hussain Tharik, Rafiziana Md. Kasmani, Ibraheem Shayea |
A Review of Metaverse's Definitions, Architecture, Applications, Challenges, Issues, Solutions, and Future Trends. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Malak Baslyman |
Digital Transformation From the Industry Perspective: Definitions, Goals, Conceptual Model, and Processes. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jessica Formosa, Nicholas O'Donnell, Ella M. Horton 0001, Selen Türkay, Regan L. Mandryk, Michael Hawks, Daniel Johnson 0001 |
Definitions of Esports: A Systematic Review and Thematic Analysis. |
Proc. ACM Hum. Comput. Interact. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Vincent P. Paglioni, Katrina M. Groth |
Dependency definitions for quantitative human reliability analysis. |
Reliab. Eng. Syst. Saf. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jun Li, Jie Su |
Semantic Trajectory Frequent Pattern Mining Model: The Definitions and Theorems. |
Int. J. Semantic Web Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mathias Fleury, Armin Biere |
Mining definitions in Kissat with Kittens. |
Formal Methods Syst. Des. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ann Marie Navar, Irene Cosmatos, Stacey Purinton, Janet L. Ramsey, Robert J. Taylor, Rachel E. Sobel, Ginger Barlow, Gretchen S. Dieck, Michael L. Bulgrein, Eric D. Peterson |
Using EHR data to identify coronavirus infections in hospitalized patients: Impact of case definitions on disease surveillance. |
Int. J. Medical Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Anaïs Durand, Michel Raynal, Gadi Taubenfeld |
Contention-related crash failures: Definitions, agreement algorithms, and impossibility results. |
Theor. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Auriol Degbelo |
FAIR geovisualizations: definitions, challenges, and the road ahead. |
Int. J. Geogr. Inf. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jiasi Weng 0001, Shenglong Yao, Yuefeng Du 0001, Junjie Huang, Jian Weng 0001, Cong Wang 0001 |
Proof of Unlearning: Definitions and Instantiation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | John Kirchenbauer, Jacob Oaks, Eric Heim |
What is Your Metric Telling You? Evaluating Classifier Calibration under Context-Specific Definitions of Reliability. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Arushi Gupta, Nikunj Saunshi, Dingli Yu, Kaifeng Lyu, Sanjeev Arora |
New Definitions and Evaluations for Saliency Methods: Staying Intrinsic, Complete and Sound. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | M. Z. Naser |
Simplifying Causality: A Brief Review of Philosophical Views and Definitions with Examples from Economics, Education, Medicine, Policy, Physics and Engineering. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Thilo von Neumann, Christoph Böddeker, Keisuke Kinoshita, Marc Delcroix, Reinhold Haeb-Umbach |
On Word Error Rate Definitions and their Efficient Computation for Multi-Speaker Speech Recognition Systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Fabio Massimo Zennaro |
Abstraction between Structural Causal Models: A Review of Definitions and Properties. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Prabhanjan Ananth, Aditya Gulati, Luowen Qian, Henry Yuen |
Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Adrien Merlini, Clément Henry, Davide Consoli, Lyes Rahmouni, Alexandre Dély, Francesco Paolo Andriulli |
Laplacian Filtered Loop-Star Decompositions and Quasi-Helmholtz Laplacian Filters: Definitions, Analysis, and Efficient Algorithms. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Robin W. Na, Simon DeDeo |
The Diversity of Argument-Making in the Wild: from Assumptions and Definitions to Causation and Anecdote in Reddit's "Change My View". |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Angelo G. Menezes, Gustavo de Moura, Cézanne Alves, André C. P. L. F. de Carvalho |
Continual Object Detection: A review of definitions, strategies, and challenges. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Hossein Tabatabaei, Roman Vitenberg, Narasimha Raghavan Veeraragavan |
Understanding blockchain: definitions, architecture, design, and system comparison. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Enes Altuncu, Virginia N. L. Franqueira, Shujun Li |
Deepfake: Definitions, Performance Metrics and Standards, Datasets and Benchmarks, and a Meta-Review. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Reuth Mirsky, Ignacio Carlucho, Arrasy Rahman, Elliot Fosong, William Macke, Mohan Sridharan, Peter Stone, Stefano V. Albrecht |
A Survey of Ad Hoc Teamwork: Definitions, Methods, and Open Problems. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | Weiyu Zhang, Gionnieve Lim, Simon T. Perrault, Chuyao Wang |
A Review of Research on Civic Technology: Definitions, Theories, History and Insights. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Norman Danner |
Recurrence extraction and denotational semantics with recursive definitions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sankha S. Basu, Sayantan Roy |
Negation-Free Definitions of Paraconsistency. |
NCL |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Wei Kang, Daniel M. Tartakovsky, Apoorv Srivastava |
Feature-Informed Data Assimilation - Definitions and Illustrative Examples. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Georgian-Vlad Saioc, Hans Hüttel |
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. |
FROM |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ludovico Boratto, Gianni Fenu, Mirko Marras, Giacomo Medda |
Consumer Fairness in Recommender Systems: Contextualizing Definitions and Mitigations. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | Ce Zheng, Yiming Wang, Baobao Chang |
Query Your Model with Definitions in FrameNet: An Effective Method for Frame Semantic Role Labeling. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mario Alfonso Prado-Romero, Bardh Prenkaj, Giovanni Stilo, Fosca Giannotti |
A Survey on Graph Counterfactual Explanations: Definitions, Methods, Evaluation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sina Ahmadi |
Monolingual alignment of word senses and definitions in lexicographical resources. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Luigi Procopio, Simone Conia, Edoardo Barba, Roberto Navigli |
Entity Disambiguation with Entity Definitions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Marie Fortin, Boris Konev, Frank Wolter |
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | Urja Khurana, Ivar E. Vermeulen, Eric T. Nalisnick, Marloes van Noorloos, Antske Fokkens |
Hate Speech Criteria: A Modular Approach to Task-Specific Hate Speech Definitions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Georgios Symeonidis, Evangelos Nerantzis, Apostolos Kazakis, George A. Papakostas |
MLOps - Definitions, Tools and Challenges. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | François Remy, Kris Demuynck, Thomas Demeester |
BioLORD: Learning Ontological Representations from Definitions (for Biomedical Concepts and their Textual Descriptions). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Tom Hirschowitz, Ambroise Lafont |
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Denis Newman-Griffis, Jessica Sage Rauchberg, Rahaf Alharbi, Louise Hickman, Harry Hochheiser |
Alternative models: Critical examination of disability definitions in the development of artificial intelligence technologies. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Morgane Goibert, Stéphan Clémençon, Ekhine Irurozki, Pavlo Mozharovskyi |
Statistical Depth Functions for Ranking Distributions: Definitions, Statistical Learning and Applications. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | Tony Y. Sun, Shreyas Bhave, Jaan Altosaar, Noémie Elhadad |
Assessing Phenotype Definitions for Algorithmic Fairness. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mnacho Echenim, Nicolas Peltier |
A Proof Procedure For Separation Logic With Inductive Definitions and Theory Reasoning. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
12 | Danilo S. Carvalho, Giangiacomo Mercatali, Yingji Zhang, André Freitas |
Learning Disentangled Representations for Natural Language Definitions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Keehang Kwon |
Evolving Recursive Definitions with Applications to Dynamic Programming. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer |
Implicit Definitions with Differential Equations for KeYmaera X (System Description). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ramtin Madani, Mersedeh Ashraphijuo, Mohsen Kheirandishfard, Alper Atamtürk |
Parabolic Relaxation for Quadratically-constrained Quadratic Programming - Part I: Definitions & Basic Properties. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sarah Al Ayyash, Maura McAdam, Colm O'Gorman |
Towards a New Perspective on the Heterogeneity of Business Incubator-Incubation Definitions. |
IEEE Trans. Engineering Management |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Dayong Wang, Jing Huang 0016, Yejun Xu |
Matrix representation of stability definitions in the graph model for conflict resolution with grey-based preferences. |
Discret. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Jingzhi Yu, Jennifer A. Pacheco, Anika S. Ghosh, Yuan Luo 0001, Chunhua Weng, Ning Shang, Barbara Benoit, David S. Carrell, Robert J. Carroll, Ozan Dikilitas, Robert R. Freimuth, Vivian S. Gainer, Hakon Hakonarson, George Hripcsak, Iftikhar J. Kullo, Frank D. Mentch, Shawn N. Murphy, Peggy L. Peissig, Andrea H. Ramirez, Nephi Walton, Wei-Qi Wei, Luke V. Rasmussen |
Under-specification as the source of ambiguity and vagueness in narrative phenotype algorithm definitions. |
BMC Medical Informatics Decis. Mak. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Clemm, Laurent Ciavaglia, Lisandro Zambenedetti Granville, Jeff Tantsura |
Intent-Based Networking - Concepts and Definitions. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Pushpendra Singh 0002, Amit Singhal 0002, Binish Fatimah, Anubha Gupta, Shiv Dutt Joshi |
Proper Definitions of Dirichlet Conditions and Convergence of Fourier Representations [Lecture Notes]. |
IEEE Signal Process. Mag. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Russell G. Miller, Alexandra Shlapentokh |
On existential definitions of c.e. subsets of rings of functions of characteristic 0. |
Ann. Pure Appl. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Prabhanjan Ananth, Aditya Gulati, Luowen Qian, Henry Yuen |
Pseudorandom (Function-Like) Quantum State Generators: New Definitions and Applications. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
12 | Ben Smyth, Michael R. Clarkson |
Surveying definitions of election verifiability. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
12 | Sayandeep Saha, Mustafa Khairallah, Thomas Peyrin |
Exploring Integrity of AEADs with Faults: Definitions and Constructions. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
12 | Jason A. Clark, Helen K. R. Williams, Doralyn Rossmann |
Wikidata and knowledge graphs in practice: Using semantic SEO to create discoverable, accessible, machine-readable definitions of the people, places, and services in Libraries and Archives. |
Inf. Serv. Use |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Hugo J. T. van Mens, Savine S. M. Martens, Elisabeth H. M. Paiman, Alexander C. Mertens, Remko Nienhuis, Nicolette F. de Keizer, Ronald Cornet |
Diagnosis clarification by generalization to patient-friendly terms and definitions: Validation study. |
J. Biomed. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Hamza Hanbali, Daniël Linders |
Monotone tail functions: Definitions, properties, and application to risk-reducing strategies. |
J. Comput. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Shane Lubold, Clark N. Taylor |
Formal definitions of conservative probability distribution functions (PDFs). |
Inf. Fusion |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Natalia Mikula, Tom Dörffel, Daniel Baum, Hans-Christian Hege |
An Interactive Approach for Identifying Structure Definitions. |
Comput. Graph. Forum |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sayandeep Saha, Mustafa Khairallah, Thomas Peyrin |
Exploring Integrity of AEADs with Faults: Definitions and Constructions. |
IACR Trans. Symmetric Cryptol. |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 6250 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|