Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances

An analysis of the average-case complexity of solving random 3-Satisfiability (SAT) instances with backtrack algorithms is presented. We first interpret previous rigorous works in a unifying framework based on the statistical physics notions of dynamical trajectories, phase diagram and growth process. It is argued that, under the action of the Davis–Putnam–Loveland–Logemann (DPLL) algorithm, 3-SAT instances are turned into 2+p-SAT instances whose characteristic parameters (ratio of clauses per variable, fraction p of 3-clauses) can be followed during the operation, and define resolution trajectories. Depending on the location of trajectories in the phase diagram of the 2+p-SAT model, easy (polynomial) or hard (exponential) resolutions are generated. Three regimes are identified, depending on the ratio of the 3-SAT instance to be solved. Lower satisfiable (sat) phase: for small ratios, DPLL almost surely finds a solution in a time growing linearly with the number N of variables. Upper sat phase: for intermediate ratios, instances are almost surely satisfiable but finding a solution requires exponential time (2^Nω with ω>0) with high probability. Unsat phase: for large ratios, there is almost always no solution and proofs of refutation are exponential. An analysis of the growth of the search tree in both upper sat and unsat regimes is presented, and allows us to estimate ω as a function of . This analysis is based on an exact relationship between the average size of the search tree and the powers of the evolution operator encoding the elementary steps of the search heuristic.     

Fabrication of miniaturized Si-based electrocatalytic membranes

The increasing interest for lightweight and portable electronic systems, cellphones and small digital devices is driving technological research towards integrated regenerating power sources with small dimensions and great autonomy. Conventional batteries are already unable to deliver power in ever smaller volumes while maintaining the requirements of long duration and light weight. A possible solution to overcome these limits is the use of miniaturized fuel cells. The fuel cell offers a greater gravimetric energy density compared to conventional batteries. The micromachining technology of silicon is an important tool to reduce the fuel cell structure to micron sizes. The use of silicon also gives the opportunity to integrate the power source and the electronic circuits controlling the fuel cell on the same structure. This article reports preliminary results concerning the micromachining process for fabricating a silicon-based electrocatalytic membrane for miniaturized Si-based proton-exchange membrane (PEM) fuel cells.     

Intersection Typed λ-calculus

The aim of this paper is to discuss the design of an explicitly typed λ-calculus corresponding to the Intersection Type Assignment System (IT) which assigns intersection types to the untyped λ-calculus. Two different proposals are given. The logical foundation of all of them is the Intersection Logic IL.     

Dynophore-Based Approach in Virtual Screening: A Case of Human DNA Topoisomerase IIα

In this study, we utilized human DNA topoisomerase IIα as a model target to outline a dynophore-based approach to catalytic inhibitor design. Based on MD simulations of a known catalytic inhibitor and the native ATP ligand analog, AMP-PNP, we derived a joint dynophore model that supplements the static structure-based-pharmacophore information with a dynamic component. Subsequently, derived pharmacophore models were employed in a virtual screening campaign of a library of natural compounds. Experimental evaluation identified flavonoid compounds with promising topoisomerase IIα catalytic inhibition and binding studies confirmed interaction with the ATPase domain. We constructed a binding model through docking and extensively investigated it with molecular dynamics MD simulations, essential dynamics, and MM-GBSA free energy calculations, thus reconnecting the new results to the initial dynophore-based screening model. We not only demonstrate a new design strategy that incorporates a dynamic component of molecular recognition, but also highlight new derivates in the established flavonoid class of topoisomerase II inhibitors.     

Stability of fusaproliferin,a mycotoxin from Fusarium spp

Fusaproliferin (FP) is a mycotoxin produced by some phytopathogenic Fusarium spp which frequently occur on several agriculturally important plants. We measured FP decomposition in dry or wet contaminated wheat samples incubated at various temperatures (80, 120, 180 and 240 °C) for various times (15, 20, 45 and 60 minutes). Water increased FP decomposition at 80, 120 and 180 °C, but a complete destruction of FP occurred at 240 °C only under dry conditions. Treatment of samples with a saturated solution of dichloroisocyanuric acid reduced FP contamination, while physical treatments such as UV irradiation and sonication did not. © 1999 Society of Chemical Industry     

Apple pomace as food fortification ingredient: A systematic review and meta-analysis

The present review aimed to investigate and analyze the use of byproduct apple pomace as a fortification ingredient in different types of foods. The data obtained from English published articles found on Web of Science, Scopus, and Google Scholar in the period from 2007 to 2019 were used for making the table overview and meta-analysis of results described in those studies. The systematic review confirmed the importance of apple pomace use in the food industry due to the beneficial nutritional profile and ecological issue (waste management). The main attributes of apple pomace are high content of antioxidant compounds and dietary fibers. Dietary fibers from apple pomace significantly increased total fiber content in enriched products—meaning that the transfer of the fortification can be declared health beneficial. The conducted meta-analysis showed unambiguously the different influence of apple pomace addition according to fortified food commodity. The fortification drawbacks were noticeable in plant food products because darker and brownish color was not evaluated positively by panelists. Oppositely, color, as one of the main sensory characteristics, was beneficially affected in animal origin food. The sensory properties, including color, play an important role in product acceptance by consumers. Besides color, animal origin products fortified by apple pomace showed the most acceptable textural properties and oxidative stability.     

Overexpression of miR-375 and L-type Amino Acid Transporter 1 in Pheochromocytoma and Their Molecular and Functional Implications

