Functional programming systems revisited

Functional Programming (FP) systems are modified and extended to form Nondeterministic Functional Programming (NFP) systems in which nondeterministic programs can be specified and both deterministic and nondeterministic programs can be verified essentially within the system. It is shown that the algebra of NFP programs has simpler laws in comparison with the algebra of FP programs. "Regular" forms are introduced to put forward a disciplined way of reasoning about programs. Finally, an alternative definition of "linear" forms is proposed for reasoning about recursively defined programs. This definition, when used to test the linearity of forms, results in simpler verification conditions than those generated by the original definition of linear forms.

Time- and Temperature-Dependent Study in the Three-Component Zinc-Triazolate-Oxybis(benzoate) System: Stabilization of New Topologies

Three new three-dimensional zinc-triazolate-oxybis(benzoate) compounds. [{Zn-3(H2O)(2)}{C12H8O(COO)(2)}(2)-{C2H2N3}(2)]center dot 2H(2)O(I), [Zn-7{C12H8O(COO)(2)}(4){C2H2N3}(6)]center dot H2O, (II), and[{Zn-5(OH)(2)}{C12H8O(COO)(2)}(3){C2H2N3}(2)] (III), synthesized by a hydrothermal reaction of a mixture of Zn(OAc)(2)center dot 2H(2)O, 4,4'-oxybis(benzoic acid), 1,2,4-triazole, NaOH, and water. Compound I has an interpenetrated diamond structure and II and III have pillared-layer related structures. The formation of a hydrated phase (I) at low temperature and a completely dehydrated phase (III) at high temperature suggests the importance of thermodynamic factors in the formation of three compounds. Transformation studies of I in the presence of water shows the formation of a simple Zn-OBA compound, [Zn(OBA)(H2O)] (IV), at 150 and 180 degrees C and compound III at 200 degrees C. The compounds have been characterized by single-crystal X-ray diffraction, powder X-ray diffraction. thermogravimetric analysis, IR, and photoluminescence studies.

Interval Data Classification under Partial Information: A Chance-Constraint Approach

This paper presents a Chance-constraint Programming approach for constructing maximum-margin classifiers which are robust to interval-valued uncertainty in training examples. The methodology ensures that uncertain examples are classified correctly with high probability by employing chance-constraints. The main contribution of the paper is to pose the resultant optimization problem as a Second Order Cone Program by using large deviation inequalities, due to Bernstein. Apart from support and mean of the uncertain examples these Bernstein based relaxations make no further assumptions on the underlying uncertainty. Classifiers built using the proposed approach are less conservative, yield higher margins and hence are expected to generalize better than existing methods. Experimental results on synthetic and real-world datasets show that the proposed classifiers are better equipped to handle interval-valued uncertainty than state-of-the-art.

Time evolution of graphene growth on SiC as a function of annealing temperature

We followed by X-ray Photoelectron Spectroscopy (XPS) the time evolution of graphene layers obtained by annealing 3C SiC(111)/Si(111) crystals at different temperatures. The intensity of the carbon signal provides a quantification of the graphene thickness as a function of the annealing time, which follows a power law with exponent 0.5. We show that a kinetic model, based on a bottom-up growth mechanism, provides a full explanation to the evolution of the graphene thickness as a function of time, allowing to calculate the effective activation energy of the process and the energy barriers, in excellent agreement with previous theoretical results. Our study provides a complete and exhaustive picture of Si diffusion into the SiC matrix, establishing the conditions for a perfect control of the graphene growth by Si sublimation.

Thermal Expansivities and Temperature Coefficients of Refractive Indices for Molten Salts

An empirical relation for temperature–independent molar polarization is suggested. When this relation was used, the thermal expansivity was estimated correctly from refractive index data.

Amide-based Room Temperature Molten Salt as Solvent cum Stabilizer for Metallic Nanochains

