A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus

In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment. Mathematics Subject Classification: 03B20, 03B22, 06D15.     

The Trifluoromethyl Anion

First evidence for the existence of free trifluoromethyl anion CF₃^? has been obtained. The 3D‐caged potassium cation in [K(crypt‐222)]⁺ is inaccessible to CF₃^?, thus rendering it uncoordinated (“naked”). Ionic [K(crypt‐222)]⁺ CF₃^? has been characterized by single‐crystal X‐ray diffraction, solution NMR spectroscopy, DFT calculations, and reactivity toward electrophiles.     

Surviving Mass Extinctions through Biomineralized DNA

Even in the worst of conditions, such as those which occurred during mass extinction events, life on Earth never totally stopped. Aggressive chemical and physical attacks able to sterilize or poison living organisms occurred repeatedly. Surprisingly, DNA was not degraded, denatured or modified to the point of losing the capability of transferring the genetic information to the next generations. After the events of mass extinction life was able to survive and thrive. DNA was passed on despite being an extremely fragile biomolecule. The potential implications of hydroxyapatite protection of DNA are discussed in this Concept article including how DNA acts as a template for hydroxyapatite (HAp) formation, how cell death can trigger biomineralization, and how DNA can be successfully released from HAp when the conditions are favorable for life.     

A cutting-plane approach for large-scale capacitated multi-period facility location using a specialized interior-point method

We propose a cutting-plane approach (namely, Benders decomposition) for a class of capacitated multi-period facility location problems. The novelty of this approach lies on the use of a specialized interior-point method for solving the Benders subproblems. The primal block-angular structure of the resulting linear optimization problems is exploited by the interior-point method, allowing the (either exact or inexact) efficient solution of large instances. The consequences of different modeling conditions and problem specifications on the computational performance are also investigated both theoretically and empirically, providing a deeper understanding of the significant factors influencing the overall efficiency of the cutting-plane method. The methodology proposed allowed the solution of instances of up to 200 potential locations, one million customers and three periods, resulting in mixed integer linear optimization problems of up to 600 binary and 600 millions of continuous variables. Those problems were solved by the specialized approach in less than one hour and a half, outperforming other state-of-the-art methods, which exhausted the (144 GB of) available memory in the largest instances.     

Exchange of Chemical Species between the Atmospheric Boundary Layer and the Reservoir Layer: An Analytical Interpretation

The exchange of chemical species between the atmospheric boundary layer and the reservoir layer is investigated by means of an analytical solution of the conservation equation of a decaying chemical species. The exchange mechanism is governed by two parameters: the Damköhler number (the ratio of the turbulence time scale to the chemical time scale) and the ratio of a concentration scale in the atmospheric boundary layer to the concentration in the reservoir layer. Depending on the value of these two parameters, the exchange flux between the two layers can vary in sign and by several orders of magnitude. The study demonstrates to what extent chemical transformation determines the transfer of chemical species between the atmospheric boundary layer and the reservoir layer.     

Estimation of the limit of detection using information theory measures

Definitions of the limit of detection (LOD) based on the probability of false positive and/or false negative errors have been proposed over the past years. Although such definitions are straightforward and valid for any kind of analytical system, proposed methodologies to estimate the LOD are usually simplified to signals with Gaussian noise. Additionally, there is a general misconception that two systems with the same LOD provide the same amount of information on the source regardless of the prior probability of presenting a blank/analyte sample. Based upon an analogy between an analytical system and a binary communication channel, in this paper we show that the amount of information that can be extracted from an analytical system depends on the probability of presenting the two different possible states. We propose a new definition of LOD utilizing information theory tools that deals with noise of any kind and allows the introduction of prior knowledge easily. Unlike most traditional LOD estimation approaches, the proposed definition is based on the amount of information that the chemical instrumentation system provides on the chemical information source. Our findings indicate that the benchmark of analytical systems based on the ability to provide information about the presence/absence of the analyte (our proposed approach) is a more general and proper framework, while converging to the usual values when dealing with Gaussian noise.     

Thermal stability studies on clay nanocomposites prepared from a degradable poly(ester amide) constituted by glycolic acid and 6-aminohexanoic acid

An intercalated nanocomposite of the organically modified montmorillonite Cloisite C25A and a degradable poly(ester amide) based on glycolic acid and 6-aminohexanoic acid units (poly(glc-alt-amh)) was prepared using a twin-screw co-rotating extruder. The non-isothermal degradation kinetics was investigated by thermogravimetric analysis (TG and DTG) in the temperature range of 50–600 °C at five heating rates (2, 5, 10, 20 and 40 °C/min) and compared with the neat polymer. Significant differences were found since the nanocomposite showed three degradation steps instead of the two decomposition processes detected in the pristine sample. The onset mass loss temperature decreased in the nanocomposite due to the presence of the organo-modifier compound, but the presence of the silicate layers significantly decreased the degradation rate at the last stages of decomposition. Kinetic analysis was performed using the Kissinger method and the isoconversional (Kissinger–Akahira–Sunose and Friedman) methods. The true kinetic triplets (E, A, f(α)) were determined for the first two steps of degradation through the Coats–Redfern and the Invariant Kinetic Parameters methods. The results clearly indicated that the presence of the organo-modified clay modified the mechanisms of degradation.     

Macroporous polymers obtained in highly concentrated emulsions stabilized solely with magnetic nanoparticles

Magnetic macroporous polymers have been successfully prepared using Pickering high internal phase ratio emulsions (HIPEs) as templates. To stabilize the HIPEs, two types of oleic acid-modified iron oxide nanoparticles (NPs) were used as emulsifiers. The results revealed that partially hydrophobic NPs could stabilize W/O HIPEs with an internal phase above 90%. Depending upon the oleic acid content, the nanoparticles showed either an arrangement at the oil-water interface or a partial dispersion into the oil phase. Such different abilities to migrate to the interface had significant effects on the maximum internal phase fraction achievable and the droplet size distribution of the emulsions. Highly macroporous composite polymers were obtained by polymerization in the external phase of these emulsions. The density, porosity, pore morphology and magnetic properties were characterized as a function of the oleic acid content, concentration of NPs, and internal phase volume of the initial HIPEs. SEM imaging indicated that a close-cell structure was obtained. Furthermore, the composite materials showed superparamagnetic behavior and a relatively high magnetic moment.     

Two step, hydrolytic-solvothermal synthesis of redispersible titania nanocrystals and their gas-sensing properties

A titanium chloromethoxide solution was prepared by reacting TiCl₄ with methanol, followed by water addition. The starting solutions were characterized by Fourier Transform Infrared (FTIR) spectroscopy, evidencing that the in situ generated water results in early hydrolysis of the chloroalkoxide. The solution was reacted with molten dodecylamine at room temperature, obtaining a white slurry of amorphous titania nanoparticles. Stable, redispersible TiO₂ nanocrystals could be prepared by subsequent solvothermal treatment in oleic acid at 250???C. The use of oleic acid was essential for obtaining crystalline structures, while other surfactants prevented crystallization. The nanocrystals were characterized by X-ray Diffraction and Transmission Electron Microscopy, confirming the formation of anatase TiO₂ nanocrystals with a mean size of 3.3?nm. The TiO₂ nanocrystals were used for fabricating gas-sensing devices, which were tested towards ethanol vapors. The initial small size of the nanocrystals, and the limited size growth during the high-temperature sensor operation, result in remarkable sensing performances if compared with bulk titania sensors.