Search results for "NP-completeness"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Valery A. Rubakov, Christof Wetterich	Geodesic (in) Completeness in General Metric Frames.	Symmetry	2022	DBLP DOI BibTeX RDF
11	Lemuel R. Waitman, Xing Song, Dammika L. Walpitage, Daniel C. Connolly, Lav P. Patel, Mei Liu, Mary C. Schroeder, Jeffrey J. Vanwormer, Abu Saleh Mohammad Mosa, Ernest T. Anye, Ann M. Davis	Enhancing PCORnet Clinical Research Network data completeness by integrating multistate insurance claims with electronic health records in a cloud environment aligned with CMS security and privacy requirements.	J. Am. Medical Informatics Assoc.	2022	DBLP DOI BibTeX RDF
11	Sylvia Cho, Ipek Ensari, Noémie Elhadad, Chunhua Weng, Jennifer M. Radin, Brinnae Bent, Pooja M. Desai, Karthik Natarajan	An interactive fitness-for-use data completeness tool to assess activity tracker data.	J. Am. Medical Informatics Assoc.	2022	DBLP DOI BibTeX RDF
11	Yinzhu Jin, Sebastian Schneeweiss, Dave Merola, Kueiyu Joshua Lin	Impact of longitudinal data-completeness of electronic health record data on risk score misclassification.	J. Am. Medical Informatics Assoc.	2022	DBLP DOI BibTeX RDF
11	Congran Zhao, Wei Lin 0001	Homogeneity, Forward Completeness, and Global Stabilization of a Family of Time-Delay Nonlinear Systems by Memoryless Non-Lipschitz Continuous Feedback.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
11	Fengjiao Liu, A. Stephen Morse	Structural Completeness of a Multichannel Linear System With Dependent Parameters.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
11	Guoxiang Zhang, Junyu Xiang	A 12-node conforming straight-sided quadrilateral element with high-order completeness (QH12-C1).	Eng. Comput.	2022	DBLP DOI BibTeX RDF
11	Geneviève Dusson, Markus Bachmayr, Gábor Csányi, Ralf Drautz, Simon Etter, Cas van der Oord, Christoph Ortner	Atomic cluster expansion: Completeness, efficiency and stability.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
11	Ying Zhang, Chong-Jun Li, Yan-Mei Jia, Zhen-Yi Liu, Juan Chen	Revised SBFEM on arbitrary polygons and faceted polyhedrons with the second order completeness by elimination of bubble functions.	Comput. Math. Appl.	2022	DBLP DOI BibTeX RDF
11	Pablo Cubides Kovacsics, Françoise Delon	Definable completeness of P-minimal fields and applications.	J. Math. Log.	2022	DBLP DOI BibTeX RDF
11	Antonis Antonopoulos, Eleni Bakali, Aggeliki Chalki, Aris Pagourtzis, Petros Pantavos, Stathis Zachos	Completeness, approximability and exponential time results for counting problems with easy decision version.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Nan Zhou, Hong Peng 0001, Jun Wang 0013, Qian Yang, Xiaohui Luo	Computational completeness of spiking neural P systems with inhibitory rules for generating string languages.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Tiphaine Colliot, Kenneth A. Kiewra, Linlin Luo, Abraham E. Flanigan, Junrong Lu, Carrie Kennedy, Sheldon Black	The effects of graphic organizer completeness and note-taking medium on computer-based learning.	Educ. Inf. Technol.	2022	DBLP DOI BibTeX RDF
11	Yuheng Zhang, Qi Zhou, Maria Antonia Brovelli, Wanjing Li	Assessing OSM building completeness using population data.	Int. J. Geogr. Inf. Sci.	2022	DBLP DOI BibTeX RDF
11	Romain Bourneuf, Lukás Folwarczný, Pavel Hubácek, Alon Rosen, Nikolaj I. Schwartzbach	PPP-Completeness and Extremal Combinatorics.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
11	Min Feng 0004, Xuanlong Ma, Huiling Xu	Completeness-Resolvable Graphs.	Graphs Comb.	2022	DBLP DOI BibTeX RDF
11	Jie Fan	Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics.	Stud Logica	2022	DBLP DOI BibTeX RDF
11	Alexander V. Smirnov 0002	NP-Completeness of the Minimum Spanning Tree Problem of a Multiple Graph of Multiplicity k ≥ 3.	Autom. Control. Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	John M. Hitchcock, Hadi Shafei	Nonuniform Reductions and NP-Completeness.	Theory Comput. Syst.	2022	DBLP DOI BibTeX RDF
11	Xiaoliang Qian, Yu Huo, Gong Cheng 0003, Xiwen Yao, Ke Li 0005, Hangli Ren, Wei Wang 0245	Incorporating the Completeness and Difficulty of Proposals Into Weakly Supervised Object Detection in Remote Sensing Images.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
11	Orlando Amaral, Sallam Abualhaija, Damiano Torre, Mehrdad Sabetzadeh, Lionel C. Briand	AI-Enabled Automation for Completeness Checking of Privacy Policies.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
11	Víctor Aranda	Completeness: From Husserl to Carnap.	Logica Universalis	2022	DBLP DOI BibTeX RDF
11	Matthew Courtney, Jamie Costley, Matthew Baldwin, Kyungmee Lee, Mik Fanguy	Individual versus collaborative note-taking: Results of a quasi-experimental study on student note completeness, test performance, and academic writing.	Internet High. Educ.	2022	DBLP DOI BibTeX RDF
11	Jamie Costley, Matthew Courtney, Mik Fanguy	The interaction of collaboration, note-taking completeness, and performance over 10 weeks of an online course.	Internet High. Educ.	2022	DBLP DOI BibTeX RDF
11	Damien Pous, Jurriaan Rot, Jana Wagemaker	On Tools for Completeness of Kleene Algebra with Hypotheses.	CoRR	2022	DBLP DOI BibTeX RDF
11	Chen Zhang, Guorong Li, Yuankai Qi, Shuhui Wang, Laiyun Qing, Qingming Huang, Ming-Hsuan Yang 0001	Exploiting Completeness and Uncertainty of Pseudo Labels for Weakly Supervised Video Anomaly Detection.	CoRR	2022	DBLP DOI BibTeX RDF
11	Anton Ehrmanntraut, Fabian Egidy, Christian Glaßer	Oracle with P=NP∩coNP, but no Many-One Completeness in UP, DisjNP, and DisjCoNP.	CoRR	2022	DBLP DOI BibTeX RDF
11	Marco Milanese, Francesco Ranzato	Local Completeness Logic on Kleene Algebra with Tests.	CoRR	2022	DBLP DOI BibTeX RDF
11	Erik D. Demaine, Robert A. Hearn, Dylan H. Hendrickson, Jayson Lynch	PSPACE-Completeness of Reversible Deterministic Systems.	CoRR	2022	DBLP DOI BibTeX RDF
11	Guillaume Geoffroy	A first-order completeness result about characteristic Boolean algebras in classical realizability.	CoRR	2022	DBLP DOI BibTeX RDF
11	Zhiguang Zhao	Sahlqvist-Type Completeness Theory for Hybrid Logic with Binder.	CoRR	2022	DBLP DOI BibTeX RDF
11	Mirko Spasic, Milena Vujosevic-Janicic	Soundness and Completeness of SPARQL Query Containment Solver SpeCS.	CoRR	2022	DBLP DOI BibTeX RDF
11	Yuki Nishimura	Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics.	CoRR	2022	DBLP DOI BibTeX RDF
11	Hans L. Bodlaender, Carla Groenland, Hugo Jacob 0001	XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure.	CoRR	2022	DBLP BibTeX RDF
11	Abdelghani Maddi, Lesya Baudoin	The quality of the Web of Science data: a longitudinal study on the completeness of authors-addresses links.	CoRR	2022	DBLP DOI BibTeX RDF
11	Robert Dohner, Suk Jai Seo	The NP-completeness of Redundant Open-Locating-Dominating Set.	CoRR	2022	DBLP BibTeX RDF
11	Leonardo Nagami Coregliano, Fernando Granha Jeronimo, Chris Jones	Exact Completeness of LP Hierarchies for Linear Codes.	CoRR	2022	DBLP DOI BibTeX RDF
11	Shahbaz Khan 0004, Milla Kortelainen, Manuel Cáceres, Lucia Williams, Alexandru I. Tomescu	Safety and Completeness in Flow Decompositions for RNA Assembly.	CoRR	2022	DBLP BibTeX RDF
11	Renaud Vilmart	Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Clifford Hierarchy.	CoRR	2022	DBLP DOI BibTeX RDF
11	Tobias Kappé	Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.	CoRR	2022	DBLP DOI BibTeX RDF
11	Romain Bourneuf, Lukás Folwarczný, Pavel Hubácek, Alon Rosen, Nikolaj Ignatieff Schwartzbach	PPP-Completeness and Extremal Combinatorics.	CoRR	2022	DBLP DOI BibTeX RDF
11	Andrea Corradini 0001, Fabio Gadducci, Davide Trotta	Completeness and expressiveness for gs-monoidal categories.	CoRR	2022	DBLP DOI BibTeX RDF
11	David Monniaux	Completeness in static analysis by abstract interpretation, a personal point of view.	CoRR	2022	DBLP DOI BibTeX RDF
11	Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki	Logics for Epistemic Actions: Completeness, Decidability, Expressivity.	CoRR	2022	DBLP DOI BibTeX RDF
11	Lawrence S. Moss, Thomas F. Icard III	A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting.	CoRR	2022	DBLP BibTeX RDF
11	Zhiguang Zhao	Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@).	CoRR	2022	DBLP DOI BibTeX RDF
11	Tobias Reinhard	Completeness Thresholds for Memory Safety: Early Preliminary Report.	CoRR	2022	DBLP DOI BibTeX RDF
11	Tomoyuki Yamakami	Parameterized-NL Completeness of Combinatorial Problems by Short Logarithmic-Space Reductions and Immediate Consequences of the Linear Space Hypothesis.	CoRR	2022	DBLP DOI BibTeX RDF
11	Victor H. Lutfalla	Geometrical tilings : distance, topology, compacity and completeness.	CoRR	2022	DBLP DOI BibTeX RDF
11	Norman Danner, James S. Royer	General Ramified Recurrence and Polynomial-time Completeness.	CoRR	2022	DBLP DOI BibTeX RDF
11	Daiki Takahashi, Ken Kaneiwa	The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC.	CoRR	2022	DBLP DOI BibTeX RDF
11	Sugata Adhya, A. Deb Ray	On weak G-completeness for fuzzy metric spaces.	Soft Comput.	2022	DBLP DOI BibTeX RDF
11	Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez	Generalization and completeness of stochastic local search algorithms.	Swarm Evol. Comput.	2022	DBLP DOI BibTeX RDF
11	Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres	Uniform Polylogarithmic Space Completeness.	Frontiers Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Ricarda B. Bouncken, Martin Ratzmann, Victor Tiberius, Alexander Brem 0001	Pioneering Strategy in Supply Chain Relationships: How Coercive Power and Contract Completeness Influence Innovation.	IEEE Trans. Engineering Management	2022	DBLP DOI BibTeX RDF
11	Cinzia Daraio, Simone Di Leo, Monica Scannapieco	Accounting for quality in data integration systems: a completeness-aware integration approach.	Scientometrics	2022	DBLP DOI BibTeX RDF
11	Abdelghani Maddi, Lesya Baudoin	The quality of the web of science data: a longitudinal study on the completeness of authors-addresses links.	Scientometrics	2022	DBLP DOI BibTeX RDF
11	Yaoqi Yang, Xianglin Wei, Renhui Xu, Laixian Peng	Joint Optimization of AoI, SINR, Completeness, and Energy in UAV-Aided SDCNs: Coalition Formation Game and Cooperative Order.	IEEE Trans. Green Commun. Netw.	2022	DBLP DOI BibTeX RDF
11		Code Equivalence in the Sum-Rank Metric: Hardness and Completeness.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
11	Adriano Koleci	A simple proof of ARX completeness.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
11	Thomas Ågotnes, Natasha Alechina, Rustam Galimullin	Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.	J. Log. Lang. Inf.	2022	DBLP DOI BibTeX RDF
11	Kuan-Yu Chen, Jungpil Shin 0001, Md. Al Mehedi Hasan, Jiun-Jian Liaw, Yuichi Okuyama 0001, Yoichi Tomioka	Fitness Movement Types and Completeness Detection Using a Transfer-Learning-Based Deep Neural Network.	Sensors	2022	DBLP DOI BibTeX RDF
11	Asta Halkjær From, Jørgen Villadsen	Soundness and Completeness of Implicational Logic.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
11	Régis Riveret, Nir Oren	On probabilistic argumentation and subargument-completeness.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
11	Eoin Moore	Soundness and completeness results for LEA and probability semantics.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
11	Shelernaz Azimi, Claus Pahl	The Impact of Data Completeness and Correctness on Explainable Machine Learning Models.	J. Data Intell.	2022	DBLP DOI BibTeX RDF
11	Qi Zhou, Yuheng Zhang, Ke Chang, Maria Antonia Brovelli	Assessing OSM building completeness for almost 13,000 cities globally.	Int. J. Digit. Earth	2022	DBLP DOI BibTeX RDF
11	Wlodzimierz Drabent	On Correctness and Completeness of an n Queens Program.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
11	Gemma Robles, José M. Méndez	A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
11	Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman	On the computational completeness of matrix simple semi-conditional grammars.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
11	Léo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Luc Libralesso, Takaaki Mizuki	Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
11	Bianca Kramer, Hans de Jonge	The availability and completeness of open funder metadata: Case study for publications funded by the Dutch Research Council.	Quant. Sci. Stud.	2022	DBLP DOI BibTeX RDF
11	Shahbaz Khan 0004, Milla Kortelainen, Manuel Cáceres, Lucia Williams, Alexandru I. Tomescu	Improving RNA Assembly via Safety and Completeness in Flow Decompositions.	J. Comput. Biol.	2022	DBLP DOI BibTeX RDF
11	Sefika Efeoglu	A Continual Relation Extraction Approach for Knowledge Graph Completeness.	TPDL Workshops	2022	DBLP BibTeX RDF
11	Muhammad Jilham Luthfi, Fariz Darari, Amanda Carrisa Ashardian	SoCK: SHACL on Completeness Knowledge.	WOP@ISWC	2022	DBLP BibTeX RDF
11	Shahbaz Khan 0004, Milla Kortelainen, Manuel Cáceres, Lucia Williams, Alexandru I. Tomescu	Safety and Completeness in Flow Decompositions for RNA Assembly.	RECOMB	2022	DBLP DOI BibTeX RDF
11	Géza Kulcsár, Johannes Kristan, Sven Erik Jeroschewski	Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models.	NOMS	2022	DBLP DOI BibTeX RDF
11	Emetis Niazmand	Enhancing Query Answer Completeness with Query Expansion based on Synonym Predicates.	WWW (Companion Volume)	2022	DBLP DOI BibTeX RDF
11	Alessandro Simonetta, Tsuyoshi Nakajima, Maria Cristina Paoletti, Alessio Venticinque	Fairness Metrics and Maximum Completeness for the Prediction of Discrimination.	IWESQ/APSEDEI@APSEC	2022	DBLP BibTeX RDF
11	Guillaume Geoffroy	A first-order completeness result about characteristic Boolean algebras in classical realizability.	LICS	2022	DBLP DOI BibTeX RDF
11	Mohammad Imran Syed, Anne Fladenmuller, Marcelo Dias de Amorim	Assessing the Completeness of Passive Wi-Fi Traffic Capture.	IWCMC	2022	DBLP DOI BibTeX RDF
11	Mireia Costa 0001, Alberto García S., Oscar Pastor 0001	A Comparative Analysis of the Completeness and Concordance of Data Sources with Cancer-Associated Information.	ER (Workshops)	2022	DBLP DOI BibTeX RDF
11	Erik D. Demaine, Robert A. Hearn, Dylan H. Hendrickson, Jayson Lynch	PSPACE-Completeness of Reversible Deterministic Systems.	MCU	2022	DBLP DOI BibTeX RDF
11	Xixi Zhu, Bin Liu 0026, Zhaoyun Ding, Li Yao, Cheng Zhu, Xianqiang Zhu	Reducing the Risk of Completeness Loss by Subgraph Reasoning in Engineering Applications.	CSAE	2022	DBLP DOI BibTeX RDF
11	Anton Ehrmanntraut, Fabian Egidy, Christian Glaßer	Oracle with P = NP ∩ coNP, but No Many-One Completeness in UP, DisjNP, and DisjCoNP.	MFCS	2022	DBLP DOI BibTeX RDF
11	Marilena Ianculescu, Nicolae-Dragos Nicolau, Adriana Alexandru	Ensuring the Completeness and Accuracy of Data in a Customizable Remote Health Monitoring System.	ECAI	2022	DBLP DOI BibTeX RDF
11	Hans L. Bodlaender, Nils Donselaar, Johan Kwisthout	Parameterized Completeness Results for Bayesian Inference.	PGM	2022	DBLP BibTeX RDF
11	Yuska Paola Costa, Anaïs Godde, Maëla Trémaud, Taciana Pontual Falcão, Thomas Arciszewski, Carole Tardif, Edith Marie Galy	A survey on accessibility guidelines for users with autism: a broad understanding of the relevance and completeness.	IHC	2022	DBLP DOI BibTeX RDF
11	Jin Sakuma, Shinya Fujie, Tetsunori Kobayashi	Response Timing Estimation for Spoken Dialog Systems Based on Syntactic Completeness Prediction.	SLT	2022	DBLP DOI BibTeX RDF
11	Marco Campion, Mila Dalla Preda, Roberto Giacobazzi	On the Properties of Partial Completeness in Abstract Interpretation.	ICTCS	2022	DBLP BibTeX RDF
11	Thomas Villmann, Alexander Engelsberger	Multilayer Perceptrons with Banach-Like Perceptrons Based on Semi-inner Products - About Approximation Completeness.	ICAISC (1)	2022	DBLP DOI BibTeX RDF
11	Alexander Grishutin, Daniil Musatov	Discrete Versions of the KKM Lemma and Their PPAD-Completeness.	CSR	2022	DBLP DOI BibTeX RDF
11	Marco Milanese, Francesco Ranzato	Local Completeness Logic on Kleene Algebra with Tests.	SAS	2022	DBLP DOI BibTeX RDF
11	Nico Potyka, Xiang Yin 0007, Francesca Toni	On the Tradeoff Between Correctness and Completeness in Argumentative Explainable AI.	ArgXAI@COMMA	2022	DBLP BibTeX RDF
11	Ahmee Christensen	Completeness for an Intuitionistic Modal Logic of Vagueness.	AiML	2022	DBLP BibTeX RDF
11	Si Gao, Elisabeth Oswald	A Novel Completeness Test for Leakage Models and Its Application to Side Channel Attacks and Responsibly Engineered Simulators.	EUROCRYPT (3)	2022	DBLP DOI BibTeX RDF
11	Célia da Costa Pereira, Didier Dubois, Henri Prade, Andrea G. B. Tettamanzi	Parsimonious Representation of Knowledge Uncertainty using Metadata about Validity and Completeness.	ICAART (2)	2022	DBLP DOI BibTeX RDF
11	Martin Skoviera, Peter Varsa	NP-Completeness of Perfect Matching Index of Cubic Graphs.	STACS	2022	DBLP DOI BibTeX RDF
11	Alessandro Simonetta, Maria Cristina Paoletti, Alessio Venticinque	The use of Maximum Completeness to Estimate Bias in AI-based Recommendation Systems.	SYSTEM	2022	DBLP BibTeX RDF
11	Ashiley Adelaide Rosa, Ana Clara Mourão Moura, Beatriz Maria Fernandes Araújo	Geodesign Teaching Experience and Alternative Urban Parameters: Using Completeness Indicators on GISColab Platform.	ICCSA (Workshops 3)	2022	DBLP DOI BibTeX RDF