Bayesian Dependence Tests for Continuous, Binary and Mixed Continuous-Binary Variables

Tests for dependence of continuous, discrete and mixed continuous-discrete variables are ubiquitous in science. The goal of this paper is to derive Bayesian alternatives to frequentist null hypothesis significance tests for dependence. In particular, we will present three Bayesian tests for dependence of binary, continuous and mixed variables. These tests are nonparametric and based on the Dirichlet Process, which allows us to use the same prior model for all of them. Therefore, the tests are “consistent” among each other, in the sense that the probabilities that variables are dependent computed with these tests are commensurable across the different types of variables being tested. By means of simulations with artificial data, we show the effectiveness of the new tests.

The use of binary polymeric networks in stabilising polyethylene oxide solid dispersions

The objective of this study was to determine if a high Tg polymer (Eudragit® S100) could be used to stabilize amorphous domains of polyethylene oxide (PEO) and hence improve the stability of binary polymer systems containing celecoxib (CX). We propose a novel method of stabilizing the amorphous PEO solid dispersion through inclusion of a miscible, high Tg polymer, namely, that can form strong inter-polymer interactions. The effects of inter-polymer interactions and miscibility between PEO and Eudragit S100 are considered. Polymer blends were first manufactured via hot-melt extrusion at different PEO/S100 ratios (70/30, 50/50, and 30/70 wt/wt). Differential scanning calorimetry and dynamic mechanical thermal analysis data suggested a good miscibility between PEO and S100 polymer blends, particularly at the 50/50 ratio. To further evaluate the system, CX/PEO/S100 ternary mixtures were extruded. Immediately after hot-melt extrusion, a single Tg that increased with increasing S100 content (anti-plasticization) was observed in all ternary systems. The absence of powder X-ray diffractometry crystalline Bragg’s peaks also suggested amorphization of CX. Upon storage (40°C/75% relative humidity), the formulation containing PEO/S100 at a ratio of 50:50 was shown to be most stable. Fourier transform infrared studies confirmed the presence of hydrogen bonding between Eudragit S100 and PEO suggesting this was the principle reason for stabilization of the amorphous CX/PEO solid dispersion system.

The use of binary mixtures of 1-butyl-1-methylpyrrolidinium bis{(trifluoromethyl)sulfonyl}imide and aliphatic nitrile solvents as electrolyte for supercapacitors

Abstract The development of high voltage electrolytes is one of the key aspects for increasing both energy and power density of electrochemical double layer capacitors (EDLCs). The usage of blends of ionic liquids and organic solvents has been considered as a feasible strategy since these electrolytes combine high usable voltages and good transport properties at the same time. In this work, the ionic liquid 1-butyl-1-methylpyrrolidinium bis{(trifluoromethyl)sulfonyl}imide ([Pyrr14][TFSI]) was mixed with two nitrile-based organic solvents, namely butyronitrile and adiponitrile, and the resulting blends were investigated regarding their usage in electrochemical double layer capacitors. Both blends have a high electrochemical stability, which was confirmed by prolonged float tests at 3.2 V, as well as, good transport properties. In fact, the butyronitrile blend reaches a conductivity of 17.14 mS·cm−1 and a viscosity of 2.46 mPa·s at 20 °C, which is better than the state-of-the-art electrolyte (1 mol·dm−3 of tetraethylammonium tetrafluoroborate in propylene carbonate).

Binary Mixtures of 1-Butyl-1-Methylpyrrolidinium Bis{(trifluoromethyl)Sulfonyl}Imide and Aliphatic Nitrile Solvents As Electrolyte for Electrochemical Double Layer Capacitors (Invited).

