Inorganic Drug‐Delivery Nanovehicle Conjugated with Cancer‐Cell‐Specific Ligand

The surface of layered double hydroxide nanoparticles, a potential drug‐delivery nanovehicle, is modified with the cancer‐cell‐specific ligand, folic acid. The surface modification is successfully accomplished through step‐by‐step coupling reactions with aminopropyltriethoxysilane and 1‐ethyl‐3‐(3‐dimethyl aminopropyl)‐carbodiimide. In order to evaluate the cancer‐cell targeting effect of folic‐acid‐grafted layered double hydroxide utilizing fluorescence‐related assay, both layered double hydroxide with and without folic acid moiety are labeled with fluorescein 5′‐isothiocyanate. The uptake of layered double hydroxide and folic acid conjugated into KB and A549 cells is visualized using fluorescence microscopy and measured by flow cytometry. Both chemical and biological assay results demonstrate that the folic acid molecules are indeed conjugated to the surface of layered double hydroxide and thus the selectivity of nanovehicles to cancer cells overexpressing folate receptors increases. In this study, it is suggested that layered double hydroxide nanoparticles can be used as drug‐delivery carriers with a targeting function due to the chemical conjugation with specific ligand.     

Synthesis of Nanohole‐Structured Single‐Crystalline Platinum Nanosheets Using Surfactant‐Liquid‐Crystals and their Electrochemical Characterization

Nanohole‐structured single‐crystalline Pt nanosheets have been synthesized by the borohydride reduction of Na₂PtCl₆ confined to the lyotropic liquid crystals (LLCs) of polyoxyethylene (20) sorbitan monooleate (Tween 80) with or without nonaethylene‐glycol (C₁₂EO₉). The Pt nanosheets of around 4–10 nm in central thickness and up to 500 nm or above in diameter have a number of hexagonal‐shaped nanoholes ∼1.8 nm wide. High‐resolution electron microscope images of the nanosheets showed atomic fringes with a spacing of 0.22 nm indicating that the nanosheets are crystallographically continuous through the nanoholed and non‐holed areas. The inner‐angle distributions for the hexagonal nanoholes indicate that the six sides of the nanoholes are walled with each two Pt (111), Pt (1 1) and Pt (010) planes. The formation mechanism of nanoholed Pt nanosheets is discussed on the basis of structural and compositional data for the resulting solids and their precursory LLCs, with the aid of similar nanohole growth observed for a Tween 80 free but oleic acid‐incorporated system. It is also demonstrated that the nanoholed Pt nanostructures loaded on carbon exhibit fairly high electrocatalytic activity for oxygen reduction reaction and a high performance as a cathode material for polymer‐electrolyte fuel cells, along with their extremely high thermostability revealed through the effect of electron‐irradiation.     

Verification of distributed systems with local�Cglobal predicates

This paper describes a methodology for developing and verifying a class of distributed systems in which the state space may be discrete or continuous. Our focus is on systems where changes are local in that a small number of components change state while the remainder of the system is unchanged. A proof methodology is developed that ensures global properties, such as invariants and convergence, by guaranteeing local properties within subsystems. This methodology is used to prove the correctness of concrete examples. We present a PVS library of theorems and proofs that can be used to reduce the work required to develop and verify programs in this class. A transformation of these libraries to Java is also outlined.     

Towards a satisfactory conversion of messages among agent-based information systems

Over the last years, there has been a change of perspective concerning the management of information systems, since they are no longer isolated and need to communicate with others. However, from a semantic point of view, real communication is difficult to achieve due to the heterogeneity of the systems. We present a proposal which, considering information systems are represented by software agents, provides a framework that favors a semantic communication among them, overcoming the heterogeneity of their agent communication languages. The main components of the framework are a suite of ontologies – conceptualizing communication acts – that will be used for generating the communication conversion, and an Event Calculus interpretation of the communications, which will be used for formalizing the notion of a satisfactory conversion. Moreover, we present a motivating example in order to complete the explanation of the whole picture.     

Inhibition of in vivo tumorigenicity and invasiveness of a human glioblastoma cell line transfected with antisense uPAR vectors

Our previous studies showed that glioblastomas express increased urokinase-type plasminogen activator receptors (uPARs) in comparison to low-grade gliomas (Yamamoto et al., Cancer Res., 54, 5016-5020, 1994). To explore whether downregulation of uPAR inhibits tumor formation and invasiveness, a human glioblastoma cell line was transfected with a cDNA construct corresponding to 300 bp of the human uPAR's 5' end in an antisense orientation, resulting in a reduced number of uPA receptors. Co-culture studies with tumor spheroids and fetal rat brain aggregates showed that antisense SNB19-AS1 cells expressing reduced uPAR failed to invade fetal rat brain aggregates. Intracerebral injection of SNB19-AS1 stable transfectants failed to form tumors and were negative for uPAR expression in nude mice. Thus uPAR appears in this model to be essential for tumorigenicity and invasion of glioblastomas in vivo.     

Gamma-ray radiation hardened properties of pure silica coresingle-mode fiber and its data link system in radioactive environments

The radiation resistances of pure silica core single-mode optical fiber (Si-SMF) and its data link module at 1.30 μm were investigated. It was found that the induced loss of fibers exposed to γ-rays at a low dose rate was proportional to the 0.54 power of total dose from the result of a low dose rate irradiation test for 3 years, and the induced loss for 40 years aging at 1 R/h was estimated to be 1.8 dB/km. It was ascertained that transmission is achievable at a bit rate of 125 Mb/s even under high dose rate irradiation to a total dose of 10⁸ R, which corresponds to the postulated maximum γ-ray exposure in nuclear power plants     

Densitometric evaluation of the distal radial epiphysis in patients after Colles fracture

The results of bone mineral density measurements in both forearms of 50 patients aged from 51 to 83 yrs (av. 62.4) who sustained unilateral Colles fracture, were analysed. Time elapsed from fracture was from 0.5 to 6 yrs. The aim of this study was to assess the effect of previous Colles fracture on bone mineral density. It was found that after the preliminary increase of bone mineral density, there was a gradual decrease towards normal values as compared with the unbroken arm. The bone mineral density in the evaluated group with fracture was significantly lower than the control groups without fracture.     

Experimental Verification to Estimate Ground Thermal Conductivity Using Spiral Coil Type Ground Heat Exchangers

This paper presents an experimental study on the evaluation of thermal response of a spiral coil type GHE （ground heat exchanger）. This GHE was installed on partially saturated landfill ground that was composed of silt and clay in the runway area of Incheon International airport. TRT （thermal response test） was conducted for more than 65 hours under continuous operation conditions. Ground thermal conductivity was derived based on line source theory, which has usually been found to be appropriate for line type GHEs such as U, W and 2U types. A reasonable method to derive ground thermal conductivity using the infinite line source theory for a spiral coil type GHE was introduced. Ground thermal conductivity from the TRT using spiral coil type GHE was compared with those from the analytical equivalent model of ground thermal conductivity.