* Philip Wadler's writings on linear logic

He reached these goals via his hallmark “ Dramatic Theology ”: The history of revelation, as it has been recorded in the biblical writings, is not linear.

The family ’ s fonds, or papers, consist of 2. 5 linear metres of textual and other materials, and include scrapbooks, séance attendance records and registers, affidavits, automatic writings, correspondence, speeches and lectures, news clippings, journal articles, photographs, glass plate negatives and positives, prints, slides, audio tapes, manuscripts and promotional materials related to major publications.

Probably the first linear and continuous assembly process of post-Renaissance times were the Portsmouth Block Mills built between 1801 and 1803.

Here we can store 6 elements they are stored linearly but starting from first row linear then continuing with second row.

The first book focuses on linear geometry.

whereas if X is a complex Banach space, then the polarization identity is given by ( assuming that scalar product is linear in first argument ):

In other words, if we hold the first entry of the bilinear map fixed, while letting the second entry vary, the result is a linear operator, and similarly if we hold the second entry fixed.

Other bilinear transforms can be used to warp the frequency response of any discrete-time linear system ( for example to approximate the non-linear frequency resolution of the human auditory system ) and are implementable in the discrete domain by replacing a system's unit delays with first order all-pass filters.

Checking the existence of such a replacement can be done in linear time ; therefore, the satisfiability of such formulae is in P as it can be solved by first performing this replacement and then checking the satisfiability of the resulting Horn formula.

A description of how the device could be used as a shift register and as a linear and area imaging devices was described in this first entry.

Fairchild's effort, led by ex-Bell researcher Gil Amelio, was the first with commercial devices, and by 1974 had a linear 500-element device and a 2-D 100 x 100 pixel device.

However, Judeo-Christian thought also makes an " innovation of the first importance ", Eliade says, because it embraces the notion of linear, historical time ; in Christianity, " time is no longer the circular Time of the Eternal Return ; it has become linear and irreversible Time ".

A separable linear ordinary differential equation of the first order

The following example of a first order linear systems of ODEs

The determinant provides important information when the matrix is that of the coefficients of a system of linear equations, or when it corresponds to a linear transformation of a vector space: in the first case the system has a unique solution if and only if the determinant is nonzero, while in the second case that same condition means that the transformation has an inverse operation.

This result is a system of linear equations in triangular form, and so the first part of the algorithm is complete.

This echelon matrix contains a wealth of information about: the rank of is 5 since there are 5 non-zero rows in ; the vector space spanned by the columns of has a basis consisting of the first, third, fourth, seventh and ninth column of ( the columns of the ones in ), and the *' s tell you how the other columns of can be written as linear combinations of the basis columns.

Then the first argument becomes conjugate linear, rather than the second.

The first recipient was George B. Dantzig for his work on linear programming.

A linear equation is an algebraic equation in which each term is either a constant or the product of a constant and ( the first power of ) a single variable.

The study of linear algebra and matrices first emerged from the study of determinants, which were used to solve systems of linear equations.

The first modern and more precise definition of a vector space was introduced by Peano in 1888 ; by 1900, a theory of linear transformations of finite-dimensional vector spaces had emerged.

The Technics SL-10, introduced in 1981, was the first direct drive linear tracking turntable, and placed the track and arm on the underside of the dust cover, hinged in the back, to fold down over the record.

The first performance comparison to linear menus was performed at 1988 showing an increase in performance of 15 % less time and a reduction of selection errors.

* Fold-in is the technique of taking two sheets of linear text ( with the same linespacing ), folding each sheet in half vertically and combining with the other, then reading across the resulting page.

This is due to the throw being a linear movement combined with a one and a half rotation and an implement at the end of one arm.

Swedish imprints make up half of the collections, which amount to 170, 000 linear metres of shelving ( 2006 ).

Its feasible region is a convex polyhedron, which is a set defined as the intersection of finitely many half spaces, each of which is defined by a linear inequality

A holomorphic function in the upper half plane which is invariant under linear fractional transformations with integer coefficients and determinant 1 is called a modular form.

Tobacco smoking is the main known contributor to urinary bladder cancer ; in most populations, smoking is associated with over half of bladder cancer cases in men and one-third of cases among women .< ref > There is a linear relationship between smoking and risk, and quitting smoking reduces the risk.

Ernest Rutherford, working in Canada and England, showed that radioactive decay can be described by a simple equation ( a linear first degree derivative equation, now called Rate equation, First-order reactions, first order kinetics, implying that a given radioactive substance has a characteristic " half-life " ( the time taken for the amount of radioactivity present in a source to diminish by half ).

The use of circular polarization, or otherwise splitting equally between horizontal and vertical linear polarization, causes a " loss " of 3 dB, cutting the reported ERP in half.

The modular group Γ is the group of linear fractional transformations of the upper half of the complex plane which have the form

* Nanoblocks, a system of plastic building blocks similar to Lego but about half the linear dimensions.

In the rotating system, the moment of inertia, I, takes the role of the mass, m, and the angular velocity,, takes the role of the linear velocity, v. The rotational energy of a rolling cylinder varies from one half of the translational energy ( if it is massive ) to the same as the translational energy ( if it is hollow ).

It was intended to be a linear city incorporating Lurgan and Portadown, but this plan mostly failed and less than half of the proposed work was finished.

Intuitively, one can reason that Hick's Law has a logarithmic form because people subdivide the total collection of choices into categories, eliminating about half of the remaining choices at each step, rather than considering each and every choice one-by-one, requiring linear time.

In about half of individuals, it is demarcated from the adjacent, attached gingiva by a shallow linear depression, the free gingival groove.

* Epidermal nevus: congenital, flesh-colored, raised or warty, often linear lesion, usually on the upper half of the body.

A double ridge lies along the center of the northwest crater floor, forming a nearly linear formation that divides the floor in half.

The most prominent of these is a nearly linear range along the northwest rim, which is divided in half by the satellite crater W. Bond A.

This must be distinguished from the ancient practice, which was to read each seder in serial order regardless of the week of the year, completing the entire Torah in three ( or three and a half ) years in a linear fashion.

Functioning of the fuse initiates the linear shaped-charges in the dispenser that cut the dispenser case in half and disperse the bombs / bomblets.

The underlying principle is to approximate the feasible region of a nonlinear ( convex ) program by a finite set of closed half spaces and to solve a sequence of approximating linear programs.

There are also secondary edge types that derive from a combination of the above such as half round point incorporating round edges joined by a linear segment.

While, as detailed above, linear battle tactics had become obsolete by the second half of the nineteenth century, regiments in a number of European armies continued to be classified as " line infantry " ( or cavalry ).

The western half of the park features linear fountains, not officially intended for swimming but nevertheless quite popular for that purpose.

The transmission axis of the linear polarizer needs to be half way ( 45 °) between the fast and slow axes of the quarter-wave plate.