a simple view definitionlanguage for the collaborativedevelopment of ontologies

... Science and Technology (AIST), Tsukuba, Japan S Tagawa Osaka University, Osaka, Japan Atsushi Tanaka Larry H Toburen Shuzo Uehara Masatoshi Ukai Andre´ Wambersie Mariusz Wojcik Japan Atomic Energy ... necessarily the same as that for the free atom That this contribution remains the same in each case indicates the similarity of that atomic participation in various compounds The apparent success of ... proportional to the inverse of the square of the mass of the accelerated charge Thus the probability of radiative energy loss by a proton is a few million times smaller than that for an electron, and for...

Ngày tải lên: 29/06/2014, 11:20

... generator only translates the lattice as a whole; the relative positions of the lattice points remain unchanged As a result the choice of c is immaterial to the quality of a type A generator and the ... the standard error (s.e.) of the statistic and varies as 1/ n Therefore, to change the standard error by a factor of K, say, requires the sample size to change by a factor of 1/K Thus, extra ... examples from the reliability area since the repair and maintenance of systems is another area that interests me Maple has been quite adequate for the examples discussed in this chapter For larger...

Ngày tải lên: 07/03/2014, 15:20

... as those in Therorem 2.1 to the case of elliptic systems is a very hard task Of course, the lack of comparison or suitable variational approaches arise as the main sources of difficulty In fact, ... tribute to the great mathematician, colleague and friend, J Esquinas Candenas Also, I want to thank to J Esquinas, the advice about the lectures that I had to take to complete my scientific formation ... Spectral Theory and Nonlinear Analysis with Applications to Spatial Ecology This page intentionally left blank Spectral Theory and Nonlinear Analysis with Applications to Spatial Ecology Universidad...

Ngày tải lên: 23/03/2014, 01:20

... Arunabhasen of Arizona State University, and Professor Mario Gerla of the University of California at Los Angeles Finally, we thank the entire team at Prentice Hall for their understanding, cooperation ... is best achieved by packaging the idea in a telling example We often leave to the reader the task of generalizing the jist of an example into a general rule Creating a program leads the student ... part of the text and melts into the text in the same way as a paragraph, a formula, or a picture does There are also formal notations and systems designed to support a style of programming that integrates...

Ngày tải lên: 08/05/2014, 18:16

... 2.2 Formulation of the Batch Presorting Problem 2.2.1 Feasible Permutations 2.2.2 Mathematical Formulation of and 2.2.3 Mathematical Formulation of 2.2.3.1 An Optimization Version of 2.2.3.2 An ... objects for the second pair Calculate the value of 10 Assign temporarily i.e., keep the order of objects for the second pair and change the order of objects for the first pair 11 Calculate the value ... value of 12 Assign temporarily i.e., to change the order of both: the first pair of objects and the second pair of objects 13 Calculate the value of 14 Compare the values of value, then finally assign...

Ngày tải lên: 01/06/2014, 10:31

... get a concrete example of a linear space The reader can easily verify that each of the following examples satisfies all the axioms for a real linear space EXAMPLE Let V = R , the set of all real ... Reduction of a real quadratic form to a diagonal form 5.14 Applications to analytic geometry 5.15 Exercises A5 .16 Eigenvalues of a symmetric transformation obtained as values of its quadratic form ... 11.29 Proof of the transformation formula in a special case 11.30 Proof of the transformation formula in the general case 11.31 Extensions to higher dimensions 11.32 Change of variables in an n-fold...

Ngày tải lên: 12/06/2014, 16:22

... examples from the reliability area since the repair and maintenance of systems is another area that interests me Maple has been quite adequate for the examples discussed in this chapter For larger ... the standard error (s.e.) of the statistic and varies as 1/ n Therefore, to change the standard error by a factor of K, say, requires the sample size to change by a factor of 1/K Thus, extra ... there is always some error, and so a quantification of the precision is essential, and forms an important part of the design and analysis of the experiment 1.1 Evaluating a definite integral Suppose...

Ngày tải lên: 09/08/2014, 16:21

