Linear logic for deductive databases

This paper deals with deductive databases in linear logic. The semantics of queries, views, constraints, and (view) updates are defineddeclaratively in linear logic. In constrast to classical logic, we can formalise non-shared view, transition constraints, and (view) updates easily. Various proof search strategies are presented along with an algorithm for query evaluation from a bottom-up direction. An additional advantage is that the associated meaning of a given relation can be defined in terms of the validity of a legal update in a given relation. We also defined formally the update principles and showed the correctness of the update translation algorithms. In this approach, we provide virtual view updates along with real view updates, and view DELETIONs are special cases of view REPLACEMENTs. This permits three transactional view update operations (INSERTION, DELETION, REPLACEMENT) in comparison to only (INSERTION, DELETION) in most existing systems. Dong-Tsan Lee, Ph.D.: He is a computer scientist in the Department of Computer Science at University of Western Australia, Perth, Western Australia, Australia. He received the B.S. and M.S. degrees from the Department of Computer Science at National Chiao-Tung University, Taiwan, in 1983 and 1985, respectively, and earned the Ph.D. degree from the Department of Computer Science at University of Western Australia. His research interests include database and artificial intelligence, linear logic, and real-time software engineering. Chin-Ping Tsang, Ph.D.: He is currently an associate professor in the Department of Computer Science at University of Western Australia, Perth, Western Australia, Australia. He received the Ph.D. degree from the University of Western Australia. He was the head of the Department of Computer Science at the University of Western Australia from 1994 to 1997. His research interests include artificial intelligence, non-classicial logic and neural nets.     

Effect of age on outcome with primary angioplasty versus thrombolysis

OBJECTIVES: The purpose of this study was to determine how risks associated with increasing age differed in patients treated with percutaneous transluminal coronary angioplasty versus thrombolysis. BACKGROUND: Advancing age is a risk factor for adverse outcome in patients with acute myocardial infarction. Primary angioplasty has been thought to be particularly beneficial in higher risk patients including the elderly. There is, however, limited data on any differential incremental benefit of angioplasty compared with thrombolysis in candidates for either treatment. METHODS: In the GUSTO-IIb angioplasty substudy, 1,138 patients were randomized to receive primary angioplasty or accelerated tissue-type plasminogen activator (t-PA). The effect of age on outcome was assessed as a discrete and continuous variable for each treatment group. Models using age as a linear factor as well as cubic spline transformations were used for the major end points of 30-day death or disabling stroke; death or reinfarction; and death, reinfarction or disabling stroke. RESULTS: For each 10-year patient group, outcome was improved with angioplasty (n = 565) compared with t-PA (n = 573). Irrespective of treatment, however, risk increased with age. After adjusting for baseline characteristics, each increment of 10 years of age increased the risk of death or myocardial infarction by 1.32 (95% confidence interval 1.04 to 1.76, p = 0.022). For all adverse outcomes, this incremental effect of increasing age was constant. CONCLUSIONS: Advancing age is associated with worse outcomes, and the risks increase in proportion to age. Although primary angioplasty improves outcomes over thrombolysis, it does not appear to be more beneficial in older than in younger patient groups. The incremental adverse effect of age does not vary by treatment strategy.     

Novel esters and amides of nonsteroidal antiinflammatory carboxylic acids as antioxidants and antiproliferative agents

A series of phenolic antioxidant ester and amide derivatives of the nonsteroidal antiinflammatory drug naproxen was designed to have both antiinflammatory and cytoprotective activity. Compounds were evaluated in vitro both for antioxidant activity, as assessed indirectly by thiobarbituric acid reactive substance (TBARS) formation in a membrane lipid peroxidation assay, and for antiproliferative activity, as indexed by the inhibition of DNA synthesis in cultured human vascular endothelial cells. Compounds of this series exhibited potent antioxidant activity, with IC50 values (1.6-11.63 microM) 2-6-fold lower than that of Trolox (6-hydroxy-2,5, 7,8-tetramethylchroman-2-carboxylic acid) and 400-1300-fold lower than that of vitamin E. Structural modifications of the ester or amide substructure (5a and 6a) did not affect antioxidant activity, but methylation of the 6-hydroxy substituent resulted in compound 6f which was devoid of antioxidant activity. Although indistinguishable in antioxidant activity, the amide derivatives tended to be more potent as antiproliferative agents than the corresponding esters. The IC50's for the amide derivatives (3, 5a-e, 8) ranged from 2 to 7 microM, while the IC50's for the structurally related esters (1, 2a-c, 6a-e) ranged from 9 to 22 microM. Moreover, studies with compound 6a indicate that the observed inhibition of DNA synthesis is reversible, suggesting that the antiproliferative activity is due to a cytostatic rather than cytotoxic activity of the compounds. Thus, the antioxidant-naproxen derivatives represent a novel series of agents that both protect against free-radical damage and possess cytostatic activity in vascular endothelial cells. Studies are in progress to assess the utility of these compounds as potential components of an ocular irrigating solution.     

Early fraction calculation ability

Three- to 7-year-olds' ability to calculate with whole-number, fraction, and mixed-number amounts was tested using a nonverbal task in which an amount was displayed and then hidden (J. Huttenlocher, N. C. Jordan, & S. C. Levine, 1994). Next, an amount was added to or subtracted from the hidden amount. The child's task was to determine the hidden amount that resulted from the transformation. Although fraction problems were more difficult than whole-number problems, competence on all problem types emerged in the early childhood period. Furthermore, there were striking parallels between the development of whole-number and fraction calculation. This is inconsistent with the hypothesis that early representations of quantity promote learning about whole numbers but interfere with learning about fractions (e.g., R. Gelman, 1991; K. Wynn, 1995, 1997).     

