The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for fragment with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1979 (16) 1980-1984 (20) 1985-1987 (19) 1988-1989 (17) 1990-1991 (28) 1992 (24) 1993 (23) 1994 (33) 1995 (31) 1996 (32) 1997 (37) 1998 (51) 1999 (57) 2000 (65) 2001 (77) 2002 (111) 2003 (131) 2004 (173) 2005 (202) 2006 (218) 2007 (235) 2008 (215) 2009 (243) 2010 (82) 2011 (69) 2012 (92) 2013 (76) 2014 (80) 2015 (64) 2016 (59) 2017 (84) 2018 (69) 2019 (86) 2020 (69) 2021 (80) 2022 (81) 2023 (85) 2024 (28)
Publication types (Num. hits)
article(1146) book(1) data(2) incollection(17) inproceedings(1976) phdthesis(20)
Venues (Conferences, Journals, ...)
CoRR(131) J. Chem. Inf. Model.(123) J. Comput. Aided Mol. Des.(60) CSL(58) J. Comput. Chem.(58) LICS(47) Bioinform.(41) LPAR(36) FoSSaCS(27) PODS(27) ICALP(24) J. Cheminformatics(24) Stud Logica(24) TIME(22) BMC Bioinform.(20) CONCUR(20) More (+10 of total 1110)
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
97Guang-Ri Quan, Yong-Dong Xu, Ya-Dong Wang, Zhi-Ming Xu A New DNA Fragment Assembly Method Based on Long Fragment Filtration. Search on Bibsonomy BMEI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fragment assembly, Eulerian Super path, Fragment filtration, DNA sequencing
71Lakshmish Ramaswamy, Arun Iyengar, Ling Liu 0001, Fred Douglis Automatic Fragment Detection in Dynamic Web Pages and Its Impact on Caching. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fragment-based caching, fragment detection, Dynamic content caching
68Lakshmish Ramaswamy, Arun Iyengar, Ling Liu 0001, Fred Douglis Techniques for efficient fragment detection in web pages. Search on Bibsonomy CIKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fragment caching, fragment detection, fragment-based publishing
64Daniel Brodie, Amrish Gupta, Weisong Shi Accelerating Dynamic Web Content Delivery Using Keyword-Based Fragment Detection. Search on Bibsonomy ICWE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58James W. Stamos, Honesty C. Young A Symmetric Fragment and Replicate Algorithm for Distributed Joins. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF fragment and replicate algorithm, symmetric fragment and replicate, SFR, tuple balancing, worst case cost, intratransaction parallelism, performance evaluation, computational complexity, load balancing, distributed algorithms, database theory, symmetry, multicast communication, parallel database, relational data model, distributed joins, distributed join
58Stéphane Demri, Hans de Nivelle Deciding Regular Grammar Logics with Converse Through First-Order Logic. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF relational translation, 2-variable fragment, guarded fragment, modal and temporal logics
55Xi Cheng, Gengdai Liu, Zhigeng Pan, Bing Tang Fragment-based responsive character motion for interactive games. Search on Bibsonomy Vis. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Motion fragment, Character control, Responsive character animation, Motion graph
55Harald Ganzinger, Christoph Meyer 0001, Margus Veanes The Two-Variable Guarded Fragment with Transitive Relations. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment
55Daniel Brodie, Amrish Gupta, Weisong Shi Keyword-based fragement detection for dynamic web content delivery. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic web content delivery, fragment detection
52Yevgeny Kazakov A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Pietro di Lena, Luciano Margara, Marco Vassura, Piero Fariselli, Rita Casadio A New Protein Representation Based on Fragment Contacts: Towards an Improvement of Contact Maps Predictions. Search on Bibsonomy CIBB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Protein contacts, coarse-grained contact maps, protein fragments, protein structures
52Lakshmish Ramaswamy, Arun Iyengar, Ling Liu 0001, Fred Douglis Automatic detection of fragments in dynamically generated web pages. Search on Bibsonomy WWW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF L-P fragments, fragment detection, fragment-based caching, shared fragments, dynamic content caching
48Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu FreePipe: a programmable parallel rendering architecture for efficient multi-fragment effects. Search on Bibsonomy SI3D The full citation details ... 2010 DBLP  DOI  BibTeX  RDF depth peeling, multi-fragment effects, order-independent transparency, programmable graphics pipeline, graphics hardware, compute unified device architecture (CUDA), rasterizer, atomic operation
48Robert J. Hall 0001 Reactive System Validation using Automated Reasoning over a Fragment Library. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
48Soonmi Lee, Hae Chull Lim Attribute Partitioning Algorithm in DOODB. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Distributed Object-Oriented Databases, Class Fragment, Attribute Fragment, Method Fragment, Fragmentation, Vertical Partitioning
45Wannasak Wetcharaporn, Nachol Chaiyaratana, Sissades Tongsima DNA Fragment Assembly by Ant Colony and Nearest Neighbour Heuristics. Search on Bibsonomy ICAISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Wannasak Wetcharaporn, Nachol Chaiyaratana, Sissades Tongsima DNA Fragment Assembly: An Ant Colony System Approach. Search on Bibsonomy EvoWorkshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Emanuel Kieronski Results on the Guarded Fragment with Equivalence or Transitive Relations. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Rosa Karimi Adl, Seyed Mohammad Taghi Rouhani Rankoohi A new ant colony optimization based algorithm for data allocation problem in distributed databases. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Non-replicated data allocation, Site-fragment dependency, Inter-fragment dependency, Ant colony optimization, Distributed database system
45Darren M. Platt, Trevor I. Dix Stochastic assembly of contig restriction maps. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF cellular biophysics, stochastic assembly, contig restriction maps, genomic mapping clones, fragment measurements, restriction digest, map representation, fragment pairing, minimum message length principles, CEA gene region, chromosome 19, similarity, stochastic processes, genetics, biology computing, objective function
45Atanas Rountev, Barbara G. Ryder, William Landi Data-Flow Analysis of Program Fragments. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Jirí Kubalík, Petr Buryan, Libor Wagner Solving the DNA fragment assembly problem efficiently using iterative optimization with evolved hypermutations. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fragment assembly problem, evolutionary algorithms, stochastic local search
42Ou Wu, Mingliang Zhu, Weiming Hu Fragment-based clustering ensembles. Search on Bibsonomy CIKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mutual information, fragment, clustering ensembles
42Enrique Alba 0001, Gabriel Luque A Hybrid Genetic Algorithm for the DNA Fragment Assembly Problem. Search on Bibsonomy Recent Advances in Evolutionary Computation for Combinatorial Optimization The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DNA Fragment Assembly, Problem Aware Local Search, Genetic Algorithm, Hybridization
42Gustavo Reis, Nuno Fonseca, Francisco Fernández de Vega, Aníbal J. S. Ferreira Hybrid Genetic Algorithm Based on Gene Fragment Competition for Polyphonic Music Transcription. Search on Bibsonomy EvoWorkshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Polyphonic Music Transcription, Intelligent Recombination Operator, Gene Fragment Competition, Genetic Algorithms, Evolutionary Algorithms, Memetic Algorithms
42Louis Bavoil, Steven P. Callahan, Aaron E. Lefohn, João Luiz Dihl Comba, Cláudio T. Silva Multi-fragment effects on the GPU using the k-buffer. Search on Bibsonomy SI3D The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fragment processing, volume rendering, graphics hardware, transparency, CSG, blending, visibility ordering
42Hyoseop Shin, Minsoo Lee, Seokhyun Son Fragment Indexing of XML-Based Metadata for Digital TV Contents. Search on Bibsonomy ICAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF TV-Anytime metadata, metadata fragment, XML indexing
42Antje Nowack A Guarded Fragment for Abstract State Machines. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment
42Wieslaw Szwast, Lidia Tendera On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computational complexity, transitivity, decision problem, guarded fragment, finite model
42Kwanghoon Pio Kim, Jae-Kang Won, Chang-Min Kim A Fragment-Driven Process Modeling Methodology. Search on Bibsonomy ICCSA (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fragment-driven Process Modeling Methodology, Cooperative Modeling Approach, Information Control Net, Global Process Model
42Frank Goetz, Ralf Borau, Gitta Domik An XML-based visual shading language for vertex and fragment shaders. Search on Bibsonomy Web3D The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fragment shader, shading languages, vertex shader, Extensible Markup Language (XML), visual programming, Extensible 3D (X3D), dataflow programming
42Maarten Marx Queries determined by views: pack your views. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF views, query rewriting, definability, guarded fragment
42Jun-Hyung Park, Minsoo Kim 0002, BongNam Noh Detection Techniques for ELF Executable File Using Assembly Instruction Searching. Search on Bibsonomy ICCSA (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ELF file, assembly instruction, file fragment, computer forensics
42Laurence Bull, David McG. Squire, Jan Newmarch, Yuliang Zheng 0001 Grouping Verifiable Content for Selective Disclosure. Search on Bibsonomy ACISP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Selective content disclosure, content extraction signatures, privacy-enhancing signatures, fragment grouping
39Erik Wilde, Marcel Baschnagel Fragment identifiers for plain text files. Search on Bibsonomy Hypertext The full citation details ... 2005 DBLP  DOI  BibTeX  RDF plain text, XLink, firefox, URI
39Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn A Decidable Fragment of Separation Logic. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Pavel A. Pevzner, Haixu Tang, Michael S. Waterman A new approach to fragment assembly in DNA sequencing. Search on Bibsonomy RECOMB The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Eva Hoogland, Maarten Marx, Martin Otto 0001 Beth Definability for the Guarded Fragment. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Hans de Nivelle A Resolution Decision Procedure for the Guarded Fragment. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Vincent Hilaire, Nicolas Gaud, Stéphane Galland, Abderrafiaa Koukam An approach based upon OWL-S for method fragments documentation and selection. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fragment documentation, fragment selection, SME, OWL-S
39Athanassios Tzouvaras The Logic of Multisets Continued: The Case of Disjunction. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset
39Kostas Kontogiannis Evaluation Experiments on the Detection of Programming Patterns Using Software Metrics. Search on Bibsonomy WCRE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF evaluation experiments, programming pattern detection, code fragment cloning, control flow related metrics, similar code fragments, fast matching, variable names, information retrieval approach, code fragment retrieval, software metrics, software metrics, software systems, code cloning, signature matching, redundant code, modular systems, maintenance costs
39Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison Satisfiability of a Spatial Logic with Tree Variables. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Shereena M. Arif, Jérôme Hert, John D. Holliday, Nurul Malim, Peter Willett 0002 Enhancing the Effectiveness of Fingerprint-Based Virtual Screening: Use of Turbo Similarity Searching and of Fragment Frequencies of Occurrence. Search on Bibsonomy PRIB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fragment substructure, Turbo similarity searching, Similarity measure, Fingerprint, Similarity searching, Virtual screening, Weighting scheme, Chemoinformatics
36Hatem Tahri, Mourad Elloumi A New Approximation Algorithm for the Minimum Fragment Removal Problem. Search on Bibsonomy BIRD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF haplotype assembly, minimum fragment removal, vertex bipartization, algorithms, complexities, Graphs
36Ian Pratt-Hartmann Complexity of the Two-Variable Fragment with Counting Quantifiers. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Abstract two-variable fragment, counting quantifiers, complexity, logic
35Nurul Arif Setiawan, Seok-Ju Hong, Chil-Woo Lee Multiple People Labeling and Tracking Using Stereo for Human Computer Interaction. Search on Bibsonomy HCI (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fragment Based Tracking, Multiple People, Stereo Vision, Integral Histogram
35Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev Temporalising Tableaux. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF monodic fragment, tableau algorithm, first-order temporal logic
35Andrew Fetterer, Shashi Shekhar A Performance Analysis of Hierarchical Shortest Path Algorithms. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF hierarchical shortest path algorithms, Advanced Traveler Information Systems, boundary graph, fragment graphs, fully memoized hierarchical routing algorithm, shortest-path data structure, real graph, storage overhead, Twin Cities metropolitan road-map, performance analysis, computer networks, computation time, metropolitan area networks
32Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization. Search on Bibsonomy BNCOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Mikolaj Bojanczyk The Common Fragment of ACTL and LTL. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Bing Lv, Jianyong Wang 0001, Lizhu Zhou High Confidence Fragment-Based Classification Rule Mining for Imbalanced HIV Data. Search on Bibsonomy APWeb The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Enrique Alba 0001, Gabriel Luque A New Local Search Algorithm for the DNA Fragment Assembly Problem. Search on Bibsonomy EvoCOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Shaofeng Liu 0001, Chris A. McMahon, Mansur J. Darlington, Steve J. Culley, Peter J. Wild An Approach for Document Fragment Retrieval and Its Formatting Issue in Engineering Information Management. Search on Bibsonomy ICCSA (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Jingfen Zhang, Wen Gao 0001, Jinjin Cai, Simin He 0001, Rong Zeng, Runsheng Chen Predicting Molecular Formulas of Fragment Ions with Isotope Patterns in Tandem Mass Spectra. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Isotope patterns, peptide sequencing, tandem mass spectra
32Yun-Tao Jia, Shi-Min Hu 0001, Ralph R. Martin Video completion using tracking and fragment merging. Search on Bibsonomy Vis. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Video completion, Tracking, Texture synthesis, Graph cut, Mean shift
32Anca Muscholl, Igor Walukiewicz An NP-Complete Fragment of LTL. Search on Bibsonomy Developments in Language Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Emanuel Kieronski EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Shimon Ullman, Erez Sali, Michel Vidal-Naquet A Fragment-Based Approach to Object Representation and Classification. Search on Bibsonomy IWVF The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32K. N. Venkataraman Decidability of the purely existential fragment of the theory of term algebras. Search on Bibsonomy J. ACM The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
32Hanna Eberle, Tobias Unger, Frank Leymann Process Fragments. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Anat Aharoni, Iris Reinhartz-Berger Representation of Method Fragments. Search on Bibsonomy Situational Method Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Oscar Díaz, Jon Iturrioz, Arantza Irastorza Improving portlet interoperability through deep annotation. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF deep-annotation, portal ontology, portlet interoperability, event, data-flow
32Martin Grohe, Stephan Kreutzer, Nicole Schweikardt The Expressive Power of Two-Variable Least Fixed-Point Logics. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Lidia Tendera Counting in the Two Variable Guarded Logic with Transitivity. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Kenji Hatano, Hiroko Kinutani, Toshiyuki Amagasa, Yasuhiro Mori, Masatoshi Yoshikawa, Shunsuke Uemura Analyzing the Properties of XML Fragments Decomposed from the INEX Document Collection. Search on Bibsonomy INEX The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Georg Gottlob, Nicola Leone, Francesco Scarcello Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Robert Sablatnig, Christian Menard On Estimating the Position of Fragments on Rotational Symmetric Pottery. Search on Bibsonomy 3DIM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Martin Otto 0001 Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hypergraphs, finite model theory, acyclicity, guarded fragment
29Vince Bárány, Georg Gottlob, Martin Otto 0001 Querying the Guarded Fragment. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hypergraph covers, conjunctive queries, descriptive complexity, finite model theory, guarded fragment
29Gabriela F. Minetti, Gabriel Luque, Enrique Alba 0001 Variable Neighborhood Search as Genetic Algorithm Operator for DNA Fragment Assembling Problem. Search on Bibsonomy HIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DNA Fragment Assembling Problem, Genetic Algorithm, Variable Neighborhood Search
29Monika Maidl The Common Fragment of CTL and LTL. Search on Bibsonomy FOCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF action-based computation tree logic, linear time logic, common fragment, ACTL formulas, PSPACE-complete problem, path quantifiers, 1-weak Buchi automaton, automaton size, formula size, computational complexity, temporal logic, trees (mathematics), decidability, finite automata, expressive power, negation, CTL, LTL, inductive definition
29Feng Zhao, Jian Peng 0001, Joe DeBartolo, Karl F. Freed, Tobin R. Sosnick, Jinbo Xu A Probabilistic Graphical Model for Ab Initio Folding. Search on Bibsonomy RECOMB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ab initio folding, conditional random fields (CRFs), directional statistics, fragment assembly, protein structure prediction, lattice model
29Makoto Tanji, Hitoshi Iba Program optimization by random tree sampling. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fragment preservation, program sampling, genetic programming, recombination operator
29Mouna Torjmen, Karen Pinel-Sauvagnat, Mohand Boughanem XML Multimedia Retrieval: From Relevant Textual Information to Relevant Multimedia Fragments. Search on Bibsonomy ECIR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multimedia fragment, XML, information retrieval, image
29Walter Hussak Decidable Cases of First-order Temporal Logic with Functions. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF monodic fragment, predicate logic with functions, decidability, first-order temporal logic
29Yusuke Yasui, Takashi Kanai Surface Quality Assessment of Subdivision Surfaces on Programmable Graphics Hardware. Search on Bibsonomy SMI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reflection line, fragment program, subdivision surface, programmable graphics hardware
26Adithya B., G. Santhi DNA Cryptography Using DNA Fragment Assembly and Fragment Key Expansion for Genomic Data. Search on Bibsonomy Int. J. Organ. Collect. Intell. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Mehdi Zaïdi Duality for the existential fragment of first-order logic on words. (Dualité pour le fragment existentiel de la logique du premier ordre sur les mots). Search on Bibsonomy 2022   RDF
26DongJoon Kim, Heewon Kye Z-Thickness Blending: Effective Fragment Merging for Multi-Fragment Rendering. Search on Bibsonomy Comput. Graph. Forum The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Jad Abbass, Jean-Christophe Nebel Enhancing fragment-based protein structure prediction by customising fragment cardinality according to local secondary structure. Search on Bibsonomy BMC Bioinform. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Sen Zheng, Renate A. Schmidt Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
26Sen Zheng, Renate A. Schmidt Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Noriyuki Yamaotsu, Shuichi Hirono In silico fragment-mapping method: a new tool for fragment-based/structure-based drug discovery. Search on Bibsonomy J. Comput. Aided Mol. Des. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Laurent Hoffer, Jean-Paul Renaud, Dragos Horvath In Silico Fragment-Based Drug Discovery: Setup and Validation of a Fragment-to-Lead Computational Protocol Using S4MPLE. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Fang-Yu Lin, Yufeng J. Tseng Structure-Based Fragment Hopping for Lead Optimization Using Predocked Fragment Database. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Sangwook Lee, Jin Kim, Hyunchul Kang Memory-Efficient Query Processing over XML Fragment Stream with Fragment Labeling. Search on Bibsonomy Comput. Informatics The full citation details ... 2010 DBLP  BibTeX  RDF
26Mark Sandor, Robert Kiss, György M. Keserü Virtual Fragment Docking by Glide: a Validation Study on 190 Protein-Fragment Complexes. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Kota Kasahara, Kengo Kinoshita, Toshihisa Takagi Ligand-binding site prediction of proteins based on known fragment-fragment interactions. Search on Bibsonomy Bioinform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Qishi Du, Ri-Bo Huang, Yu-Tuo Wei, Zong-Wen Pang, Li-Qin Du, Kuo-Chen Chou Fragment-based quantitative structure-activity relationship (FB-QSAR) for fragment-based drug design. Search on Bibsonomy J. Comput. Chem. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Lars Neumann, Allegra Ritscher, Gerhard Müller, Doris Hafenbradl Fragment-based lead generation: identification of seed fragments by a highly efficient fragment screening technology. Search on Bibsonomy J. Comput. Aided Mol. Des. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Yoshifumi Fukunishi, Tadaaki Mashimo, Masaya Orita, Kazuki Ohno, Haruki Nakamura In Silico Fragment Screening by Replica Generation (FSRG) Method for Fragment-Based Drug Design. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Britta Nisius, Ulrich Rester Fragment Shuffling: An Automated Workflow for Three-Dimensional Fragment-Based Ligand Design. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Tim Borgmann fragment.0140.02b ('Silhouette') fragment.1207.0304.3 ('Glint'). Search on Bibsonomy SIGGRAPH Art Gallery The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26José Batista, Jürgen Bajorath Mining of Randomly Generated Molecular Fragment Populations Uncovers Activity-Specific Fragment Hierarchies. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Eugen Lounkine, José Batista, Jürgen Bajorath Mapping of Activity-Specific Fragment Pathways Isolated from Random Fragment Populations Reveals the Formation of Coherent Molecular Cores. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Tianji Li, Qiang Ni, David Malone, Douglas J. Leith, Yang Xiao 0001, Thierry Turletti Aggregation with fragment retransmission for very high-speed WLANs. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF wireless LAN (WLAN), IEEE 802.11, medium access control (MAC), IEEE 802.11n
26Sven Hartmann, Sebastian Link Efficient reasoning about a robust XML key fragment. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XML key, reachability, axiomatization, implication, XML data
26Jakub Michaliszyn Decidability of the Guarded Fragment with the Transitive Closure. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Chung-Ping Chung, Tung-Lin Lu, Hui-Chin Yang H-Buffer: An Efficient History-Based and Overflow Sharing Transparent Fragment Storage Method. Search on Bibsonomy CSE (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3162 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license