pypi: Haskell | Projects | Ecosyste.ms: Papers

10.1186/s13321-019-0332-0

Chemoinformatics and structural bioinformatics in OCaml
Cited by: 5
Author(s): Francois Berenger, Kam Y. J. Zhang, Yoshihiro Yamanishi
Software Mentions: 7
Published: almost 6 years ago

10.1186/1758-2946-4-38

chemf: A purely functional chemistry toolkit
Cited by: 6
Author(s): Stefan Höck, Rainer Riedl
Software Mentions: 5
Published: almost 12 years ago

iMicrobe: Tools and data-driven discovery platform for the microbiome sciences
Cited by: 24
Author(s): Ken Youens‐Clark, Matt Bomhoff, Alise J. Ponsero, Elisha M. Wood‐Charlson, Joshua Lynch, Illyoung Choi, John H. Hartman, Bonnie Hurwitz
Software Mentions: 5
Published: over 5 years ago

10.3390/s21051735

Data Stream Processing for Packet-Level Analytics
Cited by: 0
Author(s): Alessandra Fais, Giuseppe Lettieri, Gregorio Procissi, Stefano Giordano, F. Oppedisano
Software Mentions: 4
Published: over 3 years ago

10.1371/journal.pcbi.1003750

A Real-Time All-Atom Structural Search Engine for Proteins
Cited by: 10
Author(s): Gabriel González, Brett T. Hannigan, William F. DeGrado
Software Mentions: 4
Published: over 10 years ago

10.1371/journal.pone.0044000

GPU-FS-kNN: A Software Tool for Fast and Scalable kNN Computation Using GPUs
Cited by: 62
Author(s): Ahmed Shamsul Arefin, Carlos Riveros, Regina Berretta, Pablo Moscato
Software Mentions: 4
Published: about 12 years ago

10.7717/peerj.7223

BioShake: a Haskell EDSL for bioinformatics workflows
Cited by: 5
Author(s): Justin Bedő
Software Mentions: 3
Published: over 5 years ago

10.1371/journal.pcbi.1005425

Jupyter and Galaxy: Easing entry barriers into complex data analyses for biomedical researchers
Cited by: 52
Author(s): Björn Grüning, Helena Rasche, Boris Rebolledo‐Jaramillo, Carl Eberhard, Torsten Houwaart, John Chilton, Nate Coraor, Rolf Backofen, James Taylor, Anton Nekrutenko
Software Mentions: 3
Published: over 7 years ago

10.3390/s20236860

A Lightweight Three-Factor Authentication Scheme for WHSN Architecture
Cited by: 11
Author(s): Abdullah M. Almuhaideb, Kawther S. Alqudaihi
Software Mentions: 3
Published: almost 4 years ago

10.1186/s13321-019-0403-2

CyBy2: a strongly typed, purely functional framework for chemical data management
Cited by: 0
Author(s): Stefan Höck, Rainer Riedl
Software Mentions: 3
Published: almost 5 years ago

10.1186/s13015-015-0051-7

Pareto optimization in algebraic dynamic programming
Cited by: 10
Author(s): Cédric Saule, Robert Giegerich
Software Mentions: 2
Published: over 9 years ago

10.1186/1471-2105-6-224

Versatile and declarative dynamic programming using pair algebras
Cited by: 32
Author(s): Steffen Peter, Robert Giegerich
Software Mentions: 2
Published: about 19 years ago

10.1186/1471-2164-15-68

From cheek swabs to consensus sequences: an A to Z protocol for high-throughput DNA sequencing of complete human mitochondrial genomes
Cited by: 25
Author(s): Andrew Clarke, Stefan Prost, Jo‐Ann L. Stanton, W. Timothy J. White, Matt Kaplan, Elizabeth Matisoo-Smith
Software Mentions: 2
Published: almost 11 years ago

10.1093/bioinformatics/btx263

RNAblueprint: flexible multiple target nucleic acid sequence design
Cited by: 17
Author(s): Stefan Hammer, Birgit Tschiatschek, Christoph Flamm, Ivo L. Hofacker, Sven Findeiß
Software Mentions: 2
Published: over 7 years ago

10.1093/bioinformatics/btt022

Bellman’s GAP—a language and compiler for dynamic programming in sequence analysis
Cited by: 19
Author(s): Georg Sauthoff, Mathias Möhl, Stefan Janssen, Robert Giegerich
Software Mentions: 2
Published: almost 12 years ago

10.7717/peerj.187

PhyBin: binning trees by topology
Cited by: 13
Author(s): Ryan Newton, Irene L. G. Newton
Software Mentions: 2
Published: about 11 years ago

10.1007/s10817-018-9455-7

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
Cited by: 25
Author(s): Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach
Software Mentions: 2
Published: over 6 years ago

10.3390/s20174712

An Integrated IoT Architecture for Smart Metering Using Next Generation Sensor for Water Management Based on LoRaWAN Technology: A Pilot Study
Cited by: 20
Author(s): Vlastimil Slaný, Adam Lučanský, Petr Koudelka, Ján Mareček, Eva Krčálová, Radek Martínek
Software Mentions: 2
Published: over 4 years ago

10.3390/s21124035

Graph Representation Integrating Signals for Emotion Recognition and Analysis
Cited by: 2
Author(s): Teresa Zawadzka, Tomasz Wierciński, Grzegorz Meller, Mateusz Rock, Robert Zwierzycki, Michał R. Wróbel
Software Mentions: 2
Published: over 3 years ago

10.1111/ele.13383

