4
4.0

audio

######
eye 4

######
favorite 0

######
comment 0

Topics: Radio Program, Criminal law, Mayors, Borders, Security, Automated theorem proving, National...

Topics: Radio Program, Health, Psychiatry, Psychology, Social issues, Mental health, Security, Psychiatric...

290
290

Aug 2, 2008
08/08

by
Thomas Tate

texts

######
eye 290

######
favorite 0

######
comment 0

Book digitized by Google from the library of Oxford University and uploaded to the Internet Archive by user tpb.

Topics: theorem, expression, factorial, sum, series, derived, binomial, identity, factorials, increment,...

Source: http://books.google.com/books?id=cnkEAAAAQAAJ&oe=UTF-8

59
59

Nov 29, 2012
11/12

by
Wos, Larry

texts

######
eye 59

######
favorite 1

######
comment 0

Companion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984

Topics: Automatic theorem proving, Artificial intelligence, Computer programming

Topics: Radio Program, Australian novelists, LGBT culture, Writing, LGBT terms, Fiction, Law enforcement,...

8
8.0

Jul 31, 2020
07/20

by
Md. Shamim Hossain Biswas

texts

######
eye 8

######
favorite 0

######
comment 0

The cryptography is the art of protecting information by transforming encryption into unreadable format called cipher text. Only those who possess a secret key can decipher the message into plaintext. Either single or more cryptographic primitives are often used to develop a more complex algorithm which is called cryptosystem. Michael O. Rabin Cryptosystem can generate same ciphertext form different plaintext as well as multiple plaintext from single cyphertext. There are a number of...

Topics: Cryptosystem, key distribution protocol, Extended Euclidean Algorithm, Chinese Remainder Theorem,...

0
0.0

Apr 13, 2021
04/21

by
David Honda (dhonda)

data

######
eye 0

######
favorite 0

######
comment 0

I found three videos of visual proofs of the Pythagorean Theorem which I decided to use with my classes. I like these videos because they are strictly visual, no audio explanation. Once my students figure out how the proofs work, they have to explain them either in writing or on video. I created this and two other puzzles to go along with these videos. The video for this puzzle can be found at https://youtu.be/10rSltql2Vg.

Topics: thingiverse, Pythagorean, math, proof, Math, stl, Theorem

Topics: Radio Program, Public high schools in Ohio, Basketball terminology, Road infrastructure, Rules of...

The reaminder and factor theorems

Topics: polynomials, factor theorem, remainder theorem

1,871
1.9K

audio

######
eye 1,871

######
favorite 0

######
comment 0

Octava referencia en www.audiovisualtheorem.com

Topics: electroclub, bandit, groovycosta, Audiovisual, Theorem

150
150

data

######
eye 150

######
favorite 0

######
comment 0

www.audiovisualtheorem.com

Topics: solo ida, lugares comunes, audiovisual, theorem

The remainder and factor theorems can be useful when factorising polynomials.

Topics: polynomials, factor theorem, remainder theorem

98
98

May 31, 2011
05/11

by
Barth, Jane

texts

######
eye 98

######
favorite 0

######
comment 0

LWS (Living With a Star) is research science focused to facilitate enabling science for spacecraft design (specifically environment specification models) and spacecraft operations (specifically Space Weather research). The following topics are discussed: LWS goals and program, program architecture, the solar dynamic observer, the geospace plan, the space environment testbed concept, and the heliosphere missions.

Topics: SOFTWARE ENGINEERING, DISASTERS, COMPUTER PROGRAMS, THEOREM PROVING, TELECOMMUNICATION, RISK,...

Use of the Gibbs sampler as a method for calculating Bayesian marginal posterior and predictive densities is reviewed and illustrated with a range of normal data models, including: variance components; unordered an ordered means; hierarchial growth curves, and missing data in a cross-over trial. in all cases the approach is straight forward to specify distributionally, trivial to implement computationally, with output readily adapted for required inference summaries.

Topics: DTIC Archive, Gelfand, Alan E, STANFORD UNIV CA DEPT OF STATISTICS, *STATISTICAL INFERENCE, *BAYES...

