|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 107 occurrences of 66 keywords
|
|
|
Results
Found 19409 publication records. Showing 19409 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Hammad Afzal, Robert Stevens 0001, Goran Nenadic |
Mining Semantic Descriptions of Bioinformatics Web Resources from the Literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 535-549, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman |
Enhanced verification by temporal decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 17-24, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Yakir Vizel, Orna Grumberg |
Interpolation-sequence based model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 1-8, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani |
The MathSAT 4SMT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 299-303, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh 0002, Swarup Mohalik, K. C. Shashidhar |
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 204-208, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Byeong-Doo Choi, Jong-Woo Han, Chang-Su Kim 0001, Sung-Jea Ko |
Motion-Compensated Frame Interpolation Using Bilateral Motion Estimation and Adaptive Overlapped Block Motion Compensation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 17(4), pp. 407-416, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Exon Smith |
A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 240-245, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Giordano, Massimiliano Gubinelli, Michele Pagano |
Rare Events of Gaussian Processes: A Performance Comparison Between Bridge Monte-Carlo and Importance Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEW2AN ![In: Next Generation Teletraffic and Wired/Wireless Advanced Networking, 7th International Conference, NEW2AN 2007, St. Petersburg, Russia, September 10-14, 2007, Proceedings, pp. 269-280, 2007, Springer, 978-3-540-74832-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Most Likely Path, Bridge Monte-Carlo, Importance Sampling, Gaussian Processes, Rare Event Simulation |
13 | Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili |
Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings, pp. 20-26, 2007, IEEE Computer Society, 0-7695-3023-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Jacob A. Abraham, Daniel G. Saab |
Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 6, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Hubert Smits, Guy Pshigoda |
Implementing Scrum in a Distributed Software Development Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: AGILE 2007 Conference (AGILE 2007), 13-17 August 2007, Washington, DC, USA, pp. 371-375, 2007, IEEE Computer Society, 0-7695-2872-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Susmit Jha, Bryan A. Brady, Sanjit A. Seshia |
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 241-256, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr. |
A Fast SAT Solver Strategy Based on Negated Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: IFIP VLSI-SoC 2006, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Nice, France, 16-18 October 2006, pp. 110-115, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Görschwin Fey, Daniel Große, Rolf Drechsler |
Avoiding false negatives in formal verification for protocol-driven blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1225-1226, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Conghua Zhou, Decheng Ding |
Improved SAT Based Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings, pp. 611-620, 2006, Springer, 3-540-34021-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr. |
A fast SAT solver algorithm best suited to reconfigurable hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2006, Ouro Preto, MG, Brazil, August 28 - September 1, 2006, pp. 131-136, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal verification, SAT, CNF, DPLL |
13 | Wenhui Zhang |
SAT-Based Verification of LTL Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS/PDMC ![In: Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers, pp. 277-292, 2006, Springer, 978-3-540-70951-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Bing Li, Fabio Somenzi |
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 227-241, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Awedh, Fabio Somenzi |
Automatic invariant strengthening to prove properties in bounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 1073-1076, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SAT, bounded model checking |
13 | Yingwei Yao, Xiaodong Cai, Georgios B. Giannakis |
On energy efficiency and optimum resource allocation of relay transmissions in the low-power regime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 4(6), pp. 2917-2927, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman |
Computational challenges in bounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(2), pp. 174-183, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Bonded-Model-checking, Completeness-Threshold, Complexity |
13 | João Marques-Silva 0001 |
Improvements to the Implementation of Interpolant-Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 367-370, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Zarpas |
Benchmarking SAT Solvers for Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 340-354, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Derrel Blain, Max H. Garzon, Soo-Yong Shin, Byoung-Tak Zhang, Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Azuma Ohuchi |
Development, evaluation and benchmarking of simulation software for biomolecule-based computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 3(4), pp. 427-442, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
access and common repository, simulation, evaluation, user interfaces, software architecture, benchmarking, DNA-based computing |
13 | Marco Benedetti, Sara Bernardini |
Incremental Compilation-to-SAT Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT (Selected Papers ![In: Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 46-58, 2004, Springer, 3-540-27829-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Kroening, Edmund M. Clarke |
Checking consistency of C and Verilog using predicate abstraction and induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 66-72, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Kavita Ravi, Fabio Somenzi |
Minimal Assignments for Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 31-45, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Zarpas |
Simple Yet Efficient Improvements of SAT Based Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 174-185, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman |
Completeness and Complexity of Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, pp. 85-96, 2004, Springer, 3-540-20803-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening |
A SAT-based algorithm for reparameterization in symbolic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 524-529, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
SAT checkers, safety property checking, bounded model checking, symbolic simulation, parametric representation |
13 | Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |
Verics: A Tool for Verifying Timed Automata and Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 278-283, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Edmund M. Clarke, Daniel Kroening, Karen Yorav |
Specifying and Verifying Systems with Multiple Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings, pp. 48-, 2003, IEEE Computer Society, 0-7695-2025-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny |
Towards Bounded Model Checking for the Universal Fragment of TCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 265-290, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan K. Su, Russell M. Mersereau |
Motion estimation methods for overlapped block motion compensation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(9), pp. 1509-1521, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | John H. Reif, Thomas H. LaBean |
Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA Computing ![In: DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers, pp. 145-172, 2000, Springer, 3-540-42076-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu |
Symbolic Model Checking without BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 193-207, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan K. Su, Russell M. Mersereau |
Non-Iterative Rate-Constrained Motion Estimation for OBMC*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 33-36, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
6 | Kord M. Kober, Liam Berger, Ritu Roy, Adam B. Olshen |
Torch-eCpG: a fast and scalable eQTM mapper for thousands of molecular phenotypes with graphical processing units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 71, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Dimitrios Iliadis, Bernard De Baets, Tapio Pahikkala, Willem Waegeman |
A comparison of embedding aggregation strategies in drug-target interaction prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 59, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Valeriia Sherina, Helene R. McMurray, Winslow Powers, Hartmut Land, Tanzy M. T. Love, Matthew N. McCall |
Correction: Multiple imputation and direct estimation for qPCR data with non-detects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 63, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Anthony Baptista, Galadriel Brière, Anaïs Baudot |
Random walk with restart on multilayer networks: from node prioritisation to supervised link prediction and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 70, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Onder Tutsoy, Gizem Gul Koç |
Deep self-supervised machine learning algorithms with a novel feature elimination and selection approaches for blood test-based multi-dimensional health risks classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 103, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Patrick E. Gelbach, Handan Cetin, Stacey D. Finley |
Flux sampling in genome-scale metabolic modeling of microbial communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 45, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Jader M. Caldonazzo Garbelini, Danilo Sipoli Sanches, Aurora T. R. Pozo |
biomapp::chip: large-scale motif analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 128, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Dharmesh D. Bhuva, Chin Wee Tan, Ning Liu, Holly J. Whitfield, Nicholas Papachristos, Samuel C. Lee, Malvika Kharbanda, Ahmed Mohamed, Melissa J. Davis |
vissE: a versatile tool to identify and visualise higher-order molecular phenotypes from functional enrichment analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 64, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Tim U. H. Baumeister, Eivind Aadland, Roger G. Linington, Olav M. Kvalheim |
Multivariate pattern analysis: a method and software to reveal, quantify, and visualize predictive association patterns in multicollinear data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 51, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Andrew D. McCall |
Colocalization by cross-correlation, a new method of colocalization suited for super-resolution microscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 55, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Adusei Bofa, Temesgen Zewotir |
Optimizing spatio-temporal correlation structures for modeling food security in Africa: a simulation-based investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 168, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Yanling Liu, Ruiyan Zhang, Xiaojing Dong, Hong Yang, Jing Li, Hongyan Cao, Jing Tian, Yanbo Zhang |
DAE-CFR: detecting microRNA-disease associations using deep autoencoder and combined feature representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 139, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Haiyang Chang, Daniel A. Ashlock, Steffen P. Graether, Stefan M. Keller |
Anchor Clustering for million-scale immune repertoire sequencing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 42, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Yufang Liu, Yongkai Chen, Haoran Lu, Wenxuan Zhong, Guo-Cheng Yuan, Ping Ma |
Orthogonal multimodality integration and clustering in single-cell data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 164, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Lu Li, Shi Yan, Barbara M. Bakker, Huub C. J. Hoefsloot, Bo Chawes, David Horner, Morten A. Rasmussen, Age K. Smilde, Evrim Acar |
Analyzing postprandial metabolomics data using multiway models: a simulation study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 94, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Lixuan Mu, Jiangning Song, Tatsuya Akutsu, Tomoya Mori |
DiCleave: a deep learning model for predicting human Dicer cleavage sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 13, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Sedighe Rastahi, Azadeh Saki, Hamed Tabesh |
Modifying the false discovery rate procedure based on the information theory under arbitrary correlation structure and its performance in high-dimensional genomic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 57, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Zhanshan (Sam) Ma |
Towards a unified medical microbiome ecology of the OMU for metagenomes and the OTU for microbes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 137, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Rukundo Prince, Zhendong Niu, Zahid Younas Khan, Masabo Emmanuel, Niyishaka Patrick |
COVID-19 detection from chest X-ray images using CLAHE-YCrCb, LBP, and machine learning algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 28, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Xin Zeng, Guang-Peng Su, Shu-Juan Li, Shuang-Qing Lv, Meng-Liang Wen, Yi Li |
Drug-Online: an online platform for drug-target interaction, affinity, and binding sites identification using deep learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 156, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Xiao He, Ming Yan |
GraphKM: machine and deep learning for KM prediction of wildtype and mutant enzymes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 135, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Yiran Huang, Fuhao Chen, Hongtao Sun, Cheng Zhong |
Exploring gene-patient association to identify personalized cancer driver genes by linear neighborhood propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 34, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Shuo Wang, Yuanning Liu, Hao Zhang, Zhen Liu |
SurvConvMixer: robust and interpretable cancer survival prediction based on ConvMixer using pathway-level gene expression images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 133, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Hyun Jung Lee, Utku Ozbulak, Homin Park, Stephen Depuydt, Wesley De Neve, Joris Vankerschaver |
Assessing the reliability of point mutation as data augmentation for deep learning with genomic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 170, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Leandro Y. S. Okimoto, Rayol Mendonca-Neto, Fabíola G. Nakamura, Eduardo Freire Nakamura, David Fenyö, Cláudio Teixeira Silva |
Few-shot genes selection: subset of PAM50 genes for breast cancer subtypes classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 92, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Eduardo N. Castanho, João Lobo, Rui Henriques, Sara C. Madeira |
Correction: G-bic: generating synthetic benchmarks for biclustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 16, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Yeon-Ji Park, Geun-Je Yang, Chae-Bong Sohn, Soo Jun Park |
GPDminer: a tool for extracting named entities and analyzing relations in biological literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 101, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Dengju Yao, Yuexiao Deng, Xiaojuan Zhan, Xiaorong Zhan |
Predicting lncRNA-disease associations using multiple metapaths in hierarchical graph attention networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 46, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Morteza Rakhshaninejad, Mohammad Fathian, Reza Shirkoohi, Farnaz Barzinpour, Amir H. Gandomi |
Refining breast cancer biomarker discovery and drug targeting through an advanced data-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 33, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Jiahao Wei, Linzhang Lu, Tie Shen |
Predicting drug-protein interactions by preserving the graph information of multi source data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 10, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Adam Bessa-Silva |
Fasta2Structure: a user-friendly tool for converting multiple aligned FASTA files to STRUCTURE format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 73, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Georg Hahn, Sharon Marie Lutz, Julian Hecker, Dmitry Prokopenko, Michael H. Cho, Edwin K. Silverman, Scott T. Weiss, Christoph Lange 0003 |
Fast computation of the eigensystem of genomic similarity matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 43, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Mahira Kirmani, Gagandeep Kour, Mudasir Mohd, Nasrullah Sheikh, Dawood Ashraf Khan, Zahid Maqbool, Mohsin Altaf Wani, Abid Hussain Wani |
Biomedical semantic text summarizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 152, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Lei Chen 0002, Chenyu Zhang, Jing Xu |
PredictEFC: a fast and efficient multi-label classifier for predicting enzyme family classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 50, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Yuke Xie, Xueqing Peng, Peiluan Li |
MIWE: detecting the critical states of complex biological systems by the mutual information weighted entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 44, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | S. R. Oshternian, S. Loipfinger, A. Bhattacharya, Rudolf S. N. Fehrmann |
Exploring combinations of dimensionality reduction, transfer learning, and regularization methods for predicting binary phenotypes with transcriptomic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 167, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Yu Han, Qiong Zhou, Leibo Liu, Jianwei Li, Yuan Zhou |
DNI-MDCAP: improvement of causal MiRNA-disease association prediction based on deep network imputation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 22, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Yifan Li, Qianying Li, Lvying Wu, Haiyan Wang, Hui Shi, Chenhui Yang, Yiqun Gu, Jianyuan Li, Zhiliang Ji |
SperMD: the expression atlas of sperm maturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 29, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Daniel Skubleny, Sunita Ghosh, Jennifer Spratlin, Daniel E. Schiller, Gina R. Rayat |
Feature-specific quantile normalization and feature-specific mean-variance normalization deliver robust bi-directional classification and feature selection performance between microarray and RNAseq data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 136, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Audrey E. Bollas, Andrei Rajkovic, Defne Ceyhan, Jeffrey B. Gaither, Elaine R. Mardis, Peter White |
SNVstory: inferring genetic ancestry from genome sequencing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 76, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Simone Alessandri, Maria L. Ratto, Sergio Rabellino, Gabriele Piacenti, Sandro Gepiro Contaldo, Simone Pernice, Marco Beccuti, Raffaele A. Calogero, Luca Alessandrì |
CREDO: a friendly Customizable, REproducible, DOcker file generator for bioinformatics applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 110, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | K. M. Tahsin Hassan Rahit, Vladimir Avramovic, Jessica X. Chong, Maja Tarailo-Graovac |
GPAD: a natural language processing-based application to extract the gene-disease association discovery information from OMIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 84, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Benjamin Giovanni Iovino, Yuzhen Ye |
Protein embedding based alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 85, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | David L. Hölscher, Michael Goedertier, Barbara Mara Klinkhammer, Patrick Droste, Ivan G. Costa, Peter Boor, Roman David Bülow |
tRigon: an R package and Shiny App for integrative (path-)omics data analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 98, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Moein E. Samadi, Hedieh Mirzaieazar, Alexander Mitsos, Andreas Schuppert |
Noisecut: a python package for noise-tolerant classification of binary data using prior knowledge integration and max-cut solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 155, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Katharina Munk, Daria Ilina, Lisa Ziemba, Günter Brader, Eva M. Molin |
Holomics - a user-friendly R shiny application for multi-omics data integration and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 93, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Katelyn McNair, Peter Salamon, Robert A. Edwards, Anca M. Segall |
PRFect: a tool to predict programmed ribosomal frameshifts in prokaryotic and viral genomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 82, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Bingjun Li, Sheida Nabavi |
A multimodal graph neural network framework for cancer molecular subtype classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 27, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Haiyue Kuang, Zhen Zhang, Bin Zeng, Xin Liu, Hao Zuo, Xingye Xu, Lei Wang |
A novel microbe-drug association prediction model based on graph attention networks and bilayer random forest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 78, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Rogia Kpanou, Patrick Dallaire, Elsa Rousseau, Jacques Corbeil |
Learning self-supervised molecular representations for drug-drug interaction prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 47, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Caleb K. Kibet, Jean-Baka Domelevo Entfellner, Daudi Jjingo, Etienne Pierre de Villiers, Santie de Villiers, Karen Wambui, Sam Kinyanjui, Daniel Masiga |
Designing and delivering bioinformatics project-based learning in East Africa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 150, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Karen Sargsyan, Carmay Lim |
Using protein language models for protein interaction hot spot prediction with limited data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 115, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Thi-Hau Nguyen, Ha-Nam Nguyen, Trung-Nghia Vu |
CircNetVis: an interactive web application for visualizing interaction networks of circular RNAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 31, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Lasse Meyer, Nils Eling, Bernd Bodenmiller |
cytoviewer: an R/Bioconductor package for interactive visualization and exploration of highly multiplexed imaging data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 9, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Xiaolu Xu, Zitong Qi, Lei Wang, Meiwei Zhang, Zhaohong Geng, Xiumei Han |
Gsw-fi: a GLM model incorporating shrinkage and double-weighted strategies for identifying cancer driver genes with functional impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 99, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Ying Liang, XingRui Yin, YangSen Zhang, You Guo, YingLong Wang |
Predicting lncRNA-protein interactions through deep learning framework employing multiple features and random forest algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 108, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Josip Maric, Kresimir Krizanovic, Sylvain Riondet, Niranjan Nagarajan, Mile Sikic |
Comparative analysis of metagenomic classifiers for long-read sequencing datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 15, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Philippe Hauchamps, Babak Bayat, Simon Delandre, Mehdi Hamrouni, Marie Toussaint, Stephane Temmerman, Dan Lin, Laurent Gatto |
CytoPipeline and CytoPipelineGUI: a Bioconductor R package suite for building and visualizing automated pre-processing pipelines for flow cytometry data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 80, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Thanh Hai Dang, Tien Anh Vu |
xCAPT5: protein-protein interaction prediction using deep and wide multi-kernel pooling convolutional neural networks with protein language model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 106, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Clayton Carter, Aaron Saporito, Stephen M. Douglass |
MetageneCluster: a Python package for filtering conflicting signal trends in metagene plots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 21, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Ka Yin Chin, Shoichi Ishida, Yukio Sasaki, Kei Terayama |
Predicting condensate formation of protein and RNA under various environmental conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 143, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Ahmed M. A. Elsherbini, Amr Hassan Elkholy, Youssef M. Fadel, Gleb Goussarov, Ahmed Mohamed Elshal, Mohamed El-Hadidi, Mohamed Mysara |
Utilizing genomic signatures to gain insights into the dynamics of SARS-CoV-2 through Machine and Deep Learning techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 131, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
6 | Emma E. Kim, Chloe Soohyun Jang, Hakin Kim, Buhm Han |
PASTRY: achieving balanced power for detecting risk and protective minor alleles in meta-analysis of association studies with overlapping subjects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 25(1), pp. 24, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 19409 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|