Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

Conceptual aspects of geometric quantum computation

Geometric quantum computation is the idea that geometric phases can be used to implement quantum gates, i.e., the basic elements of the Boolean network that forms a quantum computer. Although originally thought to be limited to adiabatic evolution, controlled by slowly changing parameters, this form of quantum computation can as well be realized at high speed by using nonadiabatic schemes. Recent advances in quantum gate technology have allowed for experimental demonstrations of different types of geometric gates in adiabatic and nonadiabatic evolution. Here, we address some conceptual issues that arise in the realizations of geometric gates. We examine the appearance of dynamical phases in quantum evolution and point out that not all dynamical phases need to be compensated for in geometric quantum computation. We delineate the relation between Abelian and non-Abelian geometric gates and find an explicit physical example where the two types of gates coincide. We identify differences and similarities between adiabatic and nonadiabatic realizations of quantum computation based on non-Abelian geometric phases.     

A magnetic bead-based DNA extraction and purification microfluidic device

This article introduces a novel magnetic bead-based DNA extraction and purification device using active magnetic mixing approach. Mixing and separation steps are performed using functionalised superparamagnetic beads suspended in cell lysis buffer in a circular chamber that is sandwiched between two external magnetic coils. Non-uniform nature of magnetic field causes temporal and spatial distribution of beads within the chamber. This process efficiently mixes the lysis buffer and whole blood in order to extract DNA from target cells. Functionalized surface of the magnetic beads then attract the exposed DNA molecules. Finally, DNA-attached magnetic beads are attracted to the bottom of the chamber by activating the bottom magnetic coil. DNA molecules are extracted from magnetic beads by washing and re-suspension processes. In this study, a circular PMMA microchamber, 25 μL in volume, 500 μm in depth and 8 mm in diameter was fabricated to purify DNA from spiked bacterial cell cultures into the whole blood sample using Promega Magazorb DNA extraction kit. The lysis efficiency was evaluated using a panel of Gram-positive (Bacillus subtilis) and Gram-negative (Escherichia coli) bacterial cells cultures into the blood sample to achieve approximately 100,000 copy levels inside the chip. Manufacturer’s standard extraction protocol was modified to a more simplified process suitable for chip-based extraction. The lysis step was performed using 5 min incubation at 56 °C followed by 5 min incubation at room temperature for binding process. Temperature rise was generated and maintained by the same external magnetic coils used for active mixing. The yield/purity and recovery levels of the extracted DNA were evaluated using quantitative UV spectrophotometer and real-time PCR assay, respectively. Real-time PCR results indicated efficient chip-based bacterial DNA extraction using modified extraction protocol comparable to the standard bench-top extraction process.     

Research trends in gender differences in higher education and science: a co-word analysis

The aim of this study is to map and analyze the structure and evolution of the scientific literature on gender differences in higher education and science, focusing on factors related to differences between 1991 and 2012. Co-word analysis was applied to identify the main concepts addressed in this research field. Hierarchical cluster analysis was used to cluster the keywords and a strategic diagram was created to analyze trends. The data set comprised a corpus containing 652 articles and reviews published between 1991 and 2012, extracted from the Thomson Reuters Web of Science database. In order to see how the results changed over time, documents were grouped into three different periods: 1991–2001, 2002–2007, and 2008–2012. The results showed that the number of themes has increased significantly over the years and that gender differences in higher education and science have been considered by specific research disciplines, suggesting important research-field-specific variations. Overall, the study helps to identify the major research topics in this domain, as well as highlighting issues to be addressed or strengthened in further work.     

Application of the dry‐spinning method to produce poly(ε‐caprolactone) fibers containing bovine serum albumin laden gelatin nanoparticles