A simple and efficient method for spontaneous organization of long assemblies of gold nanoparticles is described. This is achieved in a molten solvent containing acetamide, urea and ammonium nitrate that acts as a solvent cum stabilizer. There is no external aggregating agent or stabilizing agent added to the system. Depending on the concentration of the metal salt in the ternary melt, either chain-like assemblies or individual nanoparticles could be obtained. The amine groups present in the components of the melt (acetamide and urea) help in the stabilization of nanoparticles. Ammonium ions present in the eutectic mixture are likely to assist in the organization of the particles. The method is simple, highly reproducible and does not require any templating agent for the formation of chain-like assemblies.

Silvicultural decisions based on simulation-optimization systems

Forest management is facing new challenges under climate change. By adjusting thinning regimes, conventional forest management can be adapted to various objectives of utilization of forest resources, such as wood quality, forest bioenergy, and carbon sequestration. This thesis aims to develop and apply a simulation-optimization system as a tool for an interdisciplinary understanding of the interactions between wood science, forest ecology, and forest economics. In this thesis, the OptiFor software was developed for forest resources management. The OptiFor simulation-optimization system integrated the process-based growth model PipeQual, wood quality models, biomass production and carbon emission models, as well as energy wood and commercial logging models into a single optimization model. Osyczka s direct and random search algorithm was employed to identify optimal values for a set of decision variables. The numerical studies in this thesis broadened our current knowledge and understanding of the relationships between wood science, forest ecology, and forest economics. The results for timber production show that optimal thinning regimes depend on site quality and initial stand characteristics. Taking wood properties into account, our results show that increasing the intensity of thinning resulted in lower wood density and shorter fibers. The addition of nutrients accelerated volume growth, but lowered wood quality for Norway spruce. Integrating energy wood harvesting into conventional forest management showed that conventional forest management without energy wood harvesting was still superior in sparse stands of Scots pine. Energy wood from pre-commercial thinning turned out to be optimal for dense stands. When carbon balance is taken into account, our results show that changing carbon assessment methods leads to very different optimal thinning regimes and average carbon stocks. Raising the carbon price resulted in longer rotations and a higher mean annual increment, as well as a significantly higher average carbon stock over the rotation.

The effect of temperature on height growth of Scots pine in northern Finland

The effect of temperature on height growth of Scots pine in the northern boreal zone in Lapland was studied in two different time scales. Intra-annual growth was monitored in four stands in up to four growing seasons using an approximately biweekly measurement interval. Inter-annual growth was studied using growth records representing seven stands and five geographical locations. All the stands were growing on a dry to semi-dry heath that is a typical site type for pine stands in Finland. The applied methodology is based on applied time-series analysis and multilevel modelling. Intra-annual elongation of the leader shoot correlated with temperature sum accumulation. Height growth ceased when, on average, 41% of the relative temperature sum of the site was achieved (observed minimum and maximum were 38% and 43%). The relative temperature sum was calculated by dividing the actual temperature sum by the long-term mean of the total annual temperature sum for the site. Our results suggest that annual height growth ceases when a location-specific temperature sum threshold is attained. The positive effect of the mean July temperature of the previous year on annual height increment proved to be very strong at high latitudes. The mean November temperature of the year before the previous had a statistically significantly effect on height increment in the three northernmost stands. The effect of mean monthly precipitation on annual height growth was statistically insignificant. There was a non-linear dependence between length and needle density of annual shoots. Exceptionally low height growth results in high needle-density, but the effect is weaker in years of average or good height growth. Radial growth and next year s height growth are both largely controlled by current July temperature. Nevertheless, their growth variation in terms of minimum and maximum is not necessarily strongly correlated. This is partly because height growth is more sensitive to changes in temperature. In addition, the actual effective temperature period is not exactly the same for these two growth components. Yet, there is a long-term balance that was also statistically distinguishable; radial growth correlated significantly with height growth with a lag of 2 years. Temperature periods shorter than a month are more effective variables than mean monthly values, but the improvement is on the scale of modest to good when applying Julian days or growing-degree-days as pointers.