A sequence S is potentially Kp,1,1 graphical if it has a realization containing a Kp,1,1 as a subgraph, where Kp,1,1 is a complete 3-partite graph with partition sizes p, 1, 1. Let σ(Kp,1,1, n) denote the smallest degree sum such that every n-term graphical sequence S with σ(S) ≥ σ(Kp,1,1, n) is potentially Kp,1,1 graphical. In this paper, we prove that σ(Kp,1,1, n) ≥ 2[((p + 1)(n − 1) + 2)/2] ...

We consider an extremal problem for graphs as introduced by Erdős, Jacobson and Lehel in [7]. Let π be an n-element graphic sequence. Let H be a graph. We wish to determine the smallest m such that any nterm graphic sequence π whose terms sum to at least m has some realization containing H as a subgraph. Denote this value m by σ(H, n). For an arbitrarily chosen H, we give a construction that yi...

Several vegetation indices (VI) derived from handheld spectroradiometer reflectance data in the visible spectral region were tested for modelling grapevine water status estimated by the predawn leaf water potential (Ψpd). The experimental trial was carried out in a vineyard in Douro wine region, Portugal. A statistical approach was used to evaluate which VI and which combination of wavelengths ...

Personal goals are difficult to achieve and healthy habits are not as simple to maintain as people would like to. Often, humans look for help to change unwanted behavior. Technology could help us to overcome the daily struggle faced during the search for behavior improvement. The Persuasive Mirror is an example of how computerize persuasion, in the form of visual feedback, could give the needed...

Often, theorem checkers like PVS are used to check an existing proof, which is part of some document. Since there is a large diierence between the notations used in the documents and the notations used in the theorem checkers, it is usually a laborious task to convert an existing proof into a format which can be checked by a machine. In the system that we propose, the author is assisted in the ...

The reactions of 1 - chloro - 2 - nitro benzene with 2 - Amino thio phenol yield the 2 - ( ( nitro phenyl ) thio ) aniline and then 2 , 2' - thio dianiline of this compound was prepared . Also the symmetrical potentially pentadentate N 2 O 2 S Schiff base ligand 2 , 2' - ( ( ( thio bis (1 , 2 - phenylene ) ) bis ( azanilidene ) ) bis ( methenilidene ) ) diphenol ( H 2 L ) obtain by added salicy...

The applicability of model-checking is often restricted by the size of the considered system. To overcome this limitation, a number of techniques have been investigated. Prominent among these are data independence, abstraction, and compositionality. This paper presents a methodology based on deductive reasoning and model-checking which combines these techniques. As we show, the combination of a...