We designed and manufactured a polymeric system with combined hydrophilic–hydrophobic properties by loading gelatin nanoparticles (GNPs) containing bovine serum albumin (BSA) into poly(ε‐caprolactone) (PCL) fibers. Our ultimate goal was to create a device capable of carrying and releasing protein drugs. Such a system could find several biomedical applications, such as those in controlled release systems, surgical sutures, and bioactive scaffolds for tissue engineering. A two‐step desolvation method was used to produce GNPs, whereas PCL fibers were produced by a dry‐spinning method. The morphological, mechanical, and thermal properties of the produced system were investigated, and the distribution of nanoparticles both inside and on the surface of the fibers was examined. The effect of the particles on the biodegradability of the fibers was also evaluated. In vitro preliminary tests were performed to study the release of BSA from nanoparticle‐laden fibers and to compare this with its release from free nanoparticles. Our results indicate that the distribution of particles inside the fibers was quite homogeneous and only a few of them were present on the surface. The presence of the particles in the fibers did not affect the thermal properties of the PCL polymer matrix, although it created voids that affected the degradation characteristics so the PCL fibers favored faster erosion compared to the plain fibers. Preliminary results indicate that the release from GNP‐laden fibers occurred much more slowly compared to that in the free GNPs. © 2016 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 44233.     

Preparation of novel 2-(2-oxo-2H-chromen-4-yl)-3- arylthiazolidin-4-one derivatives using an efficient ionic liquid catalyst

An eco-friendly procedure for synthesis of 2-(2-oxo-2H-chromen-4-yl)-3-arylthiazolidin-4-one derivatives by three-component reaction of 2-oxo-2H-chromene-4-carbaldehydes, aromatic amines and thioglycolic acid, with tetramethylbutane-1,4-diammonium acetate as a low-cost ionic liquid catalyst under reflux condition is described. The use of an ionic liquid as a catalyst has the advantages of high yields, short reaction time and environmentally friendly reaction media.     

Immobilization of palladium on benzimidazole functionalized mesoporous silica nanoparticles: catalytic efficacy in Suzuki–Miyaura reaction and nitroarenes reduction

Journal of Porous Materials - Benzimidazole functionalized mesoporous silica nanoparticles immobilized Pd(0)/Pd(II) has been proposed as an efficient catalyst for the one-pot preparation of biaryls...     

Reductive removal of hexavalent chromium from aqueous solution using sepiolite-stabilized zero-valent iron nanoparticles: Process optimization and kinetic studies

We studied the optimization of hexavalent chromium (Cr(VI)) removal from aqueous solution using the synthesized zero-valent iron nanoparticles stabilized with sepiolite clay (S-ZVIN), under various parameters such as reaction time (min), initial solution pH and concentration of S-ZVIN (g·L^?1) using response surface methodology (RSM). The kinetic study of Cr(VI) was conducted using three types of the most commonly used kinetic models including pseudo zero-order, pseudo first-order, and pseudo second-order models. The rate of reduction reaction showed the best fit with the pseudo first-order kinetic model. The process optimization results revealed a high agreement between the experimental and the predicted data (R²=0.945, Adj-R²=0.890). The results of statistical analyses showed that reaction time was the most impressive factor influencing the efficiency of removal process. The optimum conditions for maximum response (98.15%) were achieved at the initial pH of 4.7, S-ZVIN concentration of 1.3 g·L^?1 and the reaction time of 75 min.     

The Acute Toxicity of SiO2 and Fe3O4 Nano-particles on Daphnia magna

Silicon - SiO2 nano-particles are applied in different industries such as ceramic producing, glass making, cosmetic products, medicines, magnetic mixtures, heat and electric insulators and glazing...     

Pd(II)/Pd(0) Anchored on Magnetic Organic–Inorganic Hybrid Mesoporous Silica Nanoparticles: A Nanocatalyst for Suzuki–Miyaura and Heck–Mizoroki Coupling Reactions

Journal of Inorganic and Organometallic Polymers and Materials - 3-Chloropropyltrimethoxysilane (CPTMS) was grafted on the surface of silica coated Fe3O4 core (Fe3O4@MCM-41) and then condensed with...