Search results for "fragment"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Ming Di Koa, Henry Johan, Alexei Sourin	Interactive screenspace fragment rendering for direct illumination from area lights using gradient aware subdivision and radial basis function interpolation.	Comput. Graph.	2017	DBLP DOI BibTeX RDF
13	Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar	Compositional entailment checking for a fragment of separation logic.	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
13	Natasha Alechina, Nils Bulling, Brian Logan 0001, Hoang Nga Nguyen	The virtues of idleness: A decidable fragment of resource agent logic.	Artif. Intell.	2017	DBLP DOI BibTeX RDF
13	Ricardo Visini, Mahendra Awale, Jean-Louis Reymond	Fragment Database FDB-17.	J. Chem. Inf. Model.	2017	DBLP DOI BibTeX RDF
13	Chiduru Watanabe, Hirofumi Watanabe, Kaori Fukuzawa, Lorien J. Parker, Yoshio Okiyama, Hitomi Yuki, Shigeyuki Yokoyama, Hirofumi Nakano, Shigenori Tanaka, Teruki Honma	Theoretical Analysis of Activity Cliffs among Benzofuranone-Class Pim1 Inhibitors Using the Fragment Molecular Orbital Method with Molecular Mechanics Poisson-Boltzmann Surface Area (FMO+MM-PBSA) Approach.	J. Chem. Inf. Model.	2017	DBLP DOI BibTeX RDF
13	Tairan Liu, Misagh Naderi, Chris Alvin, Supratik Mukhopadhyay, Michal Brylinski	Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with eMolFrag.	J. Chem. Inf. Model.	2017	DBLP DOI BibTeX RDF
13	Jean-Rémy Marchand, Andrea Dalle Vedove, Graziano Lolli, Amedeo Caflisch	Discovery of Inhibitors of Four Bromodomains by Fragment-Anchored Ligand Docking.	J. Chem. Inf. Model.	2017	DBLP DOI BibTeX RDF
13	Yanmin Zhang, Lu Wang, Qing Zhang, Gaoyuan Zhu, Zhimin Zhang, Xiang Zhou, Yadong Chen, Tao Lu, Weifang Tang	Potent Pan-Raf and Receptor Tyrosine Kinase Inhibitors Based on a Cyclopropyl Formamide Fragment Overcome Resistance.	J. Chem. Inf. Model.	2017	DBLP DOI BibTeX RDF
13	Katarzyna Slomczynska	Algebraic semantics for the (↔, ¬)-fragment of IPC and its properties.	Math. Log. Q.	2017	DBLP DOI BibTeX RDF
13	Yves Wautelet, Samedi Heng, Soreangsey Kiv, Manuel Kolp	User-story driven development of multi-agent systems: A process fragment for agile methods.	Comput. Lang. Syst. Struct.	2017	DBLP DOI BibTeX RDF
13	Andrew Tedder	On Structural Features of the Implication Fragment of Frege's Grundgesetze.	J. Philos. Log.	2017	DBLP DOI BibTeX RDF
13	Aldo Antonelli	Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).	J. Philos. Log.	2017	DBLP DOI BibTeX RDF
13	Yan Wang, Jouko Virtanen, Zhidong Xue, Yang Zhang 0040	I-TASSER-MR: automated molecular replacement for distant-homology proteins using iterative fragment assembly and progressive sequence truncation.	Nucleic Acids Res.	2017	DBLP DOI BibTeX RDF
13	Catherine L. Worth, Franziska Kreuchwig, Johanna K. S. Tiemann, Annika Kreuchwig, Michele Ritschel, Gunnar Kleinau, Peter W. Hildebrand, Gerd Krause	GPCR-SSFE 2.0 - a fragment-based molecular modeling web tool for Class A G-protein coupled receptors.	Nucleic Acids Res.	2017	DBLP DOI BibTeX RDF
13	Michael J. Garee, Raymond R. Hill, Darryl K. Ahner, Greg Czarnecki	Fragment capture simulation for MANPADS test arena optimization.	J. Simulation	2017	DBLP DOI BibTeX RDF
13	Yongfeng Li, Jinbin Ouyang, Bing Mao, Kai Ma, Shanqing Guo	Data Flow Analysis on Android Platform with Fragment Lifecycle Modeling and Callbacks.	EAI Endorsed Trans. Security Safety	2017	DBLP DOI BibTeX RDF
13	Marco Voigt	A Fine-Grained Hierarchy of Hard Problems in the Separated Fragment.	CoRR	2017	DBLP BibTeX RDF
13	Matthias Horbach, Marco Voigt, Christoph Weidenbach	The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable.	CoRR	2017	DBLP BibTeX RDF
13	Marco Voigt	The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable.	CoRR	2017	DBLP BibTeX RDF
13	P. Madhusudan, Umang Mathur 0001, Shambwaditya Saha, Mahesh Viswanathan 0001	A Decidable Fragment of Second Order Logic With Applications to Synthesis.	CoRR	2017	DBLP BibTeX RDF
13	Matthias Horbach, Marco Voigt, Christoph Weidenbach	On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic.	CoRR	2017	DBLP BibTeX RDF
13	Andreas Teucke, Christoph Weidenbach	Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints.	CoRR	2017	DBLP BibTeX RDF
13	Nadia Creignou, Reinhard Pichler, Stefan Woltran	Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?	CoRR	2017	DBLP BibTeX RDF
13	Abdelkamel Ben Ali, Gabriel Luque, Enrique Alba 0001, Kamal E. Melkemi	An improved problem aware local search algorithm for the DNA fragment assembly problem.	Soft Comput.	2017	DBLP DOI BibTeX RDF
13	Hao Ren 0004, Jing Huang 0022, Shengbing Jiang, Ratnesh Kumar 0001	Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.	IET Cyper-Phys. Syst.: Theory & Appl.	2017	DBLP DOI BibTeX RDF
13	Alex Conway, Ainesh Bakshi, Yizheng Jiao, Yang Zhan 0001, Michael A. Bender, William Jannen, Rob Johnson, Bradley C. Kuszmaul, Donald E. Porter, Jun Yuan 0006, Martin Farach-Colton	How to Fragment Your File System.	login Usenix Mag.	2017	DBLP BibTeX RDF
13	Georgios Kourtis, Ian Pratt-Hartmann	Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
13	Grigory K. Olkhovikov	On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.	J. Appl. Log.	2017	DBLP DOI BibTeX RDF
13	Emanuel Kieronski, Ian Pratt-Hartmann, Lidia Tendera	Equivalence closure in the two-variable guarded fragment.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
13	J. Emilio Quiroz-Ibarra, Guillermo M. Mallén-Fullerton, Guillermo Fernández-Anaya	DNA Paired Fragment Assembly Using Graph Theory.	Algorithms	2017	DBLP DOI BibTeX RDF
13	Meng Zhang, Shuang-Min Chen, Zhenyu Shu, Shi-Qing Xin, Jieyu Zhao, Guang Jin, Rong Zhang, Jürgen Beyerer	Fast algorithm for 2D fragment assembly based on partial EMD.	Vis. Comput.	2017	DBLP DOI BibTeX RDF
13	Hu Cao, Yonggang Lu	Using Variable-Length Aligned Fragment Pairs and an Improved Transition Function for Flexible Protein Structure Alignment.	J. Comput. Biol.	2017	DBLP DOI BibTeX RDF
13	Celine Prakash, Arndt von Haeseler	An Enumerative Combinatorics Model for Fragmentation Patterns in RNA Sequencing Provides Insights into Nonuniformity of the Expected Fragment Starting-Point and Coverage Profile.	J. Comput. Biol.	2017	DBLP DOI BibTeX RDF
13	Fei Pu, Wenhui Zhang	Bounded Correctness Checking of the Universal Fragment of eCTL.	FSDM	2017	DBLP DOI BibTeX RDF
13	Matthias Baaz, Norbert Preining	Gödel logics and the fully boxed fragment of LTL.	LPAR	2017	DBLP DOI BibTeX RDF
13	Quang Loc Le, Makoto Tatsuta, Jun Sun 0001, Wei-Ngan Chin	A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic.	CAV (2)	2017	DBLP DOI BibTeX RDF
13	Przemyslaw Andrzej Walega	Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.	ICLA	2017	DBLP DOI BibTeX RDF
13	Marco Voigt	Towards Elimination of Second-Order Quantifiers in the Separated Fragment.	SOQE	2017	DBLP BibTeX RDF
13	Soham Chakraborty 0001, Viktor Vafeiadis	Formalizing the concurrency semantics of an LLVM fragment.	CGO	2017	DBLP BibTeX RDF
13	Marco Voigt	A fine-grained hierarchy of hard problems in the separated fragment.	LICS	2017	DBLP DOI BibTeX RDF
13	Fabian Reiter	Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment.	ICALP	2017	DBLP DOI BibTeX RDF
13	Michalis A. Savelonas, Anthousis Andreadis, Georgios Papaioannou 0001, Pavlos Mavridis	Exploiting Unbroken Surface Congruity for the Acceleration of Fragment Reassembly.	GCH	2017	DBLP DOI BibTeX RDF
13	Lucia Sessa, Luigi Di Biasi, Simona Concilio, Stefano Piotto	Fragment Based Molecular Dynamics for Drug Design.	WIVACE	2017	DBLP DOI BibTeX RDF
13	Kristof Böhmer, Stefanie Rinderle-Ma	Control Flow Structure Preservation During Process Fragment Anonymization - (Short Paper).	OTM Conferences (1)	2017	DBLP DOI BibTeX RDF
13	Jinhyung Choi, Kyoungsu Oh	Real-time motion blur based on per pixel fragment list.	RACS	2017	DBLP DOI BibTeX RDF
13	Daniel Soares, Francisco Nogueira, Leonel F. de Alencar	A Implementação de uma Minigramática do Português Brasileiro sob a Perspectiva da LFG (Implementation of a grammar fragment of Brazilian Portuguese in the Lexical-Functional Grammar formalism)[In Portuguese].	STIL	2017	DBLP BibTeX RDF
13	Raúl Lapeña, Jaime Font 0001, Carlos Cetina, Oscar Pastor 0001	Model Fragment Reuse Driven by Requirements.	CAiSE-Forum-DC	2017	DBLP BibTeX RDF
13	André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter	Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.	PODS	2017	DBLP DOI BibTeX RDF
13	Chien Eao Lee, Lilei Zheng, Ying Zhang 0047, Vrizlynn L. L. Thing	Low-Dimensional Bigram Analysis for Mobile Data Fragment Classification.	SG-CRC	2017	DBLP DOI BibTeX RDF
13	Spencer Salazar, Sarah Reid, Daniel McNamara	The fragment string.	NIME	2017	DBLP DOI BibTeX RDF
13	Sebastian Brandt 0001, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao 0001, Michael Zakharyaschev	Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.	AAAI	2017	DBLP DOI BibTeX RDF
13	Xiaoshuai Sun, Jiewei Cao, Chao Li, Lei Zhu 0002, Heng Tao Shen	Web-Based Semantic Fragment Discovery for On-Line Lingual-Visual Similarity.	AAAI	2017	DBLP DOI BibTeX RDF
13	Matthias Horbach, Marco Voigt, Christoph Weidenbach	On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic.	CADE	2017	DBLP DOI BibTeX RDF
13	Andreas Teucke, Christoph Weidenbach	Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints.	CADE	2017	DBLP DOI BibTeX RDF
13	Lin Zhang, Zhigang Chen 0001, Deyu Zhang	DFP: A Data Fragment Protection Scheme for mHealth in Wireless Network.	NCTCS	2017	DBLP DOI BibTeX RDF
13	Alexandre Sawczuk da Silva, Yi Mei 0001, Hui Ma 0001, Mengjie Zhang 0001	Fragment-based genetic programming for fully automated multi-objective web service composition.	GECCO	2017	DBLP DOI BibTeX RDF
13	Julia Handl, Mario Garza-Fabre, Shaun M. Kandathil, Simon C. Lovell	On heuristic bias in fragment-assembly methods for protein structure prediction.	GECCO (Companion)	2017	DBLP DOI BibTeX RDF
13	Tristan Charrier, Sophie Pinchinat, François Schwarzentruber	Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment.	DALI@TABLEAUX	2017	DBLP DOI BibTeX RDF
13	Chengbao Cao, Kaiping Xue, Hao Yue, Junjie Xu	FFRD: Fragment forwarding and reassembly decoupling based chunk transmission in NDN.	WCSP	2017	DBLP DOI BibTeX RDF
13	Liguo Zhang, Jianguo Sun, Hongtao Song, Yiran Shen 0001	Normal direction local binary pattern for fragment reconstruction.	ICME	2017	DBLP DOI BibTeX RDF
13	Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik	Multi-Fragment Markov Model Guided Online Test Generation for MPSoC.	ICTERI	2017	DBLP BibTeX RDF
13	Muhammad Hassan Arif, Jianxin Li 0002, Muhammad Iqbal 0001	Solving Social Media Text Classification Problems Using Code Fragment-Based XCSR.	ICTAI	2017	DBLP DOI BibTeX RDF
13	Chien-Hsiang Kao, Fang-Yie Leu	Prediction of the Fragment of Video Streamed to Mobile Phones Under a 5G Network Base Station.	IMIS	2017	DBLP DOI BibTeX RDF
13	Alessandro Laudanna, Giulia Bracco	Stem and Fragment Priming on Verbal Forms of Italian.	CLiC-it	2017	DBLP BibTeX RDF
13	Stepan Holub, Robert Veroff	Formalizing a Fragment of Combinatorics on Words.	CiE	2017	DBLP DOI BibTeX RDF
13	Andrew Reynolds 0001, Radu Iosif, Cristina Serban	Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic.	VMCAI	2017	DBLP DOI BibTeX RDF
13	Agnieszka M. Zbrzezny	SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge.	KES-AMSTA	2017	DBLP DOI BibTeX RDF
13	Lin Xia, Jiakun Cao, Sheng Tang	The establishment of detecting cytokerantin 19 fragment(CYFRA21-1) with immunofluorescence chromatography.	ICARM	2017	DBLP DOI BibTeX RDF
13	Marco Voigt	The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable.	FroCoS	2017	DBLP DOI BibTeX RDF
13	Theophilus Teo, Mitchell Norman, Matt Adcock, Bruce H. Thomas	Data fragment: Virtual reality for viewing and querying large image sets.	VR	2017	DBLP DOI BibTeX RDF
13	Georgios Kourtis	Path-functional dependencies and the two-variable guarded fragment with counting.		2017	RDF
13	Stanislas Gabrovsek	Agent-based modelling of fragment damage for platform combat utility prediction.		2017	RDF
13	Chenhui Chu, Toshiaki Nakazawa, Sadao Kurohashi	Integrated Parallel Sentence and Fragment Extraction from Comparable Corpora: A Case Study on Chinese-Japanese Wikipedia.	ACM Trans. Asian Low Resour. Lang. Inf. Process.	2016	DBLP DOI BibTeX RDF
13	Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana	A mathematical model for file fragment diffusion and a neural predictor to manage priority queues over BitTorrent.	Int. J. Appl. Math. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Ko-Wei Huang, Jui-Le Chen, Chu-Sing Yang, Chun-Wei Tsai	A memetic gravitation search algorithm for solving DNA fragment assembly problems.	J. Intell. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
13	Cheng Zeng, Tao Zhang, Patrick C. K. Hung	Fast Service Process Fragment Indexing and Ranking.	IEEE Trans. Serv. Comput.	2016	DBLP DOI BibTeX RDF
13	Max I. Kanovich	The undecidability theorem for the Horn-like fragment of linear logic (Revisited).	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Grigory K. Olkhovikov	A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic.	FLAP	2016	DBLP BibTeX RDF
13	James Alexander Hughes, Sheridan K. Houghten, Daniel A. Ashlock	Restarting and recentering genetic algorithm variations for DNA fragment assembly: The necessity of a multi-strategy approach.	Biosyst.	2016	DBLP DOI BibTeX RDF
13	Alexander Heifetz, Ewa I. Chudyk, Laura Gleave, Matteo Aldeghi, Vadim Cherezov, Dmitri G. Fedorov, Philip C. Biggin, Michael J. Bodkin	The Fragment Molecular Orbital Method Reveals New Insight into the Chemical Nature of GPCR-Ligand Interactions.	J. Chem. Inf. Model.	2016	DBLP DOI BibTeX RDF
13	Richard K. Belew, Stefano Forli, David S. Goodsell, T. J. O'Donnell, Arthur J. Olson	Fragment-Based Analysis of Ligand Dockings Improves Classification of Actives.	J. Chem. Inf. Model.	2016	DBLP DOI BibTeX RDF
13	Mai Gehrke, Andreas Krebs, Jean-Éric Pin	Ultrafilters on words for a fragment of logic.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Duangrudee Tanramluk, Lalita Narupiyakul, Ruj Akavipat, Sungsam Gong, Varodom Charoensawan	MANORAA (Mapping Analogous Nuclei Onto Residue And Affinity) for identifying protein-ligand fragment interaction, pathways and SNPs.	Nucleic Acids Res.	2016	DBLP DOI BibTeX RDF
13	Ge-Fei Hao, Wen Jiang, Yuan-Nong Ye, Feng-Xu Wu, Xiao-Lei Zhu, Feng-Biao Guo, Guangfu Yang	ACFIS: a web server for fragment-based drug discovery.	Nucleic Acids Res.	2016	DBLP DOI BibTeX RDF
13	Matan Drory Retwitzer, Vladimir Reinharz, Yann Ponty, Jérôme Waldispühl, Danny Barash	incaRNAfbinv: a web server for the fragment-based design of RNA sequences.	Nucleic Acids Res.	2016	DBLP DOI BibTeX RDF
13	Lixiao Zheng, Shuai Ma 0001, Xiangyu Luo, Tiejun Ma	Single-view determinacy and rewriting completeness for a fragment of XPath queries.	Sci. China Inf. Sci.	2016	DBLP DOI BibTeX RDF
13	Debswapna Bhattacharya, Badri Adhikari, Jilong Li, Jianlin Cheng	FRAGSION: ultra-fast protein fragment library generation by IOHMM sampling.	Bioinform.	2016	DBLP DOI BibTeX RDF
13	Aryan Arbabi, Ladislav Rampásek, Michael Brudno	Cell-free DNA fragment-size distribution analysis for non-invasive prenatal CNV prediction.	Bioinform.	2016	DBLP DOI BibTeX RDF
13	Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria	Conjunctive Query Answering via a Fragment of Set Theory (Extended Version).	CoRR	2016	DBLP BibTeX RDF
13	Mohammad Reza Abbasifard, Omid Isfahani Alamdari	Fragment Allocation Configuration in Distributed Database Systems.	CoRR	2016	DBLP BibTeX RDF
13	Antti Kuusisto	On the uniform one-dimensional fragment.	CoRR	2016	DBLP BibTeX RDF
13	Weili Fu, James Cheney, Paul Anderson 0003	An Operational Semantics for a Fragment of the Puppet Configuration Language.	CoRR	2016	DBLP BibTeX RDF
13	Andrew Reynolds 0001, Radu Iosif, Cristina Serban	Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic.	CoRR	2016	DBLP BibTeX RDF
13	Avi Srivastava, Hirak Sarkar, Laraib Malik, Rob Patro	Accurate, Fast and Lightweight Clustering of de novo Transcriptomes using Fragment Equivalence Classes.	CoRR	2016	DBLP BibTeX RDF
13	Emanuel Kieronski, Lidia Tendera	Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants.	CoRR	2016	DBLP BibTeX RDF
13	Fabian Reiter	Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment.	CoRR	2016	DBLP BibTeX RDF
13	Georgios Kourtis, Ian Pratt-Hartmann	Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting.	CoRR	2016	DBLP BibTeX RDF
13	Mosé Casalegno, Guido Sello	Carcinogenicity prediction of noncongeneric chemicals by augmented top priority fragment classification.	Comput. Biol. Chem.	2016	DBLP DOI BibTeX RDF
13	Fernando Gont	Security Implications of Predictable Fragment Identification Values.	RFC	2016	DBLP DOI BibTeX RDF
13	Arun Chandramohan, Srinath Krishnamurthy, Andreas Larsson, Paer Nordlund, Anna Jansson, Ganesh S. Anand	Predicting Allosteric Effects from Orthosteric Binding in Hsp90-Ligand Interactions: Implications for Fragment-Based Drug Design.	PLoS Comput. Biol.	2016	DBLP DOI BibTeX RDF