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.     

Pd/Cu-Free Cobalt-Catalyzed Suzuki and Heck Using Green Bio-Magnetic Hybrid and DFT-Based Theoretical Study

Catalysis Letters - Several highly efficient and magnetically recyclable cobalt catalytic systems were prepared using magnetic chitosan and some safe and available organic compounds...     

Applying gravitational search algorithm in the QoS-based Web service selection problem

With the growing use of service-oriented architecture for designing next generation software systems,the service composition problem and its execution complexity have become even more important in resp...     

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.     

Adaptive neuro-fuzzy inference system multi-objective optimization using the genetic algorithm/singular value decomposition method for modelling the discharge coefficient in rectangular sharp-crested side weirs

In the present article, the adaptive neuro-fuzzy inference system (ANFIS) is employed to model the discharge coefficient in rectangular sharp-crested side weirs. The genetic algorithm (GA) is used for the optimum selection of membership functions, while the singular value decomposition (SVD) method helps in computing the linear parameters of the ANFIS results section (GA/SVD-ANFIS). The effect of each dimensionless parameter on discharge coefficient prediction is examined in five different models to conduct sensitivity analysis by applying the above-mentioned dimensionless parameters. Two different sets of experimental data are utilized to examine the models and obtain the best model. The study results indicate that the model designed through GA/SVD-ANFIS predicts the discharge coefficient with a good level of accuracy (mean absolute percentage error?=?3.362 and root mean square error?=?0.027). Moreover, comparing this method with existing equations and the multi-layer perceptron–artificial neural network (MLP-ANN) indicates that the GA/SVD-ANFIS method has superior performance in simulating the discharge coefficient of side weirs.     

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.     

Bulge-Forming miRNases Cleave Oncogenic miRNAs at the Central Loop Region in a Sequence-Specific Manner

The selective degradation of disease-associated microRNA is promising for the development of new therapeutic approaches. In this study, we engineered a series of bulge-loop-forming oligonucleotides conjugated with catalytic peptide [(LeuArg)₂Gly]₂ (BC–miRNases) capable of recognizing and destroying oncogenic miR-17 and miR-21. The principle behind the design of BC–miRNase is the cleavage of miRNA at a three-nucleotide bulge loop that forms in the central loop region, which is essential for the biological competence of miRNA. A thorough study of mono- and bis-BC–miRNases (containing one or two catalytic peptides, respectively) revealed that: (i) the sequence of miRNA bulge loops and neighbouring motifs are of fundamental importance for efficient miRNA cleavage (i.e., motifs containing repeating pyrimidine–A bonds are more susceptible to cleavage); (ii) the incorporation of the second catalytic peptide in the same molecular scaffold increases the potency of BC–miRNase, providing a complete degradation of miR-17 within 72 h; (iii) the synergetic co-operation of BC–miRNases with RNase H accelerates the rate of miRNA catalytic cleavage by both the conjugate and the enzyme. Such synergy allows the rapid destruction of constantly emerging miRNA to maintain sufficient knockdown and achieve a desired therapeutic effect.     

Hypoglycemic effects of cocoa (Theobroma cacao L.) autolysates

Fat, alkaloid and polyphenol contents of two clones of cocoa (UIT1 and PBC 140) were removed and the remaining powder was autolyzed at pH 3.5 and 5.2. Based on the results, autolysates of UIT produced at pH 3.5 exhibited the highest ability to inhibit α-amylase activity. However, no α-glucosidase inhibition activity was observed under the conditions specified. Autolysates produced under pH 3.5 caused the highest amount of insulin secretion. In streptozotocin-diabetic rats, all cocoa autolysates significantly decreased blood glucose at 4 h. To assure that the results from the assays were not due to the polyphenols of cocoa autolysates qualitative and quantitative tests were applied. According to their results cocoa autolysates were found to be free from polyphenols. Analysis of amino acid composition revealed that cocoa autolysates were abundant in hydrophobic amino acids. It can be suggested that besides other compounds of cocoa, its peptides and amino acids could contribute to its health benefits.