Search results for "fragment"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Isaure Chauvot de Beauchêne, Sjoerd Jacob de Vries, Martin Zacharias	Binding Site Identification and Flexible Docking of Single Stranded RNA to Proteins Using a Fragment-Based Approach.	PLoS Comput. Biol.	2016	DBLP DOI BibTeX RDF
13	Youcef Gheraibia, Abdelouahab Moussaoui, Sohag Kabir, Smaine Mazouzi	Pe-DFA: Penguins Search Optimisation Algorithm for DNA Fragment Assembly.	Int. J. Appl. Metaheuristic Comput.	2016	DBLP DOI BibTeX RDF
13	Guillermo Badia	The Relevant Fragment of First order Logic.	Rev. Symb. Log.	2016	DBLP DOI BibTeX RDF
13	Peter Franek, Stefan Ratschan, Piotr Zgliczynski	Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
13	Xun Jin, Jongweon Kim	Video fragment format classification using optimized discriminative subspace clustering.	Signal Process. Image Commun.	2016	DBLP DOI BibTeX RDF
13	Najam Nazar, He Jiang 0001, Guojun Gao, Tao Zhang 0001, Xiaochen Li, Zhilei Ren	Source code fragment summarization with small-scale crowdsourcing based features.	Frontiers Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Zhikun Chen, Shuqiang Yang, Yunfei Shang, Yong Liu, Feng Wang, Lu Wang, Jingjing Fu	Fragment Re-Allocation Strategy Based on Hypergraph for NoSQL Database Systems.	Int. J. Grid High Perform. Comput.	2016	DBLP DOI BibTeX RDF
13	Hongsong Chen, Gang Wang, Zhongchuan Fu	基于分段模型检测的云服务跨域认证协议的形式化分析与验证 (Cloud Services Cross-domain Authentication Protocol Formal Analysis and Verification Based on Fragment Model Check).	计算机科学	2016	DBLP DOI BibTeX RDF
13	Chong Sun, Dong Wang 0004, Huchuan Lu	Occlusion-Aware Fragment-Based Tracking With Spatial-Temporal Consistency.	IEEE Trans. Image Process.	2016	DBLP DOI BibTeX RDF
13	Isidro M. Alvarez, Will N. Browne, Mengjie Zhang 0001	Compaction for code fragment based learning classifier systems - Redux.	CEC	2016	DBLP DOI BibTeX RDF
13	Yi Liu, Muhammad Iqbal 0001, Isidro M. Alvarez, Will N. Browne	Integration of code-fragment based learning classifier systems for multiple domain perception and learning.	CEC	2016	DBLP DOI BibTeX RDF
13	Jing Zhang 0001, Honglei Zhuang, Yanglei Song, Jiawei Han 0001, Yutao Zhang, Jie Tang 0001, Juanzi Li	Knowledge Fragment Enrichment Using Domain Knowledge Base.	SMP	2016	DBLP DOI BibTeX RDF
13	David M. Cerna, Wolfgang Schreiner, Temur Kutsia	Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.	SCSS	2016	DBLP DOI BibTeX RDF
13	Thomas Kurz, Harald Kosch	Lifting Media Fragment URIs to the next Level.	LIME/SemDev@ESWC	2016	DBLP BibTeX RDF
13	Heiko Beck, Marcin Hewelt, Luise Pufahl	Extending Fragment-Based Case Management with State Variables.	Business Process Management Workshops	2016	DBLP DOI BibTeX RDF
13	Yongfeng Li, Jinbin Ouyang, Shanqing Guo, Bing Mao	Data Flow Analysis on Android Platform with Fragment Lifecycle Modeling.	SecureComm	2016	DBLP DOI BibTeX RDF
13	Isidro M. Alvarez, Will N. Browne, Mengjie Zhang 0001	Compaction for Code Fragment Based Learning Classifier Systems.	ACALCI	2016	DBLP DOI BibTeX RDF
13	Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria	Conjunctive Query Answering via a Fragment of Set Theory.	ICTCS	2016	DBLP BibTeX RDF
13	Prosper Mafole, Mussa Kissaka, Masayoshi Aritsugi	Fragment retransmission scheme with enhanced collision avoidance for energy-efficient IEEE 802.11 WLANs.	Wireless Days	2016	DBLP DOI BibTeX RDF
13	Thomas Schmitz 0002, Birgit Hofer, Dietmar Jannach, Franz Wotawa	Fragment-Based Diagnosis of Spreadsheets.	STAF Workshops	2016	DBLP DOI BibTeX RDF
13	Hans-Ulrich Krieger	Capturing Graded Knowledge and Uncertainty in a Modalized Fragment of OWL.	ICAART (2)	2016	DBLP DOI BibTeX RDF
13	Hans-Ulrich Krieger	Integrating Graded Knowledge and Temporal Change in a Modal Fragment of OWL.	ICAART (Revised Selected Papers)	2016	DBLP DOI BibTeX RDF
13	Achim Blumensath, Thomas Colcombet, Pawel Parys	On a Fragment of AMSO and Tiling Systems.	STACS	2016	DBLP DOI BibTeX RDF
13	Mehdi El Krari, Belaïd Ahiod, Bouazza El Benani	An Empirical Study of the Multi-fragment Tour Construction Algorithm for the Travelling Salesman Problem.	HIS	2016	DBLP DOI BibTeX RDF
13	Huiyuan Xie, Jie Luo	An Algorithm to Compute Minimal Unsatisfiable Subsets for a Decidable Fragment of First-Order Formulas.	ICTAI	2016	DBLP DOI BibTeX RDF
13	Elvismary Molina de Armas, Edward Hermann Haeusler, Sérgio Lifschitz, Maristela Terto de Holanda, Waldeyr Mendes Cordeiro da Silva, Paulo Cavalcanti Gomes Ferreira	K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly.	BIBM	2016	DBLP DOI BibTeX RDF
13	Mohammadreza Abbasifard	Rule Based Fragment Allocation in Distributed Database Systems.	RuleML (Supplement)	2016	DBLP BibTeX RDF
13	Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera	Quine's Fluted Fragment is Non-Elementary.	CSL	2016	DBLP DOI BibTeX RDF
13	Ming Di Koa, Henry Johan, Alexei Sourin	Interactive Screenspace Stream-Compaction Fragment Rendering of Direct Illumination from Area Lights.	CW	2016	DBLP DOI BibTeX RDF
13	Antti Kuusisto	On the Uniform One-dimensional Fragment.	Description Logics	2016	DBLP BibTeX RDF
13	Yao Liu 0010, Zhenhua Duan, Cong Tian	A Decision Procedure for a Fragment of Linear Time Mu-Calculus.	IJCAI	2016	DBLP BibTeX RDF
13	Ko-Wei Huang, Jui-Le Chen, Chu-Sing Yang, Chun-Wei Tsai	A memetic particle swarm optimization algorithm for solving the DNA fragment assembly problem.	Neural Comput. Appl.	2015	DBLP DOI BibTeX RDF
13	Domenico Cantone, Marianna Nicolosi Asmundo	The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations.	ICTCS	2015	DBLP DOI BibTeX RDF
13	Jakub Gunera, Peter Kolb	Fragment-based similarity searching with infinite color space.	J. Comput. Chem.	2015	DBLP DOI BibTeX RDF
13	Ilya A. Kaliman, Lyudmila V. Slipchenko	Hybrid MPI/OpenMP parallelization of the effective fragment potential method in the libefp software library.	J. Comput. Chem.	2015	DBLP DOI BibTeX RDF
13	Takao Otsuka, Noriaki Okimoto, Makoto Taiji	Assessment and acceleration of binding energy calculations for protein-ligand complexes by the fragment molecular orbital method.	J. Comput. Chem.	2015	DBLP DOI BibTeX RDF
13	Ádám A. Kelemen, György G. Ferenczy, György M. Keserü	Erratum to: A desirability function-based scoring scheme for selecting fragment-like class A aminergic GPCR ligands.	J. Comput. Aided Mol. Des.	2015	DBLP DOI BibTeX RDF
13	Sailu Sarvagalla, Vivek Kumar Singh 0006, Yi-Yu Ke, Hui-Yi Shiao, Wen-Hsing Lin, Hsing-Pang Hsieh, John T. A. Hsu, Mohane Selvaraj Coumar	Identification of ligand efficient, fragment-like hits from an HTS library: structure-based virtual screening and docking investigations of 2H- and 3H-pyrazolo tautomers for Aurora kinase A selectivity.	J. Comput. Aided Mol. Des.	2015	DBLP DOI BibTeX RDF
13	Ádám A. Kelemen, György G. Ferenczy, György M. Keserü	A desirability function-based scoring scheme for selecting fragment-like class A aminergic GPCR ligands.	J. Comput. Aided Mol. Des.	2015	DBLP DOI BibTeX RDF
13	Michaël Vyverman, Bernard De Baets, Veerle Fack, Peter Dawyndt	A Long Fragment Aligner called ALFALFA.	BMC Bioinform.	2015	DBLP DOI BibTeX RDF
13	Zhong-Ru Xie, Jiawen Chen, Yinghao Wu	Decomposing the space of protein quaternary structures with the interface fragment pair library.	BMC Bioinform.	2015	DBLP DOI BibTeX RDF
13	Yin Wu, Min Jiang 0005, Zhongqiang Huang, Fei Chao 0001, Changle Zhou	An NP-complete fragment of fibring logic.	Ann. Math. Artif. Intell.	2015	DBLP DOI BibTeX RDF
13	Thomas B. Steinbrecher, Markus K. Dahlgren, Daniel Cappel, Teng Lin, Lingle Wang, Goran Krilov, Robert Abel, Richard A. Friesner, Woody Sherman	Accurate Binding Free Energy Predictions in Fragment Optimization.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	Andreas Truszkowski, Karina van den Broek, Hubert Kuhn, Achim Zielesny, Matthias Epple	Mesoscopic Simulation of Phospholipid Membranes, Peptides, and Proteins with Molecular Fragment Dynamics.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	Noelia Ferruz, Matthew J. Harvey, Jordi Mestres, Gianni De Fabritiis	Insights from Fragment Hit Binding Assays by Molecular Simulations.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	David Rooklin, Cheng Wang, Joseph Katigbak, Paramjit S. Arora, Yingkai Zhang	AlphaSpace: Fragment-Centric Topographical Mapping To Target Protein-Protein Interaction Interfaces.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	Bernard Pirard, Peter Ertl	Evaluation of a Semi-Automated Workflow for Fragment Growing.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	Sabine Schultes, Albert J. Kooistra, Henry F. Vischer, Saskia Nijmeijer, Eric E. J. Haaksma, Rob Leurs, Iwan J. P. de Esch, Chris de Graaf	Combinatorial Consensus Scoring for Ligand-Based Virtual Fragment Screening: A Comparative Case Study for Serotonin 5-HT3A, Histamine H1, and Histamine H4 Receptors.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	Marco Foscato, Benjamin J. Houghton, Giovanni Occhipinti, Robert J. Deeth, Vidar R. Jensen	Ring Closure To Form Metal Chelates in 3D Fragment-Based de Novo Design.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	Alexander L. Perryman, Weixuan Yu, Xin Wang 0067, Sean Ekins, Stefano Forli, Shao-Gang Li, Joel S. Freundlich, Peter J. Tonge, Arthur J. Olson	A Virtual Screen Discovers Novel, Fragment-Sized Inhibitors of Mycobacterium tuberculosis InhA.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
13	Ian Pratt-Hartmann	The two-variable fragment with counting and equivalence.	Math. Log. Q.	2015	DBLP DOI BibTeX RDF
13	Katalin Bimbó	The decidability of the intensional fragment of classical linear logic.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
13	Frédéric Guyon, François Martz, Marek Vavrusa, Jérôme Bécot, Julien Rey, Pierre Tufféry	BCSearch: fast structural fragment mining over large collections of protein structures.	Nucleic Acids Res.	2015	DBLP DOI BibTeX RDF
13	Anna Glenszczyk	Negational Fragment of Intuitionistic Control Logic.	Stud Logica	2015	DBLP DOI BibTeX RDF
13	Branislav R. Boricic, Mirjana Ilic	An Alternative Normalization of the Implicative Fragment of Classical Logic.	Stud Logica	2015	DBLP DOI BibTeX RDF
13	Abhishek Biswas, David Gauthier, Desh Ranjan, Mohammad Zubair	ISQuest: finding insertion sequences in prokaryotic sequence fragment data.	Bioinform.	2015	DBLP DOI BibTeX RDF
13	Gábor Alagi, Christoph Weidenbach	NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper).	CoRR	2015	DBLP BibTeX RDF
13	Domenico Cantone, Marianna Nicolosi Asmundo	The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations.	CoRR	2015	DBLP BibTeX RDF
13	Liang Lin, Xiaolong Wang 0004, Wei Yang 0019, Jianhuang Lai	Learning Contour-Fragment-based Shape Model with And-Or Tree Representation.	CoRR	2015	DBLP BibTeX RDF
13	Daniel Riccio, Sonia Caggiano, Maria De Marsico, Riccardo Distasi, Michele Nappi	MOSAIC+: Fragment retrieval and reconstruction enhancement for virtual restoration.	J. Vis. Lang. Comput.	2015	DBLP DOI BibTeX RDF
13	Hyunchul Kang	In-Network Processing of an Iceberg Join Query in Wireless Sensor Networks Based on 2-Way Fragment Semijoins.	Sensors	2015	DBLP DOI BibTeX RDF
13	Alberto Gobbi, Anthony M. Giannetti, Huifen Chen, Man-Ling Lee	Atom-Atom-Path similarity and Sphere Exclusion clustering: tools for prioritizing fragment hits.	J. Cheminformatics	2015	DBLP DOI BibTeX RDF
13	Marta Cialdea Mayer	Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders.	J. Autom. Reason.	2015	DBLP DOI BibTeX RDF
13	Zhikun Chen, Shuqiang Yang, Shuang Tan, Li He, Hong Yin, Ge Zhang	A new fragment re-allocation strategy for NoSQL database systems.	Frontiers Comput. Sci.	2015	DBLP DOI BibTeX RDF
13	Guillermo M. Mallén-Fullerton, J. Emilio Quiroz-Ibarra, Antonio Miranda, Guillermo Fernández-Anaya	Modified Classical Graph Algorithms for the DNA Fragment Assembly Problem.	Algorithms	2015	DBLP DOI BibTeX RDF
13	Xiaohu Hao, Guijun Zhang, Xiaogen Zhou, Zhenghua Cheng, Qipeng Zhang	一种基于片段组装的蛋白质构象空间优化算法 (Protein Conformational Space Optimization Algorithm Based on Fragment-assembly).	计算机科学	2015	DBLP DOI BibTeX RDF
13	Mayuka F. Kawaguchi, Michiro Kondo	An Algebraic Aspect of Correspondences Between Implicational Fragment Logics and Fuzzy Logics.	J. Adv. Comput. Intell. Intell. Informatics	2015	DBLP DOI BibTeX RDF
13	Xixiang Lv, Yi Mu 0001, Hui Li 0006	Loss-Tolerant Bundle Fragment Authentication for Space-Based DTNs.	IEEE Trans. Dependable Secur. Comput.	2015	DBLP DOI BibTeX RDF
13	Aaron Heidel, Hsiang-Hung Lu, Lin-Shan Lee	Finding Complex Features for Guest Language Fragment Recovery in Resource-Limited Code-Mixed Speech Recognition.	IEEE ACM Trans. Audio Speech Lang. Process.	2015	DBLP DOI BibTeX RDF
13	Kang Zhang 0002, Wuyi Yu, Mary Manhein, Warren N. Waggenspack, Xin Li 0003	3D Fragment Reassembly Using Integrated Template Guidance and Fracture-Region Matching.	ICCV	2015	DBLP DOI BibTeX RDF
13	M. Hadi Kiapour, Wei Di, Vignesh Jagadeesh, Robinson Piramuthu	Mine the fine: Fine-grained fragment discovery.	ICIP	2015	DBLP DOI BibTeX RDF
13	Giulia Bracco, Basilio Calderone, Chiara Celata	Phonotactic probabilities in Italian simplex and complex words: a fragment priming study.	NetWordS	2015	DBLP BibTeX RDF
13	Junhua Wang, Zhuoming Xu, Jin Zhang	Implementation Strategies for CSV Fragment Retrieval over HTTP.	IEEE WISA	2015	DBLP DOI BibTeX RDF
13	Facundo Carreiro	PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic.	LICS	2015	DBLP DOI BibTeX RDF
13	Ning Zheng 0001, Jinlong Wang, Ting Wu 0001, Ming Xu 0001	A Fragment Classification Method Depending on Data Type.	CIT/IUCC/DASC/PICom	2015	DBLP DOI BibTeX RDF
13	Andreas Blass	Existential Fixed-Point Logic as a Fragment of Second-Order Logic.	Fields of Logic and Computation II	2015	DBLP DOI BibTeX RDF
13	André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto	Monitoring for a Decidable Fragment of MTL-∫.	RV	2015	DBLP DOI BibTeX RDF
13	Miel Vander Sande, Ruben Verborgh, Erik Mannens, Rik Van de Walle	Updating SPARQL results in real-time with client-side fragment patching.	SEMANTiCS	2015	DBLP DOI BibTeX RDF
13	Daniel Varela, José Santos Reyes	Combination of Differential Evolution and Fragment-based Replacements for Protein Structure Prediction.	GECCO (Companion)	2015	DBLP DOI BibTeX RDF
13	Wei Shi, Junzhou Chen, Honghan Chen, Qiang Peng, Tao Gan	Bleeding fragment localization using time domain information for WCE videos.	BMEI	2015	DBLP DOI BibTeX RDF
13	Hu Cao, Yonggang Lu	Flexible protein structure alignment by variable-length Aligned Fragment Pairs.	BIBM	2015	DBLP DOI BibTeX RDF
13	Karn Yongsiriwit, Nguyen Ngoc Chan, Walid Gaaloul	Log-Based Process Fragment Querying to Support Process Design.	HICSS	2015	DBLP DOI BibTeX RDF
13	Stefano Falcinelli, Marzio Rosi, Pietro Candori, Franco Vecchiocattivi, James M. Farrar, Konstantinos S. Kalogerakis, Fernando Pirani, Nadia Balucani, Michele Alagia, Robert Richter, Stefano Stranges	Angular Distributions of Fragment Ions Produced by Coulomb Explosion of Simple Molecular Dications of Astrochemical Interest.	ICCSA (2)	2015	DBLP DOI BibTeX RDF
13	Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò 0001	Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment.	ESORICS (2)	2015	DBLP DOI BibTeX RDF
13	Ehsan Raoufi, Hassan Akrami, Behzad Khansarinejad, Hamid Abtahi	Epitope mapping and antigenic evaluation of Helicobacter pylori Urease subunit beta fragment.	ASONAM	2015	DBLP DOI BibTeX RDF
13	Xianyan Wu, Qi Han 0002, Xiamu Niu	Improving Weights for Graph-Based Image Fragment Reassembly.	IIH-MSP	2015	DBLP DOI BibTeX RDF
13	Andreas Vasilakis, Georgios Papaioannou 0001	Accelerating k+-buffer using efficient fragment culling.	I3D	2015	DBLP DOI BibTeX RDF
13	Khoa Nguyen 0004, Dat Tran 0001, Wanli Ma, Dharmendra Sharma 0001	A New Approach to Compressed File Fragment Identification.	CISIS-ICEUTE	2015	DBLP DOI BibTeX RDF
13	Gábor Alagi, Christoph Weidenbach	NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment.	FroCos	2015	DBLP DOI BibTeX RDF
13	Natasha Alechina, Nils Bulling, Brian Logan 0001, Hoang Nga Nguyen	On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.	IJCAI	2015	DBLP BibTeX RDF
13	Adrian Haret, Stefan Rümmele, Stefan Woltran	Merging in the Horn Fragment.	IJCAI	2015	DBLP BibTeX RDF
13	Jonny Daenen, Frank Neven, Tony Tan	Gumbo: Guarded Fragment Queries over Big Data.	EDBT	2015	DBLP DOI BibTeX RDF
13	Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao	Universal Models for the Positive Fragment of Intuitionistic Logic.	TbiLLC	2015	DBLP DOI BibTeX RDF
13	Edouard Yreux	Generalized Reproducing Kernel Particle Method for Fragment-Impact and Fracture Modeling.		2015	RDF
13	Yunjia Li	Media fragment semantics : the linked data approach.		2015	RDF
13	Jungheum Park, Sangjin Lee 0002	Data fragment forensics for embedded DVR systems.	Digit. Investig.	2014	DBLP DOI BibTeX RDF
13	Matthew S. Bauer	A PSPACE-complete first-order fragment of computability logic.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
13	Albert Atserias, Neil Thapen	The Ordering Principle in a Fragment of Approximate Counting.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
13	Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny	BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance.	Auton. Agents Multi Agent Syst.	2014	DBLP DOI BibTeX RDF
13	Gabriela F. Minetti, Guillermo Leguizamón, Enrique Alba 0001	An improved trajectory-based hybrid metaheuristic applied to the noisy DNA Fragment Assembly Problem.	Inf. Sci.	2014	DBLP DOI BibTeX RDF