Probabilistic learning strategies currently use are inefficient, requiring high classifier complexity and large training samples. In this report, we introduce and analyze an asymptotically efficient differential learning strategy. It guarantees the best generalization allowed by the chosen classifier paradigm. Differential learning also requires the classifier with minimal complexity. The theory is demonstrated in several real-world machine learning/pattern recognition tasks. Learning, Pattern...

Topics: DTIC Archive, Hampshire, John, CARNEGIE-MELLON UNIV PITTSBURGH PA, *LEARNING MACHINES, *PATTERN...

In this report we present some results on the formal treatment of expert opinion in reliability analysis. We discuss a procedure which uses opinion of one or two experts for undertaking the reliability assessment of a component. Then we develop the methodology for point processes broadly used in the analysis of defect and count data. (AN)

Topics: DTIC Archive, Campodonico, S., GEORGE WASHINGTON UNIV WASHINGTON DC INST FOR RELIABILITY AND RISK...

Contents: Classification and selection rules for the exponential populations; Nonparametric analysis of some reliability problems; Bayesian test for increasing failure rate; Estimation of the restricted scale parameter of the exponential distribution; Nonparametric tests for independence; Estimation of reliability in the stress-strength model; Estimates of reliability for k-out-of- m systems; Identifiability of the multinormal and other distributions under competing risks model.

Topics: DTIC Archive, Basu, Asit P, MISSOURI UNIV-COLUMBIA DEPT OF STATISTICS, *NONPARAMETRIC STATISTICS,...

