Timeline
Prev
Next
2015
Finova Selected as the Lending Innovation Firm of the Year by the Fintech Awards
Awarded Lending Innovation By Fintech Awards
Total amount financed exceeds $3 million
Consumer Finance License issued in Oregon
First loan issued in Oregon
Q1
Q2
Leading Silicon Valley VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
Contractual revenue exceeds $3 million
Finova Announces First Jobs Crypto Offering (JCO)
$1.7M in Cash Revenues YTD 2017
$4M in Contractual Revenue Inbound
Financed more than $6.1 million in loans
Q3
Q4
Leading Silicon Valley
VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
Contractual revenue exceeds $3 million
Leading Silicon Valley VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
2016
Finova Selected as the Lending Innovation Firm of the Year by the Fintech Awards
Awarded Lending Innovation By Fintech Awards
Total amount financed exceeds $3 million
Consumer Finance License issued in Oregon
First loan issued in Oregon
Q1
Q2 - Q3
Leading Silicon Valley VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
Contractual revenue exceeds $3 million
Finova Announces First Jobs Crypto Offering (JCO)
$1.7M in Cash Revenues YTD 2017
$4M in Contractual Revenue Inbound
Financed more than $6.1 million in loans
Q4
2017
Q1
Finova Selected as the Lending Innovation Firm of the Year by the Fintech Awards
Awarded Lending Innovation By Fintech Awards
Total amount financed exceeds $3 million
Consumer Finance License issued in Oregon
First loan issued in Oregon
Leading Silicon Valley VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
Contractual revenue exceeds $3 million
Q2
Q3
Finova Announces First Jobs Crypto Offering (JCO)
$1.7M in Cash Revenues YTD 2017
$4M in Contractual Revenue Inbound
Financed more than $6.1 million in loans
Leading Silicon Valley VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
Q4
2018
Q1
Finova Selected as the Lending Innovation Firm of the Year by the Fintech Awards
Awarded Lending Innovation By Fintech Awards
Total amount financed exceeds $3 million
Consumer Finance License issued in Oregon
First loan issued in Oregon
Leading Silicon Valley VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
Contractual revenue exceeds $3 million
Q2
Q3
Finova Announces First Jobs Crypto Offering (JCO)
$1.7M in Cash Revenues YTD 2017
$4M in Contractual Revenue Inbound
Financed more than $6.1 million in loans
Leading Silicon Valley VC's and Wall Street Firms lead a $102.5 million equity and debt roundz
Finova Prepaid Card Launched
Contractual revenue exceeds $3 million
Q4


|
Stops instruction execution and places the processor in a HALT state. An enabled interrupt (including NMI and SMI), a debug exception, the BINIT# signal, the INIT# signal, or the RESET# signal will resume execution. If an interrupt (including NMI) is used to resume execution after a HLT instruction, the saved instruction pointer (CS:EIP) points to the instruction following the HLT instruction.
When a HLT instruction is executed on an IA-32 processor supporting Hyper-Threading Technology, only the logical processor that executes the instruction is halted. The other logical processors in the physical processor remain active, unless they are each individually halted by executing a HLT instruction.
The HLT instruction is a privileged instruction. When the processor is running in protected or virtual-8086 mode, the privilege level of a program or procedure must be 0 to execute the HLT instruction.
|


Matt Leathes
It's not a new language
It's a superset of JavaScript
Five easy steps...
Allow you to include any kind of JavaScript expression directly inside a string
Use backticks around your string instead of quotes then declare expressions with ${}
for(var value of array) {
console.log(value);
}
Solves one of the most annoying problems in JavaScript - loss of lexical scope of this
Mainly used for doing things like this
function doStuff(input, output, ...options) {
}
But you can also do things like concatenate two arrays:
var a = [1,2,3];
var b = [4,5,6];
a.push(...b);
or insert one array into the middle of another:
var source = [4,5,6];
var target = [1,2,3,...source,7,8,9];
Gives you the ability to assign values to multiple variables from a single object/array with a single statement
The 6 primitive datatypes in JavaScript:
null
undefined
Number
Boolean
String
Object
Array
Function
TypeScript uses static analysis to try and infer type even when you don't assign types manually.
TypeScript has a special 'any' type which is the most dynamic of all its types
var a: any;
As well as 'union types' which allow you to specify multiple types for a variable:
var a: string | array;
// or:
var a: (string | array);
By default it will complain about you using props/methods that don't belong to both types but this can be circumvented with 'typeguard syntax' which is just done using either instanceof or typeof (primitive types only):
if(typeof a === "string") { //a instanceof String would also work here
// safe to call stuff unique to String in this block
}
if(a instanceof Array) {
// safe to call array stuff in this block
}
There are 4 ways to declare a custom type in TS...
For creating data types to use instead of magic strings/numbers. They are created like this:
enum PlayerState {
Playing = 1,
Stopped,
Paused,
Ended
}
var state = PlayerState.Playing;// state is now equal to 1
PlayerState[state];//outputs 'Playing'
An anonymous type is an interface that is defined as and when needed. These are defined inline, like this:
var todo: { name: string};
Or, as part of a function definition:
function totalLength(x: { length: number }, y: { length: number }): number
Interfaces are declared thusly:
interface Todo {
name: string;
completed?: boolean;
getById(todoId: number):Todo;
deleteById(todoId: number):void;
}
You can also create an interface for describing the sorts of complex functions that JavaScript allows e.g. JQuery-style functions-as-objects e.g.
interface jQuery {
version: number;
(selector: string): HTMLElement;
}
When defining the function, you cast to the interface:
var $ = <jQuery>function(selector: string) {
//find stuff in DOM
};
$.version = 15;
Are syntactic sugar for the underlying prototypical inheritance behaviour in JavaScript
So, instead of doing this:
function TodoService() {
this.todos = [];
}
TodoService.prototype.getAll = function() {
return this.todos;
}
You do this:
class TodoService {
constructor(private todos: Todo[]) {
}
getAll() {
return this.todos;
}
}
Static properties & methods are defined like this:
class TodoService {
static lastID: number = 0;
constructor(private todos: Todo[]) {
}
add(todo: Todo) {
var newId = TodoService.getNextId();
}
static getNextId(): number {
return TodoService.lastId++;
}
}
getter/setters methods are defined like this:
get state() { }
set state(newState) {}
Usage of these is not just restricted to classes - you can use on object literals too:
var todo = {
get state() {
return this._state;
}
}
Inheritance is easily done:
class ClassName extends BaseClass {
someExtendedMethod () {
super.someExtendedMethod();
//other code
}
}
Multiple class inheritance is not supported.
Both classes and methods within the class can be defined as abstract:
abstract class MyAbstractClass {
abstract someMethod () {
//can't have any implementation here
}
}
TypeScript has support for the following access modifiers:
As you'd expect, multiple interfaces can be implemented:
class MyClass implements MyInterfaceOne, MyInterfaceTwo {
}
Allow you to do things like create a function that might accept data of any type.
TypeScript will let you create a 'generic type' for the function and then calculate autocomplete based on what you pass in.
TypeScript supports two flavours of module:
A namespaced module looks like this:
namespace com.kineo.MyApp {
export interface Iinterface {
}
}
TypeScript supports two different - but functionally equivalent - methods of using external modules:
ECMAScript 2015 is probably best to go for as it's a standard that will eventually be supported natively in the browser.
To use external modules you need to add the module
setting to compilerOptions
in tsconfig.json.
import Model = require('./model');
import Todo = Model.Todo;
import {Todo, TodoState as TS} from './model';
Or, to import everything:
import * as Model from './model';
Or to load but import nothing:
import './jQuery';
How do you deal with 3rd party libraries like JQuery that are not written in TypeScript?
You might try this:
var $: any;
var JQuery: any;
But this would be safer:
declare $: any;
declare JQuery: any;
(This code won't be included in the JavaScript output, it's just for the TypeScript compiler)
But it would be best to use a TypeScript Definition File


Installing Libbson
The following guide will step you through the process of downloading, building, and installing the current release of libbson.
Supported Platforms
Libbson is continuously tested on GNU/Linux, Windows 7, Mac OS X 10.10, and Solaris 11 (Intel and Sparc). GCC, Clang, and Visual Studio 2013 compilers are continuously tested.
The library supports the following operating systems and CPU architectures:
Operating Systems |
CPU Architectures |
Compiler Toolchain |
|
|
|
Building on Unix
Building from a release tarball
Unless you intend on contributing to libbson, you will want to build from a release tarball.
The most recent release of libbson is 1.2.1 and can be downloaded here. The following snippet will download and extract the code, and configure it:
$ wget https://github.com/mongodb/libbson/releases/download/1.2.1/libbson-1.2.1.tar.gz $ tar xzf libbson-1.2.1.tar.gz $ cd libbson-1.2.1 $ ./configure
If configure completed successfully, you'll see something like the following describing your build configuration.
libbson was configured with the following options: Build configuration: Enable debugging (slow) : no Enable extra alignment (required for 1.0 ABI) : yes Compile with debug symbols (slow) : no Enable GCC build optimization : yes Enable automatic binary hardening : yes Code coverage support : no Cross Compiling : no Big endian : no Link Time Optimization (experimental) : no Documentation: man : no HTML : no
Build and install:
$ make $ sudo make install
Building from git
To build an unreleased version of the library from git requires additional dependencies.
RedHat / Fedora:
$ sudo yum install git gcc automake autoconf libtool
Debian / Ubuntu:
$ sudo apt-get install git gcc automake autoconf libtool
FreeBSD:
$ su -c 'pkg install git gcc automake autoconf libtool'
Generating the documentation
Install the yelp-tools and yelp-xsl packages, then:
$ ./configure --enable-html-docs --enable-man-pages $ make man html
Building on Mac OS X
XCode Command Line Tools
To install the XCode Command Line Tools, just type gcc in the Terminal and follow the instructions.
Building on OS X
Download the latest release tarball:
$ curl -LO https://github.com/mongodb/libbson/releases/download/1.2.1/libbson-1.2.1.tar.gz $ tar xzf libbson-1.2.1.tar.gz $ cd libbson-1.2.1
Build and install the library:
$ ./configure $ make $ sudo make install
Generating the documentation on OS X
Homebrew is required to generate libbson's HTML documentation and man pages:
$ brew install yelp-xsl yelp-tools $ ./configure --enable-html-docs --enable-man-pages $ make man html
Building on Windows
Building on Windows requires Windows Vista or newer and Visual Studio 2010 or newer. Additionally, cmake is required to generate Visual Studio project files.
Let's start by generating Visual Studio project files for libbson. The following assumes we are compiling for 64-bit Windows using Visual Studio 2010 Express which can be freely downloaded from Microsoft.
> cd libbson-1.2.1 > cmake -G "Visual Studio 2010 Win64" "-DCMAKE_INSTALL_PREFIX=C:\libbson" > msbuild.exe ALL_BUILD.vcxproj > msbuild.exe INSTALL.vcxproj
You should now see libbson installed in C:\libbson


---
title: studyofeverything data science for business
date: '2015-07-15T19:00:03+05:30'
tags:
- ml
tumblr_url: https://sureshshanmugam.com/post/124153334525/studyofeverything-data-science-for-business
---
Data Science for Business: What you need to know about data mining and data-analytic thinking
Paperback – August 19, 2013
by Foster Provost (Author), Tom Fawcett (Author)


