Search results for "fragment"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Sergio A. Celani, Daniela Montangie	Algebraic semantics of the $\left\{ \rightarrow , \square \right\} $-fragment of Propositional Lax Logic.	Soft Comput.	2020	DBLP DOI BibTeX RDF
13	Uzma, Zahid Halim	Optimizing the DNA fragment assembly using metaheuristic-based overlap layout consensus approach.	Appl. Soft Comput.	2020	DBLP DOI BibTeX RDF
13	Yue Zhang, Ruofeng Tong 0001, Dan Song 0006, Xiaobo Yan, Lanfen Lin, Jian Wu	Joined fragment segmentation for fractured bones using GPU-accelerated shape-preserving erosion and dilation.	Medical Biol. Eng. Comput.	2020	DBLP DOI BibTeX RDF
13	Zhangbing Zhou, Jinfeng Wen, Yasha Wang, Xiao Xue 0001, Patrick C. K. Hung, Long Dinh Nguyen	Topic-based crossing-workflow fragment discovery.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
13	Pascal Thubert	IPv6 over Low-Power Wireless Personal Area Network (6LoWPAN) Selective Fragment Recovery.	RFC	2020	DBLP DOI BibTeX RDF
13	Sheng He, Lambert Schomaker	FragNet: Writer Identification Using Deep Fragment Networks.	IEEE Trans. Inf. Forensics Secur.	2020	DBLP DOI BibTeX RDF
13	Motahareh Mobasheri, Yangwoo Kim, Woongsup Kim	Fog Fragment Cooperation on Bandwidth Management Based on Reinforcement Learning.	Sensors	2020	DBLP DOI BibTeX RDF
13	Agata Gryta, Magdalena Frac	Methodological Aspects of Multiplex Terminal Restriction Fragment Length Polymorphism-Technique to Describe the Genetic Diversity of Soil Bacteria, Archaea and Fungi.	Sensors	2020	DBLP DOI BibTeX RDF
13	Andreas Teucke, Christoph Weidenbach	SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
13	Hui Liu 0012, Jingqing Jiang, Yaowei Hou, Jie Song 0001	Solving the Fragment Complexity of Official, Social, and Sensorial Urban Data.	Complex.	2020	DBLP DOI BibTeX RDF
13	Ekansh Verma, Vinodh Motupalli, Souradip Chakraborty	Transformers at SemEval-2020 Task 11: Propaganda Fragment Detection Using Diversified BERT Architectures Based Ensemble Learning.	SemEval@COLING	2020	DBLP DOI BibTeX RDF
13	Emanuel Kieronski, Adam Malinowski	The Triguarded Fragment with Transitivity.	LPAR	2020	DBLP DOI BibTeX RDF
13	Zhang Yong, Zhu Lisong	Text Classification and Mark Key Fragment.	ICBDC	2020	DBLP DOI BibTeX RDF
13	Jinfeng Wen, Zhangbing Zhou, Wenbo Zhang 0006, Yuqing Zhang	Pattern-Based Personalized Workflow Fragment Discovery.	SERVICES	2020	DBLP DOI BibTeX RDF
13	Stepan L. Kuznetsov	A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential.	Logic, Language, and Security	2020	DBLP DOI BibTeX RDF
13	Martine S. Lenders, Cenk Gündogan, Thomas C. Schmidt, Matthias Wählisch	Connecting the Dots: Selective Fragment Recovery in ICNLoWPAN.	ICN	2020	DBLP DOI BibTeX RDF
13	Pilar Dellunde	A Characterization of Belief Merging Operators in the Regular Horn Fragment of Signed Logic.	MDAI	2020	DBLP DOI BibTeX RDF
13	Stephan Haarmann, Mathias Weske	Correlating Data Objects in Fragment-Based Case Management.	BIS	2020	DBLP DOI BibTeX RDF
13	Simon Remy	Incorporating Organizational Aspects into Fragment-based Case Management.	ZEUS	2020	DBLP BibTeX RDF
13	Kerstin Andree, Sven Ihde, Luise Pufahl	Exception Handling in the Context of Fragment-Based Case Management.	BPMDS/EMMSAD@CAiSE	2020	DBLP DOI BibTeX RDF
13	Pinchao Liu, Hailu Xu, Dilma Da Silva, Qingyang Wang 0001, Sarker Tanzir Ahmed, Liting Hu	FP4S: Fragment-based Parallel State Recovery for Stateful Stream Applications.	IPDPS	2020	DBLP DOI BibTeX RDF
13	Kristian Skracic, F. Rukavina, K. Milicic, Juraj Petrovic, Predrag Pale	File Fragment Classification with Focus on OLE and OOXML classes.	MIPRO	2020	DBLP DOI BibTeX RDF
13	Christopher Baik	Fragment-Driven Natural Language Interaction with Databases.	CIDR	2020	DBLP BibTeX RDF
13	Sen Zheng, Renate A. Schmidt	Querying the Guarded Fragment via Resolution (Extended Abstract).	PAAR+SC²@IJCAR	2020	DBLP BibTeX RDF
13	Nilcimar Neitzel Will, Rafael Stubs Parpinelli	Comparing Best and Quota Fragment Picker Protocols Applied to Protein Structure Prediction.	HIS	2020	DBLP DOI BibTeX RDF
13	Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani	The Horn Fragment of Branching Algebra.	TIME	2020	DBLP DOI BibTeX RDF
13	Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak	On the Decidability of a Fragment of preferential LTL.	TIME	2020	DBLP DOI BibTeX RDF
13	Manuel Bodirsky, Simon Knäuer, Florian Starke	ASNP: A Tame Fragment of Existential Second-Order Logic.	CiE	2020	DBLP DOI BibTeX RDF
13	Guliu Liu, Lei Li 0002	Knowledge Fragment Cleaning in a Genealogy Knowledge Graph.	ICKG	2020	DBLP DOI BibTeX RDF
13	Paul Brunet	A Complete Axiomatisation of a Fragment of Language Algebra.	CSL	2020	DBLP DOI BibTeX RDF
13	Matthias Hoelzel, Richard Wilke	On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.	CSL	2020	DBLP DOI BibTeX RDF
13	Mohammed Aldawsari, Ehsaneddin Asgari, Mark A. Finlayson	Story Fragment Stitching: The Case of the Story of Moses.	AI4Narratives@IJCAI	2020	DBLP BibTeX RDF
13	Marco Podda, Davide Bacciu, Alessio Micheli	A Deep Generative Model for Fragment-Based Molecule Generation.	AISTATS	2020	DBLP BibTeX RDF
13	Elvismary Molina de Armas, Maristela Holanda, Daniel de Oliveira 0001, Nalvo F. Almeida, Sérgio Lifschitz	A Classification of de Bruijn Graph Approaches for De Novo Fragment Assembly.	BSB	2020	DBLP DOI BibTeX RDF
13	David Simoncini, Kam Y. J. Zhang	Population-Based Sampling and Fragment-Based De Novo Protein Structure Prediction.	Encyclopedia of Bioinformatics and Computational Biology (1)	2019	DBLP DOI BibTeX RDF
13	Ahmed A. Bahjat, Jim Jones	Deleted file fragment dating by analysis of allocated neighbors.	Digit. Investig.	2019	DBLP DOI BibTeX RDF
13	Yasuyuki Tanaka, Pascale Minet, Thomas Watteyne	6LoWPAN Fragment Forwarding.	IEEE Commun. Stand. Mag.	2019	DBLP DOI BibTeX RDF
13	Georgios Z. Papadopoulos, Rahul Arvind Jadhav, Pascal Thubert, Nicolas Montavont	Updates on RFC 4944: Fragment Forwarding and Recovery.	IEEE Commun. Stand. Mag.	2019	DBLP DOI BibTeX RDF
13	Ioannis Georgilas, Giulio Dagnino, Beatriz Alves Martins, Payam Tarassoli, Samir Morad, Konstantinos Georgilas, Paul Kohler, Roger Atkins, Sanja Dogramadzi	Design and Evaluation of a Percutaneous Fragment Manipulation Device for Minimally Invasive Fracture Surgery.	Frontiers Robotics AI	2019	DBLP DOI BibTeX RDF
13	Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera	The Fluted Fragment Revisited.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
13	Qize Guo, Rentao Gu, Tao Dong 0002, Jie Yin, Zhihui Liu, Lin Bai 0005, Yuefeng Ji	SDN-Based End-to-End Fragment-Aware Routing for Elastic Data Flows in LEO Satellite-Terrestrial Network.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Milan Deepak Parmar, Wei Pang 0001, De-hao Yu, Jianhua Jiang, Liupu Wang, Limin Wang, You Zhou	FREDPC: A Feasible Residual Error-Based Density Peak Clustering Algorithm With the Fragment Merging Strategy.	IEEE Access	2019	DBLP DOI BibTeX RDF
13	Jin Zheng, Bo Li 0006, Ming Xin 0003, Gang Luo 0003	Structured fragment-based object tracking using discrimination, uniqueness, and validity selection.	Multim. Syst.	2019	DBLP DOI BibTeX RDF
13	Jalal Z. A. Laloo, Nandini Savoo, Nassirah Laloo, Lydia Rhyman, Ponnadurai Ramasami	ExcelAutomat 1.3: Fragment analysis based on the distortion/interaction-activation strain model.	J. Comput. Chem.	2019	DBLP DOI BibTeX RDF
13	Hieu Thanh Nguyen, Tam Van-Thanh Mai, Lam Kim Huynh	mHDFS-HoF: A generalized multilevel homodesmotic fragment-separation reaction based program for heat-of-formation calculation for acyclic hydrocarbons.	J. Comput. Chem.	2019	DBLP DOI BibTeX RDF
13	Sergey A. Samsonov, Martin Zacharias, Isaure Chauvot de Beauchêne	Modeling large protein-glycosaminoglycan complexes using a fragment-based approach.	J. Comput. Chem.	2019	DBLP DOI BibTeX RDF
13	Yaohui Li, Quanyou Zhang, Yizhong Wu, Shuting Wang	A sequential Kriging method assisted by trust region strategy for proxy cache size optimization of the streaming media video data due to fragment popularity distribution.	Multim. Tools Appl.	2019	DBLP DOI BibTeX RDF
13	Yuwei Yang, Jianing Lu, Chao Yang 0023, Yingkai Zhang	Exploring fragment-based target-specific ranking protocol with machine learning on cathepsin S.	J. Comput. Aided Mol. Des.	2019	DBLP DOI BibTeX RDF
13	Christoph Ruttkies, Steffen Neumann, Stefan Posch	Improving MetFrag with statistical learning of fragment annotations.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
13	Nico Potyka	A polynomial-time fragment of epistemic probabilistic argumentation.	Int. J. Approx. Reason.	2019	DBLP DOI BibTeX RDF
13	Dietmar Jannach, Thomas Schmitz 0002, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa	Fragment-based spreadsheet debugging.	Autom. Softw. Eng.	2019	DBLP DOI BibTeX RDF
13	Xuesong Xu, Gang Xiao 0001, Gonghui Lou, Jiawei Lu, Jun Yang, Zhenbo Cheng	Flexible parametric FEA modeling for product family based on script fragment grammar.	Comput. Ind.	2019	DBLP DOI BibTeX RDF
13	Han Zhang 0028, Wenjuan Jiang, Payal Chatterjee, Yun Lyna Luo	Ranking Reversible Covalent Drugs: From Free Energy Perturbation to Fragment Docking.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
13	Takaki Tokiwa, Shogo Nakano, Yuta Yamamoto, Takeshi Ishikawa, Sohei Ito, Vladimír Sládek, Kaori Fukuzawa, Yuji Mochizuki, Hiroaki Tokiwa, Fuminori Misaizu, Yasuteru Shigeta	Development of an Analysis Toolkit, AnalysisFMO, to Visualize Interaction Energies Generated by Fragment Molecular Orbital Calculations.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
13	Mahendra Awale, Finton Sirockin, Nikolaus Stiefl, Jean-Louis Reymond	Drug Analogs from Fragment-Based Long Short-Term Memory Generative Neural Networks.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
13	Hsuan-Hao Hsu, Chen-Hsuan Huang, Shiang-Tai Lin	New Data Structure for Computational Molecular Design with Atomic or Fragment Resolution.	J. Chem. Inf. Model.	2019	DBLP DOI BibTeX RDF
13	Lars Lindemann, Dimos V. Dimarogonas	Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks.	Autom.	2019	DBLP DOI BibTeX RDF
13	Eric T. Dawson, Richard Durbin	GFAKluge: A C++ library and command line utilities for the Graphical Fragment Assembly formats.	J. Open Source Softw.	2019	DBLP DOI BibTeX RDF
13	Anantha Padmanabha, R. Ramanujam 0001	The Monodic Fragment of Propositional Term Modal Logic.	Stud Logica	2019	DBLP DOI BibTeX RDF
13	Tong Wang 0014, Yanhua Qiao, Wenze Ding, Wenzhi Mao, Yaoqi Zhou, Haipeng Gong	Improved fragment sampling for ab initio protein structure prediction using deep neural networks.	Nat. Mach. Intell.	2019	DBLP DOI BibTeX RDF
13	V. A. Alexandrov, V. A. Desnitsky, D. Y. Chaly	Design and Security Analysis of a Fragment of Internet of Things Telecommunication System.	Autom. Control. Comput. Sci.	2019	DBLP DOI BibTeX RDF
13	Robert B. Grupp, Ryan J. Murphy, Rachel Hegeman, Clayton P. Alexander, Mathias Unberath, Yoshito Otake, Benjamin A. McArthur, Mehran Armand, Russell H. Taylor	Fast and Automatic Periacetabular Osteotomy Fragment Pose Estimation Using Intraoperatively Implanted Fiducials and Single-View Fluoroscopy.	CoRR	2019	DBLP BibTeX RDF
13	John Armitage, Leszek J. Spalek, Malgorzata Nguyen, Mark Nikolka, Ian E. Jacobs, Lorena Marañón, Iyad Nasrallah, Guillaume Schweicher, Ivan Dimov, Dimitrios Simatos, Iain McCulloch, Christian B. Nielsen, Gareth John Conduit, Henning Sirringhaus	Fragment Graphical Variational AutoEncoding for Screening Molecules with Small Data.	CoRR	2019	DBLP BibTeX RDF
13	Ian Pratt-Hartmann, Lidia Tendera	The Fluted Fragment with Transitivity.	CoRR	2019	DBLP BibTeX RDF
13	Georges Nassopoulos, Patricia Serrano-Alvarado, Pascal Molli, Emmanuel Desmontils	Extracting Basic Graph Patterns from Triple Pattern Fragment Logs.	CoRR	2019	DBLP BibTeX RDF
13	Tariq Alhindi, Jonas Pfeiffer, Smaranda Muresan	Fine-Tuned Neural Models for Propaganda Detection at the Sentence and Fragment levels.	CoRR	2019	DBLP BibTeX RDF
13	Anantha Padmanabha, R. Ramanujam 0001	Two variable fragment of Term Modal Logic.	CoRR	2019	DBLP BibTeX RDF
13	Nargiza Nosirova, Mingbin Xu, Hui Jiang 0001	Effective Context and Fragment Feature Usage for Named Entity Recognition.	CoRR	2019	DBLP BibTeX RDF
13	Govind Mittal, Pawel Korus, Nasir D. Memon	FiFTy: Large-scale File Fragment Type Identification using Neural Networks.	CoRR	2019	DBLP BibTeX RDF
13	Sandro Rama Fiorini, Wallas Henrique Sousa dos Santos, Rodrigo Costa Mesquita Santos, Guilherme Augusto Ferreira Lima, Márcio Ferreira Moreno	General Fragment Model for Information Artifacts.	CoRR	2019	DBLP BibTeX RDF
13	Martine S. Lenders, Thomas C. Schmidt, Matthias Wählisch	A Lesson in Scaling 6LoWPAN - Minimal Fragment Forwarding in Lossy Networks.	CoRR	2019	DBLP BibTeX RDF
13	Bernd Finkbeiner, Christopher Hahn, Tobias Hans	MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃∀ Fragment.	CoRR	2019	DBLP BibTeX RDF
13	Matthias Hoelzel, Richard Wilke	On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.	CoRR	2019	DBLP BibTeX RDF
13	Nico Potyka, Sylwia Polberg, Anthony Hunter	Polynomial-time Updates of Epistemic States in a Fragment of Probabilistic Epistemic Argumentation (Technical Report).	CoRR	2019	DBLP BibTeX RDF
13	Jochen Hoenicke, Tanja Schindler	Interpolation and the Array Property Fragment.	CoRR	2019	DBLP BibTeX RDF
13	Chrysafis Hartonas	Lattice logic as a fragment of (2-sorted) residuated modal logic.	J. Appl. Non Class. Logics	2019	DBLP DOI BibTeX RDF
13	Pavan Kumar Machiraju, Poornachandra Yedla, Satya Prakash Gubbala, Taher Bohari, Jaleel K. V. Abdul, Shili Xu, Rahul Patel, Venkata Ramana Reddy Chittireddy, Kiran Boppana, Sarma A. R. P. Jagarlapudi, Nouri Neamati, Riyaz Syed, Ramars Amanchy	Identification, synthesis and evaluation of CSF1R inhibitors using fragment based drug design.	Comput. Biol. Chem.	2019	DBLP DOI BibTeX RDF
13	Chiranjeevi Pasala, Sudheer Kumar Katari, Ravina Madhulitha Nalamolu, R. Bitla Aparna, Umamaheswari Amineni	Integration of core hopping, quantum-mechanics, molecular mechanics coupled binding-energy estimations and dynamic simulations for fragment-based novel therapeutic scaffolds against Helicobacter pylori strains.	Comput. Biol. Chem.	2019	DBLP DOI BibTeX RDF
13	Alexey B. Terentjev, Douglas P. Perrin, Scott H. Settlemier, David Zurakowski, Pavel O. Smirnov, Pedro J. del Nido, Igor V. Shturts, Nikolay V. Vasilyev	Temporal enhancement of 2D color Doppler echocardiography sequences by fragment-based frame reordering and refinement.	Int. J. Comput. Assist. Radiol. Surg.	2019	DBLP DOI BibTeX RDF
13	Christoffer Bøgelund Rasmussen, Thomas B. Moeslund	Maize Silage Kernel Fragment Estimation Using Deep Learning-Based Object Recognition in Non-Separated Kernel/Stover RGB Images.	Sensors	2019	DBLP DOI BibTeX RDF
13	Mohammad Nikravan, Ali Movaghar 0001, Mehdi Hosseinzadeh 0001	Correction to: A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks.	Peer-to-Peer Netw. Appl.	2019	DBLP DOI BibTeX RDF
13	Mohammad Nikravan, Ali Movaghar 0001, Mehdi Hosseinzadeh 0001	A lightweight signcryption scheme for defense against fragment duplication attack in the 6LoWPAN networks.	Peer-to-Peer Netw. Appl.	2019	DBLP DOI BibTeX RDF
13	Naruki Yoshikawa, Geoffrey R. Hutchison	Fast, efficient fragment-based coordinate generation for Open Babel.	J. Cheminformatics	2019	DBLP DOI BibTeX RDF
13	Célien Jacquemard, Malgorzata N. Drwal, Jérémy Desaphy, Esther Kellenberger	Binding mode information improves fragment docking.	J. Cheminformatics	2019	DBLP DOI BibTeX RDF
13	Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini	On a Convex Logic Fragment for Learning and Reasoning.	IEEE Trans. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
13	Yingjiang Li, Jianwei Zhang, Yuzhong Zhong, Maoning Wang	An efficient stereo matching based on fragment matching.	Vis. Comput.	2019	DBLP DOI BibTeX RDF
13	Vivek Hamirwasia, Kamalakar Karlapalem, Satyanarayana R. Valluri	FAST: Fragment Assisted Storage for efficient query execution in read-only databases.	BIRTE	2019	DBLP DOI BibTeX RDF
13	Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt	The One-Variable Fragment of Corsi Logic.	WoLLIC	2019	DBLP DOI BibTeX RDF
13	Renan Samuel da Silva, Rafael Stubs Parpinelli	A Self-adaptive Differential Evolution with Fragment Insertion for the Protein Structure Prediction Problem.	HM	2019	DBLP DOI BibTeX RDF
13	Stefan Halfpap, Rainer Schlosser	Workload-Driven Fragment Allocation for Partially Replicated Databases Using Linear Programming.	ICDE	2019	DBLP DOI BibTeX RDF
13	Lung-Pin Chen, I-Chen Wu, Yen-Ling Chang	Reinforcement Learning based Fragment-Aware Scheduling for High Utilization HPC Platforms.	TAAI	2019	DBLP DOI BibTeX RDF
13	Simon Castellan, Nobuko Yoshida	Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).	FoSSaCS	2019	DBLP DOI BibTeX RDF
13	Nico Potyka, Sylwia Polberg, Anthony Hunter	Polynomial-Time Updates of Epistemic States in a Fragment of Probabilistic Epistemic Argumentation.	ECSQARU	2019	DBLP DOI BibTeX RDF
13	Daniel Danielski, Emanuel Kieronski	Finite Satisfiability of Unary Negation Fragment with Transitivity.	MFCS	2019	DBLP DOI BibTeX RDF
13	Anantha Padmanabha, R. Ramanujam 0001	Two variable fragment of Term Modal Logic.	MFCS	2019	DBLP DOI BibTeX RDF
13	Ian Pratt-Hartmann, Lidia Tendera	The Fluted Fragment with Transitivity.	MFCS	2019	DBLP DOI BibTeX RDF
13	Yiling Wu, Shuhui Wang, Guoli Song, Qingming Huang	Learning Fragment Self-Attention Embeddings for Image-Text Matching.	ACM Multimedia	2019	DBLP DOI BibTeX RDF
13	Viacheslav Kalashnikov, Viktor V. Avramenko, Volodymyr N. Demianenko, Nataliya I. Kalashnykova	Fragment-aided recognition of images under poor lighting and additive impulse noises.	ITQM	2019	DBLP DOI BibTeX RDF
13	Kristijan Vulinovic, Lucija Ivkovic, Juraj Petrovic, Kristian Skracic, Predrag Pale	Neural Networks for File Fragment Classification.	MIPRO	2019	DBLP DOI BibTeX RDF
13	Trung B. Nguyen, Will N. Browne, Mengjie Zhang 0001	Improvement of code fragment fitness to guide feature construction in XCS.	GECCO	2019	DBLP DOI BibTeX RDF