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