|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1710 occurrences of 1136 keywords
|
|
|
Results
Found 3162 publication records. Showing 3162 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #301 - #400 of 3162 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|