... generator only translates the lattice as a whole; the relative positions of the lattice points remain unchanged As a result the choice of c is immaterial to the quality of a type A generator and the ... easy to show (see Problem 5) for both type A and B generators that for all but small values of the period , the mean 1 and variance of Ri i = − are close to and 12 , as must be the case for a ... part of the ‘SUPER-DUPER’ random number suite (Marsaglia, 1972; Marsaglia et al., 1972) Its statistical properties are quite good and have been investigated by Anderson (1990) and Marsaglia and...

Ngày tải lên: 09/08/2014, 16:21

... variates from standard distributions (a) Use the standard results for the mean and variance of a lognormally distributed random variable to show that the mean and standard deviation of X t are given ... Maple to reduce the mathematical labour, show that the probability of acceptance is √ + −1 1− /2 /2 Plot the probability of acceptance as a function of and comment upon the efficiency of the algorithm ... example, if X ∼ N then the antithetic variate is − X If the antithetic variate is generated at the same time as the primary variate (as in the procedure ‘theta_combined’) this saves computation time...

Ngày tải lên: 09/08/2014, 16:21

... for Table 6.2 A comparison of naive Monte Carlo (asiannaive) with combined importance and post stratification (asianimppoststrat) for an Asian average price call asiannaivea asianimppoststratb ... (part of the Maple finance package) is used to calculate the price of a European call on a share that currently at time t = 23/252 years (there are 252 trading days in a year) has a price of ... average asset price during T The average price put has payoff + K −X T (6.25) an average strike call has payoff X T −X T + X T −X T + and an average strike put has payoff In all these cases the average...

Ngày tải lên: 09/08/2014, 16:21

... upon the state of the system but merely upon the passage of the correct amount of time An example of a bound event is an arrival Once an arrival has occurred at an event, the time of the next arrival ... It may be static or dynamic For example, an aircraft will have a number of seats (static) but the number of passengers occupying them (dynamic) may vary during the simulation A particular attribute ... However, the holder of a forward contract has the obligation to so The derivation of the price of such a derivative is easier than that for a call option: (a) Consider a portfolio A consisting at time...

Ngày tải lên: 09/08/2014, 16:21

... variates Indicate clearly which candidate variates are accepted (state of Markov chain changes) and which are rejected (state unchanged) Start with x = R1 (for candidate variate) R2 (for acceptance ... different iterations (since the parameter values, being the values of the remaining components, have also changed) This means that the univariate sampling methods adopted will need to have a small set-up ... arbitrarily to 1) In empirical Bayes the data are used to estimate the hyperparameters and therefore the prior distribution Here a true Bayesian approach is adopted It is supposed that a subjective...

Ngày tải lên: 09/08/2014, 16:21

... changes are machine breakdowns, completion of machine repairs, and completion of machine tests Conditional state changes are repair starts and testing starts Let the time of the next state change ... deposited at the hospital) Conditional state changes are starts of service (ambulances despatched to patients) For each of the five ambulances it is necessary to store (i) the time at which it ... zero has zero value No money passes between A and B at that time This is a standard forward contract At time zero, the writer of the option sets up a portfolio consisting of a −1 call option and...

Ngày tải lên: 09/08/2014, 16:21

... geninvgaussian:=proc(lambda,beta) local 6 gam ,a1 ,a2 ,a3 ,a4 ,r,j,x; 6 if lambda>0 then 6 if beta>0 then 6 gam:=2*lambda^2*(sqrt(1+(beta/lambda)^2)-1)/beta; 6 a1 :=0.5*(beta-gam); 6 a2 :=0.5*beta; 6 a3 :=sqrt(beta*(beta-gam)); ... naive Monte Carlo #sample size =m #computes central limit approximation for comparison # mean:=n*alpha/(alpha+beta); std_dev:=sqrt(n*alpha*beta/(alpha+beta+1)/(alpha+beta)^2); print("alpha"=alpha,"beta"=beta,"n"=n,"mean ... Asian option 6.6.1 Naive Monte Carlo The procedure ‘asiannaive’ computes the price of an Asian call option (arithmetic average) using standard Monte Carlo with no variance reducation The parameters...

Ngày tải lên: 09/08/2014, 16:21

