Automatic Construction and Verification of Isotopy Invariants

We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Isotopism is an important generalisation of isomorphism, and is studied by mathematicians in domains such as loop theory. This extension was not straightforward, and we had to solve two major technical problems, namely, generating and verifying isotopy invariants. Concentrating on the domain of loop theory, we have developed three novel techniques for generating isotopic invariants, by using the notion of universal identities and by using constructions based on subblocks. In addition, given the complexity of the theorems that verify that a conjunction of the invariants form an isotopy class, we have developed ways of simplifying the problem of proving these theorems. Our techniques employ an interplay of computer algebra, model generation, theorem proving, and satisfiability-solving methods. To demonstrate the power of the approach, we generate isotopic classification theorems for loops of size 6 and 7, which extend the previously known enumeration results. This work was previously beyond the capabilities of automated reasoning techniques. The author’s work was supported by EPSRC MathFIT grant GR/S31099.     

Transport of the dicyanogold(i) anion

We have shown that dicyanogold(I), [Au(CN)(2)](-) is a common metabolite found in blood and urine samples of patients treated with different gold based drugs. Some patients have high levels of gold within their red blood cells (RBCs). Size exclusion and C18 reversed phase chromatography show that the majority of the gold in RBC lysates is bound to protein, but small molecules such as dicyanogold(I) and gold-glutathione complexes are also present. Dicyanogold incubation with red blood cells in vitro leads to a rapid and complete uptake of gold. This uptake is unaffected by DIDS, an inhibitor of the anion channel, but is blocked by the addition of external cyanide. Dicyanogold is also readily taken up by H9 cells, a continuous CD(4+) cell line. This uptake is significantly inhibited by N-ethylmaleimide, suggesting a requirement for sulfhydryl groups. Dicyanogold inhibits the replication of the AIDS virus, HIV, in a cell culture model.     

Outage Performance of Uplink (UL) NOMA Network

Wireless Personal Communications - This paper proposes and analyses the power allocation coefficient normalization for successive interference cancellation in power-domain non-orthogonal multiple...     

Vibration and damping characteristics of CNTR viscoelastic skewed shell structures under the influence of hygrothermal conditions

Engineering with Computers - The vibration and damping characteristics of carbon nanotubes reinforced (CNTR) skewed shell structure under a hygrothermal environment have been investigated using the...     

Workload assignment for global real-time scheduling on unrelated clustered platforms

Real-Time Systems - Heterogeneous MPSoCs are being used more and more, from cellphones to critical embedded systems. Most of those systems offer heterogeneous sets of identical cores. In this...     

Testing the hypothesis of a block compound symmetric covariance matrix for elliptically contoured distributions

In this paper, the authors study the problem of testing the hypothesis of a block compound symmetry covariance matrix with two-level multivariate observations, taken for m variables over u sites or time points. Through the use of a suitable block-diagonalization of the hypothesis matrix, it is possible to obtain a decomposition of the main hypothesis into two sub-hypotheses. Using this decomposition, it is then possible to obtain the likelihood ratio test statistic as well as its exact moments in a much simpler way. The exact distribution of the likelihood ratio test statistic is then analyzed. Because this distribution is quite elaborate, yielding a non-manageable distribution function, a manageable but very precise near-exact distribution is developed. Numerical studies conducted to evaluate the closeness between this near-exact distribution and the exact distribution show the very good performance of this approximation even for very small sample sizes and the approach followed allows us to extend its validity to situations where the population distributions are elliptically contoured. A real-data example is presented and a simulation study is also conducted.     

Entrepreneurial acquisitions,open innovation and UK high growth SMEs

This paper examines the dynamics of entrepreneurial acquisitions undertaken by UK high growth small and medium enterprises (SMEs). While entrepreneurial acquisitions are increasingly deployed by SMEs, little is known about their antecedents, motivational drivers and organisational outcomes. Drawing on detailed case study evidence from Scotland, the key factor found to be driving these acquisitions was the desire to augment and exploit technological complementarities between the acquiring and acquired firms. Acquisition can therefore be conceptualised as an advanced stage of the outside-in ‘open innovation’ strategies proactively used within these innovative SMEs. Firms executing this strategy typically have an acute propensity for risk, a desire for close customer engagement, effective business models and strong external orientation. The work suggests that greater attention should be paid within M&A theory to the dynamics of these types of smaller scale entrepreneurial acquisitions.     

Elimination of Surface Defects in High Tensile Steel for Wheel Rim Application