Electrochemical double layer capacitors (EDLCs), also known as supercapacitors, are promising energy storage devices, especially when considering high power applications [1]. EDLCs can be charged and discharged within seconds [1], feature high power (10 kW·kg-1) and an excellent cycle life (>500,000 cycles). All these properties are a result of the energy storage process of EDLCs, which relies on storing energy by charge separation instead of chemical redox reactions, as utilized in battery systems. Upon charging, double layers are forming at the electrode/electrolyte interface consisting of the electrolyte’s ions and electric charges at the electrode surface.In state-of-the-art EDLC systems activated carbons (AC) are used as active materials and tetraethylammonium tetrafluoroborate ([Et4N][BF4]) dissolved in organic solvents like propylene carbonate (PC) or acetonitrile (ACN) are commonly used as the electrolyte [2]. These combinations of materials allow operative voltages up to 2.7 V - 2.8 V and an energy in the order of 5 Wh·kg-1[3]. The energy of EDLCs is dependent on the square of the operative voltage, thus increasing the usable operative voltage has a strong effect on the delivered energy of the device [1]. Due to their high electrochemical stability, ionic liquids (ILs) were thoroughly investigated as electrolytes for EDLCs, as well as, batteries, enabling high operating voltages as high as 3.2 V - 3.5 V for the former [2]. While their unique ionic structure allows the usage of neat ILs as electrolyte in EDLCs, ILs suffer from low conductivity and high viscosity increasing the intrinsic resistance and, as a result, a lower power output of the device. In order to overcome this issue, the usage of blends of ionic liquids and organic solvents has been considered a feasible strategy as they combine high usable voltages, while still retaining good transport properties at the same time.In our recent work the ionic liquid 1-butyl-1-methylpyrrolidinium bis{(trifluoromethyl)sulfonyl}imide ([Pyrr14][TFSI]) was combined with two nitrile-based organic solvents, namely butyronitrile (BTN) and adiponitrile (ADN), and the resulting blends were investing regarding their usage in electrochemical double layer capacitors [4,5]. Firstly, the physicochemical properties were investigated, showing good transport properties for both blends, which are similar to the state-of-the-art combination of [Et4N][BF4] in PC. Secondly, the electrochemical properties for EDLC application were studied in depth revealing a high electrochemical stability with a maximum operative voltage as high as 3.7 V. In full cells these high voltage organic solvent based electrolytes have a good performance in terms of capacitance and an acceptable equivalent series resistance at cut-off voltages of 3.2 and 3.5 V. However, long term stability tests by float testing revealed stability issues when using a maximum voltage of 3.5 V for prolonged time, whereas at 3.2 V no such issues are observed (Fig. 1).Considering the obtained results, the usage of ADN and BTN blends with [Pyrr14][TFSI] in EDLCs appears to be an interesting alternative to state-of-the-art organic solvent based electrolytes, allowing the usage of higher maximum operative voltages while having similar transport properties to 1 mol∙dm-3 [Et4N][BF4] in PC at the same time.

Carbon Dioxide Uptake from Natural Gas by Binary Ionic Liquid-Water mixtures

Carbon dioxide solubility in a set of carboxylate ionic liquids formulated with stoicheiometric amounts of water is found to be significantly higher than for other ionic liquids previously reported. This is due to synergistic chemical and physical absorption. The formulated ionic liquid/water mixtures show greatly enhanced carbon dioxide solubility relative to both anhydrous ionic liquids and aqueous ionic liquid solutions, and are competitive with commercial chemical absorbers, such as activated N-methyldiethanolamine or monoethanolamine.

Multiclass Adaboost Based on an Ensemble of Binary Adaboosts

This paper presents a multi-class AdaBoost based on incorporating an ensemble of binary AdaBoosts which is organized as Binary Decision Tree (BDT). It is proved that binary AdaBoost is extremely successful in producing accurate classification but it does not perform very well for multi-class problems. To avoid this performance degradation, the multi-class problem is divided into a number of binary problems and binary AdaBoost classifiers are invoked to solve these classification problems. This approach is tested with a dataset consisting of 6500 binary images of traffic signs. Haar-like features of these images are computed and the multi-class AdaBoost classifier is invoked to classify them. A classification rate of 96.7% and 95.7% is achieved for the traffic sign boarders and pictograms, respectively. The proposed approach is also evaluated using a number of standard datasets such as Iris, Wine, Yeast, etc. The performance of the proposed BDT classifier is quite high as compared with the state of the art and it converges very fast to a solution which indicates it as a reliable classifier.

Durability performance of self-compacting concrete (SCC) with binary and ternary mixes of fly ash and limestone filler