Pheochromocytoma (Pheo) is a tumor derived from chromaffin cells. It can be studied using 18F-dihydroxyphenylalanine (DOPA)—positron emission tomography (PET) due to its overexpression of L-type amino acid transporters (LAT1 and LAT2). The oncogenic pathways involved are still poorly understood. This study examined the relationship between ¹⁸F-DOPA-PET uptake and LAT1 expression, and we explored the role of miR-375 and putative target genes. A consecutive series of 58 Pheo patients were retrospectively analyzed, performing ¹⁸F-DOPA-PET in 32/58 patients. Real-time quantitative PCR was used to assess the expression of LAT1, LAT2, phenylethanolamine N-methyltransferase (PNMT), miR-375, and the major components of the Hippo and Wingless/Integrated pathways. Principal germline mutations associated with hereditary Pheo were also studied. Pheo tissues had significantly higher LAT1, LAT2, and PNMT mRNA levels than normal adrenal tissues. MiR-375 was strongly overexpressed. Yes-associated protein 1 and tankyrase 1 were upregulated, while beta-catenin, axin2, monocarboxylate transporter 8, and Frizzled 8 were downregulated. A positive relationship was found between ¹⁸F-DOPA-PET SUV mean and LAT1 gene expression and for 24 h-urinary norepinephrine and LAT1. This is the first experimental evidence of ¹⁸F-DOPA uptake correlating with LAT1 overexpression. We also demonstrated miR-375 overexpression and downregulated (Wnt) signaling and identified the Hippo pathway as a new potentially oncogenic feature of Pheo.     

The Acute Toxicity of Mineral Fibres: A Systematic In Vitro Study Using Different THP-1 Macrophage Phenotypes

Alveolar macrophages are the first line of defence against detrimental inhaled stimuli. To date, no comparative data have been obtained on the inflammatory response induced by different carcinogenic mineral fibres in the three main macrophage phenotypes: M0 (non-activated), M1 (pro-inflammatory) and M2 (alternatively activated). To gain new insights into the different toxicity mechanisms of carcinogenic mineral fibres, the acute effects of fibrous erionite, crocidolite and chrysotile in the three phenotypes obtained by THP-1 monocyte differentiation were investigated. The three mineral fibres apparently act by different toxicity mechanisms. Crocidolite seems to exert its toxic effects mostly as a result of its biodurability, ROS and cytokine production and DNA damage. Chrysotile, due to its low biodurability, displays toxic effects related to the release of toxic metals and the production of ROS and cytokines. Other mechanisms are involved in explaining the toxicity of biodurable fibrous erionite, which induces lower ROS and toxic metal release but exhibits a cation-exchange capacity able to alter the intracellular homeostasis of important cations. Concerning the differences among the three macrophage phenotypes, similar behaviour in the production of pro-inflammatory mediators was observed. The M2 phenotype, although known as a cell type recruited to mitigate the inflammatory state, in the case of asbestos fibres and erionite, serves to support the process by supplying pro-inflammatory mediators.     

Toxic Effects of the Major Components of Diesel Exhaust in Human Alveolar Basal Epithelial Cells (A549)

We investigated the toxicity of benzo[a]pyrene (B[a]P), 1-nitropyrene (1-NP) and 3-nitrobenzanthrone (3-NBA) in A549 cells. Cells were treated for 4 h and 24 h with: B[a]P (0.1 and 1 μM), 1-NP (1 and 10 μM) and 3-NBA (0.5 and 5 μM). Bulky DNA adducts, lipid peroxidation, DNA and protein oxidation and mRNA expression of CYP1A1, CYP1B1, NQO1, POR, AKR1C2 and COX2 were analyzed. Bulky DNA adducts were induced after both treatment periods; the effect of 1-NP was weak. 3-NBA induced high levels of bulky DNA adducts even after 4-h treatment, suggesting rapid metabolic activation. Oxidative DNA damage was not affected. 1-NP caused protein oxidation and weak induction of lipid peroxidation after 4-h incubation. 3-NBA induced lipid peroxidation after 24-h treatment. Unlike B[a]P, induction of the aryl hydrocarbon receptor, measured as mRNA expression levels of CYP1A1 and CYP1B1, was low after treatment with polycyclic aromatic hydrocarbon (PAH) nitro-derivatives. All test compounds induced mRNA expression of NQO1, POR, and AKR1C2 after 24-h treatment. AKR1C2 expression indicates involvement of processes associated with reactive oxygen species generation. This was supported further by COX2 expression induced by 24-h treatment with 1-NP. In summary, 3-NBA was the most potent genotoxicant, whereas 1-NP exhibited the strongest oxidative properties.     

Rheological investigation of poly(vinyl alcohol)/poly(N-vinyl pyrrolidone) mixtures in aqueous solution and hydrogel state

Rheological behavior of poly(vinyl alcohol) (PVA) and poly(N-vinyl pyrrolidone) (PVP) mixtures in aqueous solutions and hydrogel state was investigated. The complex dependence of the viscosity on PVA/PVP mixture composition could be attributed to cumulative effects of electrostatic interactions, hydrogen bonding or association phenomena. Physical hydrogels were prepared by freezing/thawing method and their viscoelastic properties were followed as a function of number of cryogenic cycles and aging time at 37 °C. From swelling experiments, it was observed that the diffusion of water molecules into the hydrogel pores is Fickian (for low number of cryogenic cycles) and it becomes pseudo-Fickian as the sample is submitted to more than 10 freezing/thawing cycles. PVA/PVP hydrogels obtained by physical interactions present a high degree of tailorability and they are suitable candidates for biomedical applications.