Parametric empirical Bayes methods of point estimation for a vector of unknown parameters date to the landmark paper of James and Stein (1961). The usual approach is to use the mean of the estimated posterior distribution of each parameter, where the estimation of the prior parameters (hyperparameters) is accomplished through the marginal distribution of the data. While point estimates computed this way usually perform well, interval estimates based on the estimated posterior (called naive EB...

Topics: DTIC Archive, Carlin, Bradley P, STANFORD UNIV CA DEPT OF STATISTICS, *INTERVALS, *PARAMETRIC...

This paper provides necessary and sufficient conditions for the existence of a cut-score for arbitrary utility functions. Classical theories of monitone likelihood ratios and stochastically increasing distribution are extended to provide the necessary theory of monitone posterior ratios, which provides a sufficiency condition. Necessity is studied in individual cases. In general only modest sample sizes and avoidance of situations with extreme cut-scores is necessary.

Topics: DTIC Archive, Chuang, David T, IOWA UNIV IOWA CITY DIV OF EDUCATIONAL PSYCHOLOGY, *PERSONNEL...

From the bitsavers.org collection, a scanned-in computer-related document. dec :: tech reports :: SRC-RR-28

Topics: actions, execution, action, algorithm, process, liveness, message, theorem, condition, satisfies,...

Bell System Technical Journal, 49: 8. October 1970 pp 1739-1776. Theorems on the Computation of the Transient Response of Nonlinear Networks Containing Transistors and Diodes. (Sandberg, I.W.)

Topics: det, theorem, matrix, nonlinear, solution, equation, networks, diagonal, denote, matrices, diagonal...

888
888

Jan 16, 2008
01/08

by
Philip Ronayne

texts

######
eye 888

######
favorite 0

######
comment 0

Book digitized by Google from the library of the University of Michigan and uploaded to the Internet Archive by user tpb.

Topics: faid, firft, sum, wherefore, alfo, foregoing, equal, suppofe, theorem, logarithm, firft term,...

Source: http://books.google.com/books?id=gc82AAAAMAAJ&oe=UTF-8

Autonomous Exploration, Inc., has developed an advanced Bayesian statistical inference method that leverages current computing technology to produce a highly accurate surface navigation system. The method combines dense stereo vision and high-speed optical flow to implement visual odometry (VO) to track faster rover movements. The Bayesian VO technique improves performance by using all image information rather than corner features only. The method determines what can be learned from each image...

Topics: NASA Technical Reports Server (NTRS), SURFACE NAVIGATION, GLOBAL POSITIONING SYSTEM, STEREOSCOPIC...

4
4.0

texts

######
eye 4

######
favorite 0

######
comment 0

APPROXIMATION PROPERTIES OF GENERALIZED BASKAKOV OPERATORS

Topics: Voronovskaya theorem, Ditzian-Totik modulus of smoothness, Peetre's K-functional, local...

This effort focused on representation and evaluation of plans accounting for uncertainty in the parameters upon which the plan is based and also uncertainty in the outcomes that will result from potential actions of the plan. Methods used to accomplish these results included the use of Action Networks, and development of a suite of analysis tools in support of the AFRL Campaign Assessment Tool (CAT - AKA Causal Analysis Tool). Action networks is a language for representing actions and their...

Topics: DTIC Archive, Peot, Mark, ROCKWELL SCIENTIFIC CO DURHAM NC, *BAYES THEOREM, *MILITARY PLANNING,...

123
123

Nov 14, 2013
11/13

by
Kiran S. Kedlaya

texts

######
eye 123

######
favorite 0

######
comment 0

Topics: Maths, Logic, Numbers and Set Theory, Linear Algebra and Geometry, Elementary Number Theory,...

Source: http://www.flooved.com/reader/2070

5
5.0

Apr 6, 2020
04/20

by
Priyadarsan K P

image

######
eye 5

######
favorite 0

######
comment 0

Illustration of Fermat's Theorem

Topics: Mathematics, Calculus, Local extrema, Fermat's Theorem

33
33

movies

######
eye 33

######
favorite 0

######
comment 0

www.audiovisualtheorem.com www.myspace.com/burdeoscool www.myspace.com/kowalski_visuales www.myspace.com/audiovisualtheorem Licensed by Crative commons

Topics: audiovisual, theorem, burdeos, kowalski, hope, well, netlabel, video, music

791
791

Feb 2, 2009
02/09

by
Normaa

movies

######
eye 791

######
favorite 0

######
comment 0

Segundo theorem audiovisual www.audiovisualtheorem.com

Topics: Audiovisual, Theorem, Normaa

The mobile phones is used in our everyday life, the demand on mobile phone networks has increased steadily. Today, among other things like desktop laptops, mobile phones are used to access the internet, watch TV, read emails and use social media. The initial networks were designed to only transmit phone conversations. As technology improved, they had to be upgraded to deal with huge quantities of data. The Shannon-Hartley theorem is central to planning in the mobile phone industry. This formula...

Topics: Other, Bit-rate, Transmission tower, Network, Transmission rate, Shannon-Hartley theorem

249
249

May 6, 2010
05/10

by
Jones, G. S

texts

######
eye 249

######
favorite 0

######
comment 0

Mathematical analysis of differential equations using periodic equations and set theory

Topics: ASYMPTOTES, PERIOD EQUATION, SET THEORY, DIFFERENTIAL EQUATIONS, MATHEMATICS, PERIODIC FUNCTIONS,...

Topics: Radio Program, Fisheries science, Aquatic ecology, Electrical engineering, Environmental science,...

423
423

Nov 6, 2008
11/08

by
C. Barrett

movies

######
eye 423

######
favorite 0

######
comment 0

Video created to help my class understan pythagorean theorem.

Topic: pythagorean theorem

Generalising the expansion using Pascal's Triangle for the binomial coefficients.

Topic: binomial theorem

728
728

Sep 6, 2008
09/08

by
William Fogg Osgood

texts

######
eye 728

######
favorite 0

######
comment 0

Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.

Topics: equation, calculus, curve, function, sin, theorem, series, axis, lim, formula, definite integrals,...

Source: http://books.google.com/books?id=8jkNAAAAYAAJ&oe=UTF-8

"NPS-52-82-002"--Cover

Topic: Automatic theorem proving

1
1.0

Apr 23, 2016
04/16

by
Funny or Die

movies

######
eye 1

######
favorite 0

######
comment 0

If Lord Vader, the dark lord of the Sith, were a high school math teacher, this is probably how he would explain the Pythagorean Theorem. My apologies to James Earl Jones.

Topics: Funny or Die Video Archive, Darth Vader, James Earl, Lord Vader, Math humor, Mister teacher,...

2,120
2.1K

Jul 21, 2008
07/08

by
Johns Hopkins University, American Mathematical Society , Project Muse, JSTOR (Organization)

texts

######
eye 2,120

######
favorite 0

######
comment 1

Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.

favoritefavoritefavoritefavoritefavorite ( 1 reviews )

Topics: equation, sin, equations, values, calculus, log, functions, form, theorem, lines, johns hopkins,...

Source: http://books.google.com/books?id=7a0EAAAAYAAJ&oe=UTF-8

2,294
2.3K

Jan 14, 2008
01/08

by
Mathematical Association of America

texts

######
eye 2,294

######
favorite 0

######
comment 0

Book digitized by Google from the library of the University of California and uploaded to the Internet Archive by user tpb.

Topics: professor, mathematical, mathematics, equation, sin, university, volume, equations, des, theorem,...

Source: http://books.google.com/books?id=xMQ0AAAAIAAJ&oe=UTF-8

1,427
1.4K

Apr 5, 2008
04/08

by
Mathematical Association of America

texts

######
eye 1,427

######
favorite 0

######
comment 0

Book digitized by Google and uploaded to the Internet Archive by user tpb.

Topics: mathematics, professor, equation, proposed, solution, solutions, mathematical, theorem, university,...

Source: http://books.google.com/books?id=cQcPAAAAIAAJ&oe=UTF-8

920
920

Sep 13, 2008
09/08

by
William Frothingham Bradbury

texts

######
eye 920

######
favorite 2

######
comment 0

Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.

Topics: equal, angle, angles, triangle, plane, sides, perpendicular, triangles, theorem, parallel, equally...

Source: http://books.google.com/books?id=NyQAAAAAYAAJ&oe=UTF-8

73
73

Feb 3, 2018
02/18

by
Wos, Larry

texts

######
eye 73

######
favorite 0

######
comment 0

Includes bibliographical references and index

Topics: Automatic theorem proving, Artificial intelligence, Computer programming, Théorèmes,...

614
614

movies

######
eye 614

######
favorite 0

######
comment 0

Tercera referencia en www.audiovisualtheorem.com y primera ebn formato video

Topics: Logela, Audiovisual, Theorem

1,056
1.1K

audio

######
eye 1,056

######
favorite 0

######
comment 1

Co-Compilation from the netlabels Audio Visual Theorem & rec72. All music is licensed under CC by-nc-sa 3.0 de. More info at audiovisualtheorem.com and rec72.net

favoritefavoritefavoritefavoritefavorite ( 1 reviews )

Topic: audiovisual, theorem, rec72, machines, music, netalbel, electronic

3,106
3.1K

Mar 25, 2008
03/08

by
Florian Cajori

texts

######
eye 3,106

######
favorite 3

######
comment 0

Book digitized by Google from the library of the New York Public Library and uploaded to the Internet Archive by user tpb.

Topics: theory, geometry, method, mathematical, newton, mathematics, greek, equations, theorem,...

Source: http://books.google.com/books?id=UicJAAAAIAAJ&oe=UTF-8

3,632
3.6K

Sep 14, 2008
09/08

by
Florian Cajori

texts

######
eye 3,632

######
favorite 1

######
comment 0

Book digitized by Google from the library of the University of Michigan and uploaded to the Internet Archive by user tpb.

Topics: theory, mathematics, geometry, mathematical, method, equations, theorem, published, differential,...

Source: http://books.google.com/books?id=eO0gAAAAMAAJ&oe=UTF-8

7,459
7.5K

Feb 1, 2017
02/17

by
I. F. Sharygin

texts

######
eye 7,459

######
favorite 10

######
comment 0

In the preface Sharygin says: This volume contains over 600 problems in plane geometry and consists of two parts. The first part contains rather simple problems to be solved in classes and at home. The second part also contains hints and detailed solutions. Over 200 new problems have been added to the 1982 edition, the simpler problems in the first addition having been eliminated, and a number of new sections- (circles and tangents, polygons, combinations of figures, etc.) having been...

Topics: books, mathematics, mir publishers, science for everyone and tagged Ceva, Euclidean geometry,...

From the bitsavers.org collection, a scanned-in computer-related document. ibm :: 370 :: IPF VSE :: SH20-4083-0 VSE Interactive Productivity Facility Rel 3 Users Guide Feb81

Topics: convex, cspace, die, algorithm, configuration, theorem, swept, vertices, obstacles, algorithms,...

From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-044

Topics: productions, string, strings, canonical, antecedent, theorem, production, form, alphabet,...

From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-376

Topics: threshold, linear, predicate, finite, rank, predicates, saturation, theorem, retina, computed,...