Evidence for genetic linkage between the ure and trh genes in Vibrio parahaemolyticus

BACKGROUND: Many factors have been demonstrated to influence flexure of rigid contact lenses, but the contributions of surface tension and eyelid forces to flexure are not well understood. METHODS: We placed lenses on a model eye consisting of a polymethyl methacrylate (PMMA) base which could be flexed, and measured resultant flexure with a videokeratoscope. We varied the base toricity, sequence of measurement, and lens base curve. The effects of evaporation of the postlens fluid were also observed. RESULTS: Clinically significant flexure (> 0.50 D) occurred when two conditions were met: (1) the volume of the postlens space would increase if the lens unflexed, and (2) there was a paucity of fluid available to fill that space. Flexure was minimal (< or = 0.50 D) when ample fluid was present. CONCLUSION: Surface tension forces serve more to maintain rather than create rigid lens flexure. Our model helps to explain why steep-fitting lenses flex more and leads to several predictions for flexure, which appear generally to be obeyed.     

Can pilots time-share better than non-pilots?

Time-sharing performance of a group of pilots was compared with that of a group of college students. In a secondary task paradigm, both groups were required to perform five dual tasks with various degrees of structural similarity. A higher degree of task interference was observed for the structurally more similar task pairs. The data were consistent with the results from previous research and support the concept of multiple resources. Although the pilots appeared to be more efficient in one of the dual task conditions, evidence for a general difference in time-sharing ability between the students and the pilots was not compelling. It was concluded that the degree to which time-sharing performance is structure dependent is not easily alterable by training. The results suggested that laboratory findings on the structural determinants of time-sharing efficiency are generalisable to operational environments.     

High-reliability 1.3-μm InP-based uncooled lasers in nonhermeticpackages

We report the first uncooled nonhermetic 1.3-μm InP-based communication lasers that have reliability comparable to their hermetically packaged counterparts for possible applications in fiber in the loop and cable TV. The development of reliable nonhermetic semiconductor lasers would not only lead to the elimination of the costs specifically associated with hermetic packaging but also lead the way for possible revolutionary low-cost optoelectronic packaging technologies. We have used Fabry-Perot capped mesa buried-heterostructure (CMBH) uncooled lasers with both bulk and MQW active regions grown on n-type InP substrates by VPE and MOCVD. We find that the proper dielectric facet passivation is the key to obtain high reliability in a nonhermetic environment. The passivation protects the laser from the ambient and maintains the proper facet reflectivity to achieve desired laser characteristics. The SiO facet passivation formed by molecular beam deposition (MBD) has resulted in lasers with lifetimes well in excess of the reliability goal of 3,000 hours of operation at 85°C/90% RH/30 mA aging condition. Based on extrapolations derived experimentally, we calculate a 15-year-average device hazard rate of <300 FITs (as against the desired 1,500 FITs) for the combination of thermal-and humidity-induced degradation at an ambient condition of 45°C/50% RH. For comparison, the average hazard rate at 45°C and 15 years of service is approximately 250 FITs for hermetic lasers of similar construction. A comparison of the thermal-only degradation (hermetic) to the thermal plus humidity-induced degradation (nonhermetic) indicates that the reliability of these nonhermetic lasers is controlled by thermal degradation only and not by moisture-induced degradation. In addition to device passivation for a nonhermetic environment, MBD-SiO maintains the optical, electrical, and mechanical properties needed for high-performance laser systems     

Controlled Synthesis of 2D Palladium Diselenide for Sensitive Photodetector Applications

Palladium diselenide (PdSe₂), a thus far scarcely studied group‐10 transition metal dichalcogenide has exhibited promising potential in future optoelectronic and electronic devices due to unique structures and electrical properties. Here, the controllable synthesis of wafer‐scale and homogeneous 2D PdSe₂ film is reported by a simple selenization approach. By choosing different thickness of precursor Pd layer, 2D PdSe₂ with thickness of 1.2–20 nm can be readily synthesized. Interestingly, with the increase in thickness, obvious redshift in wavenumber is revealed by Raman spectroscopy. Moreover, in accordance with density functional theory (DFT) calculation, optical absorption and ultraviolet photoemission spectroscopy (UPS) analyses confirm that the PdSe₂ exhibits an evolution from a semiconductor (monolayer) to semimetal (bulk). Further combination of the PdSe₂ layer with Si leads to a highly sensitive, fast, and broadband photodetector with a high responsivity (300.2 mA W^?1) and specific detectivity (≈10¹³ Jones). By decorating the device with black phosphorus quantum dots, the device performance can be further optimized. These results suggest the as‐selenized PdSe₂ is a promising material for optoelectronic application.     

Computational intelligence determines effective rationality

Rationality is a fundamental concept in economics. Most researchers will accept that human beings are not fully rational. Herbert Simon suggested that we are ＂bounded rational＂. However, it is very difficult to quantify ＂bounded rationality＂, and therefore it is difficult to pinpoint its impact to all those economic theories that depend on the assumption of full rationality. Ariel Rubinstein proposed to model bounded rationality by explicitly specifying the decision makers＇ decision-making procedures. This paper takes a computational point of view to Rubinstein＇s approach. From a computational point of view, decision procedures can be encoded in algorithms and heuristics. We argue that, everything else being equal, the effective rationality of an agent is determined by its computational power - we refer to this as the computational intelligence determines effective rationality （CIDER） theory. This is not an attempt to propose a unifying definition of bounded rationality. It is merely a proposal of a computational point of view of bounded rationality. This way of interpreting bounded rationality enables us to （computationally） reason about economic systems when the full rationality assumption is relaxed.