MI-RUB Testing II Lecture 11

Size: px
Start display at page:

Download "MI-RUB Testing II Lecture 11"

Transcription

1 MI-RUB Testing II Lecture 11 Pavel Strnad Dept. of Computer Science, FEE CTU Prague, Karlovo nám. 13, Praha, Czech Republic MI-RUB, WS 2011/12 Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

2 Contents 1 Unit Testing 2 Organizing and Running Tests 3 RSpec 4 Literature Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

3 Running Tests ruby test_ roman. rb ruby test_roman. rb n test_range ruby test_ roman. rb n / range / Running Tests Use meaningful names, and you ll be able to run (for example) all the shopping-cart-related tests by simply running tests with names matching /cart/. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

4 Where to Put Tests Project Organization Figure: The above figure is from the Programming Ruby 1.9 book. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

5 Require Problem r e q u i r e t e s t / u n i t r e q u i r e.. / l i b / roman class TestRoman < Test : : Unit : : TestCase #... end Why doesn t this work? Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

6 Require Problem Solution r e q u i r e t e s t / u n i t r e q u i r e l i b / roman class TestRoman < Test : : Unit : : TestCase #... end ruby I. t e s t / test_roman. rb Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

7 Test Suites You can group test cases together into test suites, letting you run them all as a group. Test suites have following advantages: You can run individual tests by name. You can run all the tests in a file by running that file. You can group a number of files into a test suite and run them as a unit. You can group test suites into other test suites. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

8 Test Suite Example # f i l e ts_dbaccess. rb r e q u i r e t e s t / u n i t r e q u i r e test_connect r e q u i r e test_query r e q u i r e test_update r e q u i r e t e s t _ d e l e t e Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

9 RSpec and Shoulda RSpec and Shoulda provides different style of testing called behavior-driven development. In many ways, this is like testing according to the content of user stories, a common requirements gathering technique in agile methodologies. In these frameworks focus is not on assertions. Instead, you should write expactations. Shoulda offers integration to Test::Unit tests. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

10 RSpec example describe " TennisScorer ", " basic scoring " do i t " should s t a r t with a score o f 0 0" i t " should be 15 0 i f the server wins a p o i n t " i t " should be 0 15 i f the r e c e i v e r wins a p o i n t " i t " should be a f t e r they both win a p o i n t " #... end spec ts_spec. rb This file contains nothing more than a description of an aspect of the tennis scoring class (that we haven t yet written, by the way). We have written four expectations to class TennisScorer, and story basic scoring. Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

11 RSpec example r e q u i r e " t e n n i s _ s c o r e r " describe TennisScorer, " basic scoring " do i t " should s t a r t with a score o f 0 0" do t s = TennisScorer. new t s. score. should == "0 0" end i t " should be 15 0 i f the server wins a p o i n t " i t " should be 0 15 i f the r e c e i v e r wins a p o i n t " i t " should be a f t e r they both win a p o i n t " end Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

12 Exercise 2 Exercise 2 Implement class TennisScorer to pass all expectations. If you have a time implement Roman numbers :-). Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

13 All examples are from Pavel Strnad (Czech Technical University in Prague) MI-RUB Testing II Lecture 11 MI-RUB, / 13

MI-RUB Testing Lecture 10

MI-RUB Testing Lecture 10 MI-RUB Testing Lecture 10 Pavel Strnad pavel.strnad@fel.cvut.cz Dept. of Computer Science, FEE CTU Prague, Karlovo nám. 13, 121 35 Praha, Czech Republic MI-RUB, WS 2011/12 Evropský sociální fond Praha

More information

MI-RUB Exceptions Lecture 7

MI-RUB Exceptions Lecture 7 MI-RUB Exceptions Lecture 7 Pavel Strnad pavel.strnad@fel.cvut.cz Dept. of Computer Science, FEE CTU Prague, Karlovo nám. 13, 121 35 Praha, Czech Republic MI-RUB, WS 2011/12 Evropský sociální fond Praha

More information

Branch-and-Bound Algorithm. Pattern Recognition XI. Michal Haindl. Outline

Branch-and-Bound Algorithm. Pattern Recognition XI. Michal Haindl. Outline Branch-and-Bound Algorithm assumption - can be used if a feature selection criterion satisfies the monotonicity property monotonicity property - for nested feature sets X j related X 1 X 2... X l the criterion

More information

NonlinearOptimization

NonlinearOptimization 1/35 NonlinearOptimization Pavel Kordík Department of Computer Systems Faculty of Information Technology Czech Technical University in Prague Jiří Kašpar, Pavel Tvrdík, 2011 Unconstrained nonlinear optimization,

More information

Set Theory. Pattern Recognition III. Michal Haindl. Set Operations. Outline

Set Theory. Pattern Recognition III. Michal Haindl. Set Operations. Outline Set Theory A, B sets e.g. A = {ζ 1,...,ζ n } A = { c x y d} S space (universe) A,B S Outline Pattern Recognition III Michal Haindl Faculty of Information Technology, KTI Czech Technical University in Prague

