references

perform several orders in as many days

purchases

swellhead

Groups

singles

long play

flamethrower

gas can

deadly

a pit

landmines

metallic box

amateur

Penelope Dolittle

any word beginning with an upper-case letter is a Prolog variable

This is the way logical conjunction is expressed in Prolog (that is, the comma means and )

the semicolon ; is the Prolog symbol for or

the potency of a substance in inhibiting a specific biological or biochemical function

inhibitory concentration

kd-tree

Microprocessor

In certain databases the key values may be points in some multi-dimensional space

arity

it is usual to use a suffix / followed by a number to indicate the predicate’s arity

2.2.1 Pinhole Camera Model

2.2.2 Absolute Conic

the :- means implication, the , means conjunction, and the ; means disjunction

This will introduce us to the three basic constructs in Prolog: facts, rules, and queries.

network *net = make_network(sections->size - 1);

get_network_output_layer

net->outputs = out.outputs;

train_networks

train_network

get_current_batch

net->subdivisions

get_current_batch

Enter a directory where you’d like to store your code and run: scrapy startproject tutorial

we want the attribute href

How big is your cache block

How much data fits in the WHOLE cache

Your processor must provide the following outputs

Your processor has 2 inputs

Layer notation for convolutional neural networks

The __thiscall calling convention is used on member functions and is the default calling convention used by C++ member functions that do not use variable arguments.

Calling Conventions

Qt Widgets

Qt add-ons

Qt essentials

There are a few different options to run GUI applications inside a Docker container like using SSH with X11 forwarding, or VNC but the simplest one that I figured out was to share my X11 socket with the container and use it directly.

docker run -ti --rm \
       -e DISPLAY=$DISPLAY \
       -v /tmp/.X11-unix:/tmp/.X11-unix \
       firefox

2/3" (~ 8.8 x 6.6 mm)

math.atan(8.8 / 2 / 2.8) * 180 / math.pi * 2

Floating Point Calling Conventions

CPU Registers

The supported data types are as follows

Comments

Parameter Passing

Floating Point Instructions

The idea of the numeric_limits<T> trait class is due to John Barton and Lee Nackman

Structural Pattern Recognition

Algorithms for Graphics and Image Processing

Theo Pavlidis' Algorithm

 Borodovsky  &  Ekisheva  (2006),

What  is  the  probability  P(S)  that  this  sequence  S  was  generated  by  the  HMM  model?

Viterbi  algorithm

HMM  :  Viterbi  algorithm  -­a  toy  example

On the "IPv4 Settings tab", select Method: "Shared to other computers"

two cate-gories.

Pieter Abbeel

Johan Löfberg

YALMIP

Dr. Xiang Gao

This shrinkage also means that the number of position variations that are possible has shrunk a lot.

Joan Bruna

You need 1,000 representative images for each class.

Machine Learning at UofT

a revolutionary technique(expression tem-plates,invented independently by Todd Veldhuizen-'' andDavid Vandevoorde") could be used to improve dramaticallythe runtime efficiency of high-level C++ code like sumlt.

Beating the Abstraction Penalty in C++ Using Expression Templates,

DisambiguatedGlommableExpressionTemplates

ScienticandEngineeringC++

MSVC (Visual Studio), 2010 and newer.

Eigen is a pure template library defined in the headers

Eigen is standard C++98 and so should theoretically be compatible with any compliant compiler.

expres-sion templates (CIP 10:6, 1996 p. 552; CJP I 1 :3, 1997, p. 263)

Todd Veldhuizen, the co-discoverer of expres-sion templates (CIP 10:6, 1996 p. 552; CJP I 1 :3, 1997, p. 263), i now a graduate student at the Univer-sity of Waterloo.

the checker board

Statistical Data Anlalysis

Todd Veldhuizen

WHETHER C++ CAN BE FASTER THAN FORTRAN

simple analogy

Rybnikov

Benoit Jacob

Using C++ Trait Classes for Scientific Computing

Distance from a point to a line segment

point: P
line_seg_start_point: P0
line_seg_end_point: P1

A = LL^* = U^*U

Gael Guennebaud

selfadjoint (hermitian) matrices

QR factorization method is more stable

every positive definite matrixAhas positive diagonal elements

gives a practical method for testing positive definiteness

positive semidefinite, but not positive definite, then it is singular

linting

But online life makes me into a different kind of reader – a cynical one

All new algorithms in OpenCV are written in C++, so there are no benefits to use OpenCV 3.x in C programs.

if (app.metadata && app.metadata.has('dc:title') && app.metadata.get('dc:title') !== 'Untitled') { title = app.metadata.get('dc:title'); }

While that allows you to use the string class, the relevant operator<< is defined in the <string> header itself, so you must include that manually

Interprocess Synchronization

Priority Scheduling

TheSJFalgorithm can be either preemptive or nonpreemptive.

exponential average

FCFSscheduling algorithm is nonpreemptive

Shortest-Job-First Scheduling

First-Come, First-Served Scheduling

short-term scheduler

special hardware (for example, a timer) needed for preemptivescheduling.

Scheduling of this kind is a fundamental operating-system function.Almost all computer resources are scheduled before use

PCB

Arrival Time (AT), Total CPU Time (TC), CPU Burst (CB) and IO Burst (IO)

first line defines the count of random numbers in the file

One trick to deal with schedulers is to treat nonpreemptive scheduler as preemptive with very large quantum (10K is good for our simulation) that will never fire. This way the TRANS_TO_RUN transition is implemented generically.

Some hints on structuring your program

FCFS, LCFS, SJF, RR (RoundRobin), and PRIO (PriorityScheduler).

An option character in this string can be followed by a colon (‘:’) to indicate that it takes a required argument

...

control-flow graph

compiler structure; lexical and syntactic analysis; semantic analysis and code generation; theory of parsing

parser generator

syntax tree builder

Visitor design pattern

Variable liveness analysis based on control flow graph

It may be that Pas-cal and C require clumsyforwarddeclarations because their designers wantedto avoid an extra compiler pass on the machines of the 1970s

syntax tree

程序分析

先放个图直观感受一下什么是flow-sensitive