The languages of finitary and infinitary logic over the alphabet of bounded lattices have proven to be of considerable use in the study of compacta. Significant among the sentences of these languages are the ones that are base free, those whose truth is unchanged when we move among the lattice bases of a compactum. In this paper we define syntactically the expansive sentences, and show each of ...

AIM The objective of the present study was to analyze beef consumption, conjugated linoleic acid (CLA) and n-3 fatty acid (FA) serum concentration and their relation to salivary gland tumors (SGT). A questionnaire on non-nutritional risk factors and a validated food frequency questionnaire were applied in 20 SGT and 20 control (Co) patients. MATERIALS AND METHODS Food data were processed by t...

in this study, magnetic iron oxide nanoparticles (fe3o4) with the size range of 20-30 nm were prepared by the modified controlled chemical co-precipitation method from the solution of ferrous/ferric mixed salt-solution in alkaline medium. in this process polyethylene glycol was used as a surfactant to prevent the solution from agglomeration. the prepared magnetic nanoparticles were characterize...

in this study, sio2 nanoparticles were successfully synthesized via sol-gel precipitation method and the effects of different parameters such as temperature, ethanol, ammonia and tetraethylorthosilicate (teos) contents based on water were investigated in a systematic way applying taguchi experimental design method. it was found that, among all the investigated parameters, ethanol as a co-solven...

In October 2012, the humanoid robot HRP-2 was presented during a live demonstration performing fine-balanced dance movements with a human performer in front of more than 1000 people. This success was possible by the systematic use of operational-space inverse dynamics to compute dynamically consistent movements following a motion capture pattern demonstrated by a human choreographer. The first ...

De novo membrane protein structure prediction is limited to small proteins due to the conformational search space quickly expanding with length. Long-range contacts (24+ amino acid separation)-residue positions distant in sequence, but in close proximity in the structure, are arguably the most effective way to restrict this conformational space. Inverse methods for co-evolutionary analysis pred...

We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-occurrence matrix analysis and are angular second moment, correlation, inverse difference moment and entropy. The proposed system was evaluated using input images with resolutions that range from 512×512 to 2048×2048 p...

During 1984-2000, canopy tree growth in old-growth tropical rain forest at La Selva, Costa Rica, varied >2-fold among years. The trees' annual diameter increments in this 16-yr period were negatively correlated with annual means of daily minimum temperatures. The tree growth variations also negatively covaried with the net carbon exchange of the terrestrial tropics as a whole, as inferred from ...