Search results for "fragment"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Sophia M. N. Hönig, Florian Flachsenberg, Christiane Ehrt, Alexander Neumann, Robert Schmidt 0002, Christian Lemmen, Matthias Rarey	SpaceGrow: efficient shape-based virtual screening of billion-sized combinatorial fragment spaces.	J. Comput. Aided Mol. Des.	2024	DBLP DOI BibTeX RDF
13	Anna Kravchenko, Sjoerd Jacob de Vries, Malika Smaïl-Tabbone, Isaure Chauvot de Beauchêne	HIPPO: HIstogram-based Pseudo-POtential for scoring protein-ssRNA fragment-based docking poses.	BMC Bioinform.	2024	DBLP DOI BibTeX RDF
13	Wa Kong, Yujie Zhong, Jing Xia, Xin Yu Zhou 0001, Hongyan Fu, Weiqing Dong, Zi-Ming Zhao, Xiao-Wei Zhu	Optimization Design of Broadband Doherty PA Using Fragment-Type Matching Network Based on Dual-State Impedance Objective Function.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
13	Omeir Khan, George Jones, Maria Lazou, Diane Joseph-McCarthy, Dima Kozakov, Dmitri Beglov, Sandor Vajda	Expanding FTMap for Fragment-Based Identification of Pharmacophore Regions in Ligand Binding Sites.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
13	Justin Lübbers, Uta F. Lessel, Matthias Rarey	Enhanced Calculation of Property Distributions in Chemical Fragment Spaces.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
13	Kaylen R. Meeks, Juan Ji, Mykola V. Protopopov, Olga O. Tarkhanova, Yurii S. Moroz, John J. Tanner	Novel Fragment Inhibitors of PYCR1 from Docking-Guided X-ray Crystallography.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
13	Mingqiong Tong, Peng Liu, Chaoqun Li 0004, Zhongyu Zhang, Wan Sun, Pingxuan Dong, Na Fan, Xiaoyue Wang, Jing Liu, Chao Lv, Zanxia Cao, Yan Wang	Interaction of Asn297-Linked Glycan Ligands with the Fc Fragment of the Immunoglobulin Class G1: A Molecular Dynamics Simulation Study.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
13	Miroslav Chodil, Antonín Kucera 0001	The satisfiability problem for a quantitative fragment of PCTL.	J. Comput. Syst. Sci.	2024	DBLP DOI BibTeX RDF
13	Zsolt Balázs, Todor Gitchev, Ivna Ivankovic, Michael Krauthammer	Fragmentstein - facilitating data reuse for cell-free DNA fragment analysis.	Bioinform.	2024	DBLP DOI BibTeX RDF
13	Juan-Ni Wu, Tong Wang, Li-Juan Tang, Hai-Long Wu, Ru-Qin Yu	TSIS: A Supplementary Algorithm to t-SMILES for Fragment-based Molecular Representation.	CoRR	2024	DBLP DOI BibTeX RDF
13	Xiuyuan Hu, Guoqing Liu, Yang Zhao, Hao Zhang	Empirical Evidence for the Fragment level Understanding on Drug Molecular Structure of LLMs.	CoRR	2024	DBLP DOI BibTeX RDF
13	Alexander Telepov, Artem Tsypin, Kuzma Khrabrov, Sergey Yakukhnov, Pavel Strashnov, Petr Zhilyaev, Egor Rumiantsev, Daniel Ezhov, Manvel Avetisian, Olga Popova, Artur Kadurin	FREED++: Improving RL Agents for Fragment-Based Molecule Generation by Thorough Reproduction.	CoRR	2024	DBLP DOI BibTeX RDF
13	Mahdi Ghorbani, Leo Gendelev, Paul Beroza, Michael J. Keiser	Autoregressive fragment-based diffusion for pocket-aware ligand design.	CoRR	2024	DBLP DOI BibTeX RDF
13	Sarwan Ali, Prakash Chourasia, Murray Patterson	Expanding Chemical Representation with k-mers and Fragment-based Fingerprints for Molecular Fingerprinting.	CoRR	2024	DBLP DOI BibTeX RDF
13	Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur	A Complete Fragment of LTL(EB).	CoRR	2024	DBLP DOI BibTeX RDF
13	Ken-etsu Fujita, Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski	The existential fragment of second-order propositional intuitionistic logic is undecidable.	J. Appl. Non Class. Logics	2024	DBLP DOI BibTeX RDF
13	Baiyu Chen, Ziqi Pan, Minjie Mou, Yuan Zhou, Wei Fu	Is fragment-based graph a better graph-based molecular representation for drug design? A comparison study of graph-based models.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
13	Pengfei Wang, Hua Zhong, Ya-Pei Feng, Liangbiao Gong, Yuxiang Tang, Zhe-Ming Lu, Lixin Wang	Covert Communication through Robust Fragment Hiding in a Large Number of Images.	Sensors	2024	DBLP DOI BibTeX RDF
13	Xavier Parent, Christoph Benzmüller	Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset).	Arch. Formal Proofs	2024	DBLP BibTeX RDF
13	Jim de Groot	Non-distributive positive logic as a fragment of first-order logic over semilattices.	J. Log. Comput.	2024	DBLP DOI BibTeX RDF
13	Wenting Cui, Runzhao Yao, Shaoyi Du	PHFormer: Multi-Fragment Assembly Using Proxy-Level Hybrid Transformer.	AAAI	2024	DBLP DOI BibTeX RDF
13	Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun, Raffaela Groner, Thomas Witte, Alexander Raschke, Michael Felderer, Matthias Tichy	Streamlining Attack Tree Generation: A Fragment-Based Approach.	HICSS	2024	DBLP BibTeX RDF
13	Yaoxin Zhuo, Baoxin Li	FELGA: Unsupervised Fragment Embedding for Fine-Grained Cross-Modal Association.	WACV	2024	DBLP DOI BibTeX RDF
13	Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur	A Complete Fragment of LTL(EB).	FoIKS	2024	DBLP DOI BibTeX RDF
13	Thomas L. Mayer	An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier.	FoIKS	2024	DBLP DOI BibTeX RDF
13	Sudestna Nahak, Akanksha Pathak, Goutam Saha 0001	Fragment-level classification of ECG arrhythmia using wavelet scattering transform.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
13	Gurdeep Singh, Urvinder Singh	Hybrid binary grey wolf naked mole-rat algorithm for fragment-type UWB antenna optimization using time-varying transfer functions.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
13	Anantha Padmanabha, R. Ramanujam 0001	A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
13	Miao Zhang	Research on bilingual text similarity detection and analysis based on improved fragment merging algorithm.	Int. J. Comput. Sci. Math.	2023	DBLP DOI BibTeX RDF
13	Kristian Skracic, Juraj Petrovic, Predrag Pale	ByteRCNN: Enhancing File Fragment Type Identification With Recurrent and Convolutional Neural Networks.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Junchai Gao, Xiaoqian Zhang	Fragment Perforation Spatial Localization Measurement Method and Calculation Analysis by Using Photogrammetry Technology.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Congcong Liu, Huiqin Wang, Li Mao, Rui Liu, Zhan Wang, Ting Wang	Image Stitching Method of Bone Stick Fragment Based on Similarity Freeman Code Matching.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Joanna M. Zarnecka, Katarzyna H. Kaminska	FRAGMENTISE: A user-friendly, cross-platform tool to create and analyze comprehensive small-molecule fragment databases.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
13	Shinya Nakamura, Tatsuo Akaki, Keiji Nishiwaki, Midori Nakatani, Yuji Kawase, Yuki Takahashi, Isao Nakanishi	System truncation accelerates binding affinity calculations with the fragment molecular orbital method: A benchmark study.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
13	Wenlan Diao, Jianping An, Tong Li, Chao Zhu 0002, Yu Zhang 0079, Xiaotian Wang, Zhoujie Liu	Low delay fragment forwarding in LEO satellite networks based on named data networking.	Comput. Commun.	2023	DBLP DOI BibTeX RDF
13	Christian Meyenburg, Uschi Dolfus, Hans Briem, Matthias Rarey	Galileo: Three-dimensional searching in large combinatorial fragment spaces on the example of pharmacophores.	J. Comput. Aided Mol. Des.	2023	DBLP DOI BibTeX RDF
13	Martin Stroet, Bertrand Caron, Martin S. Engler, Jimi van der Woning, Aude Kauffmann, Marc van Dijk, Mohammed El-Kebir, Koen Visscher, Josef Holownia, Callum Macfarlane, Brian J. Bennion, Svetlana Gelpi-Dominguez, Felice C. Lightstone, Tijs van der Storm, Daan P. Geerke, Alan E. Mark, Gunnar W. Klau	OFraMP: a fragment-based tool to facilitate the parametrization of large molecules.	J. Comput. Aided Mol. Des.	2023	DBLP DOI BibTeX RDF
13	Yue Wu, Xinran Ni, Zhihao Wang, Weike Feng	Enhancing drug property prediction with dual-channel transfer learning based on molecular fragment.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF
13	Jack B. Greisman, Lindsay Willmore, Christine Y. Yeh, Fabrizio Giordanetto, Sahar Shahamadtar, Hunter M. Nisonoff, Paul Maragakis, David E. Shaw	Discovery and Validation of the Binding Poses of Allosteric Fragment Hits to Protein Tyrosine Phosphatase 1b: From Molecular Dynamics Simulations to X-ray Crystallography.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Luiz Carlos Saramago, Marcos V. Santana, Bárbara Figueira Gomes, Rafael Ferreira Dantas, Mario R. Senger, Pedro Henrique Oliveira Borges, Vivian Neuza dos Santos Ferreira, Alice dos Santos Rosa, Amanda Resende Tucci, Milene Dias Miranda, Petra Lukacik, Claire Strain-Damerell, C. David Owen, Martin A. Walsh, Sabrina Baptista Ferreira, Floriano Silva-Junior	AI-Driven Discovery of SARS-CoV-2 Main Protease Fragment-like Inhibitors with Antiviral Activity In Vitro.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Susanne Sauer, Hans Matter, Gerhard Hessler, Christoph Grebner	Integrating Reaction Schemes, Reagent Databases, and Virtual Libraries into Fragment-Based Design by Reinforcement Learning.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Ye Buehler, Jean-Louis Reymond	Expanding Bioactive Fragment Space with the Generated Database GDB-13s.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Stephanie Wills, Ruben Sanchez-Garcia, Tim Dudgeon, Stephen D. Roughley, Andy Merritt, Roderick E. Hubbard, James Davidson, Frank von Delft, Charlotte M. Deane	Fragment Merging Using a Graph Database Samples Different Catalogue Space than Similarity Search.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Luca Torielli, Stefano A. Serapian, Lara Mussolin, Elisabetta Moroni, Giorgio Colombo 0001	Integrating Protein Interaction Surface Prediction with a Fragment-Based Drug Design: Automatic Design of New Leads with Fragments on Energy Surfaces.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Chien-Ting Kao, Chieh-Te Lin, Cheng-Li Chou, Chu-Chung Lin	Fragment Linker Prediction Using the Deep Encoder-Decoder Network for PROTACs Drug Design.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Daniel R. Bryan, John L. Kulp Jr., Manoj K. Mahapatra, Richard L. Bryan, Usha Viswanathan, Micah N. Carlisle, Surim Kim, William D. Schutte, Kevaughn V. Clarke, Tony T. Doan, John L. Kulp III	BMaps: A Web Application for Fragment-Based Drug Design and Compound Binding Evaluation.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Katsuki Takebe, Mamoru Suzuki, Takao Kuwada-Kusunose, Satoko Shirai, Kaori Fukuzawa, Tomoko Takamiya, Narikazu Uzawa, Hiroshi Iijima	Structural and Computational Analyses of the Unique Interactions of Opicapone in the Binding Pocket of Catechol O-Methyltransferase: A Crystallographic Study and Fragment Molecular Orbital Analyses.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
13	Hailu Xu, Pinchao Liu, Sarker Tanzir Ahmed, Dilma Da Silva, Liting Hu	Adaptive Fragment-Based Parallel State Recovery for Stream Processing Systems.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
13	Xing-Xing Shi, Zhi-Zheng Wang, Fan Wang, Ge-Fei Hao, Guangfu Yang	ACFIS 2.0: an improved web-server for fragment-based drug discovery via a dynamic screening strategy.	Nucleic Acids Res.	2023	DBLP DOI BibTeX RDF
13	Anton Zadorozhny, Anton Smirnov, Dmitry Filimonov, Alexey Lagunin	Prediction of pathogenic single amino acid substitutions using molecular fragment descriptors.	Bioinform.	2023	DBLP DOI BibTeX RDF
13	Grzegorz Chojnowski, Rafal Zaborowski, Marcin Magnus, Sunandan Mukherjee, Janusz M. Bujnicki	RNA 3D structure modeling by fragment assembly with small-angle X-ray scattering restraints.	Bioinform.	2023	DBLP DOI BibTeX RDF
13	Rahul Krishna Yandrapally, Ali Mesbah 0001	Fragment-Based Test Generation for Web Apps.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
13	Jiawen Li, Masato Sumita, Ryo Tamura, Koji Tsuda	Interpretable Fragment-Based Molecule Design with Self-Learning Entropic Population Annealing.	Adv. Intell. Syst.	2023	DBLP DOI BibTeX RDF
13	Xavier Parent, Christoph Benzmüller	Normative Conditional Reasoning as a Fragment of HOL.	CoRR	2023	DBLP DOI BibTeX RDF
13	Edoardo Di Paolo, Enrico Bassetti, Angelo Spognardi	A New Model for Testing IPv6 Fragment Handling.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yuanhong Wang, Juhua Pu, Yuyi Wang 0001, Ondrej Kuzelka	On Exact Sampling in the Two-Variable Fragment of First-Order Logic.	CoRR	2023	DBLP DOI BibTeX RDF
13	Bowen Gao, Yinjun Jia, Yuanle Mo, Yuyan Ni, Wei-Ying Ma, Zhiming Ma, Yanyan Lan	Self-supervised Pocket Pretraining via Protein Fragment-Surroundings Alignment.	CoRR	2023	DBLP DOI BibTeX RDF
13	Wenyang Liu, Yi Wang 0068, Kejun Wu, Kim-Hui Yap, Lap-Pui Chau	A Byte Sequence is Worth an Image: CNN for File Fragment Classification Using Bit Shift and n-Gram Embeddings.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yoshiki Nakamura 0001	On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Boris Orekhov	Identifying the style by a qualified reader on a short fragment of generated poetry.	CoRR	2023	DBLP DOI BibTeX RDF
13	Shahid Alam	SIFT - File Fragment Classification Without Metadata.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jun Li, Jingjian Wang, Hongwei Wang, Xing Deng, Jielong Chen, Bing Cao, Zekun Wang, Guanjie Xu, Ge Zhang, Feng Shi, Hualei Liu	Fragment and Integrate Network (FIN): A Novel Spatial-Temporal Modeling Based on Long Sequential Behavior for Online Food Ordering Click-Through Rate Prediction.	CoRR	2023	DBLP DOI BibTeX RDF
13	Kha-Dinh Luong, Ambuj K. Singh	Fragment-based Pretraining and Finetuning on Molecular Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
13	Emanuel Kieronski	A Uniform One-Dimensional Fragment with Alternation of Quantifiers.	GandALF	2023	DBLP DOI BibTeX RDF
13	Juan-Ni Wu, Tong Wang, Yue Chen, Li-Juan Tang, Hai-Long Wu, Ru-Qin Yu	Fragment-based t-SMILES for de novo molecular generation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Mustafa Ghaleb, Kunwar Muhammed Saaim, Muhamad Felemban, Saleh Alsaleh, Ahmad Almulhem	File Fragment Classification using Light-Weight Convolutional Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
13	Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann	On the of Limits of Decision: the Adjacent Fragment of First-Order Logic.	CoRR	2023	DBLP DOI BibTeX RDF
13	Daniel Hausmann 0001, Mathieu Lehaut, Nir Piterman	Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL.	CoRR	2023	DBLP DOI BibTeX RDF
13	Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun, Raffaela Groner, Thomas Witte, Alexander Raschke, Michael Felderer, Matthias Tichy	Streamlining Attack Tree Generation: A Fragment-Based Approach.	CoRR	2023	DBLP DOI BibTeX RDF
13	Liang Dou, Zhen Zhang, Dan liu, Ying Qian, Qian Zhang 0003	BCM-DTI: A fragment-oriented method for drug-target interaction prediction using deep learning.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
13	Jingyu Zhu, Dan Sun, Xintong Li, Lei Jia, Yanfei Cai, Yun Chen, Jian Jin, Li Yu	Developing new PI3Kγ inhibitors by combining pharmacophore modeling, molecular dynamic simulation, molecular docking, fragment-based drug design, and virtual screening.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
13	Jonghwan Choi, Sangmin Seo, Seungyeon Choi, Shengmin Piao, Chihyun Park, Sung Jin Ryu, Byung Ju Kim, Sanghyun Park 0003	ReBADD-SE: Multi-objective molecular optimisation using SELFIES fragment and off-policy self-critical sequence training.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
13	Priyanka Samanta, Robert J. Doerksen	Identifying FmlH lectin-binding small molecules for the prevention of Escherichia coli-induced urinary tract infections using hybrid fragment-based design and molecular docking.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
13	Naruedon Phusi, Yuta Hashimoto, Naoki Otsubo, Kyohei Imai, Paptawan Thongdee, Darunee Sukchit, Pharit Kamsri, Auradee Punkvang, Khomson Suttisintong, Pornpan Pungpo, Noriyuki Kurita	Structure-based drug design of novel M. tuberculosis InhA inhibitors based on fragment molecular orbital calculations.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
13	Gennady Shtakser	A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
13	Antonio Posadas, O. Sotolongo-Costa	Non-extensive entropy and fragment-asperity interaction model for earthquakes.	Commun. Nonlinear Sci. Numer. Simul.	2023	DBLP DOI BibTeX RDF
13	Gerard Baquer, Lluc Sementé, Pere Ràfols, Lucía Martín-Saiz, Christoph Bookmeyer, José A. Fernández, Xavier Correig, María García-Altares	rMSIfragment: improving MALDI-MSI lipidomics through automated in-source fragment annotation.	J. Cheminformatics	2023	DBLP DOI BibTeX RDF
13	Sean Li, Björn Bohman, Gavin R. Flematti, Dylan Jayatilaka	Determining the parent and associated fragment formulae in mass spectrometry via the parent subformula graph.	J. Cheminformatics	2023	DBLP DOI BibTeX RDF
13	Zhihui Yang, Juan Liu 0007, Xuekai Zhu, Feng Yang, Qiang Zhang, Hayat Ali Shah	FragDPI: a novel drug-protein interaction prediction model based on fragment understanding and unified coding.	Frontiers Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Christoph Benzmüller, Sebastian Reiche	Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
13	Shu Zhang 0001, Enze Shi, Lin Wu, Ruoyang Wang, Sigang Yu, Zhengliang Liu, Shaochen Xu, Tianming Liu 0001, Shijie Zhao 0001	Differentiating brain states via multi-clip random fragment strategy-based interactive bidirectional recurrent neural network.	Neural Networks	2023	DBLP DOI BibTeX RDF
13	Florian Bruse, Martin Lange	The tail-recursive fragment of timed recursive CTL.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
13	Dmitri G. Fedorov	Complete Guide to the Fragment Molecular Orbital Method in GAMESS - From One Atom to a Million, at your Service		2023	DOI RDF
13	Jun Li, Ge Zhang	Fragment and Integrate Network (FIN): A Novel Spatial-Temporal Modeling Based on Long Sequential Behavior for Online Food Ordering Click-Through Rate Prediction.	CIKM	2023	DBLP DOI BibTeX RDF
13	Razaq Jinad, A. B. M. Rezbaul Islam, Narasimha Shashidhar	Statistical Approaches to File Fragment Analysis.	ACR	2023	DBLP DOI BibTeX RDF
13	Radu-Iulian Gheorghica	A Study on Hybrid Classical: Quantum Computing Instructions for a Fragment of the QuickSI Algorithm for Subgraph Isomorphism.	ENASE	2023	DBLP DOI BibTeX RDF
13	Yuanhong Wang, Juhua Pu, Yuyi Wang 0001, Ondrej Kuzelka	On Exact Sampling in the Two-Variable Fragment of First-Order Logic.	LICS	2023	DBLP DOI BibTeX RDF
13	Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart	Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus.	ICALP	2023	DBLP DOI BibTeX RDF
13	Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann	On the Limits of Decision: the Adjacent Fragment of First-Order Logic.	ICALP	2023	DBLP DOI BibTeX RDF
13	Quang Loc Le, Xuan-Bach Dinh Le	An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.	FoSSaCS	2023	DBLP DOI BibTeX RDF
13	Peter Houska, Simon Kloiber, Alessandra Masur, Stefan Lengauer, Stephan Karl, Reinhold Preiner	Towards Crowd-Sourced Collaborative Fragment Matching.	GCH	2023	DBLP DOI BibTeX RDF
13	Arnab Maity, Goutam Saha 0001	Time-Frequency Fragment Selection for Disease Detection from Imbalanced Phonocardiogram Data.	EMBC	2023	DBLP DOI BibTeX RDF
13	Lilian Noronha Nassif, Jonny Silva de Oliveira	Learning Framework for Guessing Alphanumeric Passwords on Mobile Phones Based on User Context and Fragment Semantics.	ICDF2C (2)	2023	DBLP DOI BibTeX RDF
13	Yoshiki Nakamura 0001	On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.	MFCS	2023	DBLP DOI BibTeX RDF
13	Wenyang Liu, Yi Wang 0068, Kejun Wu, Kim-Hui Yap, Lap-Pui Chau	A Byte Sequence is Worth an Image: CNN for File Fragment Classification Using Bit Shift and n-Gram Embeddings.	AICAS	2023	DBLP DOI BibTeX RDF
13	Lukas Stevens	Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.	CADE	2023	DBLP DOI BibTeX RDF
13	Cilenir Carla de Carvalho, Andreia Soprani dos Santos, Silvia das Dores Rissino, Susana Bubach, Maria das Graças da Silva Teixeira	The OntoWoH Ontology - a Women's Health Reference Ontology Detailing the Fragment of Climacteric and Menopause.	ICBO	2023	DBLP BibTeX RDF
13	Weijie Chen, Xinyan Wang, Yuhang Wang	FFF: Fragment-Guided Flexible Fitting for Building Complete Protein Structures.	CVPR	2023	DBLP DOI BibTeX RDF
13	Ariana M. Villegas-Suarez, Cristian Lopez, Ivan Sipiran	MatchMakerNet: Enabling Fragment Matching for Cultural Heritage Analysis.	ICCV (Workshops)	2023	DBLP DOI BibTeX RDF
13	Yuyang Wang, Haitao Jiang, Haodi Feng, Daming Zhu	Minimize Maximum Coverage of Fragment Alignment Selection.	BIBM	2023	DBLP DOI BibTeX RDF