The lion's share of datalog features have been incorporated into the SQL3 standard proposal. However, most SQL manuals still recommend to implement user-de ned conditions for data integrity nondeclaratively, by triggers or stored procedures. We describe how to implement known declarative database technology for integrity checking in SQL databases. We show how to represent and evaluate arbitrari...

In this paper the design and formal veri cation of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital ight control applications, are presented. The RCP utilizes NMR-style redundancy to mask faults and internal majority voting to ush the e ects of transient faults. The system is formally speci ed and veri ed using the Ehdm veri cation system. A major goal of thi...

This review provides a selective history of how studies of mitochondrial cation transport (K+, Na+, Ca2+) developed in relation to the major themes of research in bioenergetics. It then covers in some detail specific transport pathways for these cations, and it introduces and discusses open problems about their nature and physiological function, particularly in relation to volume regulation and...

Self-Healing Nanophotonics In article number 2207617, Fang-Cheng Liang, Takayuki Chiba, Junji Kido, Chi-Ching Kuo, and co-workers present novel post-synthesis Cs/FA mixed-cation perovskite nanocrystals possessing high structural optoelectronic properties for integration in self-healing polymer composites. The entropy-driven not only enhances the white backlight display performance but also sust...

Type 1 diabetes (T1D) results from progressive loss of pancreatic islet mass through autoimmunity targeted at a diverse, yet limited, series of molecules that are expressed in the pancreatic beta cell. Identification of these molecular targets provides insight into the pathogenic process, diagnostic assays, and potential therapeutic agents. Autoantigen candidates were identified from microarray...

The McMurdo dry valleys of Antarctica represent the largest of the ice-free areas on the Antarctic continent, containing glaciers, meltwater streams, and closed basin lakes. Previous geochemical studies of dry valley streams and lakes have addressed chemical weathering reactions of hyporheic substrate and geochemical evolution of dry valley surface waters. We examine cation transport and exchan...

a  new  type  of  cation-exchange  nanocomposite  membranes  was prepared  by  in-situ  formation  of  zno  nanoparticles  in  a  blend containing  sulfonated  poly  (2,6-dimethyl-1,4-phenylene  oxide)  and sulfonated polyvinylchloride  via  a  simple  one-step  chemical method.  as-synthesized  nanocomposite  membranes were characterized  using  fourier  transform  infrared  spectroscopy, scan...

Classi cation is one of major tasks in case-based reasoning(CBR) and many studies have been done for analyzing properties of case-based classi cation [1, 14, 10, 15, 12, 9, 13, 7]. However, these studies only consider numerical similarity measures whereas there are other kinds of similarity measure for di erent tasks. Among these measures, HYPO system [2, 3] in a legal domain uses a similarity ...

In this study, the effect of different parameters such as time and temperature of calcination and milling on the formation of calcium aluminosilicates was investigated. Raw materials used in this study were calcium carbonate and kaolin in high purity. Powder X-ray diffraction patterns were obtained from all samples after heat treatment at various temperatures and times. To study the microstruct...