... gam1:=1/gam;beta1:=1/beta; gam2:=evalf(GAMMA(gam1+1)); gam3:=evalf(GAMMA(2/gam+1)); beta2:=evalf(GAMMA(beta1+1)); beta3:=evalf(GAMMA(2/beta+1)); print("Mean inter-arrival time"=gam2/lambda, "Std dev of ... gg1:=proc(lambda,mu,gam,beta,n,seed1,seed2) local rho,seeda,seedb,m,clock,L,Lp ,a, d,reward,k,tau,prev,delta, u,v,R,tau,TAU,b1,b2 ,a1 ,a2 ,a3 ,a4 ,a5 ,a6 ,f,stderr ,a7 ,gam1, beta1,gam2,gam3,beta2,beta3,v1; gam1:=1/gam;beta1:=1/beta; ... a5 :=stats[describe,covariance](b1,b2); a6 : =a1 /a2 ; a7 : =a6 *(1+ (a5 /a1 /a2 -a4 /a2 /a2 )/n); #a7 IS MODIFIED RATIO ESTIMATOR OF TIN, M.(1965),JASA, 60, 294-307 f: =a3 +a4 *a7 ^2-2 *a7 *a5 ; stderr:=sqrt(f/n) /a2 ;...

Ngày tải lên: 09/08/2014, 16:21

... coverage of the sample space for the same number 6 of variates However, naive sampling of independent truncated variates by sampling from a full gamma leads to a probability of acceptance of the following ... print("Bayes estimate failure rate pump",kk,"is",failrate[kk]); end do: xa[1]:="lambda[1]":xa[2]:="lambda[2]":xa[3]:="lambda[3]":x a[ 4]:="lambda[4]":xa[5]:="lambda[5]": xa[6]:="lambda[6]":xa[7]:="lambda[7]":xa[8]:="lambda[8]":x ... a[ 4]:="lambda[4]":xa[5]:="lambda[5]": xa[6]:="lambda[6]":xa[7]:="lambda[7]":xa[8]:="lambda[8]":x a[ 9]:="lambda[9]":xa[10]:="lambda[10]": A: =array(1 5,1 2): for i from to do: A[ i,1]:=display({ statplots[histogram](v2[2*i-1]),plot(u/k,lambda=ms[2*i-1]*...

Ngày tải lên: 09/08/2014, 16:21

Ngày tải lên: 14/11/2014, 12:59

... LITERATURE REVIEW Boerhaavia chinensis[w1] Boerhaavia coccinea[w2] Boerhaavia coulteria[w3] Boerhaavia diffusa[w4] Boerhaavia erecta[w5] Boerhaavia gracillima[w6] Boerhaavia herbstii[w7] Boerhaavia ... in India They are Boerhaavia diffusa, Boerhaavia erecta, Boerhaavia rependa, Boerhaavia chinensis, Boerhaavia hirsute and Boerhaavia rubicunda.[41] This genus Boehaavia represented in Taiwan by ... Boerhaavia intermedia[w8] Boerhaavia linearifolia[w9] Boerhaavia purpurascens[w11] Boerhaavia repens[w12] Boerhaavia pterocarpa[w10] Boerhaavia scandens[w13] Boerhaavia triquetra[w15] Boerhaavia tetrendra[w14]...

Ngày tải lên: 24/08/2015, 12:40

... from Karnataka, India Chauhan and Abraham [14] showed the inhibitory effect of methanol extract of Parmotrema sp collected from Kodaikanal forest, India against clinical isolates of bacteria Javeria ... of Western Ghats of Tamil Nadu Kumar et al [50] showed the antibacterial activity of methanol extract of P pseudotinctorum from the Western Ghats of Karnataka Sinha and Biswas [69] reported the ... protocetraric acid isolated from the lichens Parmotrema dilatatum (Vain.) Hale and Parmotrema lichexanthonicum Eliasaro & Adler were evaluated against UACC-62 and B16-F10 melanoma cells and 3T3 normal...

Ngày tải lên: 15/12/2015, 15:22

... association between the two, then the data from each location could be analyzed separately as a univariate data (that is, not as a bivariate data) 1.5.3 The Maximum Car Speed Data The bivariate ... random variable X is the positive square root of its variance The mean can be thought of as a measure of center and the standard deviation (or, equivalently, the variance) as a measure of spread or ... indicate that a fault, which is 50 km away from the plant, is the main cause of earthquakes in the area 1.4.8 Chain Strength Data A set of 20 chain links have been tested for strength and the...

Ngày tải lên: 17/02/2016, 14:36