Saves the current state of Emacs into an environment file. The default file type is .Emacs_ENVIRONMENT.
(save-excursion local... expression...)
Evaluates the given expressions and returns the value of the last expression evaluated. It is much like progn except that before any expressions are executed, dot and the current buffer are marked (via the marker mechanism) and the search-string is saved.
(save-restriction locals... expression ...)
Saves the current dot, mark, buffer, search-string and buffer restriction; executes the provided expressions; then restores the saved information.
(save-window-excursion local... expression ...)
Saves the current dot, mark, buffer, search-string and window state; executes the expressions; then restores the saved information. save-window-excursion returns the value of the last expression evaluated. If the mark was not set before calling save-window-excursion, it will not be set afterwards.
(schedule-procedure function seconds)
Executes the given function after the specified number of seconds. If the number of seconds is zero, then any outstanding schedule for the specified function is removed. If a schedule is specified for a procedure that already has a schedule, the old schedule is replaced.
Scrolls the current window one column to the left.
Scrolls the current window one column to the right.
Repositions the current window on the current buffer so that the line which is currently the second to the last line in the window becomes the last. This effectively moves the buffer down one line in the window.
Repositions the current window on the current buffer so that the line which is currently the second line in the window becomes the first. This effectively move the buffer up one line in the window.
(search-forward search-string) ^S
Searches for a match in the current buffer, moving forwards from dot and stopping at the end of the buffer. Dot is left at the end of the matched string if a match is found, or is unmoved if a match is not found.
(search-reverse search-string) ^R
Searches for a match in the current buffer, moving backwards from dot and stopping at the beginning of the buffer. Dot is left at the beginning of the matched string if a match is found, or is unmoved if a match is not found.
(self-insert) All inserting keys
This function is bound to those keys which insert themselves into the current buffer. It is roughly the same as (insert-character (last-key-struck) with the exception that it does not work unless it is bound to a key.
(send-eof-to-process process-name)
Unix only
Sends the special end-of-file (eof) message to the specified subprocess. Use the wait-for-process-input-request command to ensure that the process is ready.
(send-string-to-process process-name text)
Sends the specified string to the specified subprocess. Use the wait-for-process-input-request command to ensure that the process is ready.
(send-string-to-terminal text)
Sends the string to the terminal with no conversion or interpretation. This should only be used for such applications as loading function keys when Emacs starts up. If you disrupt the screen, Emacs will not know about it and will not fix it up automatically -- you will have to use redraw-display to do this.
(set variable-name expression)
Sets the value of a variable.
If you require a value of 1, then from the terminal, you can type the string true or on. If you require a value of 0, then from the terminal, you can type the string false or off.
(set-current-process process-name)
Sets the current subprocess to the specified process. The current subprocess name is used in all of the subprocess commands when a blank process name is specified.
(set-default variable-name expression)
Sets the default value of a variable.
If you require a value of 1, then from the terminal, you can type the string true or on. If you require a value of 0, then from the terminal, you can type the string false or off.
Sets the mark at the current location of dot.
(set-process-input-procedure process-name function)
Sets the input function for the specified subprocess. Whenever the subprocess asks for input, the specified procedure is run. This procedure may then supply the process with input (using send-string-to-process).
(set-process-name old-name new-name)
Changes the name of a subprocess. If the process is the current process, then the current process name is changed to the new name.
(set-process-output-buffer process-name buffer-name)
Connects a buffer to the output of the specified process. All output from the process appears in this buffer. The buffer is not allowed to grow indefinitely: if it becomes larger than maximum-DCL-buffer-size characters, it will be truncated by DCL-buffer-reduction characters before the next output from the process is inserted into the buffer.
(set-process-output-procedure process-name function)
Defines the name of an MLisp function to be called when a subprocess produces output. This function is called instead of the insertion of any output into an output buffer. Use the process-output function to obtain the latest line of output from the process.
(set-process-termination-procedure process-name function)
Defines an MLisp function to be called after a process has terminated. This function should be used to tidy up any resources or MLisp variables that the process may have used.
(setq variable-name expression)
Assigns a new value to a variable.
(setq-array array index... value)
Stores a value in an array.
(setq-default variable-name expression)
Assigns a new default value to a variable.
Starts up an interactive DCL session in an Emacs buffer shell-n (where n is a sequence number used to identify multiple shells).
Describes the current buffer in a buffer called Show buffer.
Makes the current window prefix-argument lines shorter, and the window below (or the one above if there is no window below) prefix-argument lines taller. The command cannot be used if there is only one window on the screen.
Updates the display and pauses for expression tenths of a second. (sit-for 10) waits for one second. If an argument of zero is used, then no pause is executed, but the display is still updated.
Checks the spelling of the supplied word. If the word is spelled correctly then 1 is returned, otherwise 0 is returned.
Splits the current window into two, dividing the space on the screen equally between the two windows.
(split-current-window-vertically) ^X-3
Takes the current window and splits it into two windows side-by-side, dividing the space on the screen equally between the two windows. An arbitrary number of windows can be created -- the only limit is the width of the screen. Each window must be at least one column wide.
(sprintf format-string args...)
sprintf provides a string formating command modelled after the C runtime library function of the same name.
Formating instructions start with a "%" character in the format-string and has the follow form:
%alignment width.precision type
sprintf support the following types:
- % - insert a single % in the output
- c - character
- s - string
- d - decimal integer
- o - octal integer
- x - hexadecimal integer
(start-DCL-process process-name)
Starts a DCL subprocess. Use the other subprocess commands to attach buffers and MLisp procedures to the process. The new process becomes the current process.
This function is a synonym for the start-process function.
Starts a DCL subprocess. Use the other subprocess commands to attach buffers and MLisp procedures to the process. The new process becomes the current process.
Causes all following keystrokes to be remembered by Emacs as the current keyboard macro. The functions to which the keys are bound will be executed. The stop-remembering function terminates the keyboard macro definition.
Stops remembering keystrokes, as initiated by start-remembering. The remembered keystrokes are not forgotten and may be re-executed with the execute-keyboard-macro command.
Returns the integer value of the first character of its string argument.
(string-extract string start end)
Extract a subpart of the string between positions start and end. The first string position is at 0, zero. Use negative position values to index from the end of the string.
If start is negative and end is zero then the end taken to be the end of the sting.
Any position that is outside of the strings length is set to the start, if its before the string, of the end of the string.
(string-index-of-first string find)
Returns the zero based index into string of the first occurrance of the string find. -1 is returned if the string is not found.
(string-index-of-last string find)
Returns the zero based index into string of the last occurrance of the string find. -1 is returned if the string is not found.
(string-index-of-string string find pos)
Returns the zero based index into string of the first occurrance of the string find start at position pos. -1 is returned if the string is not found.
Returns the substring of string str starting at position pos (numbering from 1) and running for n characters. If pos is less than 0, then the length of the string is added to it; the same is done for n.
(switch-to-buffer buffer-name)^X-b
Changes the buffer association of the current window to the selected buffer.
Returns the name of the system on which Emacs is running. This should be the DECnet or ArpaNet (or whatever) host name of the machine.
Use this command to have Emacs update all file buffers with newer copies of the files from the disk. For each file that has a newer version on the disk Emacs prompts asking you if you wish to read in the newer file.
(sys$fao ctrstr par-desc P1...)
Calls the VMS system service SYS$FAO.
(sys$filescan sl srcstr item result...)
Calls the VMS system service SYS$FILESCAN.
(sys$getdvi devnam item value...)
Calls the VMS system service SYS$GETDVI.
(sys$getjpi ctrl-str pidadr prcnam item value...)
Calls the VMS system service SYS$GETJPI.
Calls the VMS system service SYS$GETMSG.
(sys$getsyi ctrl-str csiddadr nodename item value...)
Calls the VMS system service SYS$GETSYI.
Calls the VMS system service SYS$SETPRN.
(sys$sndjbc func item value...)
Calls the VMS system service SYS$SNDJBC.
Returns the name of the system on which Emacs is running. This should be the DECnet or ArpaNet (or whatever) host name of the machine.


While stocks and bonds have their place as traditional instruments of investment, investors are increasingly considering alternative investments such as real estate, hedge funds, private equity and exchange traded funds - in an attempt to engineer overall enhanced performance of their portfolios. Historically, real estate has been relatively un-correlated to the broader stock and bond market. Said differently, investments in real estate may not fluctuate as much as other investments based on the broader stock market, and therefore we believe real estate can help to diversify a portfolio. We also believe real estate can provide an investor with the opportunity to earn current cash flow, while possibly serving as a hedge against inflation. We believe that real estate is an important component of any well diversified portfolio. We also believe that, unless investors have the experience and knowledge to actively manage real property assets, they will be better served investing with managers with a proven track record. While there are fees associated with professionally managed REITs, we believe that the cost can be offset by the benefit of an experienced manager.
Real estate is an integral part of our economy, and represents more than one-third of the value of all capital asset investments in the U.S. Real estate has historically provided investors the opportunity to earn current cash flow, while at times serving as a hedge against inflation.
Historically, most non-traded REITs have not provided daily valuations for their shares. In an effort to provide a daily valuation of our Common Shares, we will daily establish our net asset value, or NAV, per Common Share, following the "NAV pricing start date," which refers to the earliest to occur of: (a) our investing in assets with an aggregate cost, including our pro rata share of debt attributable to such assets, in excess of $1 billion; (b) our raising net offering proceeds of in excess of $650 million in our primary offering; and (c) the date that is 29 months following the commencement of our initial public offering. Following the NAV pricing start date, we will: (1) file a monthly pricing supplement, which will identify the NAV per Common Share for such month, with the Securities and Exchange Commission; (2) post the pricing supplement on our website; and (3) make the daily NAV per Common Share available to investors on our toll-free, automated telephone line at (855) REIT-NAV. Our advisor, rather than an independent party, will calculate our NAV, based in part on the appraisals of our properties performed by an independent valuer and in accordance with the valuation guidelines established by our board of directors.
While investments in real estate are generally not liquid, and while investors in our company should consider their investment as "locked-in" for a number of years, we recognize that there are times when investors may need liquidity. For that reason we have established a policy, following the NAV pricing start date, to maintain sufficient cash or liquid investments so that we can redeem shares up to 20% of our NAV in any 12-month period, subject to the amount of cash or liquid investments available for such purposes. Shareholders may make daily requests that we redeem their shares, but we may not be able to fulfill repurchase requests. Prior to the NAV pricing start date, shareholders may redeem their shares in the case of hardship. Following the NAV pricing start date, shareholders may make daily requests that we redeem shares at 95% of our published Daily NAV per Common Share. The share repurchase program may be limited, modified or suspended at the discretion of the Board of Directors.
We believe that investors should have real estate in their portfolios - but not exposure to the headaches of property ownership. While the benefits of owning real estate may be desirable, the management of property may not. By investing with First Capital Real Estate Trust Incorporated, you can indirectly own real estate without the managerial headaches, and you can get access to larger commercial real estate properties not always accessible to smaller investors and have that property professionally managed with a goal of generating the best returns possible.
Knowing when to get into an investment and when to get out is an important key to success. Some may wonder if now is the right time to get into real estate. While it is true that there has been a general decline in real property values, it is our view that we are approaching an ideal opportunity to acquire properties now. The recent decline in prices makes it possible for us to acquire properties for considerably less than it would have cost just 3 years ago, often at below replacement cost. We are also in a historically low interest rate environment. That means that we can borrow today at greatly reduced interest rates - among the lowest ever! Leverage is one of the components that make real estate so attractive. And over the next few years, we believe, several other trends will occur that make the opportunity even better. By 2013 an unprecedented number of securitized loans will be coming due at debt levels that will be difficult, if not impossible, to refinance. That should create a further buying opportunity for smart real estate investors. Additionally, it is our view that based on the global sovereign debt crisis, governments will be forced to take actions, which will result in an inflationary cycle in the mid to long term. For all these reasons, we believe we can acquire properties at great prices, finance them with low interest rate debt, improve the value of the rental stream as inflation starts to kick-in, and then sell the assets at higher prices towards the end of our holding period. If our view is correct, now is the time to be investing in real estate.


Troy's Toys
Products
Accounts
Transactions
Sign out admin
Welcome, Admin!
Manage Products
Manage Accounts
Manage Transactions


Messaging
Recent
Emre Sülün
Nov 25
Hey!
Adahan Yalçınkaya
Nov 24
Cool slip
Eray Şahin
Nov 20
Looks good to me
Hi
11:01 AM | June 9
Hi whatsup
11:01 AM | June 9
Fine u?
11:01 AM | Yesterday
Fine
11:01 AM | Today
Hey
11:01 AM | Today


This is a first slide.
https://slides.comAutomatically animate matching elements across slides with Auto-Animate.
You can select from different transitions, like:
None -
Fade -
Slide -
Convex -
Concave -
Zoom
reveal.js comes with a few themes built in:
Black (default) -
White -
League -
Sky -
Beige -
Simple
Serif -
Blood -
Night -
Moon -
Solarized
data-background-image="https://i.pinimg.com/564x/74/b7/67/74b7679b7ca4ab9594c3c65c227c0f47.jpg"
data-background-size="500px"
data-background-repeat="no-repeat"
data-background-transition="zoom"


some of my previous work
This is a website for a travel agency named "Happy Trails travel agency"
The webpage is written in HTML and CSS and was written using atom
This is webpage for a dog named Sammy
The webpage is written in HTML and CSS and was written using atom
This is the first webpage I made
This was the first time I made a webpage using both HTML and CSS


Class: Rumale::ModelSelection::TimeSeriesSplit
- Inherits:
-
Object
- Object
- Rumale::ModelSelection::TimeSeriesSplit
- Includes:
- Base::Splitter
- Defined in:
- rumale-model_selection/lib/rumale/model_selection/time_series_split.rb
Overview
TimeSeriesSplit is a class that generates the set of data indices for time series cross-validation. It is assumed that the dataset given are already ordered by time information.
Instance Attribute Summary collapse
-
#max_train_size ⇒ Integer/Nil
readonly
Return the maximum number of training samples in a split.
-
#n_splits ⇒ Integer
readonly
Return the number of splits.
Instance Method Summary collapse
-
#initialize(n_splits: 5, max_train_size: nil) ⇒ TimeSeriesSplit
constructor
Create a new data splitter for time series cross-validation.
-
#split(x, y) ⇒ Array
Generate data indices for time series cross-validation.
Constructor Details
#initialize(n_splits: 5, max_train_size: nil) ⇒ TimeSeriesSplit
Create a new data splitter for time series cross-validation.
52 53 54 55 |
# File 'rumale-model_selection/lib/rumale/model_selection/time_series_split.rb', line 52 def initialize(n_splits: 5, max_train_size: nil) @n_splits = n_splits @max_train_size = max_train_size end |
Instance Attribute Details
#max_train_size ⇒ Integer/Nil (readonly)
Return the maximum number of training samples in a split.
46 47 48 |
# File 'rumale-model_selection/lib/rumale/model_selection/time_series_split.rb', line 46 def max_train_size @max_train_size end |
#n_splits ⇒ Integer (readonly)
Return the number of splits.
42 43 44 |
# File 'rumale-model_selection/lib/rumale/model_selection/time_series_split.rb', line 42 def n_splits @n_splits end |
Instance Method Details
#split(x, y) ⇒ Array
Generate data indices for time series cross-validation.
66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 |
# File 'rumale-model_selection/lib/rumale/model_selection/time_series_split.rb', line 66 def split(x, _y) n_samples = x.shape[0] unless (@n_splits + 1).between?(2, n_samples) raise ArgumentError, 'The number of folds (n_splits + 1) must be not less than 2 and not more than the number of samples.' end test_size = n_samples / (@n_splits + 1) offset = test_size + n_samples % (@n_splits + 1) Array.new(@n_splits) do |n| start = offset * (n + 1) train_ids = if<EMAIL_ADDRESS>&& @max_train_size < test_size Array((start - @max_train_size)...start) else Array(0...start) end test_ids = Array(start...(start + test_size)) [train_ids, test_ids] end end |


Warning signs for box jellyfish posted at 3 popular Oahu beaches | Honolulu Star-Advertiser
Lifeguards posted box jellyfish warning signs for three popular Oahu beaches today.
Box jellyfish were spotted at Hanauma Bay, Waikiki Beach and the Magic Island side of Ala Moana Beach Park today.
Beachgoers are advised to use caution if entering the water and to consult with on-site lifeguards for the latest information.


[t]You have no permissions to see candidate's personal data, therefore you can see only this limited content. If you already have a customer's account on this website, please login. If you don't and you are interested in this candidate, please sign up for customer's account.[/t]


Dutch FrameNet Annotation
A link has been proposed between an RBN sense (top node) and a FrameNet Lexical Unit (node starting with LU-).
The node below the Lexical Unit is the frame to which it belongs.
When you place your mouse on a node, more information is shown about it
What is your assessment of the established link between the RBN sense and the FrameNet Lexical Unit
What do you propose that we do with the established link?
After entering a value to both dropdown menus above, please click the button below:


Make a great presentation using HTML5 for games
With the power of an URL, funny, plenty of information and geeky enough.
Phaser powered
I'm a ninja-rockstar-jedi-guru-fullstack developer
I'm developer
111
coworkers were going to receive my annoying email
Think Different
Why an HTML5 game?
-
The power of an URL
Share with whom you want. -
Quickly development with JS
Phaser is fun, fast and free, and there are much more frameworks you can use -
Instantly deployed
With GitHub Pages, hosted directly from your GitHub repository -
600+ Examples*
Puzzle, Combat, Adventure, Action, ... -
100+ geek coworkers
and millions of people reachable through linkedIn, twitter, etc -
Because we can
I'm a developer, do you remember?.
HTML5 Game
Basic structures.
- The game loop: Ideally render 60 fps. Two steps each frame: update and render
- Game states: Each state represents a "screen" in the menu
- Sprites: Images with movement/behaviour They can interact between them They can be animated
- Physics: Old-school physics Physics engine
- Tiles: Build up your world's graphics from tiny pieces Easily mapped into a logical grid
Let's go code!
Phaser — Desktop and Mobile HTML5 game framework
A fast, free and fun open source framework for Canvas and WebGL prowered browser games
Development environment
Launch a local server.
For development I used Browser Sync, a tool that will launch a server and automatically reload the browser when files are changed.
(Configured at package.json)
$ npm install
$ npm run dev
HTML5 games needs a canvas
<div id="game">
where initialise Phaser
window.onload = function () { let game = new Phaser.Game(960, 600, Phaser.AUTO, 'game'); };
The game loop
In Phaser, the game loop is handled automatically via game states. A game state represents one "screen" in our game: the loading screen, the main menu, a level, etc. Each state is divided into phases or steps, the most important are:
- Init
- Preload
- Create
- Update
- Render
- Shutdown
Create a game state
In main.js, add and start 'play' state
PlayState = {}; window.onload = function () { let game = new Phaser.Game(960, 600, Phaser.AUTO, 'game'); game.state.add('play', PlayState); game.state.start('play'); };
PlayState.preload = function () { this.game.load.image('background', 'images/background.png'); };
Loads and render an image
(Make sure your own images have same size and similar properties)
Render the image
We need an instance of Phaser.Image (a game entity), we can use game.add factory
// create game entities and set up world here PlayState.create = function () { this.game.add.image(0, 0, 'background'); };
{ "platforms": [ {"image": "ground", "x": 0, "y": 546}, {"image": "grass:4x1", "x": 420, "y": 420} ], // .... }
PlayState.preload = function () { this.game.load.json('level:1', 'data/level01.json'); // ... };
PlayState.create = function () { //... this._loadLevel(this.game.cache.getJSON('level:1')); }; PlayState._loadLevel = function (data) { };
Creating platforms
Platforms are sprites, at json files you can specify its properties.
In the preload, load the level data.
And modify the create
Spawn platform sprites
Before creatins the sprites, we need to load th images.
Then, spawn the platforms.
PlayState.preload = function () { // ... this.game.load.image('ground', 'images/ground.png'); this.game.load.image('grass:8x1', 'images/grass_8x1.png'); this.game.load.image('grass:6x1', 'images/grass_6x1.png'); this.game.load.image('grass:4x1', 'images/grass_4x1.png'); this.game.load.image('grass:2x1', 'images/grass_2x1.png'); this.game.load.image('grass:1x1', 'images/grass_1x1.png'); };
PlayState._loadLevel = function (data) { // spawn all platforms data.platforms.forEach(this._spawnPlatform, this); }; PlayState._spawnPlatform = function (platform) { this.game.add.sprite(platform.x, platform.y, platform.image); };
The main character sprite
The heroine will be another sprite in our game. It has more business logic.
In preload, load the heroine image
Inherit from Phaser.Sprite
Spawn the hero when loading the level.
We will create a new method, _spawnCharacters, to spawn the hero and, later on, the enemies.
We will create a new method, _spawnCharacters, to spawn the hero and, later on, the enemies.
In Phaser, the point where we handle sprites and images is called anchor. Sets her anchor.
PlayState.preload = function () { // ... this.game.load.image('hero', 'images/hero_stopped.png'); };
function Hero(game, x, y) { // call Phaser.Sprite constructor Phaser.Sprite.call(this, game, x, y, 'hero'); } // inherit from Phaser.Sprite Hero.prototype = Object.create(Phaser.Sprite.prototype); Hero.prototype.constructor = Hero;
PlayState._loadLevel = function (data) { //... // spawn hero and enemies this._spawnCharacters({hero: data.hero}); };
PlayState._spawnCharacters = function (data) { // spawn hero this.hero = new Hero(this.game, data.hero.x, data.hero.y); this.game.add.existing(this.hero);
function Hero(game, x, y) { // ... this.anchor.set(0.5, 0.5); }
Keyboard controls
Create instances of Phaser.Key
Add a move method to Hero
Call Hero.move when keys are being pressed
PlayState.init = function () { this.keys = this.game.input.keyboard.addKeys({ left: Phaser.KeyCode.LEFT, right: Phaser.KeyCode.RIGHT }); };
Hero.prototype.move = function (direction) { this.x += direction * 2.5; // 2.5 pixels each frame };
PlayState.update = function () { this._handleInput(); };
PlayState._handleInput = function () { if (this.keys.left.isDown) { // move hero left this.hero.move(-1); } else if (this.keys.right.isDown) { // move hero right this.hero.move(1); } };
function Hero(game, x, y) { // ... this.game.physics.enable(this); }
Hero.prototype.move = function (direction) { const SPEED = 200; this.body.velocity.x = direction * SPEED; };
PlayState._handleInput = function () { if (this.keys.left.isDown) { // move hero left // ... } else if (this.keys.right.isDown) { // move hero right // ... } else { // stop this.hero.move(0); } };
function Hero(game, x, y) { // ... this.body.collideWorldBounds = true; }
Physics engine
Make the main character use the physics engine for movement.
Make the move method affect the body of the sprite instead of directly modifying its position.
Stop the main character
Prevent the main character to get out of the screen
Gravity
Enable gravity in the world.
Make the character collide against the platforms.
Change _spawnPlatform so the sprite gets added to the group and we enable physics on it, to check for collisions
Perform collision checks between the main character and the platforms
PlayState._loadLevel = function (data) { // ... // enable gravity const GRAVITY = 1200; this.game.physics.arcade.gravity.y = GRAVITY; };
PlayState._loadLevel = function (data) { // create all the groups/layers that we need this.platforms = this.game.add.group(); // ... };
PlayState._spawnPlatform = function (platform) { let sprite = this.platforms.create( platform.x, platform.y, platform.image); this.game.physics.enable(sprite); };
PlayState.update = function () { this._handleCollisions(); this._handleInput(); }; PlayState._handleCollisions = function () { this.game.physics.arcade.collide(this.hero, this.platforms); };
Fix collisions
Disable gravity for platforms
The platforms can't be moved when colliding
PlayState._spawnPlatform = function (platform) { // ... sprite.body.allowGravity = false; };
PlayState._spawnPlatform = function (platform) { // ... sprite.body.immovable = true; };
More?
Resources
All resources used in this awesome presentation.
- WebSlides: easy HTML presentations
- @ladybenko HTML5 Games Workshop
- Phaser
- Kenney assets
- Open Game Art: more assets
- Phaser sandbox: code games in your browser
- Phaser Editor: complete IDE (30$?)
- How I met Intelygenz: the game
- How I met Intelygenz: the code
- GitHub pages


Many years ago I read a quotation which made a great impression on me. I decided it was a fine thought by which to pattern my life. I've no idea of the author but his words have stayed with me.
"I shall pass through this world but once. Any good thing I can do, or any kindness I can show to any human being, let me do it now, and not delay, for I shall not pass this way again."
I haven't always done as much good as I might have, but at least the words have constantly reminded me of my goal.
In the course of any life, dozens, or perhaps hundreds of things happen which do not directly affect our lives, but nevertheless, get stuck in our memory banks.
Then there are other events, although insignificant in and of themselves, when coupled with other events, can be life-changing.
If I try to put all these memories into my Life Story I'll never get it finished. So, for now, I'll just talk a little bit about those which pop into my head, as time permits.


HW3 Part 1 - Calculate Student Grades
Enter Homework Average:
Enter Midterm Score:
Enter Final Score:
Enter ACR Score:
Click to Show/Hide Instructions
Final Average is
Final Letter Grade is
The following webpage contains the heading, Student Grades,
and uses a script that inputs a student's homework average,
mid-term exam score, final exam score, and ACR (all as integers).


Phoenix - AwardBios CMOS Setup Utility
Standard CMOS Features
Advanced BIOS Features
Advanced Chipset Features
Integrated Peripherals
Power Management Setup
Pnp/PCI Configurations
PC Health Status
Frequency/Voltage Control
Load Fail-Safe Defaults
Load Optimized Defaults
Set Supervisor Password
Set User Password
Save & Exit Setup
Exit Withour Saving
Esc: Quit
F10: Save & Exit Setup
Select Item
Info
Phoenix - AwardBios CMOS Setup Utility
Standard CMOS features
Item Help
Date (mm:dd:yy)
Jan
Feb
Mar
apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
10
2000
2001
2002
2003
2004
2005
2006
2007
2008
Time (hh:mm:ss)
IDE Primary Master
None
Auto
User Type HDD
CD-ROM
LS-120
ZIP-100
MO
Other ATAPI Device
IDE Primary Slave
None
Auto
User Type HDD
CD-ROM
LS-120
ZIP-100
MO
Other ATAPI Device
IDE Secondary Master
None
Auto
User Type HDD
CD-ROM
LS-120
ZIP-100
MO
Other ATAPI Device
IDE Secondary Slave
None
Auto
User Type HDD
CD-ROM
LS-120
ZIP-100
MO
Other ATAPI Device
Drive A
[1.44M, 3.5in]
Drive B
[None]
Floppy 3 Mode support
Disabled
Enabled
Video
EGA/VGA
Enabled
Video
All Errors
Enabled
Base Memory
640K
Extended Memory
523264K
Total Memory
524288K
:Move
Enter:Select
+/-/PU/PD:Value
F10:Save
Esc:Exit
F1:General Help
F5: Previous Values
F6: Fail-Safe Defaults
F7: Optimized Defaults
Phoenix - AwardBios CMOS Setup Utility
Advanced BIOS features
Item Help
Anti-Virus Protection
Disabled
Enabled
CPU L1 & L2 Cache
Enabled
Disabled
CPU Hyper-Threading
Enabled
Disabled
CPU L2 Cache ECC Checking
Enabled
Disabled
Quick Power ON Self Test
Enabled
Disabled
First Boot Device
Floppy
HDD-0
HDD-1
HDD-2
HDD-3
USB
CDROM
LAN
LS/ZIP
Second Boot Device
Floppy
HDD-0
HDD-1
HDD-2
HDD-3
USB
CDROM
LAN
LS/ZIP
Third Boot Device
Floppy
HDD-0
HDD-1
HDD-2
HDD-3
USB
LAN
CDROM
LS/ZIP
Boot Other Device
Enabled
Disabled
Boot Up Floppy Seek
Enabled
Disabled
Boot Up Numlock Status
On
Off
Security Option
Setup
System
Report No FDD For Os
Yes
No
Delay IDE Initial (Secs)
0
1
2
3
4
5
6
Disable Unused PCI Clock
Yes
No
Report No FDD For Os
Yes
No
Full Screen LOGO Show
Enabled
Disabled
:Move
Enter:Select
+/-/PU/PD:Value
F10:Save
Esc:Exit
F1:General Help
F5: Previous Values
F6: Fail-Safe Defaults
F7: Optimized Defaults
Phoenix - AwardBios CMOS Setup Utility
Advanced Chipset features
Item Help
DRAM Timing Selectable
Auto
Manual
CAS Latency Time
3
2
Act. to Precharge Delay
15
RAS to CAS Delay
2
3
RAS Precharge Time
2
3
Memory Hole At 15M-16M
Enabled
Disabled
System Bios Cacheable
Enabled
Disabled
Video Bios Cacheable
Enabled
Disabled
:Move
Enter:Select
+/-/PU/PD:Value
F10:Save
Esc:Exit
F1:General Help
F5: Previous Values
F6: Fail-Safe Defaults
F7: Optimized Defaults
Phoenix - AwardBios CMOS Setup Utility
Integrated Peripherals
Item Help
IDE Bus Master
Enabled
Disabled
On-Chip IDE-0 Controller
Enabled
Disabled
On-Chip IDE-1 Controller
Enabled
Disabled
OnChip USB Controller
Enabled
Disabled
OnChip USB 2.0 Controller
Enabled
Disabled
USB Keyboard Support Via
OS
Bios
USB Mouse Support Via
OS
Bios
OnChip Audio Controller
Enabled
Disabled
Onboard FDD Controller
Enabled
Disabled
Onboard Serial Port 1
Auto
Disabled
3F8/IRQ4
2F8/IRQ3
3E8/IRQ4
2E8/IRQ3
Onboard Serial Port 2
Auto
Disabled
3F8/IRQ4
2F8/IRQ3
3E8/IRQ4
2E8/IRQ3
Onboard Parallel Port
378/IRQ7
278/IRQ5
3BC/IRQ7
Disabled
Parallel Port Mode
Normal
SPP
EPP
ECP
ECP+EPP
EPP Mode Select
EPP1.7
EPP1.9
ECP Mode Use DMA
1
3
IEEE 1394 Controller
Enabled
Disabled
Onboard LAN Controller
Enabled
Disabled
LAN Boot ROM
Disabled
Enabled
:Move
Enter:Select
+/-/PU/PD:Value
F10:Save
Esc:Exit
F1:General Help
F5: Previous Values
F6: Fail-Safe Defaults
F7: Optimized Defaults
Phoenix - AwardBios CMOS Setup Utility
Power Management Setup
Item Help
ACPI Suspend Type
S1(PowerOn-Suspend)
S3(Suspend-To-RAM)
Resume by USB From S3
Disabled
Enabled
Power Button Function
Delay 4 Sec.
Instant-Off
CPU THRM-Throttling
50%
WakeUp by PME# of PCI
Disabled
Enabled
WakeUp by Onboard LAN
Disabled
Enabled
WakeUp by Alarm
Disabled
Enabled
Date(of Month) Alarm
Time (hh:mm:ss) Alarm
POWER ON Function
Password
Hot Key
Mouse Left
Mouse Right
Any KEY
Button Only
Keyboard 98
KB Power ON Password
Hot Key Power ON
CTRL-F1
CTRL-F2
CTRL-F3
CTRL-F4
CTRL-F5
CTRL-F6
CTRL-F7
CTRL-F8
CTRL-F9
CTRL-F10
CTRL-F11
CTRL-F12
Restore On AC Power Loss
Power Off
Power On
Last State
:Move
Enter:Select
+/-/PU/PD:Value
F10:Save
Esc:Exit
F1:General Help
F5: Previous Values
F6: Fail-Safe Defaults
F7: Optimized Defaults


Eat Good Feel!
Eat,Enjoy and Go!
You don't need a silver fork to eat good food.
Let food be thy medicine and medicine be thy food.
We update dependencies to keep things fresh.

Are you Hungry ? Come and Eat!
123-456-6789
feedback@streetfoods.com


[all packages]
[package ]
[class hierarchy]
[index]
public class PrinterStream
(source file: PrinterStream.java)
java.lang.Object
|
+----Printer
|
+----PrinterStream
The pure class interface.
public class PrinterStream
extends Printer
-
An implementation of the
Printer
class which sends the
output to a stream.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/02
- PrinterStream(OutputStream)
-
Create a new printer stream.
- close()
-
Close down the output stream.
- printRawString(String)
-
Print on the output stream.
PrinterStream
public PrinterStream(OutputStream os);
-
Create a new printer stream.
- Parameters:
- os - the stream to send output to.
printRawString
public void printRawString(String s);
-
Print on the output stream.
- Parameters:
- s - the string to print.
- Overrides:
- printRawString in class Printer
close
public void close();
-
Close down the output stream.
- Overrides:
- close in class Printer
[all packages]
[package ]
[class hierarchy]
[index]
PrinterStream.html


SPECIES A film review by Andrew Hicks Copyright 1996 Andrew Hicks / Fatboy Productions
**1/2 (out of four)
The original title of this one was ATTACK OF THE HORNY SUPERMODEL FROM BEYOND, but the director changed it to SPECIES when he realized a title like that would doom the film to years of USA Up All Nite airings. Still, the horny alien supermodel is the main attraction of the movie, despite the top-billing of SCHINDLER'S LIST star Ben Kingsley. It's probably the only time in film history that bad science fiction has been given the Oscar-quality treatment. Of course, in movies of this genre, good acting is the last thing we want or expect. We need the bad acting as much as the obligatory shots of slimy, pulsing cocoons and drawn-out climaxes in the sewer, both of which are featured in SPECIES.
The acting, in fact, seems to be the only part of the movie that makes it seem like an actual movie, not just some showcase for cheesy effects and a foreign model to take her top off at the drop of a spacecraft. Natasha Henstridge makes her movie debut as half- supermodel, half-alien. She escapes government surveillance to begin a cross-country flesh rampage in an attempt to breed. Yes, she's horny--and dangerous. Called in by the government to hunt her down are a couple scientists, a hitman (Michael Madsen) and a guy with some unspecified psychic power (Forest Whitaker). Good idea. Read her palm to death.
 Besides that, there's a certain degree of repulsion when Henstridge changes back and forth between supermodel and grotesque alien. Thankfully, all the nude scenes are of the model and not the alien, though some science-fiction nerds would undoubtedly be turned on by the nude alien as well.
SPECIES is for the most part entertaining, if you overlook some of the ridiculous plot points and ineffective scenes of manufactured tension (i.e. the one where the two scientists are locked in the lab room with the growing alien). The climax scene is boring and unoriginal, but the rest of the movie is interesting and made watchable by the performances from Kingsley, Whitaker and the rest, including beautiful yet mostly silent Henstridge. And those gratuitous pod shots don't hurt either.
--
Visit the Movie Critic at LARGE website at http://www.missouri.edu/~c667778/movies.html
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


Class Notifiable
Represents a node in a graph which can notify its successors and gets notified by its dependencies.
Inheritance
object
Notifiable
Inherited Members
object.Equals(object)
object.Equals(object, object)
object.GetHashCode()
object.GetType()
object.MemberwiseClone()
object.ReferenceEquals(object, object)
object.ToString()
Namespace: NMF.Expressions
Assembly: NMF.Expressions.dll
Syntax
public abstract class Notifiable : INotifiable, IDisposable, ISuccessorList
Properties
| Improve this Doc View SourceAllSuccessors
Declaration
public IEnumerable<INotifiable> AllSuccessors { get; }
Property Value
| Type | Description |
|---|---|
| System.Collections.Generic.IEnumerable<T><INotifiable> |
Count
Declaration
public int Count { get; }
Property Value
| Type | Description |
|---|---|
| int |
Dependencies
Nodes that notify this node.
Declaration
public abstract IEnumerable<INotifiable> Dependencies { get; }
Property Value
| Type | Description |
|---|---|
| System.Collections.Generic.IEnumerable<T><INotifiable> |
ExecutionMetaData
Used by the execution engine during incremental execution.
Declaration
public ExecutionMetaData ExecutionMetaData { get; }
Property Value
| Type | Description |
|---|---|
| ExecutionMetaData |
HasSuccessors
Declaration
public bool HasSuccessors { get; }
Property Value
| Type | Description |
|---|---|
| bool |
IsAttached
Declaration
public bool IsAttached { get; }
Property Value
| Type | Description |
|---|---|
| bool |
this[int]
Declaration
public INotifiable this[int index] { get; }
Parameters
| Type | Name | Description |
|---|---|---|
| int | index |
Property Value
| Type | Description |
|---|---|
| INotifiable |
Successors
The nodes that will get notified by this node.
Declaration
public ISuccessorList Successors { get; }
Property Value
| Type | Description |
|---|---|
| ISuccessorList |
Methods
| Improve this Doc View SourceAttach()
Gets called when there is a client
Declaration
protected virtual void Attach()
Detach()
Gets called when there is no client any more
Declaration
protected virtual void Detach()
Dispose()
Declaration
public void Dispose()
GetEnumerator()
Declaration
public IEnumerator<INotifiable> GetEnumerator()
Returns
| Type | Description |
|---|---|
| System.Collections.Generic.IEnumerator<T><INotifiable> |
GetSuccessor(int)
Declaration
public INotifiable GetSuccessor(int index)
Parameters
| Type | Name | Description |
|---|---|---|
| int | index |
Returns
| Type | Description |
|---|---|
| INotifiable |
Notify(IList<INotificationResult>)
Gets called when one of the dependencies signals a notification.
Declaration
public abstract INotificationResult Notify(IList<INotificationResult> sources)
Parameters
| Type | Name | Description |
|---|---|---|
| System.Collections.Generic.IList<T><INotificationResult> | sources | Contains information about what triggered this notification. |
Returns
| Type | Description |
|---|---|
| INotificationResult | An object describing the changes that happened in this notification. |
Set(INotifiable)
Declaration
public void Set(INotifiable node)
Parameters
| Type | Name | Description |
|---|---|---|
| INotifiable | node |
SetDummy()
Declaration
public void SetDummy()
Unset(INotifiable, bool)
Declaration
public void Unset(INotifiable node, bool leaveDummy = false)
Parameters
| Type | Name | Description |
|---|---|---|
| INotifiable | node | |
| bool | leaveDummy |
UnsetAll()
Declaration
public void UnsetAll()
Events
| Improve this Doc View SourceAttached
Declaration
public event EventHandler Attached
Event Type
| Type | Description |
|---|---|
| System.EventHandler |
Detached
Declaration
public event EventHandler Detached
Event Type
| Type | Description |
|---|---|
| System.EventHandler |
Implements
System.IDisposable


*** div1 ***
*** div2 : followed by div1 ***
*** span1 : followed by div2 ***
*** div3 : followed by span1
*** span2 inside div3 ***
other content of div3 ***


Clara Munro
- Do you want to learn all ABOUT ME?!
- Do you think my favorite color is yellow?
- Do you think my favorite food is sushi?
- Do you think I like bananas?
- Do you think I like coffee?
- Do you think I like basketball?
My Background
- Universtiy of Oregon, BFA in Digital Art
- Graphic Design Background in Digital Marketing
- Worked on Web Development team building custom wordpress sites
- HTML5 dynamic banner ads, incorporate custom product feed
My Top 10 Favorite Foods
- Sweet Potatoes
- Bananas
- Bagels
- Salmon
- Ice Cream
- Apples
- Kale
- Ramen
- Pho
- Sushi


Contact Us
Location
12203 Aberdeen St NE
Suite 120
Blaine MN 55449
Phone:<PHONE_NUMBER>
Email<EMAIL_ADDRESS>Online scheduling is available!
Appointments available
M-Th 9:45am to 6:45pm
Fridays 9:45 to 3:45pm
Sundays 9am-12
Keep your confirmation email, it has a link for appointment management should you need to cancel or reschedule your online appt.
{include file='cms_template:GDA - Appointments Btn'}
Patients who have received their consult, evaluation, and first acupuncture treatment are always considered 'follow up' patients; you need not schedule a 'new' patient appointment, regardless of the last time you were in for a treatment.


| Product |
Quantity |
Total |
|
|
x{{pizza.quantity}} |
{{(pizza.quantity * pizza.price).toFixed(2)}}$ |
Grand Total
|
|
{{totalPrice()?.toFixed(2)}}$ |
Your personal data will be used to process your order, support your experience throughout
this website, and for other purposes described in our
privacy policy.


The value to clamp
The minimum range
The maximum range
Compiles the provided GLSL code into SPIR-V
The GLSL string to compile
The shader type of the provided GLSL code
Log an error to the console
The arguments to log
Fetches a text from the provided path
The path to fetch the text from
Fixates a number at the provided range
The value to fixate
The range to fixate
Returns the hash of the provided string
The string to hash
Returns a high-resolution timestamp
Returns a unique id
Load the glslang module
Log to the console
The arguments to log
Throws an unrachable error
Log a warning to the console
The arguments to log
Generated using TypeDoc
Clamps a value between the provided min and max range


Qualcomm and ZTE completes 5G mobile phone millimeter-wave interoperability test - Gizchina.com
by Efe UdinRate this post
Qualcomm and ZTE jointly announced today that under the organization of the IMT-2020 (5G) promotion group, the two sides successfully implemented China’s first smartphone-based 5G millimeter wave interoperability test (IoDT). It is reported that this test is based on the global 3GPP 5G New Airspace 15 specification, which is carried out on the 26GHz millimeter-wave band. It uses ZTE’s 5G new airbase station and a smartphone test terminal equipped with Qualcomm Snapdragon 5G baseband and RF system.
As you may know, 5G technology has two frequency band routes. One is the frequency band below 6GHz. The transmission distance is far and there is no interference, but the rate is relatively low. The second is the mmWave (millimeter-wave) band, the rate is higher, but the propagation and poor penetrability makes it more suitable for short-range dense deployment.
Therefore, in China, equipment manufacturers and operators are pushing the frequency band below 6GHz. However, regardless of Huawei or Ziguang, the 5G SoC solution supports millimeter waves. This new cooperation by Qualcomm and ZTE is obviously yeilding positive results.
According to the IMT-2020 (5G) Promotion Group’s plan, 2019 is an important stage in researching and testing of 5G millimeter wave key technologies. Qualcomm emphasizes that millimeter waves bring significant bandwidth capacity and lower latency. In addition, it also support extremely dense spatial multiplexing. In the past, millimeter-wave mobilization was an impossible technical challenge. However, Qualcomm’s success in researching millimeter-wave basic technology proves that millimeter waves can be used in smartphones!


Custom version
You can customize your version of Spectre.css by editing Sass files in /src
directory or removing unneeded components from .scss
source files.
If you are looking for Less version of Spectre.css, please switch to Less
branch.
Compiling CSS
Spectre uses Gulp for compiling CSS. Firstly you need to install NPM, which is used to manage Gulp and other dependencies.
Then, you can build the CSS file from the command line:
- Navigate to the root directory of Spectre.
- Run
npm install
. NPM will install all dev dependencies as listed in package.json. - When completed, run
gulp build
task to compile Sass to CSS and minify files. - You can find compiled CSS files in
/dist
directory.
All available Gulp tasks:
gulp build
- compile Sass to CSS and minify files (default)gulp docs
- compile Docs related filesgulp watch
- watch file changes and re-compile CSS files
Importing Sass
It is recommended to customize Spectre by importing Sass source files to your projects. In this way, you can keep Spectre up to date without conflicts, since Spectre code and your custom code are separate.
- First, create your own project and install Spectre via NPM or other package managers.
- Then create your
project-name.scss
file in the root folder. You can useproject-name.scss
to define your variables. - Compile the Sass file to CSS to get the custom version of Spectre.
// Example of project-name.scss
// Define variables to override default ones
$primary-color: #2e5bec;
$dark-color: #3e396b;
// Import full Spectre source code
@import "node_modules/spectre.css/src/spectre";
Alternatively, you can create custom _variables.scss
and import it to project-name.scss
.
// Example of project-name.scss
@import "variables";
// Import only the needed components
@import "node_modules/spectre.css/src/buttons";
@import "node_modules/spectre.css/src/forms";
Folder structure
spectre/
├── dist/ // Build folder
│ ├── spectre-exp.css
│ ├── spectre-exp.min.css
│ ├── spectre-icons.css
│ ├── spectre-icons.min.css
│ ├── spectre.css
│ └── spectre.min.css
│
├── docs/
│ ├── dist/ // Pre-built CSS folder
│ │ ├── spectre-exp.css
│ │ ├── spectre-exp.min.css
│ │ ├── spectre-icons.css
│ │ ├── spectre-icons.min.css
│ │ ├── spectre.css
│ │ └── spectre.min.css
| ├── css/ // Docs CSS files
│ │ └── docs.css
| ├── src/
│ │ ├── scss // Docs Sass files
│ │ │ └── docs.scss
│ │ ├── index.pug // Docs Pug files
│ │ └── ...
│ ├── examples/ // Example tempalte
│ │ └── starter.html
│ ├── ../
│ ├── index.html
│ └── ...
│
├── src/ // Source Sass files
│ ├── spectre.scss
│ ├── spectre-icons.scss
│ ├── spectre-exp.scss
│ ├── _mixins.scss
│ ├── _variables.scss
│ └── ...
│
├── gulpfile.js
├── package.json
└── ...
Variables
Spectre.css is designed with consistent design language. You can use your own variables to create your new or match existing design. All variables in _variables.scss
include !default
flag. You can redefine the variables to override the values.
Variables - Colors
Variables - Button mixins
There are 2 button variant mixins in _mixins.scss
to generate different color variants.
- @mixin button-variant(
$color
: $primary-color); - @mixin button-outline-variant(
$color
: $primary-color);
<!-- filled button with the success color -->
.btn-success {
@include button-variant($success-color);
}
<!-- outlined button with the success color -->
.btn-outline-success {
@include button-outline-variant($success-color);
}
Variables - Sizes
The default REM (root em) size in Spectre.css is 20px
.
Please note in the Chinese/Japanese/Korean version, Chrome uses 12px as default minimum font size. That is why Spectre sets rem default html font size to 20px
, which is relatively easy to calculate.
Spectre uses 4px
as the unit size. Sizes of components are based on the unit size.
Variables - Custom prefix
There is also a way to add custom prefix to all CSS classes. You can use gulp-css-prefix plugin and add a new Gulp task to enable it.
npm install gulp-css-prefix
To add spectre-
to all classes, you can add the Gulp task to gulpfile.js
file.
var cssPrefix = require('gulp-css-prefix');
gulp.task('prefix', function() {
gulp.src('./dist/*.css')
.pipe(cssPrefix('spectre-'))
.pipe(gulp.dest('./dist'))
});
After you compile your version of Spectre in the /dist, run gulp prefix
in the directory of Spectre.


Try out our Premium Member services: Virtual Legal Assistant, Query Alert Service and an ad-free experience. Free for one month and pay only if you like it.
W.P.No.1289 of 2018 IN THE HIGH COURT OF JUDICATURE AT MADRAS DATED 02.01.2020 CORAM THE HONOURABLE MR. JUSTICE C.V.KARTHIKEYAN W.P.No.1289 of 2018 and WMP.No.1620 of 2018 M/s.Aspinwall & Company Ltd., Represented by its General Manager, Mr.Mohan Kurian, Ramapattinam, Narasingapuram Village, Pollachi Taluk, Coimbatore District. .. Petitioner ..Vs.. 1. The Sub-Divisional Magistrate & Sub Collector, Pollachi, Coimbatore District, Tamilnadu. 2. The District Environmental Engineer, Tamilnadu Pollution Control Board, Coimbatore South. (Suo-moto impleaded vide Court order dated 22.01.2018) .. Respondents PRAYER : Writ Petition filed Under Article 226 of the Constitution of India praying to issue a Writ of Certiorari, to call for the records on the file of the respondent and to quash the impugned order in Na.Ka.No.78/2018/A1, dated 10.01.2018 and consequently allow the petitioner to carry out the normal manufacturing activities in the factory. 1/6 http://www.judis.nic.in W.P.No.1289 of 2018 For Petitioner : Mr.M.Vijayan for M/s.King and Patridge For Respondents : Mr.N.Inbanathan, (for R1) Additional Government Pleader Mr.C.Kasirajan (for R2) for Pollution Control Board ORDER
The petitioner is a company /factory which produces the PVC Tufted Coir mats. They are in business from 2009. The products are exported to various countries in Europe and to the USA. There are about 200 employees. The petitioner has been providing direct employment to the aforesaid employees and to several others indirectly. It is stated that the coir mats are produced for Stencil painting of various designs which are made from water based bio-degradable paints at the factory.
2. It is claimed by the petitioner that since the paints are bio degradable and water based, the question of pollution will never arise. However, it is stated that there were issues relating to the production and a permission had to be obtained. In that regard, this writ petition came to be filed seeking certiorari to quash the impugned order made in Na.Ka.No.78/2018/A1, dated 10.01.2018 passed by the Sub-Divisional 2/6 http://www.judis.nic.in W.P.No.1289 of 2018 Magistrate & Sub Collector, Pollachi, Coimbatore district.
3. The 2nd respondent has not been made a party in the writ petition initially. Pending the hearing of the writ petition, my learned predecessor Judge thought it fit to implead the Pollution Control Board namely the District Environmental Engineer, Tamilnadu Pollution Control Board, Coimbatore as a necessary party respondent in this writ petition. Therefore, the said respondent was impleaded suo-moto by order of this Court dated 21.02.2018. The learned counsel also took notice on behalf of the said impleaded party.
4. Thereafter, the matter had been adjourned on various occasions. By the impugned order, the respondent namely the Sub-Divisional Magistrate & Sub Collector, Pollachi, Coimbatore District had directed, taking into consideration the interests of the general public and agriculturists that a certificate has to be produced from the Pollution Control Board as a pre- condition for the continuity of the manufacturing activities of the petitioner company. A representation dated 31.10.2019 has been referred in the order dated 05.11.2019 by my learned predecessor Judge. The order dated 05.11.2019 is extracted below for better appreciation: 3/6 http://www.judis.nic.in W.P.No.1289 of 2018 “The petitioner was required to stop operations by the impugned order till consent was obtained from the second respondent, viz., Tamil Nadu Pollution Control Board.
2. Learned Standing Counsel appearing for the second respondent has produced an order No.F0229CBS/OM/DEE/TNPCB/CBS/W/2019 dated 31.10.2019 passed by the second respondent granting consent to operate the unit of the petitioner till 31.03.2021 under Section 25 of the Water (Prevention and Control of Pollution) Act, 1974.
3. In view of the same, the petitioner shall submit the said order to the first respondent as required in the impugned order by 11.11.2019. The First respondent shall file a report of the action taken on the receipt of the said consent order, on the next hearing.
Post the matter on 26.11.2019.”
5. Thereafter, the 1st respondent had filed a status report, dated 10.12.2019. In the status report, it had been stated as follows:
“5. It is respectfully submitted that in obedience to the order of the Hon'ble High Court, Chennai, the petitioner has submitted a letter (along with a consent order issued by the Tamil Nadu Pollution Control Board) before the 1st respondent on 26.11.2019 only. After that, the petitioner's company was inspected by me in person on 10.12.2019. During the inspection, it is identified that the petitioner company have installed a zero discharge efficient treatment plant for avoiding the emission of waste water from the factory and also installed a paint booth for filtering the paint particles emission through air. Also, it is observed that the said Effluent Treatment Plant and Paint Booth has started its functioning from 04.11.2019 onwards and no sewage water or solid waste has been expelled in outside of the premises.4/6
http://www.judis.nic.in W.P.No.1289 of 2018
6. In view of these facts, and since the Pollution Control Board/the 2nd respondent had granted a consent to operate the unit of the petitioner under Section 25 of the Water (Prevention and Control of Pollution) Act, 1974 and also which specifically stated that the petitioner company has also installed Zero discharge of effluent treatment and had been functioning from 04.11.2019, no further orders are required in this writ petition.
7. Recording the above, this writ petition is disposed of. Consequently, connected miscellaneous petition is closed. However, there shall be no order as to costs.
02.01.2020
vum
Index : Yes / No
Speaking order/Non speaking order
5/6
http://www.judis.nic.in
W.P.No.1289 of 2018
C.V.KARTHIKEYAN.J,
vum
To
1. The Sub-Divisional Magistrate
& Sub Collector,
Pollachi,
Coimbatore District,
Tamilnadu.
2. The District Environmental Engineer, Tamilnadu Pollution Control Board, Coimbatore South.
W.P.No.1289 of 2018 and WMP.No.1620 of 2018 02.01.2020 6/6 http://www.judis.nic.in


The Many Myths of Jerusalem: Part 2
20 Mar 2015Part two of our multipart series on The Many Myths of Jerusalem
#Myth Number 2: East Jerusalem
Stories reported from Israel’s capital are routinely described as being from East Jerusalem, Arab East Jerusalem, or Israeli Occupied Arab East Jerusalem (that’s our favorite one). This is taken for granted by most people who think, “why shouldn’t a report from East Jerusalem be labeled as such?”
The answer is simple: East Jerusalem is a modern myth with no basis in history.
###Where does the myth of “East” Jerusalem come from?
We already know that many of the areas in Jerusalem have never even been considered to be part of the city to begin with from Part 1, so let’s examine how the term “East” Jerusalem itself came into being.
###Birth of the term “East” Jerusalem
This one is actually pretty straightforward and relatively well-known: From 1948 to 1967 the city of Jerusalem was divided for the first time in its history. Not only was it divided, but the Arab conquest brought with it a destruction of Jewish lives and holy sites at a level unseen in the city since the Crusades. Previous riots in the city did lead to widespread death and injury of Jews, but Zionists put up resistance and eventually the British were able to quell the violence… it just happens that after doing so and recognizing the riots were merely Arab pogroms against Jews, the British chose to appease the Arabs and punish the victims by restricting Jewish rights and immigration quotas.
Under Jordanian Occupation, the city was not made the capital (it was the “Second Capital” in name only, no administrative offices were moved or created) and while Muslim pilgrims continued to visit - unlike Jews who were barred by law - most major Muslim religious and political leaders ignored the city.
Since Jerusalem was divided (if for only a very short period of time) it was necessary to differentiate between to two parts and the simplest way to do so was by the characterizing them as East and West. But this gave rise to the idea that they were actually two separate cities, which persisted after 1967. Under normal circumstances, once divided cities are reunited, people stop referring to the two halves as separate. But of course, since Jews are involved, the world can’t countenance that in Jerusalem.
###Division of Jerusalem was a Blip in History
The oldest section of Jerusalem, the City of David dates back to the Chalcolithic Period, roughly 6500 years ago, and while archaeology from that time is not really definitive in terms of political structure, it’s safe to assume such a small settlement was not divided in half.
So out of a history of 6500 years, the city of Jerusalem was only divided for 19 years. That’s less than .3% of its history! Even if you’re only counting from 3000 years ago, that’s barely .6% of its history. Such a small blip wouldn’t even register in the history books, but we’re supposed to accept that this is the way it should now be forever?
Anyone who says Jerusalem must be divided has to answer a simple question: why should a 19-year aberration be used as a guide for a permanent settlement?
###Russian East Berlin
When was the last time you heard a journalist refer to Russian East Berlin? I doubt you can find a reference after 1989 when the Wall fell. The unification of Berlin was celebrated throughout the world as the harbinger of the fall of the Soviet Union and the triumph of the West. No one questioned the city’s reunification despite the fact that it had been two cities for 41 years (more than twice as long as Jerusalem was divided).
As a newly resurgent Russia, led by Vladimir Putin, pushes through Eastern Europe, NATO, the EU, and the US seem unwilling to stand up to this international bully. But what would their reaction be if he said in any peace deal with the West, Russia needs to have East Berlin as its regional capital? Would anyone accept such a brazen and outlandish demand?
Of course not, but this is exactly what is happening in Jerusalem!
###”Arab” East Jerusalem
Journalists often add the qualifier “Arab” to the beginning when referring to “East Jerusalem.” This is not a descriptive term, but rather a political one. In the 1990s, there was a Jewish majority in eastern Jerusalem, but this didn’t stop the press from describing it as “Arab East Jerusalem.” Why? Because the press is fully committed to a redivision of the city. Since the 90’s the Jewish population has fallen a little below the 50% mark, but a truly descriptive term would be “Mixed eastern Jerusalem” or “Jewish-Arab eastern Jerusalem” since the populations nearly balanced.
Journalists usually refer to Haifa as a mixed Jewish-Arab city even though Arabs make up roughly 10% of the population, so why wouldn’t they refer to “East Jerusalem” as mixed when Jews make up nearly 50%? Because that would help strengthen Israel’s claim the eastern portion of its capital and that goes against the narrative of the Western Media.
###eastern Jerusalem
It is clear that the use of the term “East Jerusalem” is politically motivated and designed to prevent the permanent reunification of the city. Unfortunately, the term has become so pervasive that even Israelis use it today. But that doesn’t mean that we should!
When discussing the eastern parts of the city, it is best to talk about “eastern Jerusalem” with a lowercase “e.” This makes it clear you are discussing a section of a city, not a separate city. Terminology is incredibly important as it is what frames the debate. If we accept the Palestinian names that were created to overshadow or erase the Jewish connection to Israel, we have already lost.
####More Myths Are Coming!
Check back soon for the next installment of our series on the Many Myths of Jerusalem.
In the meantime, check out Part 1: The Internationalization of Jerusalem here


Customer Mail Tag: An app that adds a mail tag when a customer is created.
Order Tags: An app that adds a time period tag and a metafield when an order is created.


| Total net profit | 10.5 | Gross profit | 263.7 | Gross loss | -253.2 |
| Profit factor | 1.04 | Expected payoff | 0.23 | ||
| Absolute drawdown | -71.0 | Maximal drawdown (%) | 95.4 (390.98%) | ||
| Total trades | 45 | Profit trades (% of total) | 25 (55.56%) | Loss trades (% of total) | 20 (44.44%) |
| Long positions (won %) | 9 (55.56%) | Short positions (won %) | 36 (55.56%) | ||
| Largest | profit trade | 39.6 | loss trade | -31.1 | |
| Average | profit trade | 10.55 | loss trade | -12.66 | |
| Minimum | profit trade | 4.4 | loss trade | -2.0 | |
| Maximum | take profit in pips | 3220.0 | stop loss in pips | -3100.0 | |
| Average | take profit in pips | 1300.4 | stop loss in pips | -1424.7 | |
| Minimum | take profit in pips | 410.0 | stop loss in pips | -470.0 | |
| Maximum | Reward-Risk | 3.6 | Duration in minutes | 5507 | |
| Average | Reward-Risk | 1.2 | Duration in minutes | 556.4 | |
| Minimum | Reward-Risk | 0.1 | Duration in minutes | 5 | |
| Maximum | consecutive wins (profit in money) | 6.0 (36.8) | consecutive losses (loss in money) | 3.0 (-56.7) | |
| Average | consecutive wins | 1.0 | consecutive losses | 1.0 |
| Total net profit | -7.6 | Gross profit | 35.6 | Gross loss | -43.2 |
| Profit factor | 0.82 | Expected payoff | -0.84 | ||
| Absolute drawdown | -29.0 | Maximal drawdown (%) | 17.7 (-156.64%) | ||
| Total trades | 9 | Profit trades (% of total) | 5 (55.56%) | Loss trades (% of total) | 4 (44.44%) |
| Largest | profit trade | 11.7 | loss trade | -16.1 | |
| Average | profit trade | 7.12 | loss trade | -10.8 | |
| Minimum | profit trade | 4.7 | loss trade | -6.0 | |
| Maximum | take profit in pips | 1160.0 | stop loss in pips | -3030.0 | |
| Average | take profit in pips | 817.8 | stop loss in pips | -1857.8 | |
| Minimum | take profit in pips | 460.0 | stop loss in pips | -600.0 | |
| Maximum | Reward-Risk | 1.7 | Duration in minutes | 3925.0 | |
| Average | Reward-Risk | 0.6 | Duration in minutes | 569.8 | |
| Minimum | Reward-Risk | 0.1 | Duration in minutes | 5.0 | |
| Maximum | consecutive wins (profit in money) | 2.0 (9.4) | consecutive losses (loss in money) | 2.0 (-17.1) | |
| Average | consecutive wins | 1.0 | consecutive losses | 1.0 |
| Total net profit | 18.1 | Gross profit | 228.1 | Gross loss | -210.0 |
| Profit factor | 1.09 | Expected payoff | 0.5 | ||
| Absolute drawdown | -71.0 | Maximal drawdown (%) | 95.4 (390.98%) | ||
| Total trades | 36 | Profit trades (% of total) | 20 (55.56%) | Loss trades (% of total) | 16 (44.44%) |
| Largest | profit trade | 39.6 | loss trade | -31.1 | |
| Average | profit trade | 11.4 | loss trade | -13.13 | |
| Minimum | profit trade | 4.4 | loss trade | -2.0 | |
| Maximum | take profit in pips | 3220.0 | stop loss in pips | -3100.0 | |
| Average | take profit in pips | 1421.1 | stop loss in pips | -1316.4 | |
| Minimum | take profit in pips | 410.0 | stop loss in pips | -470.0 | |
| Maximum | Reward-Risk | 3.6 | Duration in minutes | 5507.0 | |
| Average | Reward-Risk | 1.3 | Duration in minutes | 553.1 | |
| Minimum | Reward-Risk | Duration in minutes | 5.0 | ||
| Maximum | consecutive wins (profit in money) | 6.0 (36.8) | consecutive losses (loss in money) | 3.0 (-56.7) | |
| Average | consecutive wins | 1.0 | consecutive losses | 1.0 |


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/euclidean.20division.html ---
Is there a proof of Euclidean division (divmod) in the libraries somewhere? I've been looking around for theorems with mod
in the core library and mathlib but couldn't find anything ...
Have you looked in init.data.nat.lemmas
in the core library?
https://github.com/leanprover/lean/blob/master/library/init/data/nat/lemmas.lean#L660-L740
ahh that makes sense now, thanks! I must have glossed over it earlier
No problems! The naming scheme is fairly regular so if you search for _mod_
in the core library or mathlib, it should give you a good list of available lemmas. If you miss any, they're usually close to the ones you do find
Last updated: Apr 24 2020 at 19:02 UTC


SCIT
HOME
INFORMATION
SCHOLARCHIPS
DISCIPLINES
TRAINING & EVENTS
ACCREDITAION STATUS
TRAINING & EVENTS
ENQUIRIES
FAQ
ABOUT US
CONTACT US
TAKE TESTS
Class Test (beginning of SS1/SS2 or Grade 10/11)
Professional Test (from SS2/Grade 11 & above
INTERNING RATE
LOGIN
REGISTER
ADMINISTRATOR
LOGOUT
ABOUT US
Thing you need to know.....


Initializing please wait
MofoWallet does not rely on a single centralized server. All data and transactions come from a collection of public servers. We need to synchronize those servers on startup by filtering out the ones that are on a fork or are down.
We also download a small amount of the most recent blockchain data (trades, asset info, ..) this significantly enhances user experience. The data is downloaded selectivly and remembered it will not be downloaded twice even after different browser sessions.
Refresh your browser if the process seems to be stuck.


Hi, Your account request to NexR CCI:U Open Course Labs has been received, but we have to verify your email address. To activate your account, please visit the following link: Activate your account Thanks for using our service! - NexR CCI:U Team


|
obj [key value ...]
Creates a table with the specified key/value
pairs. (The table can be considered an object with the keys as field names.)
|
>(obj key1 42 key2 "hello")
#hash((key1 . 42) (key2 . "hello"))
|
|
w/table var [body ...]
Assigns an empty table to var and then
executes body.
|
>(w/table t1 (= (t1 "a") 42) (write-table t1))
(("a" 42))
#hash(("a" . 42))
|
|
tablist table
Returns the table as a list of key/value pairs
|
>(tablist (obj key1 42 key2 "hello"))
((key1 42) (key2 "hello"))
|
|
listtab list
Converts a list of key/value pairs to a table.
|
>(listtab '((key1 val1) (key2 val2)))
#hash((key1 . val1) (key2 . val2))
|
|
read-table [[input-port] eof]
Reads a table (as a list of pairs) from the
given input-port or stdin. If end-of-file is encountered, the given eof value
is returned; if it is a list, it will be processed into a table.
|
>(w/instring ins "((a 10)(b 20))" (read-table ins))
#hash((a . 10) (b . 20))
|
|
load-table filename [eof]
Reads a table from the given filename. This
is similar to read-table, except the input is specified as a filename, rather
than an input-port.
|
>load-tablet
#hash((a . 10) (b . 20))
|
|
safe-load-table filename
Loads a table from the given file, like
load-table. However, if an error is encountered, an empty table is returned
instead of an exception.
|
>(load-table "tfile")
#hash((a . 10) (b . 20))
|
|
load-tables filename
Loads tables from the specified file until
end-of-file is reached. Returns a list of tables.
|
>(load-tables "tfile2")
(#hash((a . 10) (b . 20)) #hash((
|
|
write-table h [output-port]
Writes the table to the output-port (or
stdout) as a list of key/value pairs.
|
>(write-table (obj a 1 b 2))
((a 1) (b 2))
nil
|
|
save-table table filename
Writes the table to the specified filename
as a list of key/value pairs.
|
>(save-table (obj a 10 b 20) "tfile")
((a 10) (b 20))
|
|
maptable proc table
Applies proc to each element of the table and returns the table.
|
>(maptable (fn (key val) (prn key " " val)) (obj a 1 b 2))
a 1
b 2
#hash((a . 1) (b . 2))
|
|
table
Creates an empty hash table.
|
>(table)
#hash()
|
|
fill-table table data
Fills the table from the list data , which is interpreted as key-value pairs. table must already be a table.
|
>(let tb (obj a 1 b 2) (fill-table tb '(c 3 d 4)))
#hash((a . 1) (b . 2) (c . 3) (d . 4))
|
|
keys table
Returns a list of keys for the table.
|
>(keys (obj a 1 b 2))
(a b)
|
|
vals table
Returns a list of values for the table.
|
>(vals (obj a 1 b 2))
(1 2)
|
|
memtable keylist
Creates a table with the value true for each key in keylist .
|
>(memtable '(a b c))
#hash((a . t) (b . t) (c . t))
|
Copyright 2008 Ken Shirriff.


|
|
Hao Le
BA CS, UC Berkeley
Hello World. I'm a software engineer.
I fell in love with software after taking Data Structures and Algorithms.
I also enjoyed Efficient Algorithms and Intractable Problems among many others.
At my previous job, I helped grow engineering from 10 to 30. I developed UI and API code.
At my current job, I'm working on making navigating the world of leave easier.
Here is my
LinkedIn
and
GitHub
In my free time I enjoy cooking, reading, and board games.
Contact me at: moc.liamg@eltahnoah.
Mornings I sleep.
|


Login and use the green "Live Chat" button below to join the conversation!
 Or do you just need your 15 minutes of fame to show the world what you’ve got?  We are currently seeking all of the above to make RealMusicFM.com one of the leading online community radio stations.


Sliding Doors
(UK, 1998)
Seen on 25 April 1998 with Andrea at the SONY Lincoln Square for $10 (including teleticket fee).
*Sliding Doors* takes a look at what would happen if you missed your train by a few seconds. Helen (Gwyneth Paltrow) goes to work one morning, only to find out she's been sacked and then goes to take the District Line tube home. (By now you must've figured the film is set in London). After missing her train, the camera backs up to the moment a young girl got in the way and takes her out of the way, so Helen can get on the train. Henceforth, the movie skillfully alternates between the tale of Helen coming home to find her boyfriend Gerry (John Lynch) in bed with his old girlfriend Lydia (Jeanne Tripplehorn), and the tale of her just having missed that scene.
So, the stories ensue in similar paths. The outraged Helen moves out, dyes her hair blonde (this helps distinguish the two storylines), and gets involved with James (John Hannah of *Four Weddings and a Funeral*) as she starts her own PR company, and deals with Gerry wanting her back.
In the other storyline, the cuckolded Helen struggles along waiting tables and working two jobs while Gerry "writes his novel" and continues to cheat on Helen with Lydia, who is pressing for him to make a break with Helen.
A lot of women I know just hate Gwyneth Palthrow (she's "too beautiful" or something), but Sliding Doors might change their minds. She gives an engaging, fresh performance to both "realities" shown in the film. John Hannah (who has a delightful Scottish accent) is equally wonderful as James. The supporting roles of Anna (played by another Scot, Zara Turner) and Russell (Douglas McFerran) as Helen and Gerry's best friends (respectively) also do a wonderful job. McFerran is particularly good in his role as Gerry's amused but unsympathetic confessor.
Lynch and Tripplehorn, especially the latter, are a bit over the top as the panicky cheat and the bitchy American lover. But they are not so over the top that it destroys the romantic comedy mood created by first-time director and writer Peter Howitt. It was very surprising to discover that he had never directed before. Some of the night scenes on the Thames with the lights of a suspension bridge on the Thames are among the best ever seen in a romantic comedy.
*Sliding Doors* features many funny moments as well as touching, romantic ones. One of my favorite lines came from Tripplehorn, who tells Gerry, "We know what we want, but we don't tell you what we want, but we reserve the right to get angry when you don't know. That's what makes us so fascinating, and so scary!" In another, as Russell laughs at Gerry's plight, he tells him, "If it weren't for you I don't know how I'd make it a whole week before the next Seinfeld."
As ever, I recommend you see it on the big screen, especially for the full effect of the night scenes on the Thames.
More movie reviews by Seth Bookey, with graphics, can be found at http://www.geocities.com/Athens/2679/kino.html
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


set lat|lon|lev|time|ens val1 <val2>
This set command sets one dimension of the dimension environment using world coordinates.
When you enter dimensions in grid coordinates, they are always converted to world coordinates. This conversion requires some knowledge of what scaling is in use for grid to world conversions. The scaling that is used in all cases (except one) is the scaling of the DEFAULT FILE. The exception is when you supply a dimension expression within a variable specification, which will be covered later.
set lon -180 0
(sets longitude to vary from 180W to 0).
set lat 0 90
(sets latitude to vary from the equator to
90N)
set lev 500
(sets the level to 500mb - a fixed dimension)
set ens cntrl
(sets the ensemble to cntrl)


val RecyclerView.gridLayoutManager: GridLayoutManager?
Get implementation manger that lays out items in a grid.
Return Recycle view grid layout manager if configured, otherwise null.


{% extends 'questionaries/base.html' %}
{% load i18n crispy_forms_tags %}
{% block content %}
{% include '_filter.html' with title='Questionaries index' form=filter.form object_list=object_list object_template='questionaries/_questionary_small.html' %}
{% endblock %}


temperature sensor
fume detector
sound detector
To transform analogue signals to digital and then back to analogue. Control the sensors
Cameras, wifi to connect to the database, Systems that have been trained with proper CNN face recognition model.
Discussions


Home
Education
Projects
Personal
Contact
deepank [dot] 361998 [at] gmail [dot] com
D-315, Nehru Hall, IIT Kharagpur


The fastest chip ever in a smartphone and all‑day battery life let you do more and charge less. ... iPhone 11 shoots beautifully sharp 4K video at 60 fps across all its cameras. The Ultra Wide camera captures four times more scene, so it’s perfect for action shots like your dog


Libya's health ministry says an airstrike hit a biscuit factory in Tripoli, killing 7 workers ...
by EndPlayCAIRO - CAIRO (AP) - Libya's health ministry says an airstrike hit a biscuit factory in Tripoli, killing 7 workers including 5 foreigners.
CAIRO - CAIRO (AP) - Libya's health ministry says an airstrike hit a biscuit factory in Tripoli, killing 7 workers including 5 foreigners.


A history podcast from Gimlet Media, where we go back to the time our divisions turned into a war, and bring you stories left out of the official history.
December 27, 2017
A listener voicemail sends us deep down the rabbit hole into one of the most toxic myths of the Confederacy.
Listen now
December 20, 2017
Rachel Swarns of the New York Times joins us to discuss what she discovered when she followed the money trail of one of the nation's top financial institutions all the back to the 19th century.
December 13, 2017
In 1640 three men attempted to escape indentured servitude. The outcome lay the foundation for the split in America that lead to Civil War.
December 6, 2017
A small shopkeeper in Philadelphia unwittingly stumbles into a con that helps take down the Confederacy.
November 15, 2017
We dig deep into the anthem of the Confederacy, and learn that almost everything we thought we knew about it... was wrong.
November 8, 2017
From the cemetery to the big screen, a 150 year old push to rewrite American history.
November 1, 2017
A woman discovers a secret that the government long tried to keep hidden: a secret about who exactly fought in the Civil War.
October 18, 2017
We sat down with Nikole Hannah-Jones of the New York Times Magazine, Al Letson of Reveal, and Christy Coleman of the American Civil War Museum to talk about how they take down Civil War myths.
October 11, 2017
A 19th century promise, and a 21st century betrayal. The past and present of 40 acres and a mule.
October 4, 2017
A group of ex-farmers, a terrorist from Kansas, and a schoolteacher attempt the greatest covert operation of the Civil War.
August 24, 2017
A new history podcast from Gimlet Media, where we go back to the time our divisions turned into a war, and bring you stories left out of the official record.


vannevar
`Prev `__
V
`Next `__
--------------
**vannevar**: /van'@·var/, n.
A bogus technological prediction or a foredoomed engineering concept,
esp. one that fails by implicitly assuming that technologies develop
linearly, incrementally, and in isolation from one another when in fact
the learning curve tends to be highly nonlinear, revolutions are common,
and competition is the rule. The prototype was Vannevar Bush's
prediction of ‘electronic brains’ the size of the Empire State Building
with a Niagara-Falls-equivalent cooling system for their tubes and
relays, a prediction made at a time when the semiconductor effect had
already been demonstrated. Other famous vannevars have included
magnetic-bubble memory, LISP machines, `*videotex* `__,
and a paper from the late 1970s that computed a purported ultimate limit
on areal density for ICs that was in fact less than the routine
densities of 5 years later.
--------------
+----------------------------------+----------------------------+------------------------------+
| `Prev `__ | `Up <../V.html>`__ | `Next `__ |
+----------------------------------+----------------------------+------------------------------+
| vanity domain | `Home <../index.html>`__ | vaporware |
+----------------------------------+----------------------------+------------------------------+


Oct. 2, 2016
A tutorial on scraping a static and dynamic site utilizing Node, Cheerio, and PhantomJS.
Mark Reid
In this tutorial, I'll be using Node packages request and cheerio to scrape static pages and PhantomJS and cheerio to scrape dynamic pages. cheerio is a basic server-side implementation of jQuery. That means that given a DOM in the form of a string, cheerio can parse that string and we can perform jQuery like operations to collect data from a static DOM.
Sometimes when you are scraping a page, the content isn't static. Asyncronous JavaScript can be a nightmare when trying to collect data, but luckily we can use Phantom. Phantom is a library which will allow us to make a request to a given URL and execute JavaScript on the page. This can include simulating user actions such as scrolling, clicking, key-pressing, etc. This is a powerful set of tools to have when doing automated browser testing or in our case, scraping data from a page. With the rising popularity of SPAs, web scraping has become more difficult for sites built with certain frameworks and those that execute JavaScript to inject content dynamically.
In this tutorial I'm going to assume that you as the reader are familiar with HTML and Chrome Dev Tools, a working Node Environment (I will use some ES6 syntax, so a version that supports ES6 is preferable but not necessary for following along), and Phantom installed on your computer.
We're going to be scraping the tech news site, Hacker News, in this tutorial. The first thing we'll want to do when scraping a page is figure out exactly what you want to scrape and where it is on the page. That usually means opening up the Developer Console and examining the HTML. To start off, let's grab something easy, the title tag.
var cheerio = require('cheerio');
var request = require('request');
request('https://news.ycombinator.com/', (err, res, body) => {
if (err) {
console.log(err.stack);
} else {
var $ = cheerio.load(body);
var title = $('title').text().trim();
console.log('Page title is:', title);
}
});
If you run the code in your local node environment with the installed packages, you should see the following logline: "Page title is: Hacker News"
Now if we wanted to do something a little more complicated, such as iterate over all posts on the front page, and collect the story's URL, title, username of the posting user, and score of the post.
var cheerio = require('cheerio');
var request = require('request');
request('https://news.ycombinator.com/', (err, res, body) => {
if (err) {
console.log(err.stack);
} else {
var $ = cheerio.load(body);
var posts = $('table.itemlist .athing');
posts.each(function(i, elem) {
var story = $(elem).find('.title .storylink'); // stores a reference for the following two vars
var storyLink = story.attr('href');
var storyTitle = story.text().trim();
var userName = $(elem).next().find('.subtext .hnuser').text().trim();
var score = $(elem).next().find('.subtext .score').text().trim().split(' ')[0];
});
}
});
There you go. We can pass each element back into cheerio's $ function and call .find() with the corresponding css selectors in order to target a certain element. Calling .next() gives us the next sibling of the original element, which is where we find the score and username for a given post. By looking at the HTML tree, we can find the direct path to any piece of data on the tree. HTML with descriptive classes are always easier to scrape!