Delftse Foundations of Computation is a textbook for a one quarter introductory …
Delftse Foundations of Computation is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.
Delftse Foundations of Computation is a textbook for a one quarter introductory …
Delftse Foundations of Computation is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.
Students design and create their own nano-polymer smartphone or tablet case. Students …
Students design and create their own nano-polymer smartphone or tablet case. Students choose their design, mix their nano-polymer (based in silicone) with starch and add coloring of their choice. While thinking critically about their design, students embed strings in the nano-polymer to optimize both case strength and flexibility. Students may apply strings in a variety of ways in order to maximize their individual design’s potential. Determining the best mixing ratio is also key for success in this challenge.
This material introduces Linux File System structures and demonstrates how to use …
This material introduces Linux File System structures and demonstrates how to use commands to communicate with the operating system through a Terminal program. Basic program structures and system() function of Perl are discussed. A brief introduction to gene-sequencing terminology and file formats are given.
This manual guides the instructor to combine the partial files of the …
This manual guides the instructor to combine the partial files of the virtual machine image and construct sequencer.ova file. It is accompanied by the partial files of the virtual machine image.
This material introduces the AWS console interface, describes how to create an …
This material introduces the AWS console interface, describes how to create an instance on AWS with the VMI provided, connect to that machine instance using the SSH protocol. Once connected, it requires the students to write a script to enter the data folder, which includes gene-sequencing input files and print the first five line of each file remotely. The same exercise can be applied if the VMI is installed on a local machine using virtualization software (e.g. Oracle VirtualBox). In this case, the Terminal program of the VMI can be used to do the exercise.
This material briefly reintroduces the DNA double Helix structure, explains SNP and …
This material briefly reintroduces the DNA double Helix structure, explains SNP and INDEL mutations in genes and describes FASTA, FASTQ, BAM and VCF file formats. It also explains the index creation, alignment, sorting, marking duplicates and variant calling steps of a simple preprocessing workflow and how to write a Perl script to automate the execution of these steps on a Virtual Machine Image.
This material introduces the AWS console interface, describes how to create an …
This material introduces the AWS console interface, describes how to create an instance on AWS with the VMI provided and connect to that machine instance using the SSH protocol. Once connected, it requires the students to write a script to automate the tasks to create VCF files from two different sample genomes belonging to E.coli microorganisms by using the FASTA and FASTQ files in the input folder of the virtual machine. The same exercise can be applied if the VMI is installed on a local machine using virtualization software (e.g. Oracle VirtualBox). In this case, the Terminal program of the VMI can be used to do the exercise.
Students begin by following instructions to connect a Sunfounder Ultrasonic Sensor and …
Students begin by following instructions to connect a Sunfounder Ultrasonic Sensor and an Arduino Microcontroller. Once they have them set up, students calibrate the sensor and practice using it. Students are then given an engineering design problem: to build a product that will use the ultrasonic sensors for a purpose that they all specify. Students will have to work together to design and test their product, and ultimately present it to their classmates.
The book offers a blend of theory and practice in guiding readers …
The book offers a blend of theory and practice in guiding readers to apply design thinking principles to solving some of our world’s biggest problems. At the same time, readers are encouraged to become aware of new and emerging technologies that make prototyping and applying solutions a reality.
For most of human history, recording a star meant describing it with …
For most of human history, recording a star meant describing it with words or drawing a picture. The 19th-century invention of photography changed that—only to be revolutionized by digital imaging. This Moveable Museum article, available as a six-page printable PDF file, takes a look at the technology of digital imaging. It discusses how digital images are pictures stored as numbers and explains how computer manipulation can enhance images and reduce distortion. Some suggested resources are provided for further research.
The Living Book of Digital Skills (You never knew you needed until …
The Living Book of Digital Skills (You never knew you needed until now) is a living, open source online guide to 'modern not-quite-technical computer skills' for researchers and the broader academic community.
Our first lesson in our FREE Introduction to Computers/ Business Computers Information …
Our first lesson in our FREE Introduction to Computers/ Business Computers Information Systems (BCIS) course.
This video will introduce new students to this series and what they can expect. Our first lesson in our FREE Introduction to Computers/ Business Computers Information Systems (BCIS) course.
This video will introduce new students to this series and what they can expect. Our first lesson in our FREE Introduction to Computers/ Business Computers Information Systems (BCIS) course.
This video will introduce new students to this series and what they can expect.
Discrete mathematics is applied in many areas including the physical, engineering, and …
Discrete mathematics is applied in many areas including the physical, engineering, and increasingly, the social sciences. This online textbook, written by mathematics and information technology professors, is aimed at students of information technology, computer science, and applied mathematics. The focus is on applying discrete math techniques from the two broad component areas of discrete math, namely combinatorics or enumerative techniques, and graph theory.
Los modelos de datos son mecanismos que permiten la abstracción y representación …
Los modelos de datos son mecanismos que permiten la abstracción y representación de un dominio, mediante un conjunto de reglas y símbolos pertenecientes a un lenguaje de modelado que es conforme al modelo. Un modelo puede definirse como la abstracción que permite representar los diferentes elementos pertenecientes a un dominio del negocio, sus relaciones y asociaciones, conforme sucedería en el mundo real.
No restrictions on your remixing, redistributing, or making derivative works. Give credit to the author, as required.
Your remixing, redistributing, or making derivatives works comes with some restrictions, including how it is shared.
Your redistributing comes with some restrictions. Do not remix or make derivative works.
Most restrictive license type. Prohibits most uses, sharing, and any changes.
Copyrighted materials, available under Fair Use and the TEACH Act for US-based educators, or other custom arrangements. Go to the resource provider to see their individual restrictions.