More information

Feature Selection. Pattern Recognition X. Michal Haindl. Feature Selection. Outline

Feature Selection. Pattern Recognition X. Michal Haindl. Feature Selection. Outline Feature election Outline Pattern Recognition X motivation technical recognition problem dimensionality reduction ց class separability increase ր data compression (e.g. required communication channel capacity)

More information

Binary Decision Diagrams

Binary Decision Diagrams Binary Decision Diagrams Logic Circuits Design Seminars WS2010/2011, Lecture 2 Ing. Petr Fišer, Ph.D. Department of Digital Design Faculty of Information Technology Czech Technical University in Prague

More information

Multilevel Logic Synthesis Algebraic Methods

Multilevel Logic Synthesis Algebraic Methods Multilevel Logic Synthesis Algebraic Methods Logic Circuits Design Seminars WS2010/2011, Lecture 6 Ing. Petr Fišer, Ph.D. Department of Digital Design Faculty of Information Technology Czech Technical

More information

Neural Nets in PR. Pattern Recognition XII. Michal Haindl. Outline. Neural Nets in PR 2

Neural Nets in PR. Pattern Recognition XII. Michal Haindl. Outline. Neural Nets in PR 2 Neural Nets in PR NM P F Outline Motivation: Pattern Recognition XII human brain study complex cognitive tasks Michal Haindl Faculty of Information Technology, KTI Czech Technical University in Prague

More information

Markovské řetězce se spojitým parametrem

Markovské řetězce se spojitým parametrem Markovské řetězce se spojitým parametrem Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České

More information

Bootstrap metody II Kernelové Odhady Hustot

Bootstrap metody II Kernelové Odhady Hustot Bootstrap metody II Kernelové Odhady Hustot Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České

More information

Notation. Pattern Recognition II. Michal Haindl. Outline - PR Basic Concepts. Pattern Recognition Notions

Notation. Pattern Recognition II. Michal Haindl. Outline - PR Basic Concepts. Pattern Recognition Notions Notation S pattern space X feature vector X = [x 1,...,x l ] l = dim{x} number of features X feature space K number of classes ω i class indicator Ω = {ω 1,...,ω K } g(x) discriminant function H decision

More information

Základy teorie front II

Základy teorie front II Základy teorie front II Aplikace Poissonova procesu v teorii front Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních

More information

Computational intelligence methods

Computational intelligence methods Computational intelligence methods GA, schemas, diversity Pavel Kordík, Martin Šlapák Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-MVI, ZS 2011/12, Lect. 5 https://edux.fit.cvut.cz/courses/mi-mvi/

More information

Quantum computing. Jan Černý, FIT, Czech Technical University in Prague. České vysoké učení technické v Praze. Fakulta informačních technologií

Quantum computing. Jan Černý, FIT, Czech Technical University in Prague. České vysoké učení technické v Praze. Fakulta informačních technologií České vysoké učení technické v Praze Fakulta informačních technologií Katedra teoretické informatiky Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-MVI Methods of Computational Intelligence(2010/2011)

More information

Computational Intelligence Methods

Computational Intelligence Methods Computational Intelligence Methods Ant Colony Optimization, Partical Swarm Optimization Pavel Kordík, Martin Šlapák Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-MVI, ZS 2011/12,

More information

Statistika pro informatiku

Statistika pro informatiku Statistika pro informatiku prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-SPI, ZS 2011/12, Přednáška 5 Evropský sociální

More information

Statistika pro informatiku

Statistika pro informatiku Statistika pro informatiku prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-SPI, ZS 2011/12, Přednáška 2 Evropský sociální

More information

Cole s MergeSort. prof. Ing. Pavel Tvrdík CSc. Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010

Cole s MergeSort. prof. Ing. Pavel Tvrdík CSc. Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Cole s MergeSort prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Pokročilé paralelní algoritmy (PI-PPA)

More information

Základy teorie front

Základy teorie front Základy teorie front Mgr. Rudolf B. Blažek, Ph.D. prof. RNDr. Roman Kotecký, DrSc. Katedra počítačových systémů Katedra teoretické informatiky Fakulta informačních technologií České vysoké učení technické

More information

VISUALIZING PSEUDOSPECTRA FOR POLYNOMIAL EIGENVALUE PROBLEMS. Adéla Klimentová *, Michael Šebek ** Czech Technical University in Prague

VISUALIZING PSEUDOSPECTRA FOR POLYNOMIAL EIGENVALUE PROBLEMS. Adéla Klimentová *, Michael Šebek ** Czech Technical University in Prague VSUALZNG PSEUDOSPECTRA FOR POLYNOMAL EGENVALUE PROBLEMS Adéla Klimentová *, Michael Šebek ** * Department of Control Engineering Czech Technical University in Prague ** nstitute of nformation Theory and

More information

Applications of Wolfram Mathematica in the Theoretical Mechanics

