[permalink] [id link]

Formally, the poem can be understood as the combination of two sonnets, though the spacing of the stanzas is irregular.

from
Wikipedia

## Some Related Sentences

Formally and can

__Formally__

**,**arbitrage transactions have negative skew – prices

__can__get a small amount closer ( but often no closer than 0 ), while they

__can__get very far apart

**.**

__Formally__

**the**" head

**of**state "

__can__also personally

**be**

**the**" head

**of**government " ( ex officio or by ad hoc cumulation such

**as**an absolute monarch nominating himself ) but otherwise has formal precedence over

**the**Head

**of**Government and other ministers

**,**whether he

**is**their actual political superior ( absolute monarch

**,**executive president ) or rather theoretical or ceremonial in character

**.**

__Formally__

**,**in

**the**finite-dimensional case

**,**if

**the**linear map

**is**represented

**as**a multiplication by a matrix A and

**the**translation

**as**

**the**addition

**of**a vector

**,**an affine map acting on a vector

__can__

**be**represented

**as**

__Formally__

**,**a decision problem

**is**P-complete ( complete for

**the**complexity class P ) if it

**is**in P and that every problem in P

__can__

**be**reduced to it by using an appropriate reduction

**.**

__Formally__

**,**a unique factorization domain

**is**defined to

**be**an integral domain R in which every non-zero and non-unit x

**of**R

__can__

**be**written

**as**a product ( including an empty product )

**of**irreducible elements p < sub > i </ sub >

**of**R and a unit u:

__Formally__

**,**a function ƒ

**is**real analytic on an open set D in

**the**real line if for any x < sub > 0 </ sub > in D one

__can__write

__Formally__

**,**

**the**problem

**of**supervised pattern recognition

__can__

**be**stated

**as**follows: Given an unknown function (

**the**ground truth ) that maps input instances to output labels

**,**along with training data assumed to represent accurate examples

**of**

**the**mapping

**,**produce a function that approximates

**as**closely

**as**possible

**the**correct mapping

**.**

__Formally__

**,**

**the**case where only a subset

**of**parameters

**is**defined

**is**still a composite hypothesis ; nonetheless

**,**

**the**term point hypothesis

**is**often applied in such cases

**,**particularly where

**the**hypothesis test

__can__

**be**structured in such a way that

**the**distribution

**of**

**the**test statistic (

**the**distribution under

**the**null hypothesis ) does not depend on

**the**parameters whose values have not been specified under

**the**point null hypothesis

**.**

__Formally__

**,**

**the**problem

__can__

**be**stated

**as**follows: given a desired property

**,**expressed

**as**a temporal logic formula p

**,**and a structure M with initial state s

**,**decide if

**.**

__Formally__

**,**Mbenga – Mbuti Pygmy music consists

**of**at most only four parts

**,**and

__can__

**be**described

**as**an

**,**" ostinato with variations ," or similar to a passacaglia

**,**in that it

**is**cyclical

**.**

__Formally__

**,**

**the**complexity class MA

**is**

**the**set

**of**decision problems that

__can__

**be**decided in polynomial time by an Arthur – Merlin protocol where Merlin's only move precedes any computation by Arthur

**.**

__Formally__

**,**a system

**is**said to

**be**observable if

**,**for any possible sequence

**of**state and control vectors

**,**

**the**current state

__can__

**be**determined in finite time using only

**the**outputs ( this definition

**is**slanted towards

**the**state space representation ).

__Formally__

**,**

**the**definition only requires some invertibility

**,**so we

__can__substitute for Q any matrix M whose eigenvalues do not include − 1

**.**

__Formally__

**,**given a finite set X

**,**a collection C

**of**subsets

**of**X

**,**all

**of**size n

**,**has Property B if we

__can__partition X into

**two**disjoint subsets Y and Z such that every set in C meets both Y and Z

**.**

__Formally__

**,**

**the**issue

**is**that interfertile " able to interbreed "

**is**not a transitive relation – if A

__can__breed with B

**,**and B

__can__breed with C

**,**it does not follow that A

__can__breed with C – and thus does not define an equivalence relation

**.**

Formally and be

However

**,**shortly after this positive result**,**Kurt Gödel published On__Formally__Undecidable Propositions**of**Principia Mathematica and Related Systems ( 1931 ), showing that in any sufficiently strong axiomatic system there are true statements which cannot__be__proved in**the**system**.**__Formally__

**,**if M

**is**a set

**,**

**the**identity function f on M

**is**defined to

__be__that function with domain and codomain M which satisfies

