Tutorial by Examples

A processing instruction is used to directly pass on some information or instruction to the application via the parser. <?my-application some instructions ?> The token after the initial question mark (here my-application) is called the target and identifies the application at which the ins...

You can install the whole bundle by downloading the dmg package from here. The bundle contains a CoqIDE that can be used for writing your proofs or you can use coqtop command to run the interpreter on your terminal Installation of Coq on MacOS is easy using homebrew as well brew install coq or i...

Example of Receiver Operating Characteristic (ROC) metric to evaluate classifier output quality. ROC curves typically feature true positive rate on the Y axis, and false positive rate on the X axis. This means that the top left corner of the plot is the “ideal” point - a false positive rate of zero...

In most cases, the range_lookup is used as FALSE (an exact match). The default for this parameter is TRUE - it is less commonly used in this form, but this example shows one usecase. A supermarket gives a bonus based on the customers monthly spend. If the customer spends 250 EUR or more in a mon...

Example : To achieve this purpose , you should add a custom Live Template: Open Settings [Ctrl + Alt + S ] Type "Live Templates" in the Top-Left search bar. Click the + to add a "Template Group" and type a group name(eg: MyTemplate) to continue Choose your cus...

A test case or test script is a more or less formal description of the actions needed to prove that a requirement is met. It has a descriptive title, may start off with some preparation and ends with an expected result. Usually the test cases for a system under test are organised into test suites. ...

Single-quotes are literal strings, and the lack of escape characters means that the only character that can not occur inside of a single-quoted string is a single-quote. $ echo '$var \$var \\$var \\\$var' $var \$var \\$var \\\$var $ echo '"quoted string"' "quoted string" $ e...

Double-quotes preserve all characters other than " terminator, $ expansions, ` command substitutions, and \ escapes of any of these characters (and newline removal). Note that the literal \ is preserved unless followed by a special character. General escapes: $ printf "\"quoted str...

\ escapes preserve the following character value, unless the following character is a newline in which case both the \ and the newline are removed. Escaping special characters: $ echo \"quoted text\" "quoted text" $ echo \`\`quoted text\'\' ``quoted text'' $ echo 'single-qu...

The Jenkins Pipeline DSL is used as an example for such a language: node { git 'https://github.com/joe_user/simple-maven-project-with-tests.git' def mvnHome = tool 'M3' sh "${mvnHome}/bin/mvn -B -Dmaven.test.failure.ignore verify" archiveArtifacts artifacts: '**/target/*.jar',...

For accessing Cassandra cassandra-driver module from DataStax can be used. It supports all the features and can be easily configured. const cassandra = require("cassandra-driver"); const clientOptions = { contactPoints: ["host1", "host2"], keyspace: "te...

This basic Lucene example creates a simple index, and searches on it. Note: RAMDirectory creates a memory-resident index, and is handy for experimenting and testing, but in practice most people will need to have an index stored in the file system (see FSDirectory.open). import java.io.IOException...

Simple, Inline Equations You can do a simple inline equation by using $an equation here$. For example, you might do $\lim\limits_{n \to \infty} \frac{1}{2^n} i\bar z$ which, if we put a little fake text around it, gives Numbered, Centered Equations When writing papers or other documents, ...

Sometimes, it can be difficult to find the mathematical symbol you need. There are several options here. The first (and quickest) is to use Detexify, where you draw the symbol you'd like, and it tries to find what you want, like as shown below: Another option is to use the comprehensive LaTeX sym...

While standard LaTeX is all that is needed for most simple mathematical formulae and equations, sometimes more symbols and tools are needed. There are multiple packages available that will enhance your equations and provide you with more to work with. Three of the main packages are described below. ...

Some of the most common commands include: Fractions and Square Roots: For fractions, use \frac {numerator}{denominator}. For square roots, use \sqrt[root]{number}. Greek letters: use the commands given in the table below: Operators: \leq gives the less than or equal to symbol, \geq gives ...

Let's say you cannot find the symbol you need anywhere. You can create a custom symbol. For example, the code \documentclass{article} \usepackage{graphicx,amsmath,amssymb} \DeclareRobustCommand{\diamondtimes}{% \mathbin{\text{\rotatebox[origin=c]{45}{$\boxplus$}}}% } \begin{document} $a\d...

Matrices You must always use the amsmath package if you are going to use the following commands. There are four main types of matrix, as shown in the code below: \begin{matrix} a & b \\ c & d \end{matrix} \quad \begin{pmatrix} a & b \\ c & d \end{pmatrix} ...

Possible values are Continue | Ignore | Inquire | SilentlyContinue | Stop | Suspend. Value of this parameter will determine how the cmdlet will handle non-terminating errors (those generated from Write-Error for example; to learn more about error handling see [topic not yet created]). Default valu...

//Add value to Isolated Storage Settings IsolatedStorageSettings.ApplicationSettings.Add("Key", "Value");