331,984 Research products
Loading
10
Relevance
integration_instructions Research softwarekeyboard_double_arrow_right Software 2018Zenodo val; Ben; ch4rr0; ChristopherWilks; Daehwan Kim; Jason Travis; Nicola Soranzo; Valentin Quiedeville; vejnar; Shaun Jackman; Nathan T. Weeks; Jeff Hussmann; Jim; Florian Plaza Oñate; ♫ Christian Krause ♫; Christian Brueffer; Brad Langhorst; Peter Hickey;Fixes an issue causing bowtie 2 to crash when aligning reads using the --fast-local mode
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1291270&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average 
Powered by BIP!visibility 29visibility views 29 download downloads 3 Powered by
integration_instructions Research softwarekeyboard_double_arrow_right Software 2021Zenodo C-H isomorphism; ugaldedr; Caleb Tung; Young Jin J; Jamie Davis; Abhimanyu Agarwal;DOI tag PDF
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.5110878&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 44visibility views 44 download downloads 2 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2014Zenodo Akinshin, Andrey;Akinshin, Andrey;LaTeX-template for russian Phd dissertation
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.10070&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 133visibility views 133 download downloads 8 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2022 EnglishZenodo Heizmann, Matthias; Barth, Max; Dietsch, Daniel; Fichtner, Leonard; Hoenicke, Jochen; Klumpp, Dominik; Naouar, Mehdi; Schindler, Tanja; Schüssele, Frank; Podelski, Andreas;This is a modified version of UAutomizer's SV-COMP 2022 release, used in the experimental evaluation in publication "Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim: Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR, Proc. ICSE. ACM, 2022." The modifications and how the archive is created can be found here: https://gitlab.com/sosy-lab/research/data/component-based-cegar/-/tree/main/uautomizer-modified The original version of UAutomizer as released for SV-COMP 2022 can be found here: https://gitlab.com/sosy-lab/sv-comp/archives-2022/-/blob/main/2022/uautomizer.zip The project repository is available at GitHub: https://github.com/ultimate-pa/ultimate/
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.5898989&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 42visibility views 42 download downloads 606 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2020Zenodo Robert Haase; turekg;Robert Haase; turekg;This comes with https://github.com/clij/clijx/releases/tag/0.29.4.2
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.4051488&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 8visibility views 8 download downloads 1 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2023Zenodo Florensa, Didac;Florensa, Didac;Clean code and solve bugs
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.7751392&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.euintegration_instructions Research softwarekeyboard_double_arrow_right Software 2017 Rbio.tools Johannessen, Bjarne;Johannessen, Bjarne;This package implements a set of tools for transcriptome instability analysis based on exon expression profiles. Deviating exon usage is studied in the context of splicing factors to analyse to what degree transcriptome instability is correlated to splicing factor expression. In the transcriptome instability correlation analysis, the data is compared to both random permutations of alternative splicing scores and expression of random gene sets.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=__bioTools__::2cb1b780138bc273459232edda0e4b96&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.euintegration_instructions Research softwarekeyboard_double_arrow_right Software 2020Zenodo Gleb Lukicov;Gleb Lukicov;ML practice code: simple ML examples and Deep Learning on GPU
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.3939116&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 7visibility views 7 download downloads 1 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2018Zenodo Leonardi, Tommaso;Leonardi, Tommaso;Pipeline for the identification of Topological Anchor Point RNAs (tapRNAs)
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1145915&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 8visibility views 8 download downloads 3 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right SoftwareGyoiThon is a growing penetration test tool using Machine Learning.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=openaire____::6e1c170362d7c9ecd8291fe5161bf95a&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu
331,984 Research products
Loading
integration_instructions Research softwarekeyboard_double_arrow_right Software 2018Zenodo val; Ben; ch4rr0; ChristopherWilks; Daehwan Kim; Jason Travis; Nicola Soranzo; Valentin Quiedeville; vejnar; Shaun Jackman; Nathan T. Weeks; Jeff Hussmann; Jim; Florian Plaza Oñate; ♫ Christian Krause ♫; Christian Brueffer; Brad Langhorst; Peter Hickey;Fixes an issue causing bowtie 2 to crash when aligning reads using the --fast-local mode
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1291270&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 29visibility views 29 download downloads 3 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2021Zenodo C-H isomorphism; ugaldedr; Caleb Tung; Young Jin J; Jamie Davis; Abhimanyu Agarwal;DOI tag PDF
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.5110878&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 44visibility views 44 download downloads 2 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2014Zenodo Akinshin, Andrey;Akinshin, Andrey;LaTeX-template for russian Phd dissertation
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.10070&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 133visibility views 133 download downloads 8 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2022 EnglishZenodo Heizmann, Matthias; Barth, Max; Dietsch, Daniel; Fichtner, Leonard; Hoenicke, Jochen; Klumpp, Dominik; Naouar, Mehdi; Schindler, Tanja; Schüssele, Frank; Podelski, Andreas;This is a modified version of UAutomizer's SV-COMP 2022 release, used in the experimental evaluation in publication "Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim: Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR, Proc. ICSE. ACM, 2022." The modifications and how the archive is created can be found here: https://gitlab.com/sosy-lab/research/data/component-based-cegar/-/tree/main/uautomizer-modified The original version of UAutomizer as released for SV-COMP 2022 can be found here: https://gitlab.com/sosy-lab/sv-comp/archives-2022/-/blob/main/2022/uautomizer.zip The project repository is available at GitHub: https://github.com/ultimate-pa/ultimate/
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.5898989&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 42visibility views 42 download downloads 606 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2020Zenodo Robert Haase; turekg;Robert Haase; turekg;This comes with https://github.com/clij/clijx/releases/tag/0.29.4.2
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.4051488&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 8visibility views 8 download downloads 1 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2023Zenodo Florensa, Didac;Florensa, Didac;Clean code and solve bugs
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.7751392&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.euintegration_instructions Research softwarekeyboard_double_arrow_right Software 2017 Rbio.tools Johannessen, Bjarne;Johannessen, Bjarne;This package implements a set of tools for transcriptome instability analysis based on exon expression profiles. Deviating exon usage is studied in the context of splicing factors to analyse to what degree transcriptome instability is correlated to splicing factor expression. In the transcriptome instability correlation analysis, the data is compared to both random permutations of alternative splicing scores and expression of random gene sets.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=__bioTools__::2cb1b780138bc273459232edda0e4b96&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.euintegration_instructions Research softwarekeyboard_double_arrow_right Software 2020Zenodo Gleb Lukicov;Gleb Lukicov;ML practice code: simple ML examples and Deep Learning on GPU
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.3939116&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 7visibility views 7 download downloads 1 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right Software 2018Zenodo Leonardi, Tommaso;Leonardi, Tommaso;Pipeline for the identification of Topological Anchor Point RNAs (tapRNAs)
add ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.5281/zenodo.1145915&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu0 citations 0 popularity Average influence Average impulse Average Powered by BIP!visibility 8visibility views 8 download downloads 3 Powered byintegration_instructions Research softwarekeyboard_double_arrow_right SoftwareGyoiThon is a growing penetration test tool using Machine Learning.
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=openaire____::6e1c170362d7c9ecd8291fe5161bf95a&type=result"></script>'); --> </script>For further information contact us at helpdesk@openaire.eu