Applications of Wolfram Mathematica in the Theoretical Mechanics WDS'12 Proceedings of Contributed Papers, Part III, 88 92, 2012. ISBN 978-80-7378-226-9 MATFYZPRESS Applications of Wolfram Mathematica in the Theoretical Mechanics R. Kusak Charles University in Prague,

More information

Analyzing a Tennis Game with Markov Chains

Analyzing a Tennis Game with Markov Chains Analyzing a Tennis Game with Markov Chains What is a Markov Chain? A Markov chain is a way to model a system in which: 1) The system itself consists of a number of states, and the system can only be in

More information

Decision Diagrams Derivatives

Decision Diagrams Derivatives Decson Dagrams Dervatves Logc Crcuts Desgn Semnars WS2010/2011, Lecture 3 Ing. Petr Fšer, Ph.D. Department of Dgtal Desgn Faculty of Informaton Technology Czech Techncal Unversty n Prague Evropský socální

More information

Lecture 10: The Normal Distribution. So far all the random variables have been discrete.

Lecture 10: The Normal Distribution. So far all the random variables have been discrete. Lecture 10: The Normal Distribution 1. Continuous Random Variables So far all the random variables have been discrete. We need a different type of model (called a probability density function) for continuous

More information

Section 20: Arrow Diagrams on the Integers

