Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Functionalism01:11

Functionalism

2.5K
William James, John Dewey, and Charles Sanders Peirce were instrumental in founding functional psychology, which draws heavily from Darwin's theory of evolution by natural selection. This theory suggests that individual traits, including behaviors, are adapted to their environments through natural selection. At the heart of functionalism is the concept of adaptation, meaning that a trait enhances an individual's chances of survival and reproduction.
James envisioned psychology's...
2.5K
Distribution Reliability and Automation01:25

Distribution Reliability and Automation

678
Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
678
Types of Functions I01:26

Types of Functions I

519
Functions are fundamental mathematical tools that capture relationships between variables and describe how one quantity changes in relation to another. Their diverse forms allow them to model various real-world phenomena with precision and flexibility. Among the various categories, algebraic functions are prominent due to their formulation through basic arithmetic operations: addition, subtraction, multiplication, division, and root extraction.Algebraic functions include polynomial, rational,...
519
Types of Functions II01:19

Types of Functions II

370
Trigonometric and exponential functions are essential mathematical tools used to model distinct types of real-world behavior, particularly in periodic and growth-related phenomena. These functions extend the capabilities of basic algebraic models by capturing recurring cycles and rapid changes across various scientific and engineering contexts.Trigonometric functions, such as sine and cosine, are particularly effective for representing periodic phenomena. Their cyclic behavior makes them...
370
Automatic Processing and Automatic Social Behavior01:28

Automatic Processing and Automatic Social Behavior

372
Automatic processing refers to the cognitive operations that occur without conscious intent or awareness, playing a fundamental role in shaping social cognition and behavior. These processes enable individuals to navigate complex social environments efficiently by relying on mental shortcuts and pre-existing knowledge structures known as schemas. One of the most influential mechanisms underlying automatic processing is priming, which subtly activates mental representations through exposure to...
372
Introduction to Functions01:29

Introduction to Functions

568
Functions are essential mathematical tools used to describe consistent relationships between varying quantities. A function connects each input to a single, corresponding output based on a defined rule. These relationships appear in both everyday contexts and natural phenomena, providing a framework for understanding change and prediction.One common real-life example is a parking garage fee system, where the total cost depends on the amount of time a vehicle remains inside. In this case, the...
568

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

A review of recent <i>Cryptosporidium hominis</i> and <i>Cryptosporidium parvum gp60</i> subtypes.

Current research in parasitology & vector-borne diseases·2025
Same author

Heuristics for the run-length encoded Burrows-Wheeler transform alphabet ordering problem.

Journal of heuristics·2025
Same author

StORF-Reporter: finding genes between genes.

Nucleic acids research·2023
Same author

No one tool to rule them all: prokaryotic gene prediction tool annotations are highly dependent on the organism of study.

Bioinformatics (Oxford, England)·2021
Same author

On the complexity of haplotyping a microbial community.

Bioinformatics (Oxford, England)·2021
Same author

Measuring scientific impact beyond academia: An assessment of existing impact metrics and proposed improvements.

PloS one·2017
Same journal

Current Trends in Multidrug Optimization.

Journal of laboratory automation·2017
Same journal

From the Editor-in-Chief: The 2013 JALA Ten: Call for Nominations.

Journal of laboratory automation·2017
Same journal

From the Editor-in-Chief: The JALA Special Issues on Robotics in Laboratory Automation.

Journal of laboratory automation·2017
Same journal

Informatics and Computing.

Journal of laboratory automation·2017
Same journal

Informatics and Computing.

Journal of laboratory automation·2017
Same journal

Automated Systems.

Journal of laboratory automation·2017
See all related articles

Related Experiment Video

Updated: Apr 25, 2026

Automated Robotic Liquid Handling Assembly of Modular DNA Devices
11:22

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Published on: December 1, 2017

14.2K

Laboratory automation in a functional programming language.

Colin Runciman1, Amanda Clare2, Rob Harkness3

  • 1Dept. of Computer Science, University of York, York, UK.

Journal of Laboratory Automation
|August 16, 2014
PubMed
Summary
This summary is machine-generated.

Functional programming languages like Haskell offer a novel approach for developing control programs in laboratory automation. This research demonstrates Haskell

Keywords:
automated biologyengineeringhigh-throughput screeninginformatics and softwareprogrammingrobotics and instrumentation

More Related Videos

Functional Complementation Analysis FCA: A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways
09:27

Functional Complementation Analysis FCA: A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways

Published on: June 24, 2016

17.3K
Automation of a Positron-emission Tomography PET Radiotracer Synthesis Protocol for Clinical Production
10:20

Automation of a Positron-emission Tomography PET Radiotracer Synthesis Protocol for Clinical Production

Published on: October 26, 2018

11.8K

Related Experiment Videos

Last Updated: Apr 25, 2026

Automated Robotic Liquid Handling Assembly of Modular DNA Devices
11:22

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Published on: December 1, 2017

14.2K
Functional Complementation Analysis FCA: A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways
09:27

Functional Complementation Analysis FCA: A Laboratory Exercise Designed and Implemented to Supplement the Teaching of Biochemical Pathways

Published on: June 24, 2016

17.3K
Automation of a Positron-emission Tomography PET Radiotracer Synthesis Protocol for Clinical Production
10:20

Automation of a Positron-emission Tomography PET Radiotracer Synthesis Protocol for Clinical Production

Published on: October 26, 2018

11.8K

Area of Science:

  • Computer Science
  • Automation Engineering
  • Computational Chemistry

Background:

  • Functional programming languages are increasingly adopted in research.
  • Conventional programming languages face limitations in complex system control.
  • Laboratory automation requires robust and verifiable control software.

Purpose of the Study:

  • To explore the application of Haskell in laboratory automation control programs.
  • To provide a practical code example for Haskell-based automation.
  • To demonstrate the benefits of functional programming for code verification.

Main Methods:

  • Developing a control program for a laboratory automation system using Haskell.
  • Illustrating key functional programming concepts relevant to the example.
  • Verifying program properties using functional programming techniques.

Main Results:

  • A functional control program for a laboratory automation system was successfully developed.
  • The use of Haskell facilitated the expression of system properties.
  • Functional programming aided in the verification of the control code.

Conclusions:

  • Haskell provides a viable and advantageous alternative for laboratory automation control.
  • Functional programming enhances the expressiveness and verifiability of automation software.
  • This approach can improve the reliability of laboratory automation systems.