|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 437 occurrences of 293 keywords
|
|
|
Results
Found 1359 publication records. Showing 1359 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Bjørn Olstad, Erik Steen, Arne Halaas |
Image filtering techniques and VLSI architectures for efficient data extraction in shell rendering. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
image filtering techniques, shell rendering, interactive data reduction, real-time data reduction, PCI based search engine, full custom VLSI chip, opacity assignment, multi-spectral voxel data, interactive inspection procedures, 3D imagery, 3D ultrasonics, 3D MRI studies, classification, VLSI, feature extraction, volume rendering, image classification, application specific integrated circuits, medical image processing, search problems, VLSI architectures, filtering theory, data reduction, digital signal processing chips, data extraction, rendering (computer graphics), biomedical NMR, image preprocessing, biomedical ultrasonics |
19 | Aline Deruyver, Yann Hodé |
Semantic graph and arc consistency in "true" three dimensional image labeling. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
semantic graph consistency, true three dimensional image labelling, over-segmented objects, nuclear resonance magnetic cerebral images, algorithm, image segmentation, graph theory, object recognition, image recognition, object, medical image processing, transitivity, brain, brain, biomedical NMR, arc consistency |
19 | Lawrence H. Staib, Albert J. Sinusas |
Cardiac SPECT restoration using MR-based support constraints. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
cardiac SPECT restoration, MR-based support constraints, heart disease evaluation, treatment, myocardial perfusion determination, myocardial injury degree, defect size determination errors, left ventricular geometry distortion, registered magnetic resonance image, cardiac perfusion images, image restoration, medical image processing, biomedical NMR, medical diagnostic imaging, cardiology, heart, partial volume effects, single photon emission computed tomography |
19 | José M. N. Leitão, Mário A. T. Figueiredo |
Interferometric image reconstruction as a nonlinear Bayesian estimation problem. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
light interferometry, nonlinear Bayesian estimation problem, interferometric image reconstruction, 2D absolute phase estimation problem, phase image, Gauss Markov random field, iterated conditional modes algorithm, nonlinear stochastic absolute phase estimation, interferometric synthetic aperture radar, optical interferometry, diffraction tomography, noisy in-phase sine images, quadrature images, sine images, cosine images, image reconstruction, Markov processes, iterative methods, magnetic resonance imaging, Bayes methods, synthetic aperture radar, Gaussian processes, random processes, tomography, biomedical NMR, phase estimation |
19 | Michael T. Orchard, Aria Nosratinia, Rajesh Rajagopalan |
On interframe coding models for volumetric medical data. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
interframe coding models, volumetric medical data, motion-like models, MRI sequences, affine coder, 3D spatial optimal autoregressive predictors, flexible coding, modelling, multimedia, motion estimation, image sequences, image coding, magnetic resonance imaging, medical image processing, video conferencing, data-sharing, biomedical NMR, medical diagnostic imaging, autoregressive processes, image communication, image storage |
19 | Kazuhiro Mino, Noboru Niki, Nobukazu Nakasato |
A neuromagnetic source distribution estimation using MRI information. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
magnetoencephalography, neuromagnetic source distribution estimation, MRI information, cortex surface, whole brain magnetic sources, MUSIC technique, magnetic resonance imaging, medical image processing, biomedical NMR, medical diagnostic imaging, human brain |
19 | Hong Jiang, Zhi-Pei Liang |
Dynamic imaging by object modeling and estimation. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
time-varying function, parameter identification problem, time-sequential images, time-varying object, high spatial resolution, high temporal resolution, phantom study, animal study, modelling, image sequences, parameter estimation, image reconstruction, estimation, MRI, magnetic resonance imaging, medical image processing, computer simulation, object modeling, biomedical NMR, frequency-domain analysis, tomographic imaging, dynamic imaging |
19 | Malcolm H. Davis, Alireza Khotanzad, Duane P. Flamig, Steven E. Harms |
Elastic Body Splines: A Physics Based Approach to Coordinate Transformation in Medical Image Matching. |
CBMS |
1995 |
DBLP DOI BibTeX RDF |
elastic body splines, medical image matching, landmark locations, 3D magnetic resonance images, 3D breast MRI, image matching, medical image processing, splines (mathematics), biomedical NMR, coordinate transformation, thin plate spline, breast |
19 | Gaute Myklebust, Jon G. Solheim, Erik Steen |
Speeding Up Small Sized Self Organizing Maps for Use in Visualization of Multispectral Medical Images. |
CBMS |
1995 |
DBLP DOI BibTeX RDF |
Kohonen's self organizing maps, multispectral medical images, network partitioning algorithm, small neural networks, weight update, performance, visualization, convergence, medical image processing, data visualisation, parallel implementation, data partitioning, biomedical NMR, convergence rate, self-organising feature maps, MR images |
19 | Penny Rheingans, Martin Marietta, John Nichols |
Interactive 3D Visualization of Actual Anatomy and Simulated Chemical Time-Course Data for Fish. |
IEEE Visualization |
1995 |
DBLP DOI BibTeX RDF |
zoology, interactive 3D visualization, actual anatomy, simulated chemical time-course data, gastrointestinal tract, physiologically based toxicokinetic model, three dimensional representation, rainbow trout, cross sectional images, anesthetized fish, kinetic data, pentachloroethane, tissue volumes, chemical concentration, continuous branchial exposure, interactive systems, image representation, magnetic resonance imaging, data visualisation, biology computing, time series data, biomedical NMR, chemistry computing |
19 | William E. Lorensen |
Marching Through the Visible Man. |
IEEE Visualization |
1995 |
DBLP DOI BibTeX RDF |
special libraries, Visible Man, National Library of Medicine, human male cadaver, surface connectivity, bowels, magnetic resonance imaging, medical image processing, data visualisation, computed tomography, biology computing, skin, isosurface extraction, biomedical NMR, medical computing, computerised tomography, polygonal models, human body, muscle, bone, library automation |
19 | Geir Storvik |
A Bayesian Approach to Dynamic Contours Through Stochastic Sampling and Simulated Annealing. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
dynamic contours, simply connected objects, minimizing energy curves, global minimum energy configuration, simulated annealing, simulated annealing, image analysis, iterative methods, magnetic resonance images, Bayes methods, brain, iterative algorithms, numerical algorithms, active contour models, biomedical NMR, ultrasound images, noisy images, cardiology, Bayesian approach, local minima, left ventricle, image contours, uncertainty measures, curve detection, biomedical ultrasonics, stochastic sampling, human brain, posterior distribution |
19 | Daniel Davies, John F. Wakerly |
Synchronization and Matching in Redundant Systems. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
N-modular redundancy (NMR), signal selection, synchronization, fault-tolerant computing, clocks, triple modular redundancy (TMR), microcomputers, Asynchronous networks, voters |
15 | Hang Xu, Hong Ma, Xiaohu Zeng, Hua Zhang, Jiang Jin |
A Non-Steady State NMR Effect Based Time-Varying Magnetic Field Measurement Method and Experimental Apparatus. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Chenguang Fan, Muyao Li, Wenzhong Liu, Jingjing Cheng |
FPGA-based downhole real-time inversion of petrophysical information for NMR-LWD tools with periodic thermal management. |
J. Supercomput. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Penner, Anna Vulpetti |
QM assisted ML for 19F NMR chemical shift prediction. |
J. Comput. Aided Mol. Des. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ajay N. Jain, Alexander C. Brueckner, Christine Jorge, Ann E. Cleves, Purnima Khandelwal, Janet Caceres Cortes, Luciano Mueller |
Correction: Complex peptide macrocycle optimization: combining NMR restraints with conformational analysis to guide structure-based and ligand-based design. |
J. Comput. Aided Mol. Des. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Hanqing Zhao, Zhiyu An, Tianqi Chang, Yujing Yang, Tingting Lin |
A Novel 2-D Inversion Method for Low-Field NMR Working on Fluid Typing. |
IEEE Trans. Geosci. Remote. Sens. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Arkadiusz Leniak, Wojciech Pietrus, Rafal Kurczab |
From NMR to AI: Designing a Novel Chemical Representation to Enhance Machine Learning Predictions of Physicochemical Properties. |
J. Chem. Inf. Model. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Maxwell C. Venetos, Masha Elkin, Connor Delaney, John F. Hartwig, Kristin A. Persson |
Deconvolution and Analysis of the 1H NMR Spectra of Crude Reaction Mixtures. |
J. Chem. Inf. Model. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Julian B. B. Beckmann, Mick D. Mantle, Andrew J. Sederman, Lynn F. Gladden |
Sub-sampling of NMR Correlation and Exchange Experiments. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Yunrui Li, Hao Xu, Pengyu Hong |
Solvent-Aware 2D NMR Prediction: Leveraging Multi-Tasking Training and Iterative Self-Training Strategies. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Te Liu, Sichao Huang, Qian Zhang, Yu Xia, Manjie Zhang, Bin Sun 0005 |
Reconciling ASPP-p53 binding mode discrepancies through an ensemble binding framework that bridges crystallography and NMR data. |
PLoS Comput. Biol. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Shuhao Fan, Qi Zhou, Ka-Meng Lei, Rui Paulo Martins, Pui-In Mak |
17.2 A Miniature Multi-Nuclei NMR/MRI Platform with a High-Voltage SOI ASIC Achieving a 134.4dB Image SNR with a 173×250×103μm3 Resolution. |
ISSCC |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Yi Guo, Jiaying Zhan, Zhangren Tu, Yirong Zhou, Jianfan Wu, Qing Hong, Yuqing Huang, Vladislav Orekhov, Xiaobo Qu 0001, Di Guo |
Hypercomplex Low Rank Reconstruction for NMR Spectroscopy. |
Signal Process. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Enping Lin, Bo Chen, Zhikai Ni, Yuqing Huang, Yu Yang 0002, Zhong Chen 0005 |
A Generally Regularized Inversion for NMR Applications and Beyond. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xintong Han, Xianneng Xu, Yuling Ye, Zheng Xu 0007 |
A Temperature Stable Inside-Out NMR Sensor. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Lichao Liu, Denys J. Grombacher, Matthew P. Griffiths, Mathias Ø. Vang, Jakob Juul Larsen |
Signal Processing Steady-State Surface NMR Data. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jianyu Zhao, Qing Yang 0034, Frederik Dreyer, Daniel Krüger, Fedor Jelezko, Jens Anders |
A Broadband NMR Magnetometer System With Field Searching and Automatic Tuning Function. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Chengda Huang, Xiaoqing Lin, Bo Chen, Xiaozhen Feng, Hong Li, Yulei Chen, Yuqing Huang, Zhong Chen 0005 |
Targeted Probing of Compositions and Structures for Complex Sample Analyses by Singlet-Filtered Correlation NMR Technique. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Le Yuan, Zhenglei Wang, Wenqi Wei, Xiaotao Han |
High-Frequency Broadband RF Transmit-Receive Switch for Pulsed Magnetic Field NMR. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhonghua He, Jing Li, Mingsheng Chen |
Portable Unilateral NMR Measuring System for Burn Depth Assessment. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hong Li, Yu Yang 0002, Lucio Frydman, Zhong Chen 0005, Yulan Lin |
A Reference-Free Calibration for Ultrafast Spatiotemporally Encoded 2-D NMR Spectroscopy. |
IEEE Trans. Instrum. Meas. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhipeng Ke, Jingwei Weng, Xin Xu 0004 |
Calculating 13C NMR chemical shifts of large molecules using the eXtended ONIOM method at high accuracy with a low cost. |
J. Comput. Chem. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Giacomo Saielli |
Computational NMR spectroscopy of 205Tl. |
J. Comput. Chem. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ajay N. Jain, Alexander C. Brueckner, Christine Jorge, Ann E. Cleves, Purnima Khandelwal, Janet Caceres Cortes, Luciano Mueller |
Complex peptide macrocycle optimization: combining NMR restraints with conformational analysis to guide structure-based and ligand-based design. |
J. Comput. Aided Mol. Des. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xianneng Xu, Zheng Xu 0007 |
Modeling and Analysis of Litz Wire Radio Frequency (RF) Coil in Inside-Out NMR Well Logging Sensor. |
IEEE Trans. Geosci. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jiangfeng Guo, Ranhong Xie, Yuexiang Wang, Lizhi Xiao, Jianwei Fu, Guowen Jin, Sihui Luo 0002 |
Variational Mode Decomposition for NMR Echo Data Denoising. |
IEEE Trans. Geosci. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Frederik Dreyer, Daniel Krüger, Sander Baas, Aldrik H. Velders, Jens Anders |
A 5-780-MHz Transceiver ASIC for Multinuclear NMR Spectroscopy in 0.13-μm BiCMOS. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Arup Mondal, G. V. T. Swapna, Maria M. Lopez, Laura Klang, Jingzhou Hao, Lichung Ma, Monica J. Roth, Gaetano T. Montelione, Alberto Perez |
Structure Determination of Challenging Protein-Peptide Complexes Combining NMR Chemical Shift Data and Molecular Dynamics Simulations. |
J. Chem. Inf. Model. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Di Guo, Zhangren Tu, Yi Guo, Yirong Zhou, Jian Wang, Zi Wang 0005, Tianyu Qiu, Min Xiao, Yinran Chen, Liubin Feng, Yuqing Huang, Donghai Lin, Qing Hong, Amir Goldbourt, Meijin Lin, Xiaobo Qu 0001 |
XCloud-VIP: Virtual Peak Enables Highly Accelerated NMR Spectroscopy and Faithful Quantitative Measures. |
IEEE Trans. Computational Imaging |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Frederik Dreyer, Qing Yang 0034, Belal Alnajjar, Daniel Krüger, Bernhard Blümich, Jens Anders |
A Portable Chip-Based NMR Relaxometry System With Arbitrary Phase Control for Point-of-Care Blood Analysis. |
IEEE Trans. Biomed. Circuits Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Piotr Klukowski, Roland Riek, Peter Güntert |
NMRtist: an online platform for automated biomolecular NMR spectra analysis. |
Bioinform. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xu Han, Wanli Wang, Li-Hua Ma, Ismael Ai-Ramahi, Juan Botas, Kevin Mackenzie, Genevera I. Allen, Damian W. Young, Zhandong Liu, Mirjana Maletic-Savatic |
SPA-STOCSY: an automated tool for identifying annotated and non-annotated metabolites in high-throughput NMR spectra. |
Bioinform. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Maria Bånkestad, Keven M. Dorst, Göran Widmalm, Jerk Rönnols |
Carbohydrate NMR chemical shift predictions using E(3) equivariant graph neural networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Julian B. B. Beckmann, Mick D. Mantle, Andrew J. Sederman, Lynn F. Gladden |
Deep Learning as a Method for Inversion of NMR Signals. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Herman Rull, Markus Fischer, Stefan Kuhn 0003 |
NMR shift prediction from small data quantities. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zizhang Chen, Ryan Paul Badman, Lachele Foley, Robert Woods, Pengyu Hong |
GlycoNMR: Dataset and benchmarks for NMR chemical shift prediction of carbohydrates with graph neural networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hao Xu, Zhengyang Zhou, Pengyu Hong |
Molecular Identification and Peak Assignment: Leveraging Multi-Level Multimodal Alignment on NMR. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jun Lang, Chongyang Lin |
Non-uniformly sampled 2D NMR Spectroscopy reconstruction based on Low Rank Hankel Matrix Fast Tri-Factorization and Non-convex Factorization. |
J. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tatiana Osheter, Salvatore Campisi Pinto, Cristian Randieri, Andrea Perrotta, Charles Linder, Zeev Weisman |
Semi-Autonomic AI LF-NMR Sensor for Industrial Prediction of Edible Oil Oxidation Status. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Taoning Guo, Wei He 0013, Cai Wan, Yuxiang Zhang, Zheng Xu 0007 |
NMR Magnetometer Based on Dynamic Nuclear-Polarization for Low-Strength Magnetic Field Measurement. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Susan S. Sorensen, Thad G. Walker |
Combined Polarization/Magnetic Modulation of a Transverse NMR Gyroscope. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eric Schmid, Simon Rondeau, Thomas Rudszuck, Hermann Nirschl, Gisela Guthausen |
Inline NMR via a Dedicated V-Shaped Sensor. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Guoxing Lin |
Describing NMR chemical exchange by effective phase diffusion approach. |
Commun. Nonlinear Sci. Numer. Simul. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Herman Rull, Markus Fischer, Stefan Kuhn 0003 |
NMR shift prediction from small data quantities. |
J. Cheminformatics |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Satoru Kubota, Kazunori Uruma, Toshihiro Furukawa, Hiroyuki Yashima |
Denoising Method for NMR Signals Based on Two Domain Sparse Representation. |
MWSCAS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vincent Vigneron, Hichem Maaref |
A Rank Aggregation Algorithm for Performance Evaluation in Modern Sports Medicine with NMR-based Metabolomics. |
BIOSIGNALS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Aoyang Zhang, Daniel Krüger, Behdad Aghelnejad, Guang Yang, Henry Hinton, Yi-Qiao Song, Donhee Ham |
A Wideband CMOS NMR Spectrometer for Multinuclear Molecular Fingerprinting. |
VLSI Technology and Circuits |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa 0001 |
Interpreting NMR Spectra by Constraint Solving. |
SGAI Conf. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hadeel Saad Alghamdi, Alexei Lisitsa 0001, Igor Barsukov, Rudi Grosman |
Detecting 2D NMR Signals Using Mask RCNN. |
ICAART (3) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Oliver Kutz, Carsten Lutz, Ana Ozaki (eds.) |
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Lubaba Migdadi |
Metabolic profiling on 2D NMR TOCSY spectra using machine learning |
|
2023 |
RDF |
|
15 | Gabriele Sacco, Loris Bozzato, Oliver Kutz |
Defeasible Reasoning with Prototype Descriptions: First Steps. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Shqiponja Ahmetaj, Magdalena Ortiz 0001, Anouk Michelle Oudshoorn, Mantas Simkus |
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Nofar Carmeli |
Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus |
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Rafael Peñaloza |
Semiring Provenance in Expressive Description Logics. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Spyridon Kantarelis, Edmund Dervakos, Giorgos Stamou |
The Music Part Ontology (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev |
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca |
ASP-based Axiom Pinpointing for Description Logics. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Alessandro Artale, Andrea Mazzullo |
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Jakub Kloc, Martin Homola, Júlia Pukancová |
DL Abduction API v2 and GUI Interface (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Franz Baader |
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Ying Li 0029, Patrick Lambrix |
Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Francesca Toni |
Knowledge Representation and Reasoning in the Time of Data-Centric AI (Abstract of Invited Talk). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Claudia d'Amato, Francesco Benedetti, Nicola Fanizzi |
Efficient Explanation of Predictions on DL Knowledge Graphs through Enhanced Similarity Search. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova |
Computing ABox Justifications for Query Answers via Datalog Rewriting. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Nikola Dragovic, Cem Okulmus, Magdalena Ortiz 0001 |
Rewriting Ontology-Mediated Navigational Queries into Cypher. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola |
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Oliver Fernández Gil, Pavlos Marantidis |
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi 0002, Riccardo Rosati 0001, Luigi Sauro, Domenico Fabio Savo |
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré |
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Moritz Illich, Birte Glimm |
Fully Dynamic Materialization Maintenance. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Hui Yang, Patrick Koopmann, Yue Ma 0009, Nicole Bidoit |
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Piero A. Bonatti, Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus |
Circumscription in DL-Lite: Progress Report. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Lukas Gerlach 0002, David Carral |
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Fabiola Hodo, Sai Pranav, Baris Sertkaya |
Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz |
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Axel Mascaro, Christophe Rey |
Commonality Subtraction Operator for the EL Description Logic. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Tomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola |
Improving DL-Learner on a Malware Detection Use Case. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Ildar Baimuratov, Elena Lisanyuk, Dmitry Prokudin |
Dispute Resolution with OWL DL and Reasoning. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Joshua Hirschbrunn, Yevgeny Kazakov |
Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Carsten Lutz, Quentin Manière, Robin Nolte |
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Franz Baader, Filippo De Bortoli |
On the Abstract Expressive Power of Description Logics with Concrete Domains. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Tobias John, Patrick Koopmann |
Towards Ontology-Mediated Planning with OWL DL Ontologies. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Davide Lanti, Alessandro Mosca 0001, Diego Calvanese, Marco Montali |
Direct Mappings under the Lens of Information Capacity (Extended Abstract). |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
15 | Roland Bernard, Oliver Kutz, Nicolas Troquard |
Making Axiom Weakening Work in SROIQ. |
Description Logics |
2023 |
DBLP BibTeX RDF |
|
Displaying result #401 - #500 of 1359 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|