|
|
 |
|
|
| Handwriting Analysis |
 |
Graphologist Andrea McNichol teaches about
the science of graphology (handwriting
analysis).
For more info about Andrea's teaching DVDs,
how to get her UCLA handwriting analysis
course on video, visit
http://www.brainprints.com
Tags : handwriting analysis graphology |
|
Affichage : 12454
Durée : 1058 s |
| Nullness Analysis for Java |
 |
Google Tech Talks
September 17, 2008
ABSTRACT
Attempts to dereference null result in an
exception or a segmentation fault. Hence it
is important to know those program points
where this might occur and prove the others
(or the entire program) safe. Nullness
analysis of computer programs checks or
infers non-null annotations for variables and
object fields. Most nullness analyses
currently use run-time checks or are simply
syntactical (as in Eclipse and Idea) or
incorrect or only verify manual annotations.
We use abstract interpretation to build and
prove correct a static nullness analysis for
Java bytecode which infers non-null
annotations. It is based on Boolean formulas,
implemented with binary decision diagrams.
Our experiments show it faster and more
precise than the correct nullness analysis by
Hubert, Jensen and Pichardie. We deal with
static fields and exceptions, which is not
the case of most other analyses. The result
is theoretically clean and the implementation
strong and scalable.
Speaker: Prof. Fausto Spoto
Fausto Spoto is associate professor at the
University of Verona, Italy. He took a PhD in
computer science from the University of Pisa,
where he started working at the static
analysis of computer programs. His current
interests are related to the analysis of Java
and Java bytecode programs.
He wrote a tool, Julia, which analyzes Java
bytecode programs by using abstract
interpretation and presents the results to
the user, for verification as well as for
code optimisation.
Tags : google techtalks techtalk engedu talk talks googletechtalks education |
|
Affichage : 3608
Durée : 3209 s |
| Apollo Moon Hoax? Dr. David Groves Analysis |
 |
Photo image expert, Dr. David Groves,
concludes that the Apollo 11 photos allegedly
taken on the moon were staged.
In an attempt to disprove our own additional
lighting hypothesis, the authors went to
Quantec Image Processing-UK which tested a
number of NASA photos from Apollo 11.
Founder, David Groves:
PhD - BSc (Hons) Class I/Applied Physics.
PhD in Holographic Computer Measurement.
Chartered Physicist and a Member of the
Insitute of Physics.
Tags : apollo moon hoax |
|
Affichage : 89995
Durée : 599 s |
|
|
|
|
|
|
|
|
|
|
 |
| |
|
