Statistical modelling of CSP solving algorithms performance

The goal of this work is to try to create a statistical model, based only on easily computable parameters from the CSP problem to predict runtime behaviour of the solving algorithms, and let us choose the best algorithm to solve the problem. Although it seems that the obvious choice should be MAC, experimental results obtained so far show, that with big numbers of variables, other algorithms perfom much better, specially for hard problems in the transition phase.

Generating hard SAT/CSP instances using expander graphs

In this paper we provide a new method to generate hard k-SAT instances. We incrementally construct a high girth bipartite incidence graph of the k-SAT instance. Having high girth assures high expansion for the graph, and high expansion implies high resolution width. We have extended this approach to generate hard n-ary CSP instances and we have also adapted this idea to increase the expansion of the system of linear equations used to generate XORSAT instances, being able to produce harder satisfiable instances than former generators.

Edge matching puzzles as hard SAT/CSP benchmarks

Recently, edge matching puzzles, an NP-complete problem, have rececived, thanks to money-prized contests, considerable attention from wide audiences. We consider these competitions not only a challenge for SAT/CSP solving techniques but also as an opportunity to showcase the advances in the SAT/CSP community to a general audience. This paper studies the NP-complete problem of edge matching puzzles focusing on providing generation models of problem instances of variable hardness and on its resolution through the application of SAT and CSP techniques. From the generation side, we also identify the phase transition phenomena for each model. As solving methods, we employ both; SAT solvers through the translation to a SAT formula, and two ad-hoc CSP solvers we have developed, with different levels of consistency, employing several generic and specialized heuristics. Finally, we conducted an extensive experimental investigation to identify the hardest generation models and the best performing solving techniques.

Application of Information Statistical Theory to the Description of the Effect of Heat Conduction on the Chemical Reaction Rate in Gases

The effect of the heat flux on the rate of chemical reaction in dilute gases is shown to be important for reactions characterized by high activation energies and in the presence of very large temperature gradients. This effect, obtained from the second-order terms in the distribution function (similar to those obtained in the Burnett approximation to the solution of the Boltzmann equation), is derived on the basis of information theory. It is shown that the analytical results describing the effect are simpler if the kinetic definition for the nonequilibrium temperature is introduced than if the thermodynamic definition is introduced. The numerical results are nearly the same for both definitions

Potassium fertilization for pineapple: effects on soil chemical properties and plant nutrition

A field experiment was carried out on an Ultisol located at the city of Agudos (22º30'S; 49º03'W), in the state of São Paulo, Brazil, in order to determine the effects of rates and sources of potassium fertilizer on nutritional status of 'Smooth Cayenne' pineapple and on some soil chemical properties. The experiment was a complete factorial design with four rates (0, 175, 350, and 700 kg ha-1 of K2O) and three combinations of K sources (100% KCl, 100% K2SO4 and 40% K2SO4 + 60% KCl). Soil samples were taken from the depths 0-20 cm, 20-40 cm and 40-60 cm at planting and 14 months after. Nutritional status of pineapple plants was assessed by means of tissue analysis. Soil K availability increased with application of K fertilizer, regardless of K sources. Soil chlorine and Cl concentration in pineapple leaves increased with application of KCl or K2SO4+KCl. Plant uptake of potassium was shaped by soil K availability and by the application rates of K fertilizer, independently of K sources.

Spectroscopic ellipsometry study of the In1-x Gax Asy P1-y / InP Heterojunctions grown by metalorganic chemical-vapor deposition

The dielectric functions of InP, In0.53Ga0.47As, and In0.75Ga0.25As0.5P0.5 epitaxial layers have been measured using a polarization modulation spectroscopic ellipsometer in the 1.5 to 5.3 eV region. The oxide removal procedure has been carefully checked by comparing spectroscopic ellipsometry and x ray photoelectron spectroscopy measurements. These reference data have been used to investigate the structural nature of metalorganic chemical vapor deposition grown In0.53Ga0.47As/InP and In0.75Ga0.25As0.5P0.5/InP heterojunctions, currently used for photodiodes and laser diodes. The sharpness of the interfaces has been systematically compared for the two types of heterojunctions: In1 xGaxAsy/InP and InP/In1 xGaxAsyP1 y. The sharpest interface is obtained for InP growth on In0.75Ga0.25As0.5P0.5 where the interface region is estimated to be (10±10) Å thick. The importance of performing in situ SE measurements is emphasized.

Improvement of pyrolysis oil quality by scrubbing

Diplomityössä tutkittiin kuuman pyrolyysihöyryn puhdistamista haisevista ja kevyistä haihtuvista yhdisteistä. Työn kirjallisuusosassa selvitettiin pyrolyysiöljyn kannattavuutta uusiutuvana energialähteenä. Lisäksi eri pesurityyppejä tarkasteltiin ja ja vertailtiin. Työn kokeellisessa osassa käytettiin kahta erilaista koelaitteistoa. Tuotteen talteenotossa vertailtiin reaktorilämpötilan ja raaka-aineen kosteuden vaikutusta pyrolyysisaantoihin. Komponenttien talteenotossa tutkittiin epästabiilien ja pistävän hajuisten yhdisteiden poistamista kuumasta pyrolyysihöyrystä. Raaka-aineena käytettiin kuusen metsätäh-dehaketta, joka sisältää runsaasti neulasia ja kaarnaa. Kokeet toteutettiin lämpötila-alueella 460 - 520 °C. Koelaitteistot koostuivat kaasun (N2) syöttöjärjestelmään kytketystä kuumasta ja kyl-mästä puolesta. Tuotteen talteenotossa kuuma pyrolyysihöyry jäähdytettiin ja otettiin talteen. Komponenttien talteenotossa tuote kerättiin suodattimelle ja metyleeniklo-ridiloukkuun. Tuotteiden koostumukset analysoitiin kaasukromatokrafilla. Korkeimmat orgaaniset saannot saatiin 480 °C reaktorilämpötilalla ja 8-9 p-% raaka-ainekosteudella. Pyrolyysiveden määrä putosi raaka-aineen kosteutta nostettaessa. Eri reaktorilämpötiloilla ja raaka-ainekosteuksilla ei ollut vaikutusta hiiltosaantoihin. Kaasusaannot (pääosin CO2, CO ja hiilivedyt) olivat noin 10 p-%. Komponenttien talteenotossa suodatin tukkeutui matalissa (< 250 °C) lämpötiloissa. Suodattimelle jäänyt materiaali oli pääosin neulasista ja kaarnasta peräisin olevia uuteaineita (pääosin hartsi- rasvahappoja) ja sokereita. Korkeimmissa lämpötiloissa (> 250 °C) uuteaineet läpäisivät suodattimen paremmin. 250 ja 300 °C:n lämpötiloissa suuri määrä lyhytketjuisia helposti haihtuvia epästabiileja ja haisevia yhdisteitä (ketoneja, furaani- ja furfuraalijohdannaisia jne.) jäi metyleenikloridi- ja metanoliloukkuihin.

Use of the dried blood spot sampling process coupled with fast gas chromatography and negative-ion chemical ionization tandem mass spectrometry: application to fluoxetine, norfluoxetine, reboxetine, and paroxetine analysis.

The objective of this work was to combine the advantages of the dried blood spot (DBS) sampling process with the highly sensitive and selective negative-ion chemical ionization tandem mass spectrometry (NICI-MS-MS) to analyze for recent antidepressants including fluoxetine, norfluoxetine, reboxetine, and paroxetine from micro whole blood samples (i.e., 10 microL). Before analysis, DBS samples were punched out, and antidepressants were simultaneously extracted and derivatized in a single step by use of pentafluoropropionic acid anhydride and 0.02% triethylamine in butyl chloride for 30 min at 60 degrees C under ultrasonication. Derivatives were then separated on a gas chromatograph coupled with a triple-quadrupole mass spectrometer operating in negative selected reaction monitoring mode for a total run time of 5 min. To establish the validity of the method, trueness, precision, and selectivity were determined on the basis of the guidelines of the "Société Française des Sciences et des Techniques Pharmaceutiques" (SFSTP). The assay was found to be linear in the concentration ranges 1 to 500 ng mL(-1) for fluoxetine and norfluoxetine and 20 to 500 ng mL(-1) for reboxetine and paroxetine. Despite the small sampling volume, the limit of detection was estimated at 20 pg mL(-1) for all the analytes. The stability of DBS was also evaluated at -20 degrees C, 4 degrees C, 25 degrees C, and 40 degrees C for up to 30 days. Furthermore, the method was successfully applied to a pharmacokinetic investigation performed on a healthy volunteer after oral administration of a single 40-mg dose of fluoxetine. Thus, this validated DBS method combines an extractive-derivative single step with a fast and sensitive GC-NICI-MS-MS technique. Using microliter blood samples, this procedure offers a patient-friendly tool in many biomedical fields such as checking treatment adherence, therapeutic drug monitoring, toxicological analyses, or pharmacokinetic studies.

Chemical, physico-chemical and sensory characterization of mixed açai (Euterpe oleracea) and cocoa´s honey (Theobroma cacao) jellies

Four formulations of mixed açaí (Euterpe oleracea) (A) and cocoa´s honey (Theobroma cacao) (CH) jellies were prepared according to the following proportions: T1 (40% A:60% CH), T2 (50% A:50% CH), T3 (60% A: 40% CH) and T4 (100% A - control). All formulations were prepared using a rate 60:40 (w/w) of sucrose and pulp, plus 0.5% pectin and the products reached to average of 65% soluble solids content. The jellies were analyzed by chemical and physicochemical (titratable acidity, pH, soluble solid content, dry matter, total protein, lipids, vitamin C and calories) and sensory characteristics; also were evaluated levels of P, K, Ca, Mg, Fe, Zn, Cu and Mn. It was used a hedonic scale of 7 points to evaluate the attributes: overall impression, spreadability, brightness, flavor, texture and color, and also was verified the purchase intention score. The titratable acidity and pH ranged from 0.46 to 0.64% and 3.35 to 3.64, respectively, that are within the range found at most fruit jellies. The soluble solids content ranged between 65.2 and 65.5 ºBrix. The sensory acceptance results showed that all treatments (T1, T2, T3 and T4) presented means of sensory attributes above 4, demonstrating good acceptance of the product, but the treatment T1 presented the higher scores for the evaluated attributes. Cocoa´s honey added a positive influence on the attributes of color, texture and spreadability.