One of the important applications of high tensile steel grades is in wheel rims by the automotive industry. High tensile steel facilitates vehicle weight reduction under the ‘Go Green’ initiative. Along with weight reduction, in recent times, the surface quality requirement of steels for wheel rim applications has also gained a significant focus, and in many cases, it is becoming the cause of rejection at the customers’ processing line. It is known that owing to chemistry requirements such high strength steel grades generally show peritectic behavior during solidification and are prone to surface defects. Tata Steel India produces several wheel rim grades of varying strength levels. In one such high manganese and micro-alloyed peritectic steel grade, the rejection by the customer on account of surface defects was a major concern. The defects consisted of typical longitudinal cracks of varying dimensions along with the unique defects in transverse direction named tear marks on the surface of 100-mm-thick plates rolled from 215-mm-thick slab. In subsequent stages, these plates were processed into rim profiles through hot working by the wheel customer. The paper highlights how systematic study led to arrive at root causes and helped redesign steel chemistry to ensure zero rejection for surface quality without affecting mechanical property requirements.     

Antineoplastic and antioxidant potential of phycofabricated silver nanoparticles using microalgae Chlorella minutissima

This study for the first time reports on fresh water microalgae Chlorella minutissima aqueous extract (CmAe) which was utilized for the biogenic synthesis of silver nanoparticles and tested their antineoplastic potential against Liver Hepatocellular Carcinoma (HepG2) cell line. The characteristic colour change of the reaction mixture from greenish yellow to yellowish brown confirmed the synthesis of Chlorella minutissima silver nanoparticles (CmAgNPs). Microscopic analysis revealed CmAgNPs to be spherical‐shaped with particle size ranging from 10 to 30 nm. The carbohydrates and proteins distinctive peaks were observed in Fourier transform infrared spectroscopy (FTIR) spectra which suggested these biomolecules acted as reducing and capping agents. Further, the crystalline nature of CmAgNPs was confirmed by X‐ray diffraction (XRD) analysis. CmAgNPs showed maximum free radical scavenging proving it to be more potent antioxidant agent as compared to CmAe. The mortality rate of HepG2 cells treated with CmAgNPs was found to be 91.8 % at 120 μg/ml with IC₅₀ value 12.42 ± 1.096 μg/ml after 48 h whereas no effect was observed on normal Human Embryonic Kidney (HEK 293) cells. Fluorescent images of the treated HepG2 cells revealed the formation of apoptotic bodies, condensed nuclei and cell shrinkage indicating their effectiveness against the cancer cells.Inspec keywords: silver, nanoparticles, nanomedicine, microorganisms, cellular biophysics, nanofabrication, scanning electron microscopy, transmission electron microscopy, atomic force microscopy, proteins, Fourier transform infrared spectra, molecular biophysics, X‐ray chemical analysis, X‐ray diffraction, kidney, cancer, biomedical materialsOther keywords: antineoplastic potential, antioxidant potential, phycofabricated silver nanoparticle, Chlorella minutissima, freshwater microalgae, aqueous extract, liver hepatocellular carcinoma cell line, CmAgNP synthesis, field emission scanning electron microscopy, high‐resolution transmission electron microscopy, atomic force microscopy, dynamic light scattering, carbohydrate, protein, Fourier transform infrared spectroscopy, biomolecule, energy‐dispersive X‐ray spectroscopy, elemental silver signal, CmAgNP crystalline, X‐ray diffraction analysis, antioxidant agent, HepG2 cell mortality rate, human embryonic kidney, HEK 293 cell, fluorescent image, apoptotic body formation, condensed nuclei, cell shrinkage, cancer cell, antineoplastic agent, Ag     

Fabrication of novel GMO/Eudragit E100 nanostructures for enhancing oral bioavailability of carvedilol

In the present work, novel nanostructures comprising of glyceryl monooleate (GMO) and Eudragit E100 were prepared using high intensity ultrasonic homogenization. 3² Factorial design approach was used for optimization of nanostructures. Results of regression analysis revealed that the amount of GMO and Eudragit E100 had a drastic effect on particle size and percent entrapment efficiency. Optimized carvedilol-loaded nanostructures (Car-NS) were characterized by FTIR, TEM, DSC, in vitro drug release study. Pharmacokinetic parameters such as C_max, T_max, Ke, Ka, V_d and AUC were estimated for Car-NS upon its oral administration in Sprague-Dawley rats. Particle size of Car-NS was found to be 183?±?2.43?nm with an entrapment efficiency of 81.4?±?0.512%. FTIR studies revealed loading and chemical compatibility of carvedilol with the components of nanostructures. DSC thermograms did not show endothermic peak for melting of carvedilol which could be attributed to solubilization of carvedilol in molten GMO during DSC run. The prepared Car-NS released carvedilol in sustained manner over a period of 10 h as suggested by in vitro drug release study. The pharmacokinetic study of Car-NS showed significant improvement in C_max (two fold, p?p?相似文献