Search results for "fragment"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Kensuke Misawa, Noriyuki Yamaotsu, Shuichi Hirono	Identification of novel EED-EZH2 PPI inhibitors using an in silico fragment mapping method.	J. Comput. Aided Mol. Des.	2021	DBLP DOI BibTeX RDF
13	Martin Lycka, Vratislav Peska, Martin Demko, Ioannis Spyroglou, Agata Kilar, Jirí Fajkus, Miloslava Fojtová	WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis.	BMC Bioinform.	2021	DBLP DOI BibTeX RDF
13	Siyuan Liu, Tong Wang 0014, Qijiang Xu, Bin Shao, Jian Yin 0001, Tie-Yan Liu	Complementing sequence-derived features with structural information extracted from fragment libraries for protein structure prediction.	BMC Bioinform.	2021	DBLP DOI BibTeX RDF
13	Grigorii V. Andrianov, Wern Juin Gabriel Ong, Ilya Serebriiskii, John Karanicolas	Efficient Hit-to-Lead Searching of Kinase Inhibitor Chemical Space via Computational Fragment Merging.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Harsh Bansia, Pranjal Mahanta, Neela H. Yennawar, Suryanarayanarao Ramakumar	Small Glycols Discover Cryptic Pockets on Proteins for Fragment-Based Approaches.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Kaori Fukuzawa, Koichiro Kato, Chiduru Watanabe, Yusuke Kawashima, Yuma Handa, Ami Yamamoto, Kazuki Watanabe 0005, Tatsuya Ohyama, Kikuko Kamisaka, Daisuke Takaya, Teruki Honma	Special Features of COVID-19 in the FMODB: Fragment Molecular Orbital Calculations and Interaction Energy Analysis of SARS-CoV-2-Related Proteins.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Louis Bellmann, Patrick Penner, Matthias Rarey	Topological Similarity Search in Large Combinatorial Fragment Spaces.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Daisuke Takaya, Chiduru Watanabe, Shunpei Nagase, Kikuko Kamisaka, Yoshio Okiyama, Hirotomo Moriwaki, Hitomi Yuki, Tomohiro Sato, Noriyuki Kurita, Yoichiro Yagi, Tatsuya Takagi, Norihito Kawashita, Kenichiro Takaba, Tomonaga Ozawa, Midori Takimoto-Kamimura, Shigenori Tanaka, Kaori Fukuzawa, Teruki Honma	FMODB: The World's First Database of Quantum Mechanical Calculations for Biomacromolecules Based on the Fragment Molecular Orbital Method.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Hongyi Zhou, Hongnan Cao, Jeffrey Skolnick	FRAGSITE: A Fragment-Based Approach for Virtual Ligand Screening.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Neda Ojaghlou, Justin Airas, Lauren M. McRae, Cooper A. Taylor, Bill R. Miller, Carol A. Parish	Understanding the Structure and Apo Dynamics of the Functionally Active JIP1 Fragment.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Philippe Gantzer, Benoît Creton, Carlos Nieto-Draghi	Comparisons of Molecular Structure Generation Methods Based on Fragment Assemblies and Genetic Graphs.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Ningshan Li, Nayang Shan, Lingeng Lu, Zuoheng Wang	tRFtarget: a database for transfer RNA-derived fragment targets.	Nucleic Acids Res.	2021	DBLP DOI BibTeX RDF
13	Jacques Serizay, Julie Ahringer	Generating fragment density plots in R/Bioconductor with VplotR.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
13	Ondrej Kuzelka	Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers.	J. Artif. Intell. Res.	2021	DBLP DOI BibTeX RDF
13	Ziqiao Zhang, Jihong Guan, Shuigeng Zhou	FraGAT: a fragment-oriented multi-scale graph attention model for molecular property prediction.	Bioinform.	2021	DBLP DOI BibTeX RDF
13	Ziqi Chen, Martin Renqiang Min, Srinivasan Parthasarathy 0001, Xia Ning	A deep generative model for molecule optimization via one fragment modification.	Nat. Mach. Intell.	2021	DBLP DOI BibTeX RDF
13	Emanuel Kieronski, Antti Kuusisto	One-Dimensional Fragment over Words and Trees.	CoRR	2021	DBLP BibTeX RDF
13	Thierry Petit, Randy J. Zauhar	A Constraint Programming Approach to Weighted Isomorphic Mapping of Fragment-based Shape Signatures.	CoRR	2021	DBLP BibTeX RDF
13	Chongcan Li, Yong Cong, Weihua Deng	Identifying the fragment structure of the organic compounds by deeply learning the original NMR data.	CoRR	2021	DBLP BibTeX RDF
13	Stefan Kuhn 0001, Eda Tumer, Simon Colreavy-Donnelly, Ricardo Moreira Borges	A Pilot Study For Fragment Identification Using 2D NMR and Deep Learning.	CoRR	2021	DBLP BibTeX RDF
13	Marzieh Masoumi, Ahmad Keshavarz, Reza Fotohi	File fragment recognition based on content and statistical features.	CoRR	2021	DBLP BibTeX RDF
13	Benson Chen, Xiang Fu 0005, Regina Barzilay, Tommi S. Jaakkola	Fragment-based Sequential Translation for Molecular Optimization.	CoRR	2021	DBLP BibTeX RDF
13	Domenico Cantone, Andrea De Domenico, Pietro Maugeri	On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework.	GandALF	2021	DBLP DOI BibTeX RDF
13	Markus Fleck, Noah Weber, Christopher Trummer	Decoupled coordinates for machine learning-based molecular fragment linking.	CoRR	2021	DBLP BibTeX RDF
13	Christoph Benzmüller, Sebastian Reiche	Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy.	CoRR	2021	DBLP BibTeX RDF
13	Seonghwan Seo, Jaechang Lim, Woo Youn Kim	Fragment-based molecular generative model with high generalization ability and synthetic accessibility.	CoRR	2021	DBLP BibTeX RDF
13	Emanuel Kieronski, Sebastian Rudolph	Finite Model Theory of the Triguarded Fragment and Related Logics.	CoRR	2021	DBLP BibTeX RDF
13	Miroslav Chodil, Antonín Kucera 0001	The Satisfiability Problem for a Quantitative Fragment of PCTL.	CoRR	2021	DBLP BibTeX RDF
13	Xiaopeng Lu, Tiancheng Zhao, Kyusong Lee	VisualSparta: Sparse Transformer Fragment-level Matching for Large-scale Text-to-Image Search.	CoRR	2021	DBLP BibTeX RDF
13	Rahulkrishna Yandrapally, Ali Mesbah 0001	Fragment-Based Test Generation For Web Apps.	CoRR	2021	DBLP BibTeX RDF
13	Soojung Yang, Doyeong Hwang, Seul Lee, Seongok Ryu, Sung Ju Hwang	Hit and Lead Discovery with Explorative RL and Fragment-based Molecule Generation.	CoRR	2021	DBLP BibTeX RDF
13	Reijo Jaakkola	Complexity of the Ackermann fragment with one leading existential quantifier.	CoRR	2021	DBLP BibTeX RDF
13	Hiroyoshi Komatsu	The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus.	CoRR	2021	DBLP BibTeX RDF
13	Myriam Guillevic, Aurore Guillevic, Martin Vollmer, Paul Schlauri, Matthias Hill, Lukas Emmenegger, Stefan Reimann	Automated fragment identification for electron ionisation mass spectrometry: application to atmospheric measurements of halocarbons.	CoRR	2021	DBLP BibTeX RDF
13	Matthias Hoelzel, Richard Wilke	On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Govind Mittal, Pawel Korus, Nasir D. Memon	FiFTy: Large-Scale File Fragment Type Identification Using Convolutional Neural Networks.	IEEE Trans. Inf. Forensics Secur.	2021	DBLP DOI BibTeX RDF
13	Mathy Vanhoef	Fragment and Forge: Breaking Wi-Fi Through Frame Aggregation and Fragmentation.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
13	Gianluca Grilletti	Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
13	Bin Liu 0040, Mingzhe Wang, Xiaolei Niu, Shengfa Wang, Song Zhang, Jianxin Zhang	A Fragment Fracture Surface Segmentation Method Based on Learning of Local Geometric Features on Margins Used for Automatic Utensil Reassembly.	Comput. Aided Des.	2021	DBLP DOI BibTeX RDF
13	Cao-An Vu, Pin-Hsien Pan, Yuh-Shyong Yang, Hardy Wai-Hong Chan, Yoichi Kumada, Wen-Yih Chen	Combination of Aptamer Amplifier and Antigen-Binding Fragment Probe as a Novel Strategy to Improve Detection Limit of Silicon Nanowire Field-Effect Transistor Immunosensors.	Sensors	2021	DBLP DOI BibTeX RDF
13	Manuel Ballarín, Ana Cristina Marcén, Vicente Pelechano, Carlos Cetina	On the influence of model fragment properties on a machine learning-based approach for feature location.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF
13	Myriam Guillevic, Aurore Guillevic, Martin K. Vollmer, Paul Schlauri, Matthias Hill, Lukas Emmenegger, Stefan Reimann	Automated fragment formula annotation for electron ionisation, high resolution mass spectrometry: application to atmospheric measurements of halocarbons.	J. Cheminformatics	2021	DBLP DOI BibTeX RDF
13	Quentin Peyras, Julien Brunel, David Chemouil	A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
13	Je Hyeong Hong, Yoo Seong Jong, Muhammad Zeeshan Arshad, Young Min Kim 0001, Jinwook Kim	Structure-from-Sherds: Incremental 3D Reassembly of Axially Symmetric Pots from Unordered and Mixed Fragment Collections.	ICCV	2021	DBLP DOI BibTeX RDF
13	Xun Wang	Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic.	LORI	2021	DBLP DOI BibTeX RDF
13	Stefan Halfpap, Rainer Schlosser	Memory-Efficient Database Fragment Allocation for Robust Load Balancing when Nodes Fail.	ICDE	2021	DBLP DOI BibTeX RDF
13	Isa Anshori, Antonius Eko Nugroho, Aminul Solihin, Jessika, Muhammad Yusuf, Yeni Wahyuni Hartati, Silmina Prastriyati Sari, Taufik Ramdani Tohari, Brian Yuliarto, Gilang Gumilar, Lavita Nuraviana, Raih Rona Althof	Single-Chained Fragment Variable (scFv) Recombinant as a Potential Receptor for SARS-CoV-2 Biosensor Based on Surface Plasmon Resonance (SPR).	IEEE SENSORS	2021	DBLP DOI BibTeX RDF
13	Emanuel Kieronski, Sebastian Rudolph	Finite Model Theory of the Triguarded Fragment and Related Logics.	LICS	2021	DBLP DOI BibTeX RDF
13	Shih-Chun You, Markus G. Kuhn	Single-Trace Fragment Template Attack on a 32-Bit Implementation of Keccak.	CARDIS	2021	DBLP DOI BibTeX RDF
13	Manishankar Mondal, Chanchal K. Roy, Banani Roy, Kevin A. Schneider	FLeCCS: A Technique for Suggesting Fragment-Level Similar Co-change Candidates.	ICPC	2021	DBLP DOI BibTeX RDF
13	Stephan Haarmann	Fragment-Based Case Management Models: Metamodel, Consistency, & Correctness.	ZEUS	2021	DBLP BibTeX RDF
13	Mathy Vanhoef	Fragment and Forge: Breaking Wi-Fi Through Frame Aggregation and Fragmentation.	USENIX Security Symposium	2021	DBLP BibTeX RDF
13	Laouen Fernet, Sebastian Mödersheim	Deciding a Fragment of (α , β )-Privacy.	STM	2021	DBLP DOI BibTeX RDF
13	Miroslav Chodil, Antonín Kucera 0001	The Satisfiability Problem for a Quantitative Fragment of PCTL.	FCT	2021	DBLP DOI BibTeX RDF
13	Stepan L. Kuznetsov	Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs.	TABLEAUX	2021	DBLP DOI BibTeX RDF
13	Lidia Tendera	On the Fluted Fragment (Invited Talk).	STACS	2021	DBLP DOI BibTeX RDF
13	Chao Liu, Kemin Wang, Wenhao Zhan, Yuting Wang, Bo Xiao, Wenpeng Gao	Multi-path routing spectrum allocation algorithm based on fragment sensing and energy saving.	HP3C	2021	DBLP DOI BibTeX RDF
13	Bartosz Bednarczyk	Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment.	JELIA	2021	DBLP DOI BibTeX RDF
13	Nattapol Trijakwanich, Peerat Limkonchotiwat, Raheem Sarwar, Wannaphong Phatthiyaphaibun, Ekapol Chuangsuwanich, Sarana Nutanong	Robust Fragment-Based Framework for Cross-lingual Sentence Retrieval.	EMNLP (Findings)	2021	DBLP DOI BibTeX RDF
13	Zhan Zhang, Yun-Tian Wang, Bang Li, An Guo, Cheng-Lin Liu	Deep Rejoining Model for Oracle Bone Fragment Image.	ACPR (2)	2021	DBLP DOI BibTeX RDF
13	Soojung Yang, Doyeong Hwang, Seul Lee, Seongok Ryu, Sung Ju Hwang	Hit and Lead Discovery with Explorative RL and Fragment-based Molecule Generation.	NeurIPS	2021	DBLP BibTeX RDF
13	Martin Bromberger, Alberto Fiori, Christoph Weidenbach	Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories.	VMCAI	2021	DBLP DOI BibTeX RDF
13	Fangkai Zhang, Xiaofeng Fu, Masaki Omata	Emotion Recognition on Extracted EEG Fragment Based on Self-reporting Result.	CW	2021	DBLP DOI BibTeX RDF
13	Emanuel Kieronski, Sebastian Rudolph	Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
13	Sagar Malhotra, Luciano Serafini	A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints.	AI*IA	2021	DBLP DOI BibTeX RDF
13	Konstantinos Tsilionis, Yves Wautelet	From Service-Orientation to Agile Development by Conceptually Linking Business IT Services and User Stories: A Meta-Model and a Process Fragment.	CBI (2)	2021	DBLP DOI BibTeX RDF
13	Felipe Castro-Medina, Lisbeth Rodríguez-Mazahua, Asdrúbal López Chau, Giner Alor-Hernández, Ulises Juárez-Martínez, Cuauhtémoc Sánchez-Ramírez	An Improvement to FRAGMENT: A Web Application for Database Fragmentation, Allocation, and Replication Over a Cloud Environment.	ICICT (3)	2021	DBLP DOI BibTeX RDF
13	Rainer Schlosser, Stefan Halfpap	Robust and Memory-Efficient Database Fragment Allocation for Large and Uncertain Database Workloads.	EDBT	2021	DBLP DOI BibTeX RDF
13	Manish Bhatt, Avdesh Mishra, Md Wasi Ul Kabir, S. E. Blake-Gatto, Rishav Rajendra, Md. Tamjidul Hoque, Irfan Ahmed 0001	Hierarchy-Based File Fragment Classification.	Mach. Learn. Knowl. Extr.	2020	DBLP DOI BibTeX RDF
13	André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
13	Abdelkamel Ben Ali, Gabriel Luque, Enrique Alba 0001	An efficient discrete PSO coupled with a fast local search heuristic for the DNA fragment assembly problem.	Inf. Sci.	2020	DBLP DOI BibTeX RDF
13	Qunhui Li, Guohua Geng, Mingquan Zhou	Pairwise Matching for 3D Fragment Reassembly Based on Boundary Curves and Concave-Convex Patches.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Mohamed Abdel-Basset, Reda Mohamed, Karam M. Sallam, Ripon Kumar Chakrabortty, Michael J. Ryan	An Efficient-Assembler Whale Optimization Algorithm for DNA Fragment Assembly Problem: Analysis and Validations.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Yoshinobu Akinaga, Koichiro Kato, Tatsuya Nakano, Kaori Fukuzawa, Yuji Mochizuki	Fragmentation at sp2 carbon atoms in fragment molecular orbital method.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
13	Yufeng Cai, Xiongjun Li, Zhe Sun, Yutong Lu, Huiying Zhao, Jack Hanson, Kuldip K. Paliwal, Thomas Litfin, Yaoqi Zhou, Yuedong Yang	SPOT-Fold: Fragment-Free Protein Structure Prediction Guided by Predicted Backbone Structure and Contact Map.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
13	Miyu Kusumoto, Kaori Ueno-Noto, Keiko Takano	Systematic Interaction Analysis of Anti-Human Immunodeficiency Virus Type-1 Neutralizing Antibodies with High Mannose Glycans Using Fragment Molecular Orbital and Molecular Dynamics Methods.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
13	Pablo A. Unzueta, Gregory J. O. Beran	Polarizable continuum models provide an effective electrostatic embedding model for fragment-based chemical shift prediction in challenging systems.	J. Comput. Chem.	2020	DBLP DOI BibTeX RDF
13	Sepideh Mazrouee, Wei Wang 0010	PolyCluster: Minimum Fragment Disagreement Clustering for Polyploid Phasing.	IEEE ACM Trans. Comput. Biol. Bioinform.	2020	DBLP DOI BibTeX RDF
13	Sara Sarfaraz, Iqra Muneer, Haiyan Liu	Combining fragment docking with graph theory to improve ligand docking for homology model structures.	J. Comput. Aided Mol. Des.	2020	DBLP DOI BibTeX RDF
13	Wessam Elhefnawy, Min Li 0007, Jianxin Wang 0001, Yaohang Li	DeepFrag-k: a fragment-based deep learning approach for protein fold recognition.	BMC Bioinform.	2020	DBLP DOI BibTeX RDF
13	Kenneth Goossens, Berthold Wroblowski, Cassiano Langini, Herman van Vlijmen, Amedeo Caflisch, Hans De Winter	Assessment of the Fragment Docking Program SEED.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Ryo Hatada, Koji Okuwaki, Yuji Mochizuki, Yuma Handa, Kaori Fukuzawa, Yuto Komeiji, Yoshio Okiyama, Shigenori Tanaka	Fragment Molecular Orbital Based Interaction Analyses on COVID-19 Main Protease - Inhibitor N3 Complex (PDB ID: 6LU7).	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Yan Li 0051, Yaping Sun, Yunpeng Song, Dongcheng Dai, Zhixiong Zhao, Qing Zhang, Wenge Zhong, Liaoyuan A. Hu, Yingli Ma, Xun Li, Renxiao Wang	Fragment-Based Computational Method for Designing GPCR Ligands.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Laura Chachulski, Björn Windshügel	LEADS-FRAG: A Benchmark Data Set for Assessment of Fragment Docking Performance.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Patrick Penner, Virginie Y. Martiny, Arnaud Gohier, Marcus Gastreich, Pierre Ducrot, David Brown, Matthias Rarey	Shape-Based Descriptors for Efficient Structure-Based Fragment Growing.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Jinwen Shan, Xiaolin Pan, Xingyu Wang, Xudong Xiao, Changge Ji	FragRep: A Web Server for Structure-Based Drug Design by Fragment Replacement.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Amanda E. Wakefield, Christine Yueh, Dmitri Beglov, Marcelo Santos Castilho, Dima Kozakov, György M. Keserü, Adrian Whitty, Sandor Vajda	Benchmark Sets for Binding Hot Spot Identification in Fragment-Based Ligand Discovery.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Agnieszka S. Karczynska, Karolina Zieba, Urszula Uciechowska, Magdalena A. Mozolewska, Pawel Krupa, Emilia A. Lubecka, Agnieszka G. Lipska, Celina Sikorska, Sergey A. Samsonov, Adam K. Sieradzan, Artur Gieldon, Adam Liwo, Rafal Slusarz, Magdalena Slusarz, Jooyoung Lee 0002, Keehyoung Joo, Cezary Czaplewski	Improved Consensus-Fragment Selection in Template-Assisted Prediction of Protein Structures with the UNRES Force Field in CASP13.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Koichiro Kato, Tomohide Masuda, Chiduru Watanabe, Naoki Miyagawa, Hideo Mizouchi, Shumpei Nagase, Kikuko Kamisaka, Kanji Oshima, Satoshi Ono, Hiroshi Ueda, Atsushi Tokuhisa, Ryo Kanada, Masateru Ohta, Mitsunori Ikeguchi, Yasushi Okuno, Kaori Fukuzawa, Teruki Honma	High-Precision Atomic Charge Prediction for Protein Systems Using Fragment Molecular Orbital Calculation and Machine Learning.	J. Chem. Inf. Model.	2020	DBLP DOI BibTeX RDF
13	Lishuang Li, Anqiao Zhou, Beibei Zhang, Fengsen Xiao	Multiple fragment-level interactive networks for answer selection.	Neurocomputing	2020	DBLP DOI BibTeX RDF
13	Matan Drory Retwitzer, Vladimir Reinharz, Alexander Churkin, Yann Ponty, Jérôme Waldispühl, Danny Barash	incaRNAfbinv 2.0: a webserver and software with motif control for fragment-based design of RNAs.	Bioinform.	2020	DBLP DOI BibTeX RDF
13	Christoffer Bøgelund Rasmussen, Thomas B. Moeslund	Evaluation of Model Selection for Kernel Fragment Recognition in Corn Silage.	CoRR	2020	DBLP BibTeX RDF
13	Sheng He, Lambert Schomaker	FragNet: Writer Identification using Deep Fragment Networks.	CoRR	2020	DBLP BibTeX RDF
13	Ondrej Kuzelka	Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers.	CoRR	2020	DBLP BibTeX RDF
13	Wen-Kai Yu, Ya-Xin Li, Jian Leng, Shuo-Fei Wang	Fragment-synthesis-based multiparty cryptographic key distribution over a public network.	CoRR	2020	DBLP BibTeX RDF
13	Ian Pratt-Hartmann, Lidia Tendera	The Fluted Fragment with Transitive Relations.	CoRR	2020	DBLP BibTeX RDF
13	Marco Podda, Davide Bacciu, Alessio Micheli	A Deep Generative Model for Fragment-Based Molecule Generation.	CoRR	2020	DBLP BibTeX RDF
13	Ziqi Chen, Martin Renqiang Min, Srinivasan Parthasarathy 0001, Xia Ning	Molecule Optimization via Fragment-based Generative Models.	CoRR	2020	DBLP BibTeX RDF
13	Manuel Bodirsky, Simon Knäuer, Florian Starke	ASNP: a tame fragment of existential second-order logic.	CoRR	2020	DBLP BibTeX RDF
13	Jean Christoph Jung, Frank Wolter	Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment.	CoRR	2020	DBLP BibTeX RDF