We also adopt the following additional notations: • rst is a function de ned on non-empty lists, such that rst(a :: l′) def. a for all a, l′. • last is a function de ned on non-empty lists, computing their last elements: last(a :: nil) def. a and last(a :: b :: l′) def. last(b :: l′) for all a, b, l′. • length(l) is the length of a list l: length(nil) def. 0 and length(a :: l′) def. 1 + length(...

Given a pair of non-negative integers m and n, P (m,n) denotes a subset of 2-dimensional triangular lattice points defined by P (m,n) def. = {(xe1 + ye2) | x ∈ {0, 1, . . . , m − 1}, y ∈ {0, 1, . . . , n − 1}} where e1 def. = (1, 0), e2 def. = (1/2, √ 3/2). Let Tm,n(d) be an undirected graph defined on vertex set P (m,n) satisfying that two vertices are adjacent if and only if the Euclidean dis...

The purpose of this paper is to present an evaluation different types cement and the incidence Delayed Ettringite Formation (DEF) through mortar composites cast in laboratory exposed a high curing temperature over 12-month study period. DEF represents one Internal Sulfate Attacks (ISA) related expansive chemical reaction that occurs inside concrete involving sulfates from cement. Experiments in...

We consider CLS structures as extensions of loop structure as systems 〈 a carrier, a zero, an addition, an external multiplication 〉, where the carrier is a set, the zero is an element of the carrier, the addition is a binary operation on the carrier, and the external multiplication is a function from [: C, the carrier :] into the carrier. Let us observe that there exists a CLS structure which ...

in this paper, a new method is proposed to find the fuzzy optimal solution of fully fuzzy linear programming (abbreviated to fflp) problems. also, we employ linear programming (lp) with equality constraints to find a nonegative fuzzy number vector x which satisfies ax =b, where a is a fuzzy number matrix. then we investigate the existence of a positive solution of fully fuzzy linear system (ffls).

Over the last ten years, robustness of schemes has raised an increasing interest among the CFD community. The objective of this article is to solve the quasi-one-dimensional compressible flow inside a “Shubin nozzle” and to investigate Bean-Warming and flux vector splitting methods for numerical solution of compressible flows. Two different conditions have been considered: first, there is a sup...

Flowers of the temperature-sensitive DEFICIENS (DEF) mutant, def-101, display sepaloid petals and carpelloid stamens when grown at 26 degrees C, the non-permissive temperature. In contrast, when cultivated under permissive conditions at 15 degrees C, the morphology of def-101 flowers resembles that of the wild type. Temperature shift experiments during early and late phases of flower developmen...

Résumé – Dans cet article, nous proposons une méthode pour l’optimisation de la métrique d’un classifieur textuel à noyaux. Contrairement aux techniques populaires existantes, notre approche ne nécessite pas la définition explicite de règles sémantiques. Etant donné un ensemble d’apprentissage, l’algorithme proposé permet d’optimiser la matrice sémantique, sans qu’il soit nécessaire d’exhiber c...

background: to enhance the dose to tumor, the use of high atomic number elements has been proposed. objective: the aim of this study is to investigate the effect of gold nanoparticle distribution on dose enhancement in tumor when the tumor is irradiated by typical monoenergetic x-ray beams by considering homogeneous and inhomogeneous distributions of gold nanoparticles (gnps) in the tumor. meth...