The basic objective of this work is to evaluate the durability of self-compacting concrete (SCC) produced in binary and ternary mixes using fly ash (FA) and limestone filler (LF) as partial replacement of cement. The main characteristics that set SCC apart from conventional concrete (fundamentally its fresh state behaviour) essentially depend on the greater or lesser content of various constituents, namely: greater mortar volume (more ultrafine material in the form of cement and mineral additions); proper control of the maximum size of the coarse aggregate; use of admixtures such as superplasticizers. Significant amounts of mineral additions are thus incorporated to partially replace cement, in order to improve the workability of the concrete. These mineral additions necessarily affect the concrete's microstructure and its durability. Therefore, notwithstanding the many well-documented and acknowledged advantages of SCC, a better understanding its behaviour is still required, in particular when its composition includes significant amounts of mineral additions. An ambitious working plan was devised: first, the SCC's microstructure was studied and characterized and afterwards the main transport and degradation mechanisms of the SCC produced were studied and characterized by means of SEM image analysis, chloride migration, electrical resistivity, and carbonation tests. It was then possible to draw conclusions about the SCC's durability. The properties studied are strongly affected by the type and content of the additions. Also, the use of ternary mixes proved to be extremely favourable, confirming the expected beneficial effect of the synergy between LF and FA.

On the reduction theory of binary forms

Cremona developed a reduction theory for binary forms of degree 3 and 4 with integer coefficients, the motivation in the case of quartics being to improve 2-descent algorithms for elliptic curves over Q. In this paper we extend some of these results to forms of higher degree. One application of this is to the study of hyperelliptic curves.

POLYMER-NANOPARTICLE COMPOSITES FOR APPLICATIONS IN FLEXIBLE ELECTRONICS

The aim of this dissertation was to investigate flexible polymer-nanoparticle composites with unique magnetic and electrical properties. Toward this goal, two distinct projects were carried out. The first project explored the magneto-dielectric properties and morphology of flexible polymer-nanoparticle composites that possess high permeability (µ), high permittivity (ε) and minimal dielectric, and magnetic loss (tan δε, tan δµ). The main materials challenges were the synthesis of magnetic nanoparticle fillers displaying high saturation magnetization (Ms), limited coercivity, and their homogeneous dispersion in a polymeric matrix. Nanostructured magnetic fillers including polycrystalline iron core-shell nanoparticles, and constructively assembled superparamagnetic iron oxide nanoparticles were synthesized, and dispersed uniformly in an elastomer matrix to minimize conductive losses. The resulting composites have demonstrated promising permittivity (22.3), permeability (3), and sustained low dielectric (0.1), magnetic (0.4) loss for frequencies below 2 GHz. This study demonstrated nanocomposites with tunable magnetic resonance frequency, which can be used to develop compact and flexible radio frequency devices with high efficiency. The second project focused on fundamental research regarding methods for the design of highly conductive polymer-nanoparticle composites that can maintain high electrical conductivity under tensile strain exceeding 100%. We investigated a simple solution spraying method to fabricate stretchable conductors based on elastomeric block copolymer fibers and silver nanoparticles. Silver nanoparticles were assembled both in and around block copolymer fibers forming interconnected dual nanoparticle networks, resulting in both in-fiber conductive pathways and additional conductive pathways on the outer surface of the fibers. Stretchable composites with conductivity values reaching 9000 S/cm maintained 56% of their initial conductivity after 500 cycles at 100% strain. The developed manufacturing method in this research could pave the way towards direct deposition of flexible electronic devices on any shaped substrate. The electrical and electromechanical properties of these dual silver nanoparticle network composites make them promising materials for the future construction of stretchable circuitry for displays, solar cells, antennas, and strain and tactility sensors.

A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.

Segregation predictions for a binary mixture of granular material under flow conditions in a continuum mechanics framework

Abstract not available

Atomic resolution studies of oxide superlattices and ultrathin films

