18 eredmény a kulcsszóra: 'software verification'
The following result is useful in providing the best quadrature rule in the class for approximating the integral of a function f : [a, b] → R whose first derivative is
N/A
The following result is useful in providing the best quadrature rule in the class for approxi- mating the integral of a function f : [a, b] → R whose first derivative is
N/A
In case of the inductor only the distance between the pole surfaces, signed by d and the number of turns, signed by N and in connection with it the width of the conductor m
N/A
Fore limb, loin and hind limb cuts of California and New Zealand white rabbits (both sexes) of a marketable age (2 and 3 months) were used to study the
N/A
RASSIAS (Eds.), Ostrowski Type Inequalities and Applications in Numerical Integration, Kluwer Academic Publishers, Dordrecht, 2002..
N/A
(a közoktatás központi értékelési rendszere, a központi mérésekkel kapcsolatos intézményi szervezési, szakmai feladatok, a mérési eredmények beépítése a
N/A
Line 474 – earlier Fusarium resistant (alias 484), high Mn level in the ear 1/a – inoculated with Fusarium culmorum. 2/a – inoculated with
N/A
This study was to examine the effects of aerobic continuous training (ACT) and aerobic interval training (AIT) on irisin and chemerin levels of liver tissue (LT) and visceral
N/A
Our data suggest that HPV-KER cells show more similar characteristics in their induced gene and protein expression patterns after UV-B irradiation to NHKs then HaCaT
N/A
The same pattern as for the fresh TG was seen in the vehicle-treated animals (Fig. 5g-i) treated rats, CGRP immunoreactivity was observed in the neurons and nerve fibres at all
N/A
The first nine units are concerned with some important aspects of phrasal verbs, such as the grammar of phrasal verbs, phrasal nouns, phrasal adjectives, collocation and
N/A
A kép rekonstrukciója úgy történik, hogy a hologramot (az előhívott fotolemezt) az eredeti kitágított lézersugárral megvilágítjuk.. A hologram pontjain (mint
N/A
DEBNATH, Some inequalities involving the constant e and an application to Carleman’s
N/A
Instrumental role: real income indicators (World Bank) other welfare indicators (for instance: unemployment). are excluded because of
N/A
In: IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.. “Petri nets: Properties, analysis
N/A
zést arra, hogy 1932-ben már 115 család foglalkozott selyemguhótermeléssel, de saj- nos olyan balsikerrel, hogy mindössze 9 pengő kereset jutott egy-egy termelő csa- ládra. Azokon
N/A
The aim of this paper is to give a generalization of the integration-by- parts formula (1.1), by replacing the w 0 -Appell type sequence of functions by a more general sequence
N/A