Repeatability, correlation and path analysis of physical and chemical characteristics of peach fruits

This study aimed to determine the number of measurements necessary to evaluate physical and chemical characteristics of peach fruits, study the relationships between them and their direct and indirect effects on the content of ascorbic acid and total carotenoids. The characteristics skin and pulp color, fruit weight, suture, equatorial and polar diameters, firmness, soluble solids (SS), titratable acidity (TA), SS/TA ratio, ascorbic acid and total carotenoids were evaluated in 39 cultivars of peach and 3 cultivars of nectarine from the orchard of the Universidade Federal de Viçosa. The repeatability coefficient was estimated by ANOVA and CPCOR. Phenotypic correlation coefficients (rf) were estimated and, after the multicollinearity diagnostics, they were unfolded to direct and indirect effects of the explanatory variables on the response variable using path analysis. There was agreement on the magnitude of repeatability coefficients obtained by the two methods; however, they varied among the 14 characteristics. The highest correlations were found between FW, SD, ED and PD. Seven fruits are sufficient to evaluate the physical and chemical characteristics of peach with a correlation coefficient of 90%. The characteristics considered in the path diagrams (b* skin, hº skin, b* pulp, hº pulp, ED, PD, FIR, SS, SS/AT and TC) are not the main determinants of the ascorbic acid. The yellow hue of the pulp (hº pulp) has the potential to be used in indirect selection for total carotenoids.

Characterization of the chemical composition of the essential oils from Annona emarginata (Schltdl.) H. Rainer 'terra-fria' and Annona squamosa L.

The objective of this study was to characterize the chemical composition of the essential oil from the leaves of Annona emarginata (Schltdl.) H. Rainer 'terra-fria' and Annona squamosa L. The species were grown in a greenhouse for 18 months, which nutrient solution was applied weekly; the plants were then harvested and the leaves dried to extract the essential oil. The essential oil was analyzed by gas chromatography and mass spectrometry to study its chemical profiles. Eleven substances were found in the essential oil of A. emarginata, primarily (E)-caryophyllene (29.29%), (Z)-caryophyllene (16.86%), γ-muurolene (7.54%), α-pinene (13.86%), and tricyclene (10.04%). Ten substances were detected in the oil from A. squamosa, primarily (E)-caryophyllene (28.71%), (Z)-caryophyllene (14.46%), α-humulene (4.41%), camphene (18.10%), α-pinene (7.37%), β-pinene (8.71%), and longifolene (5.64%). Six substances were common to both species: (E)-caryophyllene, (Z)-caryophyllene, α-humulene, camphene, α-pinene, and β-pinene.

Optoelectronic studies in nanocrystalline silicon Schottky diodes obtained by Hot-Wire Chemical Vapour Deposition

The very usual columnar growth of nanocrystalline silicon leads to electronic transport anisotropies. Whereas electrical measurements with coplanar electrodes only provide information about the electronic transport parallel to the substrate, it is the transverse transport which determines the collection efficiency in thin film solar cells. Hence, Schottky diodes on transparent electrodes were obtained by hot-wire CVD in order to perform external quantum efficiency and surface photovoltage studies in sandwich configuration. These measurements allowed to calculate a transverse collection length, which must correlate with the photovoltaic performance of thin film solar cells. Furthermore, the density of charge trapped at localized states in the bandgap was estimated from the voltage dependence of the depletion capacitance of these rectifying contacts.

Botulinum neurotoxin type A blocks the morphological changes induced by chemical stimulation on the presynaptic membrane of Torpedo synaptosomes.

The action of botulinum neurotoxin on acetylcholine release, and on the structural changes at the presynaptic membrane associated with the transmitter release,was studied by using a subcellular fraction of cholinergic nerve terminals (synaptosomes) isolated from the Torpedo electric organ. Acetylcholine and ATP release were continuously monitored by chemiluminescent methods.To catch the membrane morphological changes, the quick-freezing method was applied. Our results show that botulinum neurotoxin inhibits the release of acetylcholine from these isolated nerve terminals in a dose-dependent manner, whereas ATP release is not affected. The maximal inhibition (70%) is achieved at neurotoxin concentrations as low as 125 pM with an incubation time of 6 min. This effect is not linked to an alteration of the integrity of the synaptosomes since, after poisoning by botulinum neurotoxin type A, they show a nonmodified occluded lactate dehydrogenase activity. Moreover, membrane potential is not altered by the toxin with respect to the control, either in resting condition or after potassium depolarization. In addition to acetylcholine release inhibition, botulinum neurotoxin blocks the rearrangement of the presynaptic intramembrane particles induced by potassium stimulation. The action of botulinum neurotoxin suggests that the intramembrane particle rearrangement is related to the acetylcholine secretion induced by potassium stimulation in synaptosomes isolated from the electric organ of Torpedo marmorata.