Distributions of the Mizar Proof Checker for all major operating systems are freely available for downloaded at the Mizar Project website.

Taxonomic databases tend to be organized in ways which approximate floristic provinces, but which are more closely aligned to political boundaries, for example according to the World Geographical Scheme for Recording Plant Distributions.

* " Protons in Radiation Therapy: comparative Dose Distributions for Protons, Photons and Electrons, A. M. Koehler, W. M.

" Distributions " of this policy-base are released ( periodically or dynamically ) for use in localities, which can apply " patches " to customize them for their own use.

A US Individual Retirement Account CD may allow withdrawal of IRA Required Minimum Distributions without a withdrawal penalty.

Distributions will often contain installation scripts ( usually called Makefile. PL or Build. PL ) and test scripts which can be run to verify the contents of the distribution are functioning properly.

* On Authority Distributions in Organizations ( with X. Hu ), Games and Economic Behavior Vol.

* Distributions that are not more than the cost of medical insurance while unemployed

* Distributions that are not more than the qualified higher education expenses of the owner or their children or grandchildren

Distributions on the CPAN are divided into 24 broad chapters based on their purpose, such as Internationalization and Locale ; Archiving, Compression, And Conversion ; and Mail and Usenet News.

Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta distribution.

Distributions with CV < 1 ( such as an Erlang distribution ) are considered low-variance, while those with CV > 1 ( such as a hyper-exponential distribution ) are considered high-variance.

Distributions can also be browsed by author.

Distributions with negative or positive excess kurtosis are called platykurtic distributions or leptokurtic distributions respectively.

Distributions that are partly discrete and partly continuous can also be described this way.

Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense.

Distributions are widely used to formulate generalized solutions of partial differential equations.

Diversity and Distributions 11: 311-317.

II c. 3 ) and the Statute of Distributions ( 22 & 23 Car.

* CBC Distributions corp. is renamed Columbia Pictures

The Berkeley Software Distributions also have an IPsec implementation and IKE daemon, and most importantly a cryptographic framework ( OpenBSD Cryptographic Framework, OCF ), which makes supporting cryptographic accelerators much easier.

Chapter 2: PH Distributions ; ASA SIAM, 1999.

These two methods actually form two different quadratic Time-Frequency Distributions, but are equivalent under some conditions.

Distributions of these clades fall geographically within well established areas.

* Colombeau, J. F., New Generalized Functions and Multiplication of the Distributions.

Distributions of fortune are usually bundled with a collection of themed files, containing sayings like those found on fortune cookies ( hence the name ), quotations from famous people, jokes, or poetry.

Processors, especially vector processors, are often optimized for array operations.

* mpc-Musepack or MPC ( formerly known as MPEGplus, MPEG + or MP +) is an open source lossy audio codec, specifically optimized for transparent compression of stereo audio at bitrates of 160 – 180 kbit / s.

When the CCITT ( now ITU-T ) was standardizing ATM, parties from the United States wanted a 64-byte payload because this was felt to be a good compromise in larger payloads optimized for data transmission and shorter payloads optimized for real-time applications like voice ; parties from Europe wanted 32-byte payloads because the small size ( and therefore short transmission times ) simplify voice applications with respect to echo cancellation.

Eastman Jacobs, working for NACA, presented his optimized airfoils for high subsonic speeds which led to some of the high performance American aircraft during World War II.

Unlike self-balancing binary search trees, the B-tree is optimized for systems that read and write large blocks of data.

* PAS 55-1: Asset management-Specification for the optimized management of physical infrastructure assests

BeOS was optimized for digital media work and was written to take advantage of modern hardware facilities such as symmetric multiprocessing by utilizing modular I / O bandwidth, pervasive multithreading, preemptive multitasking and a 64-bit journaling file system known as BFS.

* World Factbook for Android — optimized CIA World Factbook version for Android Devices

* Electronic encoding transforms a signal into a code optimized for transmission or storage, generally done with a codec.

Commuter / suburban trains are usually optimized for maximum passenger volume, in most cases without sacrificing too much comfort and luggage space, though they seldom have all the amenities of long-distance trains.

The code is optimized for speed and low wear: chords were chosen so that the most common characters used the simplest chords.

His cyborg body was optimized for war and enabled him to fight on a superhuman level and withstand what would normally be considered fatal injuries.

Content-control software, content filtering software, secure web gateways, censorware, and web filtering software are terms for software designed and optimized for controlling what content is permitted to a reader, especially when it is used to restrict material delivered over the Internet via the Web, e-mail, or other means.

Bayesian decision theory allows these failures of rationality to be described as part of a statistically optimized system for decision making.

They show that this model, when optimized for single-step decision making, produces Belief Anchoring and Polarization of opinions-exactly as described in the global warming controversy context-in spite of identical evidence presented, the pre-existing beliefs ( or evidence presented first ) has an overwhelming effect on the beliefs formed.

This model allows the production of controversy to be seen as a consequence of a decision maker optimized for single-step decision making, rather than as a result of limited reasoning in the Bounded rationality of Kahneman.

Operational systems are optimized for preservation of data integrity and speed of recording of business transactions through use of database normalization and an entity-relationship model.

DEFLATE is a variation on LZ which is optimized for decompression speed and compression ratio, but compression can be slow.

Typically the internal layer is optimized for top performance, in an average way that takes into account performance requirements ( possibly conflicting ) of different external views according to their relative importance.