「finite」の共起表現一覧(1語右で並び替え)
該当件数 : 666件
mum of the set of projective dimensions of all | finite A-modules; |
finitely generated group with property FA has | finite abelianization. |
the universe suggests that the universe has a | finite age. |
Since the universe of strings over any | finite alphabet is a countable set, every language ca |
a sequence of random variables ranging over a | finite alphabet Γ, having a stationary distribution. |
de up of cells that can contain symbols from a | finite alphabet, a head that can read from or write t |
g automata which allows the automaton to use a | finite amount of "pebbles", used for marking tree nod |
hegemony in that the source can only contain a | finite amount of information. |
defensive systems, and weapons all vying for a | finite amount of hull space. |
craft can only move left or right or use up a | finite amount of fuel by engaging the thrust (the sam |
omputers cannot represent them exactly using a | finite amount of information. |
($4.79 US dollars a month currently) or for a | finite amount of time as a one-off payment. |
productive (always produces an action within a | finite amount of time.) |
erized by irrationalism because inevitably the | finite and fallen human mind cannot fully capture all |
He concludes that the speed of light was | finite and measurable. |
only if it is accepted by an automaton with a | finite and aperiodic transition monoid. |
lated as an exact equivalence holding for both | finite and infinite algebras, leading him to substant |
ophical works such as The Freedom of the Will, | Finite and Infinite and Faith and Speculation, the ap |
ing) dimension function for S if Ph(S) is both | finite and strictly positive. |
under anaerobic conditions, this substrate is | finite and only lasts between approximately 10 to 30 |
It can be used to model and verify | finite and infinite state systems, at varied abstract |
t the information storage capacity ought to be | finite, and so Qubit Field Theory seeks to resolve th |
Consider the set of all | finite and infinite words over the alphabet {0,1}, or |
ple native structure; it thus accounts for the | finite and spherical shape of the native structures. |
world, and the limitation of knowledge to the | finite and "conditioned." |
e total energy of the electromagnetic field is | finite and the electric field is regular everywhere. |
Marvin Minsky (1967) Computation: | Finite and Infinite Machines. |
he attempt to clarify the boundary between the | finite and the infinite, and also an important role i |
The extent of the impulse response is | finite, and this would be classified as a 4th order F |
All | finite aperiodic semigroups have complexity 0, while |
These components correspond to | finite aperiodic semigroups and finite simple groups |
t has a boundary of infinite length bounding a | finite area. |
For a | finite array of point dipoles the scattering problem |
an approximation of the continuum target by a | finite array of polarizable points. |
e other Bayer pharmaceuticals, they had only a | finite aspirin supply and were facing competition fro |
subjects include computer viruses, Core Wars, | finite automata like Conway's Game of Life, brown noi |
more precisely, in the theory of deterministic | finite automata (DFA), a synchronizing word or reset |
minimum cycle rank among all nondeterministic | finite automata with ε-moves accepting L. |
in computer science on regular expressions and | finite automata led to the discovery that context-fre |
Grammars and | finite automata |
g instances of automata, such as deterministic | finite automata (DFAs), it is required to specify an |
n between the theories of regular expressions, | finite automata, and of directed graphs. |
ertain way, leading to the idea of the quantum | finite automata. |
ng of digraph properties of a nondeterministic | finite automaton A with state set Q, we naturally add |
regular language Lq,q' that is accepted by the | finite automaton (Q,Σ,Δ,{q},{q'}). |
In automata theory, a nondeterministic | finite automaton with ε-moves (ε-NFA) is defined as a |
automata theory, a nested stack automaton is a | finite automaton that can make use of a stack contain |
any AFA is equivalent to an non-deterministic | finite automaton (NFA) by performing a similar kind o |
number of states in the minimum deterministic | finite automaton Aβ* to recognize language β*. |
it can be accepted by an alternating | finite automaton |
n is an algorithm to construct a deterministic | finite automaton from a given nondeterministic finite |
In automata theory, an alternating | finite automaton (AFA) is a nondeterministic finite a |
ministic tree automaton as same as alternating | finite automaton extends nondeterministic finite auto |
ndard method for converting a nondeterministic | finite automaton (NFA) into a deterministic finite au |
ced a method for decomposing a (deterministic) | finite automaton into "simple" components that are th |
e (or states in the case of a nondeterministic | finite automaton) a finite semiautomaton or finite st |
infinite sequence of terms characterized by a | finite automaton. |
Thus, behaving like a regular nondeterministic | finite automaton. |
ts on a curve is infinite then some point in a | finite basis must have infinite order. |
If a vector space admits a | finite basis then any two bases have the same number |
In practice, however, crystals conductivity is | finite because crystals are not perfect. |
by Arnold Gehlen's view of man as a frail and | finite being in need of certain auxiliary ideas in or |
guess for the initial contact temperature for | finite bodies. |
k wave that is found in supersonic flow past a | finite body. |
of the quest to discover and classify all the | finite building blocks for symmetry (the finite simpl |
n: "For fundamental research contributions in: | finite capacity queuing network models; performance e |
rts with the natural numbers, including zero, ( | finite cardinals), which are followed by the aleph nu |
efinition of the natural numbers (actually the | finite cardinals). |
cides with the ordinal successor operation for | finite cardinals, but in the infinite case they diver |
We prove the | finite case of Hall's marriage theorem by induction o |
ng a Q-valued Euler characteristic for certain | finite categories, a notion compatible with the Euler |
number of dimensions, could be deduced from a | finite central core region". |
s the underlying set of S as vertices, and the | finite chains (i.e. |
ogy (open sets are upper sets) on the poset of | finite chains of S, ordered by inclusion. |
ukey, states that every nonempty collection of | finite character has a maximal element with respect t |
ple Lie algebras over "well behaved" fields of | finite characteristic. |
d algebraic geometry includes also geometry in | finite characteristic. |
Srinivasan, Bhama (1979), Representations of | finite Chevalley groups. |
on the probability that the partial sums of a | finite collection of independent random variables exc |
on the probability that the partial sums of a | finite collection of independent random variables exc |
In 1954 he and G. C. Shephard classified the | finite complex reflection groups. |
r data can be defined, parsed or produced by a | finite computer program. |
This implies that every | finite concept class C has its teaching dimension bou |
But some users note that in practice the | finite conductivity of metals may produce a similar e |
ich the image sensor is placed is said to be a | finite conjugate. |
For any other | finite connected graph G, the universal covering grap |
Every | finite connected vertex-transitive graph contains a H |
Every | finite connected Cayley graph contains a Hamiltonian |
ly considered to have unbounded length, only a | finite contiguous portion of the tape, whose length i |
book, Introductory Treatise on Lie's Theory of | Finite Continuous Transformation Groups, popularized |
This implies that, in principle RIXS has a | finite cross section for probing the energy, momentum |
An effect of the | finite crystallite sizes is seen as a broadening of t |
ult to map such a space BG continuously into a | finite CW complex X. |
For a | finite CW-complex K we have |
is the Eilenberg-MacLane space of the | finite cyclic group of order 2. |
a chemical process that converts monomers to a | finite degree of polymerization. |
There are many hundreds of solutions with | finite densities. |
If the shallowest goal node is at some | finite depth say d, breadth-first search will eventua |
for the chemical potential is obtained from a | finite difference approximation to the first order de |
He is co-author of a book called The | Finite Difference Time Domain Method for Electromagne |
He has made contributions in the areas of | finite difference methods, numerical methods for low |
onservation of momentum are solved by implicit | finite difference techniques with the variables defin |
puting networks of Director T-15 by applying a | finite difference method instead of differentiation. |
Often | finite difference methods are used to analyse these p |
his Differential Equations and the Calculus of | Finite Differences (1839) incorporated the new soluti |
an and statistician remembered for his work in | finite differences, interpolation and statistical the |
eld variables can be conveniently expressed as | finite differences, structured grids mainly appear in |
derivatives can be approximated by WORHP using | finite differences. |
His undergraduate thesis was on | Finite dimensional approximation in Seiberg-Witten th |
see that uniqueness does not hold even in the | finite dimensional setting. |
s does hold, however, when the convex set is a | finite dimensional simplex. |
A | finite dimensional simplex is a special cases of a Ch |
ollowing assumes all relevant state spaces are | finite dimensional. |
Let H1 and H2 be Hilbert spaces of | finite dimensions n and m respectively. |
e alleles model, an attempt to determine for a | finite diploid population what proportion of loci wou |
al dynamical system with map F: Kn → Kn is the | finite directed graph with vertex set Kn and directed |
of the cavern, which corresponds to no point a | finite distance away from Earth in the widely accepte |
electric field that decays monotonically for a | finite distance in the transverse direction but becom |
Prolog including constraint programming over a | finite domain, parsing using definite clause grammars |
cidable in general and even for functions with | finite domains often infeasible. |
s ship with at least one constraint solver for | finite domains, and often also with solvers for other |
He is known for his work in | finite elasticity, thermoelasticity and for formulati |
Impact is an open source | finite element program suite which can be used to pre |
Thomas J. R. Hughes and Englewood Cliffs, The | finite element method: linear static and dynamic fini |
Freeware) | finite element software package available for Microso |
for structural dynamics troubleshooting, NVH, | finite element model verification, validation and upd |
ity, Pomona teaching courses in structures and | Finite element method. |
He specialized in | Finite Element Analysis and graduated with his Master |
The test correlated to the | finite element analysis (FEA) using a quadrilateral m |
ponent of the system may be represented with a | finite element model, which allows for its flexible p |
industry and research for linear and nonlinear | finite element analysis of solids and structures, hea |
is a postscript to his 1985 book Analysis of a | Finite Element Method: PDE/PROTRAN. |
ere complex numerical simulations (e.g. by the | finite element method) are involved in the definition |
ade fundamental contributions in the nonlinear | finite element analysis of structures, heat transfer, |
ed the twelve bi-yearly conferences “Nonlinear | Finite Element Analysis and ADINA”, at M.I.T., 1977-1 |
R Simulation is a general-purpose multiphysics | finite element analysis software package developed by |
of a telescope mirror by another part, whereas | finite element analysis can be used to reduce such st |
For example, the | finite element method may be recast as a multigrid me |
Post processing of | finite element data generally requests additional sof |
kes it possible to make more and more detailed | finite element models, the file output of these progr |
In the | finite element method, the behavior (stresses, strain |
"To promote the safe and reliable use of | finite element and related technology" |
ue has been obtained very accurately using the | Finite element methods of J. Shertzer. |
he BRUFEM program is used to perform automated | finite element modeling, analysis, and load rating of |
Finite element models (FEM) are nowadays used to calc | |
gths of the institute, is in nonlinear dynamic | finite element analysis and its applications to solvi |
y for his work on mathematical analysis of the | finite element method especially applied to elasticit |
simple alternative to the advanced commercial | Finite Element codes available made by a group of col |
SAMCEF is a | finite element analysis (FEA) software package dedica |
w a car deforms in an asymmetrical crash using | finite element analysis. |
Advantages over | finite element methods are that DEM doesn't rely on a |
h in Bangalore, India for two years working in | finite element analysis. |
J. N. Reddy, An Introduction to the | Finite Element Method, 3rd ed., McGraw-Hill Education |
archers responsible for the development of the | Finite Element Method (FEM). |
In the late 1960s, | Finite Element Analysis software was confined to run |
Structural Analysis program, the software is a | finite element analysis (FEA) solver used to generate |
g environment mainly used for interacting with | finite element multiphysics models created by COMSOL |
lations are often used to build meshes for the | finite element method, because of the angle guarantee |
FETI was incorporated in several | finite element production and commercial software in |
This is what sets DUNE apart from other | finite element programs. |
. Bathe and E. L. Wilson, Numerical Methods in | Finite Element Analysis, Prentice-Hall, 1976. |
K. J. Bathe, | Finite Element Procedures in Engineering Analysis, Pr |
ciples and generalized variational principles, | finite element methods as well as the measurements of |
f equations, especially those arising from the | finite element method. |
SC‘s software flagship product, GENOA, couples | finite element analysis and micro-mechanics to track |
Strand7 is a | Finite Element Analysis (FEA) software product develo |
It has been used to partition meshes in | finite element analysis, and to determine specified, |
The | Finite Element Machine (FEM) was a late 1970s-early 1 |
FEM arose from the merger of two concepts: the | finite element method of structural analysis and the |
The | Finite Element Machine contained 32 processor boards |
le CAD/computer aided engineering (CAE) tools, | finite element structural analysis and computational |
ADINA is a commercial | finite element software which is developed and distri |
74) at UC Berkeley, Bathe et al. developed the | finite element programs SAP IV and NONSAP, which have |
piece distorted from the desired shape using a | finite element analysis (FEA). |
More information concerning post processing of | finite element data can be found on the website of Ae |
SfePy: | Finite element solver written in Python. |
veral different divisions: Design Engineering, | Finite Element Analysis, Training & Software, and Vir |
The software package COMSOL Multiphysics, for | finite element analysis of partial differential equat |
This code is based on the | Finite element method and is capable of performing st |
ith a major contributor to the creation of the | finite element method of analyzing aircraft structure |
e tools for working with computational meshes, | finite element variational formulations of PDEs, ODE |
MTL4 is used in different | finite element and finite volume packages, e.g. the F |
type appear on graph paper and may be used in | finite element analysis as well as finite volume meth |
Example of unstructured grid for a | finite element analysis mesh. |
FEMtools is designed to handle all sizes of | finite element and test models for a wide range of in |
D. Chapelle and K. J. Bathe, The | Finite Element Analysis of Shells - Fundamentals, Spr |
ANSA is a CAE tool for | Finite Element Analysis and CFD Analysis widely used |
Finite Element Method (FEM) / MoM where a FEM region | |
UFC - an interface for | finite element code generation |
enkiewicz, a pioneer in the development of the | finite element method in engineering science. |
The mesh is used for | finite element analysis. |
K. J. Bathe, | Finite Element Procedures, Prentice Hall, 1996. |
It is based on the | Finite Element Method. |
Range Software is | finite element analysis software package. |
nvolved in and developed to a large extent the | Finite Element Method along with Ray W. Clough and Ol |
structured grids and hence are very useful in | finite element and finite volume methods. |
Grids of this type may be used in | finite element analysis when the input to be analyzed |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |