Machine Learning in Automatic Tabulation for Constraint Model Reformulation

Combinatorial decision and optimization problems belong to numerous applications, such as logistics and scheduling, and can be solved with various approaches. Boolean Satisfiability and Constraint Programming solvers are some of the most used ones and their performance is significantly influenced by the model chosen to represent a given problem. This has led to the study of model reformulation methods, one of which is tabulation, that consists in rewriting the expression of a constraint in terms of a table constraint. To apply it, one should identify which constraints can help and which can hinder the solving process. So far this has been performed by hand, for example in MiniZinc, or automatically with manually designed heuristics, in Savile Row. Though, it has been shown that the performances of these heuristics differ across problems and solvers, in some cases helping and in others hindering the solving procedure. However, recent works in the field of combinatorial optimization have shown that Machine Learning (ML) can be increasingly useful in the model reformulation steps. This thesis aims to design a ML approach to identify the instances for which Savile Row’s heuristics should be activated. Additionally, it is possible that the heuristics miss some good tabulation opportunities, so we perform an exploratory analysis for the creation of a ML classifier able to predict whether or not a constraint should be tabulated. The results reached towards the first goal show that a random forest classifier leads to an increase in the performances of 4 different solvers. The experimental results in the second task show that a ML approach could improve the performance of a solver for some problem classes.

Design, Synthesis And Biological Evaluation Of Hybrid Bioisoster Derivatives Of N-acylhydrazone And Furoxan Groups With Potential And Selective Anti-trypanosoma Cruzi Activity.

Hybrid bioisoster derivatives from N-acylhydrazones and furoxan groups were designed with the objective of obtaining at least a dual mechanism of action: cruzain inhibition and nitric oxide (NO) releasing activity. Fifteen designed compounds were synthesized varying the substitution in N-acylhydrazone and in furoxan group as well. They had its anti-Trypanosoma cruzi activity in amastigotes forms, NO releasing potential and inhibitory cruzain activity evaluated. The two most active compounds (6, 14) both in the parasite amastigotes and in the enzyme contain the nitro group in para position of the aromatic ring. The permeability screening in Caco-2 cell and cytotoxicity assay in human cells were performed for those most active compounds and both showed to be less cytotoxic than the reference drug, benznidazole. Compound 6 was the most promising, since besides activity it showed good permeability and selectivity index, higher than the reference drug. Thereby the compound 6 was considered as a possible candidate for additional studies.

Study Of The Homogeneity Of Drug Loaded In Polymeric Films Using Near-infrared Chemical Imaging And Split-plot Design.

Split-plot design (SPD) and near-infrared chemical imaging were used to study the homogeneity of the drug paracetamol loaded in films and prepared from mixtures of the biocompatible polymers hydroxypropyl methylcellulose, polyvinylpyrrolidone, and polyethyleneglycol. The study was split into two parts: a partial least-squares (PLS) model was developed for a pixel-to-pixel quantification of the drug loaded into films. Afterwards, a SPD was developed to study the influence of the polymeric composition of films and the two process conditions related to their preparation (percentage of the drug in the formulations and curing temperature) on the homogeneity of the drug dispersed in the polymeric matrix. Chemical images of each formulation of the SPD were obtained by pixel-to-pixel predictions of the drug using the PLS model of the first part, and macropixel analyses were performed for each image to obtain the y-responses (homogeneity parameter). The design was modeled using PLS regression, allowing only the most relevant factors to remain in the final model. The interpretation of the SPD was enhanced by utilizing the orthogonal PLS algorithm, where the y-orthogonal variations in the design were separated from the y-correlated variation.

Doehlert Design-desirability Function Multi-criteria Optimal Separation Of 17 Phenolic Compounds From Extra-virgin Olive Oil By Capillary Zone Electrophoresis.

In Brazil, the consumption of extra-virgin olive oil (EVOO) is increasing annually, but there are no experimental studies concerning the phenolic compound contents of commercial EVOO. The aim of this work was to optimise the separation of 17 phenolic compounds already detected in EVOO. A Doehlert matrix experimental design was used, evaluating the effects of pH and electrolyte concentration. Resolution, runtime and migration time relative standard deviation values were evaluated. Derringer's desirability function was used to simultaneously optimise all 37 responses. The 17 peaks were separated in 19min using a fused-silica capillary (50μm internal diameter, 72cm of effective length) with an extended light path and 101.3mmolL(-1) of boric acid electrolyte (pH 9.15, 30kV). The method was validated and applied to 15 EVOO samples found in Brazilian supermarkets.

Design And Synthesis Of N-acylated Aza-goniothalamin Derivatives And Evaluation Of Their In Vitro And In Vivo Antitumor Activity.

Herein we describe the synthesis of a focused library of compounds based on the structure of goniothalamin (1) and the evaluation of the potential antitumor activity of the compounds. N-Acylation of aza-goniothalamin (2) restored the in vitro antiproliferative activity of this family of compounds. 1-(E)-But-2-enoyl-6-styryl-5,6-dihydropyridin-2(1H)-one (18) displayed enhanced antiproliferative activity. Both goniothalamin (1) and derivative 18 led to reactive oxygen species generation in PC-3 cells, which was probably a signal for caspase-dependent apoptosis. Treatment with derivative 18 promoted Annexin V/7-aminoactinomycin D double staining, which indicated apoptosis, and also led to G2 /M cell-cycle arrest. In vivo studies in Ehrlich ascitic and solid tumor models confirmed the antitumor activity of goniothalamin (1), without signs of toxicity. However, derivative 18 exhibited an unexpectedly lower in vivo antitumor activity, despite the treatments being administered at the same site of inoculation. Contrary to its in vitro profile, aza-goniothalamin (2) inhibited Ehrlich tumor growth, both on the ascitic and solid forms. Our findings highlight the importance of in vivo studies in the search for new candidates for cancer treatment.

Dentin Bond Strength Of A Fluoride-releasing Adhesive System Submitted To Ph-cycling.

To evaluate the microtensile bond strength (µTBS) of a fluoride-containing adhesive system submitted to a pH-cycling and storage time regimen for primary outcomes. As secondary outcomes the fluoride released amount was evaluated. Twelve dentin surfaces from sound third molar were divided into 2 groups according to adhesive systems: Clearfil SE Protect (PB) and Clearfil SE Bond (SE). Sticks obtained (1.0 mm2) from teeth were randomly divided into 3 subgroups according to storage regimen model: immediate (24h); 5-month deionized water (W); and pH-cycling model (C). All sticks were tested for µTBS in a universal testing machine. Fluoride concentration was obtained from 1-4 days and 30-day in W and 1-4 days in demineralization (DE)/remineralization (RE) solutions from C, using a fluoride-specific electrode. µTBS and fluoride released data were, respectively, submitted to ANOVA in a split plot design and Tukey, and Friedman' tests (a=0.05). There was no significant interaction between adhesive system and storage regimen for µTBS. W showed the lowest µTBS values. There was no significant difference between 24 h and C models for µTBS. There was no significant difference between adhesive systems. Failure mode was predominantly cohesive within composite for the 24 h and W, for the C group it was mixed for SE and cohesive within composite for PB adhesive system. Fluoride concentrations in the DE/RE solutions were less than 0.03125 ppm and not detected in W. In conclusion, the fluoride-containing adhesive system performed similarly to the regular one. Hydrolytic degradation is the main problem with both adhesive systems, regardless of fluoride contents.

Use Of Experimental Design To Optimize A Triple-potential Waveform To Develop A Method For The Determination Of Streptomycin And Dihydrostreptomycin In Pharmaceutical Veterinary Dosage Forms By Hplc-pad.

An HPLC-PAD method using a gold working electrode and a triple-potential waveform was developed for the simultaneous determination of streptomycin and dihydrostreptomycin in veterinary drugs. Glucose was used as the internal standard, and the triple-potential waveform was optimized using a factorial and a central composite design. The optimum potentials were as follows: amperometric detection, E1=-0.15V; cleaning potential, E2=+0.85V; and reactivation of the electrode surface, E3=-0.65V. For the separation of the aminoglycosides and the internal standard of glucose, a CarboPac™ PA1 anion exchange column was used together with a mobile phase consisting of a 0.070 mol L(-1) sodium hydroxide solution in the isocratic elution mode with a flow rate of 0.8 mL min(-1). The method was validated and applied to the determination of streptomycin and dihydrostreptomycin in veterinary formulations (injection, suspension and ointment) without any previous sample pretreatment, except for the ointments, for which a liquid-liquid extraction was required before HPLC-PAD analysis. The method showed adequate selectivity, with an accuracy of 98-107% and a precision of less than 3.9%.

Resistência à compressão e remoção de folhas da cana-de-açúcar visando à colheita mecânica

Sugarcane holds an important place in the Brazilian economy. Grate part of the sugarcane harvested still accomplished largely manually. Sugarcane harvesters available in Brazil use the technology to chop the cane into 200 to 300 mm billets to allow on the go cane transferring to transport, contradicting the traditional method of whole stalk sugarcane harvesting system. In order to make whole stalk mechanical harvesting system possible, one of the barriers to be expired is the mechanical removal of the straw. The design of a mechanism that accomplishes this operation depends directly on the knowledge of the mechanical properties of the sugarcane related to its resistance to compression and the forces necessary to remove the leaves from the stalk. Compression tests were conducted using the universal testing machine. For leaves removal test by friction, a special apparatus was designed to allow the registration of the normal and traction force. The sugarcane stalk can resist up to 4.9 MPa. With a normal pressure of 0.8 MPa, which correspond to a friction force of 315 N, it is possible to remove the leaves, independent of its location in the sugarcane stalk.

Projeto de um cortador de base para colhedora de cana-de-açúcar utilizando otimização matemática

A base-cutter represented for a mechanism of four bars, was developed using the Autocad program. The normal force of reaction of the profile in the contact point was determined through the dynamic analysis. The equations of dynamic balance were based on the laws of Newton-Euler. The linkage was subject to an optimization technique that considered the peak value of soil reaction force as the objective function to be minimized while the link lengths and the spring constant varied through a specified range. The Algorithm of Sequential Quadratic Programming-SQP was implemented of the program computational Matlab. Results were very encouraging; the maximum value of the normal reaction force was reduced from 4,250.33 to 237.13 N, making the floating process much less disturbing to the soil and the sugarcane rate. Later, others variables had been incorporated the mechanism optimized and new otimization process was implemented .

Rigidez do papelão ondulado: comparação entre resultados experimentais e os obtidos por cálculo analítico

Cardboard packing for horticultural products has as main function to protect them. The design of a cardboard packing request the knowledge of the bending stiffens which is depending on the modulus of elasticity. The objective of this work was to calculate the cardboard modulus of elasticity from data obtained in laboratory using physical characterization test, with different methods, and comparing the results with the values obtained experimentally. Ten samples of each cardboard selected for this study were tested in the paper fabrication direction and in its transverse direction. The papers liner and medium resistance to the traction, used to calculate the bending stiffness, was determined in a universal machine test. To obtaining of the bending stiffens the four points test was accomplished. Expressive variations among the methods from which the modulus of elasticity is obtained were observed and that influence the bending stiffness of the structure. The stiffness values obtained experimentally were always greater than the values obtained from analytical method. This difference can be attributed to two factors, the production processes that assurance a larger rigidity than the components separately and the addition of the adhesive layer that is not taken in consideration in the analytic calculations.

Sistema de sincronismo entre a colhedora de cana-de-açúcar e o veículo de transbordo

One of the problems found in mechanical harvest of sugar cane is the lack of synchronism between the harvest machine and the infield wagon, causing crop losses as well as operational capacity. The objective of the present research was to design a system capable of helping to synchronize the sugar cane harvest machine with the wagon. The communication between tractor and harvest machine is wireless. Two ultrasound sensors coupled to the elevator and a microprocessor manage such information, generating a correct synchronization among the machines. The system was tested in laboratory and on field performing its function adequately, maintaining the two machines in synchronization, indicating and alerting the operators their relative positions. The developed system reduced the sugar cane lost in 60 kg ha-1 comparing to the harvest with the system turned off.

Sensitivity and specificity of machine learning classifiers for glaucoma diagnosis using Spectral Domain OCT and standard automated perimetry

PURPOSE: To evaluate the sensitivity and specificity of machine learning classifiers (MLCs) for glaucoma diagnosis using Spectral Domain OCT (SD-OCT) and standard automated perimetry (SAP). METHODS: Observational cross-sectional study. Sixty two glaucoma patients and 48 healthy individuals were included. All patients underwent a complete ophthalmologic examination, achromatic standard automated perimetry (SAP) and retinal nerve fiber layer (RNFL) imaging with SD-OCT (Cirrus HD-OCT; Carl Zeiss Meditec Inc., Dublin, California). Receiver operating characteristic (ROC) curves were obtained for all SD-OCT parameters and global indices of SAP. Subsequently, the following MLCs were tested using parameters from the SD-OCT and SAP: Bagging (BAG), Naive-Bayes (NB), Multilayer Perceptron (MLP), Radial Basis Function (RBF), Random Forest (RAN), Ensemble Selection (ENS), Classification Tree (CTREE), Ada Boost M1(ADA),Support Vector Machine Linear (SVML) and Support Vector Machine Gaussian (SVMG). Areas under the receiver operating characteristic curves (aROC) obtained for isolated SAP and OCT parameters were compared with MLCs using OCT+SAP data. RESULTS: Combining OCT and SAP data, MLCs' aROCs varied from 0.777(CTREE) to 0.946 (RAN).The best OCT+SAP aROC obtained with RAN (0.946) was significantly larger the best single OCT parameter (p<0.05), but was not significantly different from the aROC obtained with the best single SAP parameter (p=0.19). CONCLUSION: Machine learning classifiers trained on OCT and SAP data can successfully discriminate between healthy and glaucomatous eyes. The combination of OCT and SAP measurements improved the diagnostic accuracy compared with OCT data alone.

Effectiveness of a new toothbrush design versus a conventional tongue scraper in improving breath odor and reducing tongue microbiota

For centuries, specific instruments or regular toothbrushes have routinely been used to remove tongue biofilm and improve breath odor. Toothbrushes with a tongue scraper on the back of their head have recently been introduced to the market. The present study compared the effectiveness of a manual toothbrush with this new design, i.e., possessing a tongue scraper, and a commercial tongue scraper in improving breath odor and reducing the aerobic and anaerobic microbiota of tongue surface. The evaluations occurred at 4 moments, when the participants (n=30) had their halitosis quantified with a halimeter and scored according to a 4-point scoring system corresponding to different levels of intensity. Saliva was collected for counts of aerobic and anaerobic microorganisms. Data were analyzed statistically by Friedman's test (p<0.05). When differences were detected, the Wilcoxon test adjusted for Bonferroni correction was used for multiple comparisons (group to group). The results confirmed the importance of mechanical cleaning of the tongue, since this procedure provided an improvement in halitosis and reduction of aerobe and anaerobe counts. Regarding the evaluated methods, the toothbrush's tongue scraper and conventional tongue scraper had a similar performance in terms of breath improvement and reduction of tongue microbiota, and may be indicated as effective methods for tongue cleaning.

Influence of specimens' design and manufacturing process on microtensile bond strength to enamel: laboratory and FEA comparison

This study evaluated the effect of specimens' design and manufacturing process on microtensile bond strength, internal stress distributions (Finite Element Analysis - FEA) and specimens' integrity by means of Scanning Electron Microscopy (SEM) and Laser Scanning Confocal Microscopy (LCM). Excite was applied to flat enamel surface and a resin composite build-ups were made incrementally with 1-mm increments of Tetric Ceram. Teeth were cut using a diamond disc or a diamond wire, obtaining 0.8 mm² stick-shaped specimens, or were shaped with a Micro Specimen Former, obtaining dumbbell-shaped specimens (n = 10). Samples were randomly selected for SEM and LCM analysis. Remaining samples underwent microtensile test, and results were analyzed with ANOVA and Tukey test. FEA dumbbell-shaped model resulted in a more homogeneous stress distribution. Nonetheless, they failed under lower bond strengths (21.83 ± 5.44 MPa)c than stick-shaped specimens (sectioned with wire: 42.93 ± 4.77 MPaª; sectioned with disc: 36.62 ± 3.63 MPa b), due to geometric irregularities related to manufacturing process, as noted in microscopic analyzes. It could be concluded that stick-shaped, nontrimmed specimens, sectioned with diamond wire, are preferred for enamel specimens as they can be prepared in a less destructive, easier, and more precise way.

Design, construction and evaluation of a simple pressurized solvent extraction system

This work describes the construction and testing of a simple pressurized solvent extraction (PSE) system. A mixture of acetone:water (80:20), 80 ºC and 103.5 bar, was used to extract two herbicides (Diuron and Bromacil) from a sample of polluted soil, followed by identification and quantification by high-performance liquid chromatography coupled with diode array detector (HPLC-DAD). The system was also used to extract soybean oil (70 ºC and 69 bar) using pentane. The extracted oil was weighed and characterized through the fatty acid methyl ester analysis (myristic (< 0.3%), palmitic (16.3%), stearic (2.8%), oleic (24.5%), linoleic (46.3%), linolenic (9.6%), araquidic (0.3%), gadoleic (< 0.3%), and behenic (0.3%) acids) using high-resolution gas chromatography with flame ionization detection (HRGC-FID). PSE results were compared with those obtained using classical procedures: Soxhlet extraction for the soybean oil and solid-liquid extraction followed by solid-phase extraction (SLE-SPE) for the herbicides. The results showed: 21.25 ± 0.36% (m/m) of oil in the soybeans using the PSE system and 21.55 ± 0.65% (m/m) using the soxhlet extraction system; extraction efficiency (recovery) of herbicides Diuron and Bromacil of 88.7 ± 4.5% and 106.6 ± 8.1%, respectively, using the PSE system, and 96.8 ± 1.0% and 94.2 ± 3.9%, respectively, with the SLP-SPE system; limit of detection (LOD) and limit of quantification (LOQ) for Diuron of 0.012 mg kg-1 and 0.040 mg kg-1, respectively; LOD and LOQ for Bromacil of 0.025 mg kg-1 and 0.083 mg kg-1, respectively. The linearity used ranged from 0.04 to 1.50 mg L-1 for Diuron and from 0.08 to 1.50 mg L-1 for Bromacil. In conclusion, using the PSE system, due to high pressure and temperature, it is possible to make efficient, fast extractions with reduced solvent consumption in an inert atmosphere, which prevents sample and analyte decomposition.