Tutorial by Examples: o

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...

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...

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...

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...

By default, Jsoup will display only block-level elements with a trailing line break. Inline elements are displayed without a line break. Given a body fragment, with inline elements: <select name="menu"> <option value="foo">foo</option> <option va...

The gridspec package allows more control over the placement of subplots. It makes it much easier to control the margins of the plots and the spacing between the individual subplots. In addition, it allows for different sized axes on the same figure by defining axes which take up multiple grid loca...

This is a simple implementation of Binary Search Tree Insertion using Python. An example is shown below: Following the code snippet each image shows the execution visualization which makes it easier to visualize how this code works. class Node: def __init__(self, val): self.l_chil...

Package TikZ lends itself very well to drawing graphs. This is a small example (requires TikZ 3.0+): \documentclass{standalone} \usepackage{tikz} \usetikzlibrary{positioning,arrows.meta} \begin{document} \begin{tikzpicture}[auto,vertex/.style={draw,circle}] \node[vertex] (a) {A}; ...

TikZ provides syntax similar to DOT which you can use to tighten up your graph drawing code considerably. \documentclass{standalone} \usepackage{tikz} \usetikzlibrary{graphs,quotes,arrows.meta} \begin{document} \begin{tikzpicture} \graph[nodes={draw,circle},edges={-{Stealth[]}}] { ...