Tutorial by Examples: on

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

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

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

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

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[]}}] { ...

ls shows files and directories in present working directory. (if no arguments are passed.) (It doesn't show hidden files which starts with . by default.) user@ubuntu14:/usr$ ls bin games include lib lib32 local sbin share src To see all files (hidden files/folders also). Use ls -a OR l...

The state of an object at a given time is represented by the information that it holds at that point. In an OO language, the state is implemented as member variables. In a properly designed object, the state can be changed only by means of calls to its methods and not by direct manipulation of its ...

SKAction: let waitForOneSecond = SKAction.waitForDuration(1) let action = SKAction.runBlock(){action()} let sequence = SKAction.sequence([waitForOneSecond,action]) self.runAction(sequence) NSTimer: NSTimer.scheduledTimerWithTimeInterval(1, target: self, selector: #selector(action), userInfo: nil,...

This type of Hook can be used to override core portal (e.g c/portal/login) and portlet struts actions (e.g /login/forgot_password), this actions for Liferay Portal are specified in a struts-config.xml file in its WEB-INF folder.To override an action: in liferay-hook.xml file of your hook plugin u...

An alternative to forever on Linux is nohup. To start a nohup instance cd to the location of app.js or wwwfolder run nohup nodejs app.js & To kill the process run ps -ef|grep nodejs kill -9 <the process number>

h = 1.0 / n; #pragma omp parallel for private(x) shared(n, h) reduction(+:area) for (i = 1; i <= n; i++) { x = h * (i - 0.5); area += (4.0 / (1.0 + x*x)); } pi = h * area; In this example, each threads execute a subset of the iteration count. Each thread has its local private copy ...

h = 1.0 / n; #pragma omp parallel for private(x) shared(n, h, area) for (i = 1; i <= n; i++) { x = h * (i - 0.5); #pragma omp critical { area += (4.0 / (1.0 + x*x)); } } pi = h * area; In this example, each threads execute a subset of the iteration count and they accumul...

h = 1.0 / n; #pragma omp parallel for private(x) shared(n, h, area) for (i = 1; i <= n; i++) { x = h * (i - 0.5); #pragma atomic area += (4.0 / (1.0 + x*x)); } pi = h * area; In this example, each threads execute a subset of the iteration count and they accumulate atomically int...

h = 1.0 / n; #pragma omp parallel private(x) shared(n, h) { double thread_area = 0; // Private / local variable #pragma omp for for (i = 1; i <= n; i++) { x = h * (i - 0.5); thread_area += (4.0 / (1.0 + x*x)); } #pragma omp atomic ...

Animating Background color of stacklayout on tapping button pages/main.component.ts import {Component, ElementRef, ViewChild} from "@angular/core"; import {Color} from "color"; import {View} from "ui/core/view"; @Component({ selector: "main&quot...

pages/main.component.ts import {Component, ElementRef, ViewChild} from "@angular/core"; import {View} from "ui/core/view"; import {AnimationCurve} from "ui/enums"; @Component({ selector: "main", template: ` <StackLayout> ...

You can set the path to bcomp.exe git config --global difftool.bc3.path 'c:\Program Files (x86)\Beyond Compare 3\bcomp.exe' and configure bc3 as default git config --global diff.tool bc3

If you have code (a routine) you want to execute under a specific (constraint) context, you can use dependency injection. The following example shows the constraint of executing under an open SSL connection. This first part would be in your library or framework, which you won't expose to the client...