|
To be proved, a theorem must be expressible as a precise, formal statement.
|
Per tal de ser demostrat, un teorema s’ha de poder expressar com a un enunciat formal i precís.
|
|
Font: wikimatrix
|
|
Materialized ideology itself has no name, just as it has no expressible historical program.
|
La ideologia materialitzada manca de nom propi, així com manca de programa històric enunciable.
|
|
Font: NLLB
|
|
However, these numbers are not known to be expressible by themselves in terms of elementary functions.
|
No obstant això, aquests nombres no són coneguts per ser expressables per si mateixos en termes de funcions elementals.
|
|
Font: wikimatrix
|
|
It is the smallest number expressible as the sum of two cubes in two different ways.
|
És el nombre més petit expressable com la suma de dos cubs de dues maneres diferents.
|
|
Font: NLLB
|
|
The integral of a closed-form expression may or may not itself be expressible as a closed-form expression.
|
La integral d’una expressió en forma tancada pot ser que es pugui o no expressar en forma tancada.
|
|
Font: NLLB
|
|
We employ this representation to reformulate the finite-horizon Linear Quadratic Regulator problem as a network optimization with separable objective functions and locally expressible constraints.
|
Fem servir aquesta representació per reformular el problema del regulador quadràtic lineal d’horitzó finit com una optimització de xarxa amb funcions objectiu separables i restriccions localment expressables.
|
|
Font: AINA
|
|
‘No,’ he replied, ‘it is a very interesting number; it is the smallest number expressible as the sum of two cubes in two different ways.’”
|
"No", va contestar, "és un nombre molt interessant: és el número més petit que es pot expressar com la suma de dos cubs en dues maneres diferents".
|
|
Font: NLLB
|
|
We propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal logic.
|
Proposem un marc per generar una política de control de senyals per a una xarxa de trànsit d’interseccions senyalitzades per assolir objectius de control expressables usant lògica temporal lineal.
|
|
Font: AINA
|
|
Such a construction provides a framework for the categorification of a variety of familiar topological/combinatorial invariants: anything expressible as a rank-alternating sum over a thin poset.
|
Aquesta construcció proporciona un marc per a la categorització d’una varietat d’invariants topològics/combinatoris familiars: qualsevol cosa expressable com una suma alternant de rang sobre una posició prima.
|
|
Font: AINA
|
|
Lighting, in particular, was used to establish a dark, fearsome setting for the forbidden land, while the protagonist’s sword would provide a means of navigation that was "direct and only expressible visually".
|
La il·luminació, en particular, va ser utilitzada per establir un marc fosc i temible per a la terra prohibida, mentre que l’espasa del protagonista proporcionava una manera de navegació que anés «directa i només expressable visualment».
|
|
Font: wikimatrix
|