The ability to grow ultrathin films layer-by-layer with well-defined epitaxial relationships has allowed research groups worldwide to grow a range of artificial films and superlattices, first for semiconductors, and now with oxides. In the oxides thin film research community, there have been concerted efforts recently to develop a number of epitaxial oxide systems grown on single crystal oxide substrates that display a wide variety of novel interfacial functionality, such as enhanced ferromagnetic ordering, increased charge carrier density, increased optical absorption, etc, at interfaces. The magnitude of these novel properties is dependent upon the structure of thin films, especially interface sharpness, intermixing, defects, and strain, layering sequence in the case of superlattices and the density of interfaces relative to the film thicknesses. To understand the relationship between the interfacial thin film oxide atomic structure and its properties, atomic scale characterization is required. Transmission electron microscopy (TEM) offers the ability to study interfaces of films at high resolution. Scanning transmission electron microscopy (STEM) allows for real space imaging of materials with directly interpretable atomic number contrast. Electron energy loss spectroscopy (EELS), together with STEM, can probe the local chemical composition as well as local electronic states of transition metals and oxygen. Both techniques have been significantly improved by aberration correctors, which reduce the probe size to 1 Å, or less. Aberration correctors have thus made it possible to resolve individual atomic columns, and possibly probe the electronic structure at atomic scales. Separately, using electron probe forming lenses, structural information such as the crystal structure, strain, lattice mismatches, and superlattice ordering can be measured by nanoarea electron diffraction (NED). The combination of STEM, EELS, and NED techniques allows us to gain a fundamental understanding of the properties of oxide superlattices and ultrathin films and their relationship with the corresponding atomic and electronic structure. In this dissertation, I use the aforementioned electron microscopy techniques to investigate several oxide superlattice and ultrathin film systems. The major findings are summarized below. These results were obtained with stringent specimen preparation methods that I developed for high resolution studies, which are described in Chapter 2. The essential materials background and description of electron microscopy techniques are given in Chapter 1 and 2. In a LaMnO3-SrMnO3 superlattice, we demonstrate the interface of LaMnO3-SrMnO3 is sharper than the SrMnO3-LaMnO3 interface. Extra spectral weights in EELS are confined to the sharp interface, whereas at the rougher interface, the extra states are either not present or are not confined to the interface. Both the structural and electronic asymmetries correspond to asymmetric magnetic ordering at low temperature. In a short period LaMnO3-SrTiO3 superlattice for optical applications, we discovered a modified band structure in SrTiO3 ultrathin films relative to thick films and a SrTiO3 substrate, due to charge leakage from LaMnO3 in SrTiO3. This was measured by chemical shifts of the Ti L and O K edges using atomic scale EELS. The interfacial sharpness of LaAlO3 films grown on SrTiO3 was investigated by the STEM/EELS technique together with electron diffraction. This interface, when prepared under specific conditions, is conductive with high carrier mobility. Several suggestions for the conductive interface have been proposed, including a polar catastrophe model, where a large built-in electric field in LaAlO3 films results in electron charge transfer into the SrTiO3 substrate. Other suggested possibilities include oxygen vacancies at the interface and/or oxygen vacancies in the substrate. The abruptness of the interface as well as extent of intermixing has not been thoroughly investigated at high resolution, even though this can strongly influence the electrical transport properties. We found clear evidence for cation intermixing through the LaAlO3-SrTiO3 interface with high spatial resolution EELS and STEM, which contributes to the conduction at the interface. We also found structural defects, such as misfit dislocations, which leads to increased intermixing over coherent interfaces.

X-Ray Absorption Spectroscopy and Computer Modelling Study of Nanocrystalline Binary Alkaline Earth Fluorides

Nanocrystalline samples of Ba1-xCaxF2 prepared by high-energy milling show an unusually high F-ion conductivity, which exhibit a maximum in the magnitude and a minimum in the activation energy at x = 0.5. Here, we report an X-ray absorption spectroscopy (XAS) at the Ca and Sr K edges and the Ba L-3 edge and a molecular dynamics (MD) simulation study of the pure and mixed fluorides. The XAS measurements on the pure binary fluorides, CaF2, SrF2 and BaF2 show that high-energy ball-milling produces very little amorphous material, in contrast to the results for ball milled oxides. XAS measurements of Ba1-xCaxF2 reveal that for 0 < x < 1 there is considerable disorder in the local environments of the cations which is highest for x = 0.5. Hence the maximum in the conductivity corresponds to the composition with the maximum level of local disorder. The MD calculations also show a highly disordered structure consistent with the XAS results and similarly showing maximum disorder at x = 0.5.