|
|
Venues (Conferences, Journals, ...)
|
|
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 |
97 | Guang-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](Pics/bibsonomy.png) |
BMEI (1) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 1, pp. 39-46, 2008, IEEE Computer Society, 978-0-7695-3118-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fragment assembly, Eulerian Super path, Fragment filtration, DNA sequencing |
71 | Lakshmish Ramaswamy, Arun Iyengar, Ling Liu 0001, Fred Douglis |
Automatic Fragment Detection in Dynamic Web Pages and Its Impact on Caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 17(6), pp. 859-874, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fragment-based caching, fragment detection, Dynamic content caching |
68 | Lakshmish Ramaswamy, Arun Iyengar, Ling Liu 0001, Fred Douglis |
Techniques for efficient fragment detection in web pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, New Orleans, Louisiana, USA, November 2-8, 2003, pp. 516-519, 2003, ACM, 1-58113-723-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fragment caching, fragment detection, fragment-based publishing |
64 | Daniel Brodie, Amrish Gupta, Weisong Shi |
Accelerating Dynamic Web Content Delivery Using Keyword-Based Fragment Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 359-372, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
58 | James W. Stamos, Honesty C. Young |
A Symmetric Fragment and Replicate Algorithm for Distributed Joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(12), pp. 1345-1354, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
58 | Stéphane Demri, Hans de Nivelle |
Deciding Regular Grammar Logics with Converse Through First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(3), pp. 289-329, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
relational translation, 2-variable fragment, guarded fragment, modal and temporal logics |
55 | Xi Cheng, Gengdai Liu, Zhigeng Pan, Bing Tang |
Fragment-based responsive character motion for interactive games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(5-7), pp. 479-485, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Motion fragment, Character control, Responsive character animation, Motion graph |
55 | Harald Ganzinger, Christoph Meyer 0001, Margus Veanes |
The Two-Variable Guarded Fragment with Transitive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 24-34, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment |
55 | Daniel Brodie, Amrish Gupta, Weisong Shi |
Keyword-based fragement detection for dynamic web content delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 298-299, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dynamic web content delivery, fragment detection |
52 | Yevgeny Kazakov |
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 372-384, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Pietro 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](Pics/bibsonomy.png) |
CIBB ![In: Computational Intelligence Methods for Bioinformatics and Biostatistics, 5th International Meeting, CIBB 2008, Vietri sul Mare, Italy, October 3-4, 2008, Revised Selected Papers, pp. 210-221, 2008, Springer, 978-3-642-02503-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Protein contacts, coarse-grained contact maps, protein fragments, protein structures |
52 | Lakshmish Ramaswamy, Arun Iyengar, Ling Liu 0001, Fred Douglis |
Automatic detection of fragments in dynamically generated web pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 443-454, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
L-P fragments, fragment detection, fragment-based caching, shared fragments, dynamic content caching |
48 | Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu |
FreePipe: a programmable parallel rendering architecture for efficient multi-fragment effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2010 Symposium on Interactive 3D Graphics, SI3D 2010, February 19-21, 2010, Washington, DC, USA, pp. 75-82, 2010, ACM, 978-1-60558-939-8. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Robert J. Hall 0001 |
Reactive System Validation using Automated Reasoning over a Fragment Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 299-300, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Soonmi Lee, Hae Chull Lim |
Attribute Partitioning Algorithm in DOODB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 702-707, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Distributed Object-Oriented Databases, Class Fragment, Attribute Fragment, Method Fragment, Fragmentation, Vertical Partitioning |
45 | Wannasak Wetcharaporn, Nachol Chaiyaratana, Sissades Tongsima |
DNA Fragment Assembly by Ant Colony and Nearest Neighbour Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2006, 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings, pp. 1008-1017, 2006, Springer, 3-540-35748-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Wannasak Wetcharaporn, Nachol Chaiyaratana, Sissades Tongsima |
DNA Fragment Assembly: An Ant Colony System Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings, pp. 231-242, 2006, Springer, 3-540-33237-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Emanuel Kieronski |
Results on the Guarded Fragment with Equivalence or Transitive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 309-324, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Rosa Karimi Adl, Seyed Mohammad Taghi Rouhani Rankoohi |
A new ant colony optimization based algorithm for data allocation problem in distributed databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 20(3), pp. 349-373, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Non-replicated data allocation, Site-fragment dependency, Inter-fragment dependency, Ant colony optimization, Distributed database system |
45 | Darren M. Platt, Trevor I. Dix |
Stochastic assembly of contig restriction maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 155-164, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
45 | Atanas Rountev, Barbara G. Ryder, William Landi |
Data-Flow Analysis of Program Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 235-252, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Jirí Kubalík, Petr Buryan, Libor Wagner |
Solving the DNA fragment assembly problem efficiently using iterative optimization with evolved hypermutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 213-214, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fragment assembly problem, evolutionary algorithms, stochastic local search |
42 | Ou Wu, Mingliang Zhu, Weiming Hu |
Fragment-based clustering ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 1795-1798, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mutual information, fragment, clustering ensembles |
42 | Enrique Alba 0001, Gabriel Luque |
A Hybrid Genetic Algorithm for the DNA Fragment Assembly Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Advances in Evolutionary Computation for Combinatorial Optimization ![In: Recent Advances in Evolutionary Computation for Combinatorial Optimization, pp. 101-112, 2008, Springer, 978-3-540-70806-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DNA Fragment Assembly, Problem Aware Local Search, Genetic Algorithm, Hybridization |
42 | Gustavo 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](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings, pp. 305-314, 2008, Springer, 978-3-540-78760-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Polyphonic Music Transcription, Intelligent Recombination Operator, Gene Fragment Competition, Genetic Algorithms, Evolutionary Algorithms, Memetic Algorithms |
42 | Louis 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](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2007 Symposium on Interactive 3D Graphics, SI3D 2007, April 30 - May 2, 2007, Seattle, Washington, USA, pp. 97-104, 2007, ACM, 978-1-59593-628-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fragment processing, volume rendering, graphics hardware, transparency, CSG, blending, visibility ordering |
42 | Hyoseop Shin, Minsoo Lee, Seokhyun Son |
Fragment Indexing of XML-Based Metadata for Digital TV Contents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: Advances in Artificial Reality and Tele-Existence, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Proceedings, pp. 1223-1232, 2006, Springer, 3-540-49776-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
TV-Anytime metadata, metadata fragment, XML indexing |
42 | Antje Nowack |
A Guarded Fragment for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(3), pp. 345-368, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment |
42 | Wieslaw Szwast, Lidia Tendera |
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 307-321, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
computational complexity, transitivity, decision problem, guarded fragment, finite model |
42 | Kwanghoon Pio Kim, Jae-Kang Won, Chang-Min Kim |
A Fragment-Driven Process Modeling Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 817-826, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fragment-driven Process Modeling Methodology, Cooperative Modeling Approach, Information Control Net, Global Process Model |
42 | Frank Goetz, Ralf Borau, Gitta Domik |
An XML-based visual shading language for vertex and fragment shaders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, pp. 87-97, 2004, ACM, 1-58113-845-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fragment shader, shading languages, vertex shader, Extensible Markup Language (XML), visual programming, Extensible 3D (X3D), dataflow programming |
42 | Maarten Marx |
Queries determined by views: pack your views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 23-30, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
views, query rewriting, definability, guarded fragment |
42 | Jun-Hyung Park, Minsoo Kim 0002, BongNam Noh |
Detection Techniques for ELF Executable File Using Assembly Instruction Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I, pp. 230-237, 2004, Springer, 3-540-22054-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ELF file, assembly instruction, file fragment, computer forensics |
42 | Laurence Bull, David McG. Squire, Jan Newmarch, Yuliang Zheng 0001 |
Grouping Verifiable Content for Selective Disclosure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, pp. 1-12, 2003, Springer, 3-540-40515-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Selective content disclosure, content extraction signatures, privacy-enhancing signatures, fragment grouping |
39 | Erik Wilde, Marcel Baschnagel |
Fragment identifiers for plain text files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2005, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, September 6-9, 2005, Salzburg, Austria, pp. 211-213, 2005, ACM, 1-59593-168-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
plain text, XLink, firefox, URI |
39 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
A Decidable Fragment of Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 97-109, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Pavel A. Pevzner, Haixu Tang, Michael S. Waterman |
A new approach to fragment assembly in DNA sequencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fifth Annual International Conference on Computational Biology, RECOMB 2001, Montréal, Québec, Canada, April 22-25, 2001, pp. 256-267, 2001, ACM, 1-58113-353-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Eva Hoogland, Maarten Marx, Martin Otto 0001 |
Beth Definability for the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, pp. 273-285, 1999, Springer, 3-540-66492-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Hans de Nivelle |
A Resolution Decision Procedure for the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 191-204, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Vincent Hilaire, Nicolas Gaud, Stéphane Galland, Abderrafiaa Koukam |
An approach based upon OWL-S for method fragments documentation and selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 938-939, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fragment documentation, fragment selection, SME, OWL-S |
39 | Athanassios Tzouvaras |
The Logic of Multisets Continued: The Case of Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 75(3), pp. 287-304, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset |
39 | Kostas Kontogiannis |
Evaluation Experiments on the Detection of Programming Patterns Using Software Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 4th Working Conference on Reverse Engineering, WCRE '97, Amsterdam, The Netherlands, October 6-8, 1997, pp. 44-, 1997, IEEE Computer Society, 0-8186-8162-4. The full citation details ...](Pics/full.jpeg) |
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 |
39 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Satisfiability of a Spatial Logic with Tree Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 130-145, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Shereena 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](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics, 4th IAPR International Conference, PRIB 2009, Sheffield, UK, September 7-9, 2009. Proceedings, pp. 404-414, 2009, Springer, 978-3-642-04030-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fragment substructure, Turbo similarity searching, Similarity measure, Fingerprint, Similarity searching, Virtual screening, Weighting scheme, Chemoinformatics |
36 | Hatem Tahri, Mourad Elloumi |
A New Approximation Algorithm for the Minimum Fragment Removal Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIRD ![In: Bioinformatics Research and Development, Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008, Proceedings, pp. 427-435, 2008, Springer, 978-3-540-70598-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
haplotype assembly, minimum fragment removal, vertex bipartization, algorithms, complexities, Graphs |
36 | Ian Pratt-Hartmann |
Complexity of the Two-Variable Fragment with Counting Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(3), pp. 369-395, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Abstract two-variable fragment, counting quantifiers, complexity, logic |
35 | Nurul Arif Setiawan, Seok-Ju Hong, Chil-Woo Lee |
Multiple People Labeling and Tracking Using Stereo for Human Computer Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (3) ![In: Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III, pp. 738-746, 2007, Springer, 978-3-540-73108-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fragment Based Tracking, Multiple People, Stereo Vision, Integral Histogram |
35 | Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
Temporalising Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(1), pp. 91-134, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
monodic fragment, tableau algorithm, first-order temporal logic |
35 | Andrew Fetterer, Shashi Shekhar |
A Performance Analysis of Hierarchical Shortest Path Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 84-93, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
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 |
32 | Yuqing 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](Pics/bibsonomy.png) |
BNCOD ![In: Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings, pp. 133-145, 2009, Springer, 978-3-642-02842-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Mikolaj Bojanczyk |
The Common Fragment of ACTL and LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 172-185, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Bing Lv, Jianyong Wang 0001, Lizhu Zhou |
High Confidence Fragment-Based Classification Rule Mining for Imbalanced HIV Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings, pp. 56-67, 2008, Springer, 978-3-540-78848-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Enrique Alba 0001, Gabriel Luque |
A New Local Search Algorithm for the DNA Fragment Assembly Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007, Proceedings, pp. 1-12, 2007, Springer, 978-3-540-71614-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Shaofeng 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](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II, pp. 279-287, 2006, Springer, 3-540-34072-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Jingfen 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](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 2(3), pp. 217-230, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Isotope patterns, peptide sequencing, tandem mass spectra |
32 | Yun-Tao Jia, Shi-Min Hu 0001, Ralph R. Martin |
Video completion using tracking and fragment merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 21(8-10), pp. 601-610, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Video completion, Tracking, Texture synthesis, Graph cut, Mean shift |
32 | Anca Muscholl, Igor Walukiewicz |
An NP-Complete Fragment of LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings, pp. 334-344, 2004, Springer, 3-540-24014-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Emanuel Kieronski |
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 608-619, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Shimon Ullman, Erez Sali, Michel Vidal-Naquet |
A Fragment-Based Approach to Object Representation and Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWVF ![In: Visual Form 2001, 4th International Workshop on Visual Form, IWVF-4, Capri, Italy, May 28-30, 2001, Proceedings, pp. 85-102, 2001, Springer, 3-540-42120-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | K. N. Venkataraman |
Decidability of the purely existential fragment of the theory of term algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(2), pp. 492-510, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
32 | Hanna Eberle, Tobias Unger, Frank Leymann |
Process Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 398-405, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Anat Aharoni, Iris Reinhartz-Berger |
Representation of Method Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Situational Method Engineering ![In: Situational Method Engineering: Fundamentals and Experiences, Proceedings of the IFIP WG 8.1 Working Conference, 12-14 September 2007, Geneva, Switzerland, pp. 130-145, 2007, Springer, 978-0-387-73946-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Oscar Díaz, Jon Iturrioz, Arantza Irastorza |
Improving portlet interoperability through deep annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005, pp. 372-381, 2005, ACM, 1-59593-046-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
deep-annotation, portal ontology, portlet interoperability, event, data-flow |
32 | Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
The Expressive Power of Two-Variable Least Fixed-Point Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings, pp. 422-434, 2005, Springer, 3-540-28702-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Lidia Tendera |
Counting in the Two Variable Guarded Logic with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings, pp. 83-96, 2005, Springer, 3-540-24998-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Kenji 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](Pics/bibsonomy.png) |
INEX ![In: Advances in XML Information Retrieval, Third International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2004, Dagstuhl Castle, Germany, December 6-8, 2004, Revised Selected Papers, pp. 168-182, 2004, Springer, 3-540-26166-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 21-23, 2001, Santa Barbara, California, USA, 2001, ACM, 1-58113-361-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Robert Sablatnig, Christian Menard |
On Estimating the Position of Fragments on Rotational Symmetric Pottery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: 2nd International Conference on 3D Digital Imaging and Modeling (3DIM '99), 4-8 October 1999, Ottawa, Canada, pp. 455-462, 1999, IEEE Computer Society, 0-7695-0062-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Martin Otto 0001 |
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 11-20, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hypergraphs, finite model theory, acyclicity, guarded fragment |
29 | Vince Bárány, Georg Gottlob, Martin Otto 0001 |
Querying the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 1-10, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hypergraph covers, conjunctive queries, descriptive complexity, finite model theory, guarded fragment |
29 | Gabriela F. Minetti, Gabriel Luque, Enrique Alba 0001 |
Variable Neighborhood Search as Genetic Algorithm Operator for DNA Fragment Assembling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 8th International Conference on Hybrid Intelligent Systems (HIS 2008), September 10-12, 2008, Barcelona, Spain, pp. 714-719, 2008, IEEE Computer Society, 978-0-7695-3326-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DNA Fragment Assembling Problem, Genetic Algorithm, Variable Neighborhood Search |
29 | Monika Maidl |
The Common Fragment of CTL and LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 643-652, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Feng 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](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings, pp. 59-73, 2009, Springer, 978-3-642-02007-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ab initio folding, conditional random fields (CRFs), directional statistics, fragment assembly, protein structure prediction, lattice model |
29 | Makoto Tanji, Hitoshi Iba |
Program optimization by random tree sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1131-1138, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fragment preservation, program sampling, genetic programming, recombination operator |
29 | Mouna Torjmen, Karen Pinel-Sauvagnat, Mohand Boughanem |
XML Multimedia Retrieval: From Relevant Textual Information to Relevant Multimedia Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings, pp. 150-161, 2009, Springer, 978-3-642-00957-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multimedia fragment, XML, information retrieval, image |
29 | Walter Hussak |
Decidable Cases of First-order Temporal Logic with Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(2), pp. 247-261, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
monodic fragment, predicate logic with functions, decidability, first-order temporal logic |
29 | Yusuke Yasui, Takashi Kanai |
Surface Quality Assessment of Subdivision Surfaces on Programmable Graphics Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMI ![In: 2004 International Conference on Shape Modeling and Applications (SMI 2004), 7-9 June 2004, Genova, Italy, pp. 129-138, 2004, IEEE Computer Society, 0-7695-2075-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
reflection line, fragment program, subdivision surface, programmable graphics hardware |
26 | Adithya B., G. Santhi |
DNA Cryptography Using DNA Fragment Assembly and Fragment Key Expansion for Genomic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Organ. Collect. Intell. ![In: Int. J. Organ. Collect. Intell. 12(2), pp. 1-19, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Mehdi 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](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
26 | DongJoon Kim, Heewon Kye |
Z-Thickness Blending: Effective Fragment Merging for Multi-Fragment Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 40(7), pp. 149-160, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jad Abbass, Jean-Christophe Nebel |
Enhancing fragment-based protein structure prediction by customising fragment cardinality according to local secondary structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 21(1), pp. 170, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Sen Zheng, Renate A. Schmidt |
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.03829, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Sen Zheng, Renate A. Schmidt |
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 3080-3087, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Noriyuki Yamaotsu, Shuichi Hirono |
In silico fragment-mapping method: a new tool for fragment-based/structure-based drug discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 32(11), pp. 1229-1245, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Laurent 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](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 53(4), pp. 836-851, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Fang-Yu Lin, Yufeng J. Tseng |
Structure-Based Fragment Hopping for Lead Optimization Using Predocked Fragment Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 51(7), pp. 1703-1715, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Sangwook Lee, Jin Kim, Hyunchul Kang |
Memory-Efficient Query Processing over XML Fragment Stream with Fragment Labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 29(5), pp. 757-782, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
26 | Mark Sandor, Robert Kiss, György M. Keserü |
Virtual Fragment Docking by Glide: a Validation Study on 190 Protein-Fragment Complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 50(6), pp. 1165-1172, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Kota Kasahara, Kengo Kinoshita, Toshihisa Takagi |
Ligand-binding site prediction of proteins based on known fragment-fragment interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 26(12), pp. 1493-1499, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Qishi 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](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 30(2), pp. 295-304, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Lars 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](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 23(8), pp. 501-511, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yoshifumi 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](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 49(4), pp. 925-933, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Britta Nisius, Ulrich Rester |
Fragment Shuffling: An Automated Workflow for Three-Dimensional Fragment-Based Ligand Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 49(5), pp. 1211-1222, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Tim Borgmann |
fragment.0140.02b ('Silhouette') fragment.1207.0304.3 ('Glint'). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Art Gallery ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2008, Los Angeles, California, USA, August 11-15, 2008, Art Gallery, pp. 81, 2008, ACM, 978-1-60558-344-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | José Batista, Jürgen Bajorath |
Mining of Randomly Generated Molecular Fragment Populations Uncovers Activity-Specific Fragment Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 47(4), pp. 1405-1413, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Eugen 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](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 47(6), pp. 2133-2139, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Tianji 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](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(2), pp. 591-604, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
wireless LAN (WLAN), IEEE 802.11, medium access control (MAC), IEEE 802.11n |
26 | Sven Hartmann, Sebastian Link |
Efficient reasoning about a robust XML key fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 34(2), pp. 10:1-10:33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XML key, reachability, axiomatization, implication, XML data |
26 | Jakub Michaliszyn |
Decidability of the Guarded Fragment with the Transitive Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 261-272, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Chung-Ping Chung, Tung-Lin Lu, Hui-Chin Yang |
H-Buffer: An Efficient History-Based and Overflow Sharing Transparent Fragment Storage Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (2) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 420-425, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|