Section 20: Arrow Diagrams on the Integers Section 0: Arrow Diagrams on the Integers Most of the material we have discussed so far concerns the idea and representations of functions. A function is a relationship between a set of inputs (the leave

More information

Sequential Pattern Mining

Sequential Pattern Mining Sequential Pattern Mining Lecture Notes for Chapter 7 Introduction to Data Mining Tan, Steinbach, Kumar From itemsets to sequences Frequent itemsets and association rules focus on transactions and the

More information

Chaos in GDP. Abstract

Chaos in GDP. Abstract Chaos in GDP R. Kříž Abstract This paper presents an analysis of GDP and finds chaos in GDP. I tried to find a nonlinear lower-dimensional discrete dynamic macroeconomic model that would characterize GDP.

More information

Bayesian Decision Theory

Bayesian Decision Theory Bayesian Decision Theory 1/27 lecturer: authors: Jiri Matas, matas@cmp.felk.cvut.cz Václav Hlaváč, Jiri Matas Czech Technical University, Faculty of Electrical Engineering Department of Cybernetics, Center

More information

Additional practice with these ideas can be found in the problems for Tintle Section P.1.1

Additional practice with these ideas can be found in the problems for Tintle Section P.1.1 Psych 10 / Stats 60, Practice Problem Set 3 (Week 3 Material) Part 1: Decide if each variable below is quantitative, ordinal, or categorical. If the variable is categorical, also decide whether or not

More information

ESTIMATION OF AMOUNT OF SCATTERED NEUTRONS AT DEVICES PFZ AND GIT-12 BY MCNP SIMULATIONS

ESTIMATION OF AMOUNT OF SCATTERED NEUTRONS AT DEVICES PFZ AND GIT-12 BY MCNP SIMULATIONS Acta Polytechnica 53(2):228 232, 2013 Czech Technical University in Prague, 2013 available online at http://ctn.cvut.cz/ap/ ESTIMATION OF AMOUNT OF SCATTERED NEUTRONS AT DEVICES PFZ AND GIT-12 BY MCNP

More information

Statistika pro informatiku

Statistika pro informatiku Statistika pro informatiku prof. RNDr. Roman Kotecký DrSc., Dr. Rudolf Blažek, PhD Katedra teoretické informatiky FIT České vysoké učení technické v Praze MI-SPI, ZS 2011/12, Přednáška 1 Evropský sociální

More information

Trojské trumfy. pražským školám TROPICAL RAIN FOREST IN THE BOTANICAL GARDEN. Pracovní list č. 7. projekt CZ.2.17/3.1.00/32718 EVROPSKÝ SOCIÁLNÍ FOND

Trojské trumfy. pražským školám TROPICAL RAIN FOREST IN THE BOTANICAL GARDEN. Pracovní list č. 7. projekt CZ.2.17/3.1.00/32718 EVROPSKÝ SOCIÁLNÍ FOND EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU INVESTUJEME DO VAŠÍ BUDOUCNOSTI Pracovní list č. 7 Trojské trumfy pražským školám projekt CZ.2.17/3.1.00/32718 TROPICAL RAIN FOREST IN THE BOTANICAL GARDEN A B? complete

More information

LECTURE 15: SIMPLE LINEAR REGRESSION I

LECTURE 15: SIMPLE LINEAR REGRESSION I David Youngberg BSAD 20 Montgomery College LECTURE 5: SIMPLE LINEAR REGRESSION I I. From Correlation to Regression a. Recall last class when we discussed two basic types of correlation (positive and negative).

More information

Evaluation, transformation, and parameterization of epipolar conics

Evaluation, transformation, and parameterization of epipolar conics Evaluation, transformation, and parameterization of epipolar conics Tomáš Svoboda svoboda@cmp.felk.cvut.cz N - CTU CMP 2000 11 July 31, 2000 Available at ftp://cmp.felk.cvut.cz/pub/cmp/articles/svoboda/svoboda-tr-2000-11.pdf

More information

Module 5 : Linear and Quadratic Approximations, Error Estimates, Taylor's Theorem, Newton and Picard Methods

Module 5 : Linear and Quadratic Approximations, Error Estimates, Taylor's Theorem, Newton and Picard Methods Module 5 : Linear and Quadratic Approximations, Error Estimates, Taylor's Theorem, Newton and Picard Methods Lecture 14 : Taylor's Theorem [Section 141] Objectives In this section you will learn the following

More information

Math Lecture 23 Notes

Math Lecture 23 Notes Math 1010 - Lecture 23 Notes Dylan Zwick Fall 2009 In today s lecture we ll expand upon the concept of radicals and radical expressions, and discuss how we can deal with equations involving these radical

More information

RULE: Add integers with the same sign by adding the absolute values and using the common sign.

RULE: Add integers with the same sign by adding the absolute values and using the common sign. 7.2.4 Lesson Date Efficiently Adding Integers Student Objectives I understand the rules for adding integers: Add integers with the same sign by adding the absolute values and using the common sign. Add

More information

Steady infiltration rates estimated for Modrava2 catchment based on the distribution of plant species

Steady infiltration rates estimated for Modrava2 catchment based on the distribution of plant species Steady infiltration rates estimated for Modrava2 catchment based on the distribution of plant species Map collection Lukáš Jačka, Jirka Pavlásek, and Pavel Pech Czech University of Life Sciences Prague

More information

EM Algorithm LECTURE OUTLINE

EM Algorithm LECTURE OUTLINE EM Algorithm Lukáš Cerman, Václav Hlaváč Czech Technical University, Faculty of Electrical Engineering Department of Cybernetics, Center for Machine Perception 121 35 Praha 2, Karlovo nám. 13, Czech Republic

More information

Physics 218 Lecture 13

Physics 218 Lecture 13 Physics 218 Lecture 13 Dr. David Toback Physics 218, Lecture XIII 1 Checklist for Today Things due for Last Thursday: Read Chapters 7, 8 & 9 Things that were due Last Monday: Chap 5&6 turned in on WebCT

More information

Lecture 17: Floyd-Hoare Logic for Partial Correctness

Lecture 17: Floyd-Hoare Logic for Partial Correctness Lecture 17: Floyd-Hoare Logic for Partial Correctness Aims: To look at the following inference rules Page 1 of 9 sequence; assignment and consequence. 17.1. The Deduction System for Partial Correctness

More information

When a function is defined by a fraction, the denominator of that fraction cannot be equal to zero

When a function is defined by a fraction, the denominator of that fraction cannot be equal to zero As stated in the previous lesson, when changing from a function to its inverse the inputs and outputs of the original function are switched, because we take the original function and solve for x. This

More information

A posteriori error estimates applied to flow in a channel with corners

A posteriori error estimates applied to flow in a channel with corners Mathematics and Computers in Simulation 61 (2003) 375 383 A posteriori error estimates applied to flow in a channel with corners Pavel Burda a,, Jaroslav Novotný b, Bedřich Sousedík a a Department of Mathematics,

More information

Let A(x) and B(x) be two polynomials of degree n 1:

Let A(x) and B(x) be two polynomials of degree n 1: MI-EVY (2011/2012) J. Holub: 4. DFT, FFT ad Patter Matchig p. 2/42 Operatios o polyomials MI-EVY (2011/2012) J. Holub: 4. DFT, FFT ad Patter Matchig p. 4/42 Efficiet Patter Matchig (MI-EVY) 4. DFT, FFT

More information

On a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability Boundary Conditions

On a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability Boundary Conditions Proceedings of the 3rd IASME/WSEAS Int. Conf. on FLUID DYNAMICS & AERODYNAMICS, Corfu, Greece, August -, 5 pp36-41 On a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability

More information

Z-tables. January 12, This tutorial covers how to find areas under normal distributions using a z-table.

Z-tables. January 12, This tutorial covers how to find areas under normal distributions using a z-table. Z-tables January 12, 2019 Contents The standard normal distribution Areas above Areas below the mean Areas between two values of Finding -scores from areas Z tables in R: Questions This tutorial covers

More information

HISTORICAL PLASTER COMPOSITION DETECTION USING REFLECTANCE SPECTROSCOPY

HISTORICAL PLASTER COMPOSITION DETECTION USING REFLECTANCE SPECTROSCOPY HISTORICAL PLASTER COMPOSITION DETECTION USING REFLECTANCE SPECTROSCOPY Eva Matoušková 1, Martina Hůlková 1 and Jaroslav Šedina 1 1 Czech Technical University in Prague, Faculty of Civil Engineering, Department

More information

CS 275 Automata and Formal Language Theory. Proof of Lemma II Lemma (II )

CS 275 Automata and Formal Language Theory. Proof of Lemma II Lemma (II ) CS 275 Automata and Formal Language Theory Course Notes Part II: The Recognition Problem (II) Additional Material (This material is no longer taught and not exam relevant) Sect II.2.: Basics of Regular

More information

Lesson 4: Efficiently Adding Integers and Other Rational Numbers

Lesson 4: Efficiently Adding Integers and Other Rational Numbers Lesson 4: Efficiently Adding Integers and Other Rational Numbers Classwork Example 1: Rule for Adding Integers with Same Signs a. Represent the sum of 3 + 5 using arrows on the number line. i. How long

More information

LEARNING & LINEAR CLASSIFIERS

LEARNING & LINEAR CLASSIFIERS LEARNING & LINEAR CLASSIFIERS 1/26 J. Matas Czech Technical University, Faculty of Electrical Engineering Department of Cybernetics, Center for Machine Perception 121 35 Praha 2, Karlovo nám. 13, Czech

More information

A note on semi-online machine covering

A note on semi-online machine covering A note on semi-online machine covering Tomáš Ebenlendr 1, John Noga 2, Jiří Sgall 1, and Gerhard Woeginger 3 1 Mathematical Institute, AS CR, Žitná 25, CZ-11567 Praha 1, The Czech Republic. Email: ebik,sgall@math.cas.cz.

More information

USAGE OF OLD MAPS AND THEIR DISTRIBUTION WITHIN THE FRAME OF WEB MAP SERVICES

USAGE OF OLD MAPS AND THEIR DISTRIBUTION WITHIN THE FRAME OF WEB MAP SERVICES USAGE OF OLD MAPS AND THEIR DISTRIBUTION WITHIN THE FRAME OF WEB MAP SERVICES Jiri Cajthaml, Jiri Krejci Czech Technical University in Prague, Faculty of Civil Engineering, Department of Mapping and Cartography,

More information

Czech ARC Node Bartosz Dąbrowski. ALMA Regional Centre, Czech Republic

Czech ARC Node Bartosz Dąbrowski. ALMA Regional Centre, Czech Republic Bartosz Dąbrowski ALMA Regional Centre, Republic Toruń, 22 23 October 2013 The interface between ALMA and the astronomy community is provided by the three ALMA Regional Centres (ARCs), in Europe, North

More information

P1.3 EVALUATION OF WINTER WEATHER CONDITIONS FROM THE WINTER ROAD MAINTENANCE POINT OF VIEW PRINCIPLES AND EXPERIENCES

P1.3 EVALUATION OF WINTER WEATHER CONDITIONS FROM THE WINTER ROAD MAINTENANCE POINT OF VIEW PRINCIPLES AND EXPERIENCES P1.3 EVALUATION OF WINTER WEATHER CONDITIONS FROM THE WINTER ROAD MAINTENANCE POINT OF VIEW PRINCIPLES AND EXPERIENCES Vít Květoň 1, Michal Žák Czech Hydrometeorological Institute, Praha, Czech Republic.

More information

Randomized RANSAC with T d,d test

Randomized RANSAC with T d,d test Randomized RANSAC with T d,d test O. Chum 1,J.Matas 1,2 1 Center for Machine Perception, Dept. of Cybernetics, CTU Prague, Karlovo nám 13, CZ 121 35 2 CVSSP, University of Surrey, Guildford GU2 7XH, UK

More information

Study of historical geometric problems by means of CAS and DGS

Study of historical geometric problems by means of CAS and DGS Study of historical geometric problems by means of CAS and DGS Roman Hašek, Jan Zahradník Jihočeská univerzita v Českých Budějovicích, Pedagogická fakulta Jeronýmova 10, 371 15 České Budějovice hasek@pf.jcu.cz,

More information

Physics 272: Electricity and Magnetism. Mark Palenik Wednesday June 13 th

Physics 272: Electricity and Magnetism. Mark Palenik Wednesday June 13 th Physics 272: Electricity and Magnetism Mark Palenik Wednesday June 13 th Todays topics Polarization and electric field Polarization of atoms Transfer of charge Charged Particles Net charge: sum of all

More information

Conditional Statements

Conditional Statements Conditional Statements Lecture 3 Section 2.2 Robb T. Koether Hampden-Sydney College Fri, Jan 17, 2014 Robb T. Koether (Hampden-Sydney College) Conditional Statements Fri, Jan 17, 2014 1 / 26 1 Conditional

More information

Lecture 12 (Kinetic Energy) Physics Spring 2017 Douglas Fields

Lecture 12 (Kinetic Energy) Physics Spring 2017 Douglas Fields Lecture 12 (Kinetic Energy) Physics 160-02 Spring 2017 Douglas Fields Your Toolbox so far: Vectors Components, vector addition, etc. Position, velocity, acceleration Constant acceleration equations Newton

More information

2681 Parleys Way Suite 201 Salt Lake City, UT AccuSense Value Proposition

2681 Parleys Way Suite 201 Salt Lake City, UT AccuSense Value Proposition 2681 Parleys Way Suite 201 Salt Lake City, UT 84109 801-746-7888 www.seertechnology.com AccuSense Value Proposition May 2010 What is valuable to the chemical detection mission? Time is valuable Information

More information

Spring 2016 Program Analysis and Verification. Lecture 3: Axiomatic Semantics I. Roman Manevich Ben-Gurion University

Spring 2016 Program Analysis and Verification. Lecture 3: Axiomatic Semantics I. Roman Manevich Ben-Gurion University Spring 2016 Program Analysis and Verification Lecture 3: Axiomatic Semantics I Roman Manevich Ben-Gurion University Warm-up exercises 1. Define program state: 2. Define structural semantics configurations:

More information

Name. MTH 251 Test 2 Winter Term 2007

Name. MTH 251 Test 2 Winter Term 2007 2/22/2007 12:38PM 1 / 7 Name All work on this test will be evaluated for your style of presentation as well as for the "correctness" of your "answer." Follow the writing guidelines established during lecture

More information

Lecture 1: Shannon s Theorem

Lecture 1: Shannon s Theorem Lecture 1: Shannon s Theorem Lecturer: Travis Gagie January 13th, 2015 Welcome to Data Compression! I m Travis and I ll be your instructor this week. If you haven t registered yet, don t worry, we ll work

More information

3 rd Generation Approach to Video Compression for Multimedia

3 rd Generation Approach to Video Compression for Multimedia 3 rd Generation Approach to Video Compression for Multimedia Pavel Hanzlík, Petr Páta Dept. of Radioelectronics, Czech Technical University in Prague, Technická 2, 166 27, Praha 6, Czech Republic Hanzlip@feld.cvut.cz,

More information

LECTURE 2: SIMPLE REGRESSION I

LECTURE 2: SIMPLE REGRESSION I LECTURE 2: SIMPLE REGRESSION I 2 Introducing Simple Regression Introducing Simple Regression 3 simple regression = regression with 2 variables y dependent variable explained variable response variable

More information

5 th Grade Force and Motion Study Guide

5 th Grade Force and Motion Study Guide Name: Date of Test: Vocabulary 5 th Grade Force and Motion Study Guide Motion- a change in position relative to a point of reference, a change in speed, or a change in distance. Point of Reference (Reference

More information

Analysis of data in square contingency tables

Analysis of data in square contingency tables Analysis of data in square contingency tables Iva Pecáková Let s suppose two dependent samples: the response of the nth subject in the second sample relates to the response of the nth subject in the first

More information

Chapter 26: Comparing Counts (Chi Square)

Chapter 26: Comparing Counts (Chi Square) Chapter 6: Comparing Counts (Chi Square) We ve seen that you can turn a qualitative variable into a quantitative one (by counting the number of successes and failures), but that s a compromise it forces

More information

2.1 Convergence of Sequences

2.1 Convergence of Sequences Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written

More information

Introduction to Python and its unit testing framework

Introduction to Python and its unit testing framework Introduction to Python and its unit testing framework Instructions These are self evaluation exercises. If you know no python then work through these exercises and it will prepare yourself for the lab.

More information

ANIMATION OF LAGRANGE MULTIPLIER METHOD AND MAPLE Pavel Prazak University of Hradec Kralove, Czech Republic

ANIMATION OF LAGRANGE MULTIPLIER METHOD AND MAPLE Pavel Prazak University of Hradec Kralove, Czech Republic ANIMATION OF LAGRANGE MULTIPLIER METHOD AND MAPLE Pavel Prazak University of Hradec Kralove, Czech Republic Experience shows that IT is a powerful tool for visualization of hidden mathematical concepts.

More information

On the Modal Superposition Lying under the MoM Matrix Equations

On the Modal Superposition Lying under the MoM Matrix Equations 42 P. HAZDRA, P. HAMOUZ, ON THE MODAL SUPERPOSITION LYING UNDER THE MOM MATRIX EQUATIONS On the Modal Superposition Lying under the MoM Matrix Equations Pavel HAZDRA 1, Pavel HAMOUZ 1 Dept. of Electromagnetic

More information

Harmonizing at the borders

Harmonizing at the borders Land Survey Office LAND SURVEY OFFICE OF CZECH REPUBLIC Harmonizing at the borders Pavel Šidlichovský IGW/ISPIRE 2015; Lisabon 26.5.2015 State map series: HIC SUNT LEONES ( OR AQUILAS?) www.cuzk.cz 2 INSPIRE

More information

Pattern Recognition and Machine Learning Course: Introduction. Bayesian Decision Theory.

Pattern Recognition and Machine Learning Course: Introduction. Bayesian Decision Theory. Pattern Recognition and Machine Learning Course: Introduction. Bayesian Decision Theory. lecturer: authors: Jiří Matas, matas@cmp.felk.cvut.cz Václav Hlaváč, Jiří Matas, Ondřej Drbohlav Czech Technical

More information

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is. COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which

More information

The COST733class circulation type software: An example for surface ozone concentrations in Central Europe. Demuzere, M., Kassomenos, P., Philipp, A.

The COST733class circulation type software: An example for surface ozone concentrations in Central Europe. Demuzere, M., Kassomenos, P., Philipp, A. The COST733class circulation type software: An example for surface ozone concentrations in Central Europe Demuzere, M., Kassomenos, P., Philipp, A. Goal of this work To provide insight the functionalities

More information

Petri Nets as Fuzzy Modeling Tool

Petri Nets as Fuzzy Modeling Tool University of Ostrava Institute for Research and Applications of Fuzzy Modeling Petri Nets as Fuzzy Modeling Tool Viktor Pavliska Research report No. 112 2006 Submitted/to appear: Internal publication

More information

Feature Selection by Reordering *

Feature Selection by Reordering * Feature Selection by Reordering * Marcel Jirina and Marcel Jirina jr. 2 Institute of Computer Science, Pod vodarenskou vezi 2, 82 07 Prague 8 Liben, Czech Republic marcel@cs.cas.cz 2 Center of Applied

More information

Spring 2015 Program Analysis and Verification. Lecture 4: Axiomatic Semantics I. Roman Manevich Ben-Gurion University

Spring 2015 Program Analysis and Verification. Lecture 4: Axiomatic Semantics I. Roman Manevich Ben-Gurion University Spring 2015 Program Analysis and Verification Lecture 4: Axiomatic Semantics I Roman Manevich Ben-Gurion University Agenda Basic concepts of correctness Axiomatic semantics (pages 175-183) Hoare Logic

More information

WHITE KNUCKLE RIDE AN INTRODUCTION TO DYNAMICS

WHITE KNUCKLE RIDE AN INTRODUCTION TO DYNAMICS WHITE KNUCKLE RIDE AN INTRODUCTION TO DYNAMICS P R E A M B L E The original version of White Knuckle Ride is run as a Laboratory Group Research Project, undertaken by students in small groups. There are

More information

LINEAR INTERVAL INEQUALITIES

LINEAR INTERVAL INEQUALITIES LINEAR INTERVAL INEQUALITIES Jiří Rohn, Jana Kreslová Faculty of Mathematics and Physics, Charles University Malostranské nám. 25, 11800 Prague, Czech Republic 1.6.1993 Abstract We prove that a system

More information

APPLICATION OF A MODEL FOR SOLUTION OF SHOCK WAVE PARAMETERS IN STEAM TO EVALUATION OF VALUE OF SPEED OF SOUND

APPLICATION OF A MODEL FOR SOLUTION OF SHOCK WAVE PARAMETERS IN STEAM TO EVALUATION OF VALUE OF SPEED OF SOUND Colloquium FLUID DYNAMICS 03 Institute of Thermomechanics AS CR, v.v.i., Prague, October 3-5, 03 p. APPLICATION OF A MODEL FOR SOLUTION OF SHOCK WAVE PARAMETERS IN STEAM TO EVALUATION OF VALUE OF SPEED

More information

Lecture 9. Selected material from: Ch. 12 The analysis of categorical data and goodness of fit tests

Lecture 9. Selected material from: Ch. 12 The analysis of categorical data and goodness of fit tests Lecture 9 Selected material from: Ch. 12 The analysis of categorical data and goodness of fit tests Univariate categorical data Univariate categorical data are best summarized in a one way frequency table.

More information

DOWNLOAD QUANTUM PHYSICS THE BOTTOM UP APPROACH FROM THE SIMPLE TWO LEVEL SYSTEM TO IRREDUCIBLE REPRESENTAT

DOWNLOAD QUANTUM PHYSICS THE BOTTOM UP APPROACH FROM THE SIMPLE TWO LEVEL SYSTEM TO IRREDUCIBLE REPRESENTAT DOWNLOAD QUANTUM PHYSICS THE BOTTOM UP APPROACH FROM THE SIMPLE TWO LEVEL SYSTEM TO IRREDUCIBLE REPRESENTAT Page 1 Page 2 quantum physics the bottom pdf Quantum mechanics (QM; also known as quantum physics,

More information

ON USING ARTIFICIAL COMPRESSIBILITY METHOD FOR SOLVING TURBULENT FLOWS

ON USING ARTIFICIAL COMPRESSIBILITY METHOD FOR SOLVING TURBULENT FLOWS Conference Applications of Mathematics 212 in honor of the 6th birthday of Michal Křížek. Institute of Mathematics AS CR, Prague 212 ON USING ARTIFICIAL COMPRESSIBILITY METHOD FOR SOLVING TURBULENT FLOWS

More information

Recall: Gravitational Potential Energy

Recall: Gravitational Potential Energy Welcome back to Physics 15 Today s agenda: Work Power Physics 15 Spring 017 Lecture 10-1 1 Recall: Gravitational Potential Energy For an object of mass m near the surface of the earth: U g = mgh h is height

More information

Similarity and recommender systems

Similarity and recommender systems Similarity and recommender systems Hiroshi Shimodaira January-March 208 In this chapter we shall look at how to measure the similarity between items To be precise we ll look at a measure of the dissimilarity

More information

Decomposition of Screw-motion Envelopes of Quadrics

Decomposition of Screw-motion Envelopes of Quadrics Decomposition of Screw-motion Envelopes of Quadrics Šárka Voráčová * Department of Applied Mathematics Faculty of Transportation, CTU in Prague Study and realization of the construction of the envelope

More information

ECON1310 Quantitative Economic and Business Analysis A

ECON1310 Quantitative Economic and Business Analysis A ECON1310 Quantitative Economic and Business Analysis A Topic 1 Descriptive Statistics 1 Main points - Statistics descriptive collecting/presenting data; inferential drawing conclusions from - Data types

More information

Robustifying the Flock of Trackers

Robustifying the Flock of Trackers 16 th Computer Vision Winter Workshop Andreas Wendel, Sabine Sternig, Martin Godec (eds.) Mitterberg, Austria, February 2-4, 2011 Robustifying the Flock of Trackers Jiří Matas and Tomáš Vojíř The Center

More information

University of Illinois at Chicago Department of Computer Science. Final Examination. CS 151 Mathematical Foundations of Computer Science Fall 2012

University of Illinois at Chicago Department of Computer Science. Final Examination. CS 151 Mathematical Foundations of Computer Science Fall 2012 University of Illinois at Chicago Department of Computer Science Final Examination CS 151 Mathematical Foundations of Computer Science Fall 01 Thursday, October 18, 01 Name: Email: Print your name and

More information

Lecture for Week 2 (Secs. 1.3 and ) Functions and Limits

Lecture for Week 2 (Secs. 1.3 and ) Functions and Limits Lecture for Week 2 (Secs. 1.3 and 2.2 2.3) Functions and Limits 1 First let s review what a function is. (See Sec. 1 of Review and Preview.) The best way to think of a function is as an imaginary machine,

More information

Chapter 1. Representing Motion. 1 Representing Motion. Making a Motion Diagram. Four Types of Motion We ll Study

Chapter 1. Representing Motion. 1 Representing Motion. Making a Motion Diagram. Four Types of Motion We ll Study Chapter 1 1 Representing Motion Representing Motion PowerPoint Lectures for College Physics: A Strategic Approach, Second Edition Slide 1-2 Slide 1-3 Slide 1-4 Four Types of Motion We ll Study Making a

More information

No. of Days. Building 3D cities Using Esri City Engine ,859. Creating & Analyzing Surfaces Using ArcGIS Spatial Analyst 1 7 3,139

No. of Days. Building 3D cities Using Esri City Engine ,859. Creating & Analyzing Surfaces Using ArcGIS Spatial Analyst 1 7 3,139 Q3 What s New? Creating and Editing Data with ArcGIS Pro Editing and Maintaining Parcels Using ArcGIS Spatial Analysis Using ArcGIS Pro User Workflows for ArcGIS Online Organizations Q3-2018 ArcGIS Desktop

More information

Nondeterministic finite automata

Nondeterministic finite automata Lecture 3 Nondeterministic finite automata This lecture is focused on the nondeterministic finite automata (NFA) model and its relationship to the DFA model. Nondeterminism is an important concept in the

More information

Pattern Recognition and Machine Learning Course: Introduction. Bayesian Decision Theory.

Pattern Recognition and Machine Learning Course: Introduction. Bayesian Decision Theory. Pattern Recognition and Machine Learning Course: Introduction. Bayesian Decision Theory. lecturer: authors: Jiří Matas, matas@cmp.felk.cvut.cz Václav Hlaváč, Jiří Matas, Ondřej Drbohlav Czech Technical

More information

Preface to the 3rd Edition

Preface to the 3rd Edition Preface to the 3rd Edition The third edition of this book on Applied Multivariate Statistical Analysis offers the following new features. 1. A new Chapter 8 on Regression Models has been added. 2. Almost

More information

INTERLABORATORY COMPARISON OF INSTRUMENT CURRENT TRANSFORMER STANDARDS IN THE RANGE UP TO 800 A AT 50 HZ

INTERLABORATORY COMPARISON OF INSTRUMENT CURRENT TRANSFORMER STANDARDS IN THE RANGE UP TO 800 A AT 50 HZ INTERLABORATORY COMPARISON OF INSTRUMENT CURRENT TRANSFORMER STANDARDS IN THE RANGE UP TO 800 A AT 50 HZ Karel Draxler (1), Renata Styblíková () (1) CTU, Faculty of Electrical Engineering, Technická, 1

More information

6.1 Force Causes Acceleration. Unbalanced forces acting on an object cause the object to accelerate. Recall the definition of acceleration:

6.1 Force Causes Acceleration. Unbalanced forces acting on an object cause the object to accelerate. Recall the definition of acceleration: Recall the definition of acceleration: An object accelerates when a net force acts on it. The cause of acceleration is force. 6.1 Force Causes Acceleration Unbalanced forces acting on an object cause the

More information