Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Type Systems: Preservation and Typing Rules
Graph Chatbot
Related lectures (34)
Designing Online Courses: Key Elements and Strategies
Covers key elements in designing online courses, including learning objectives and content chunking.
Developing Online Courses: Design and Sequencing
Covers key elements of online course design, emphasizing granularization, sequencing, and the connection between human and physical geography.
Designing Online Courses: Key Elements and Lesson Planning
Covers key elements in designing online courses, chunking strategies, and lesson plan development for digital education.
Sequencing: Sanger and Illumina
MOOC: Neuroscience Reconstructed: Genetics and Brain Development
Explores Sanger sequencing principles, limitations, and newer Illumina sequencing methods for high-throughput DNA analysis.
Genomics: A Historical Overview
Covers the historical development of genomics, from Sanger sequencing to high-throughput technologies and cost reductions, highlighting the impact of key players like Craig Venter.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Exploring Genes and Genomes
Explores genes, genomes, proteins, and DNA sequencing techniques.
Types in Lambda Calculus
Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Short-read Sequencing Techniques
MOOC: Neuroscience Reconstructed: Genetics and Brain Development
Covers short-read sequencing techniques using fluorescent dye and pyrosequencing.
Understanding Cancer Genomics
Explores the revolution in cancer genomics, sequencing technologies, gene expression influence, and sequencing methods.
Exploring Genes and Genomes
Explores protein structure, DNA analysis, gene sequencing, and the Human Genome Project.
Genome Sequencing and Autism Neurobiology
MOOC: Neuroscience Reconstructed: Genetics and Brain Development
Covers the process of library preparation and data processing in genome sequencing, and discusses a large-scale study on autism neurobiology.
Asynchronous Programming with Future
Covers the transition to asynchronous programming using Future, transformation operations, sequencing Futures, and execution contexts.
DNA Sequencing: Sanger Method
Explains the DNA sequencing process using the Sanger method and the electrophoresis technique.
Subtyping and Polymorphism
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Genomics: High-throughput Sequencing Revolution
Covers the revolution of high-throughput Illumina sequencing and compares it to other technologies like Pacific Biosciences and Nanopore Sequencing.
Human Genomics of Infection and Immunity
Explores human genomics of infection, immunity, HIV, CHIP, bioinformatics, and clonal hematopoiesis.
CMOS Technology: pH Sensing Transistors
Delves into creating pH sensing transistors using CMOS technology, discussing design challenges and potential applications like DNA sequencing.
DNA Replication and Transcription
Explores DNA replication, transcription, and translation processes in genetic information flow.
DNA Sequencing: Detection Methods
Explores DNA structure, sequencing methods, and applications in healthcare and genetic research.
Previous
Page 1 of 2
Next