The importance of neutral over niche processes in structuring Ediacaran early animal communities
Cited by: 34
Author(s): Emily G. Mitchell, Simon Harris, Charlotte G. Kenchington, Philip Vixseboxse, Lucy Roberts, Christopher J. Clark, Alexandra Dennis, Alexander Liu, Philip R. Wilby
Software Mentions: 1
Published: about 5 years ago

10.3390/e23020213

Computational Abstraction
Cited by: 1
Author(s): Raymond Turner
Software Mentions: 1
Published: almost 4 years ago

10.1007/s00601-020-01550-8

Few-Body Bound States and Resonances in Finite Volume
Cited by: 11
Author(s): S. König
Software Mentions: 1
Published: over 4 years ago

10.3389/fneur.2021.632830

Non-interacting, Non-opioid, and Non-barbiturate Containing Acute Medication Combinations in Headache: A Pilot Combinatorics Approach Based on DrugBank Database
Cited by: 3
Author(s): Victor Kaytser, Pengfei Zhang
Software Mentions: 1
Published: almost 4 years ago

10.1371/journal.pone.0035028

Categorial Compositionality III: F-(co)algebras and the Systematicity of Recursive Capacities in Human Cognition
Cited by: 17
Author(s): Steven Phillips, William H. Wilson
Software Mentions: 1
Published: over 12 years ago

10.1007/978-3-030-72013-1_18

HLola: a Very Functional Tool for Extensible Stream Runtime Verification
Cited by: 7
Author(s): Felipe Gorostiaga, César Sánchez
Software Mentions: 1
Published: almost 4 years ago

10.1007/s10817-017-9445-1

Verified iptables Firewall Analysis and Verification
Cited by: 12
Author(s): Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle
Software Mentions: 1
Published: almost 7 years ago

10.1007/s10817-016-9377-1

A Fully Automatic Theorem Prover with Human-Style Output
Cited by: 34
Author(s): Mohan Ganesalingam, Timothy Gowers
Software Mentions: 1
Published: over 8 years ago

10.1007/s10817-018-09504-w

A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Cited by: 2
Author(s): Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
Software Mentions: 1
Published: almost 6 years ago

10.1098/rsta.2015.0401

The HACMS program: using formal methods to eliminate exploitable bugs
Cited by: 25
Author(s): Kathleen Fisher, John Launchbury, R.J. Richards
Software Mentions: 1
Published: about 7 years ago

10.1186/1756-0500-6-483

hPDB – Haskell library for processing atomic biomolecular structures in protein data bank format
Cited by: 5
Author(s): Michał J. Gajda
Software Mentions: 1
Published: almost 11 years ago

10.1186/1471-2334-14-266

A model-based economic analysis of pre-pandemic influenza vaccination cost-effectiveness
Cited by: 19
Author(s): Nilimesh Halder, Joel Kelso, George J. Milne
Software Mentions: 1
Published: over 10 years ago

10.1093/jxb/ery394

A multi-model framework for the Arabidopsis life cycle
Cited by: 13
Author(s): Argyris Zardilis, Alastair Hume, Andrew J. Millar
Software Mentions: 1
Published: almost 6 years ago

10.1007/978-3-030-44914-8_2

Runners in Action
Cited by: 7
Author(s): Danel Ahman, Andrej Bauer
Software Mentions: 1
Published: almost 5 years ago

10.1007/978-3-030-72019-3_10

Do Judge a Test by its Cover
Cited by: 5
Author(s): Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
Software Mentions: 1
Published: almost 4 years ago

10.1155/2015/540854

Declarative Programming with Temporal Constraints, in the LanguageCG
Cited by: 0
Author(s): Lorina Negreanu
Software Mentions: 1
Published: almost 10 years ago

10.1007/978-3-030-45190-5_22

KReach: A Tool for Reachability in Petri Nets
Cited by: 8
Author(s): Alex Dixon, Ranko Lazić
Software Mentions: 1
Published: almost 5 years ago

10.1186/s12859-020-03595-2

Efficient implied alignment
Cited by: 1
Author(s): Alex J. Washburn, Ward C. Wheeler
Software Mentions: 1
Published: over 4 years ago

10.1186/1748-7188-9-19

Graph-distance distribution of the Boltzmann ensemble of RNA secondary structures
Cited by: 0
Author(s): Jing Qin, Markus Fricke, Manja Marz, Peter F. Stadler, Rolf Backofen
Software Mentions: 1
Published: about 10 years ago

10.1371/journal.pone.0136821

Program Code Generator for Cardiac Electrophysiology Simulation with Automatic PDE Boundary Condition Handling
Cited by: 0
Author(s): Florencio Rusty Punzalan, Yoshitoshi Kunieda, Atsushi Amano
Software Mentions: 1
Published: about 9 years ago

10.1371/journal.pone.0108797

Re-Evaluating Neonatal-Age Models for Ungulates: Does Model Choice Affect Survival Estimates?
Cited by: 9
Author(s): Troy W. Grovenburg, Kevin L. Monteith, Christopher N. Jacques, Robert W. Klaver, Christopher S. DePerno, Todd J. Brinkman, Kyle B. Monteith, Sophie L. Gilbert, Joshua B. Smith, Vernon C. Bleich, Christopher C. Swanson, Jonathan A. Jenks
Software Mentions: 1
Published: about 10 years ago

10.1371/journal.pone.0054422

Increasing Sequence Search Sensitivity with Transitive Alignments
Cited by: 2
Author(s): Ketil Malde, Tomasz Furmanek
Software Mentions: 1
Published: almost 12 years ago

Projects: pypi: Haskell

Papers Mentioning Haskell 41