__Formally__

**,**a frame

**is**defined to

__be__a lattice L in which finite meets distribute over arbitrary joins

**,**i

**.**e

**.**every ( even infinite ) subset

__Formally__

**,**

**the**convex hull may

__be__defined

**as**

**the**intersection

**of**all convex sets containing X or

**as**

**the**set

**of**all convex combinations

**of**points in X

**.**

__Formally__

**,**a detailed balanced process

**is**

**the**one on which

**the**probability to

__be__in

**the**state x and transit to x ' must

__be__

**the**same

**as**to

__be__in

**the**state x ' and transit to x

**.**

If R

**is**a ring**,**let R denote**the**ring**of**polynomials in**the**indeterminate X over R**.**Hilbert proved that if R**is**" not too large ", in**the**sense that if R**is**Noetherian**,****the**same must__be__true for R**.**__Formally__**,**__Formally__

**,**a government would lay out its reasons for going to war

**,**

**as**well

**as**its intentions in prosecuting it and

**the**steps that might

__be__taken to avert it

**.**

Formally and two

__Formally__

**,**

**the**Congress serves

__two__functions: to approve changes to

**the**Party constitution regarding policy and to elect a Central Committee

**,**about 300 strong

**.**

__Formally__

**,**these failed when they were rejected by

**the**Church

**of**England's General Synod in 1972 ; conversations and co-operation continued

**,**however

**,**leading in 2003 to

**the**signing

**of**a covenant between

**the**

__two__churches

**.**

__Formally__

**,**we start with a category C with finite products ( i

**.**e

**.**C has a terminal object 1 and any

__two__objects

**of**C have a product ).

__Formally__

**,**this means symmetry under a sub-group

**of**

**the**Euclidean group

**of**isometries in

__two__or three dimensional Euclidean space

**.**

__Formally__

**,**EMF

**is**classified

**as**

**the**external work expended per unit

**of**charge to produce an electric potential difference across

__two__open-circuited terminals

**.**

__Formally__

**,**an elliptic function

**is**a function meromorphic on for which there exist

__two__non-zero complex numbers and with ( in other words

**,**not parallel ), such that and for all

**.**

__Formally__

**,**

__two__variables are inversely proportional ( or varying inversely

**,**or in inverse variation

**,**or in inverse proportion or in reciprocal proportion ) if one

**of**

**the**variables

**is**directly proportional with

**the**multiplicative inverse ( reciprocal )

**of**

**the**other

**,**or equivalently if their product

**is**a constant

**.**

(

__Formally__speaking**,**this then satisfies**the**premises**of**an axiom**of**well-founded induction**,**which asserts that these__two__conditions are sufficient for**the**proposition to hold for all x**.**__Formally__

**,**it

**is**a norm defined on

**the**space

**of**bounded linear operators between

__two__given normed vector spaces

**.**

__Formally__

**,**a Lie superalgebra

**is**a ( nonassociative ) Z < sub > 2 </ sub >- graded algebra

**,**or superalgebra

**,**over a commutative ring ( typically R or C ) whose product

**,**called

**the**Lie superbracket or supercommutator

**,**satisfies

**the**

__two__conditions ( analogs

**of**

**the**usual Lie algebra axioms

**,**with grading ):

__Formally__

**,**given

__two__categories C and D

**,**an equivalence

**of**categories consists

**of**a functor F: C → D

**,**a functor G: D → C

**,**and

__two__natural isomorphisms ε: FG → I < sub > D </ sub > and η: I < sub > C </ sub >→ GF

**.**

__Formally__

**,**a vertex cover

**of**a graph G

**is**a set C

**of**vertices such that each edge

**of**G

**is**incident to at least one vertex in C

**.**The set C

**is**said to cover

**the**edges

**of**G

**.**The following figure shows examples

**of**vertex covers in

__two__graphs ( and

**the**set C

**is**marked with red ).

__Formally__

**,**given

__two__partially ordered sets ( S

**,**≤) and ( T

**,**≤), a function f: S → T

**is**an order-embedding if f

**is**both order-preserving and order-reflecting

**,**i

**.**e

**.**for all x and y in S

**,**one has

__Formally__

**,**he says

**,**

**the**piece consists

**of**

__two__parts

**of**nearly equal length

**,**

**the**end

**of**

**the**first section being bars 24 – 28 ( p

**.**77 ).

__Formally__known

**as**" Brooks Institute

**of**Photography ," Brooks Institute offers four majors

**,**

__two__certificate programs and

__two__graduate programs

**.**

0.163 seconds.