A set expression based inheritance system

This paper describes a new formalism for inheritance systems, based on the formal semantics of set expressions. Using the formalism, it is possible to define new semantic classes by arbitrary set expressions operating on previously defined classes. Thus generalizing bothIS-A links andIS-NOT-A links and adding the set intersection operation. We present an efficient algorithm which follows these definitions to deduce the properties implied by the inheritance network, i.e., the properties of the classes containing a given element. The application which motivated the development of the formalism, namely semantic disambiguation of natural language, is also described.     

Truthful Approximation Mechanisms for Scheduling Selfish Related Machines

We consider the problem of scheduling jobs on related machines owned by selfish agents. We provide a 5-approximation deterministic truthful mechanism, the first deterministic truthful result for the problem. Previously, Archer and Tardos showed a 2-approximation randomized mechanism which is truthful in expectation only (a weaker notion of truthfulness). In case the number of machines is constant, we provide a deterministic Fully Polynomial-Time Approximation Scheme (FPTAS) and a suitable payment scheme that yields a truthful mechanism for the problem. This result, which is based on converting FPTAS to monotone FPTAS, improves a previous result of Auletta et al., who showed a (4 + ε)-approximation truthful mechanism.     

Simultaneous over- and underconfidence: The role of error in judgment processes.

Two empirical judgment phenomena appear to contradict each other. In the revision-of-opinion literature, subjective probability (SP) judgments have been analyzed as a function of objective probability (OP) and generally have been found to be conservative, that is, to represent underconfidence. In the calibration literature, analyses of OP (operationalized as relative frequency correct) as a function of SP have led to the opposite conclusion, that judgment is generally overconfident. Reanalysis of 3 studies shows that both results can be obtained from the same set of data, depending on the method of analysis. The simultaneous effects are then generated and factors influencing them are explored by means of a model that instantiates a very general theory of how SP estimates arise from true judgments perturbed by random error. Theoretical and practical implications of the work are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Optimal Control of Solar Sludge Dryers

Optimal control (OC) methodology is used to develop a control policy for a batch-operated solar sludge dryer with ventilation as the dominant control. Batch performance criteria and instantaneous optimization criteria are developed for two economic environments: quota limited and capital limited. The general formulation, as well as simplifications resulting from the multiplicative form of the evaporation (drying) rate model, are presented. The multiplicative form results in a single constant number, called here “control intensity,” which is used to guide the on-line control decisions. These decisions turn out to be independent of the dry solids content (DSC) of the sludge. Further simplification, by assuming a strictly constant weather, is used to demonstrate the general effects of the economic and physical (weather) environment on the solution.

The OC approach is used to address, via simulation under realistic weather conditions, several design, operation, and pricing problems. In particular, the following have been considered: sizing of the ventilation fans, determination of a fair fee for sludge disposal, finding the best final DSC, and evaluating the effect of the price of electricity. Regarding the particular location represented by the data, it has been shown that the installed capacity of the ventilation fans should be increased and that there seems to be sufficient economic incentive for solar drying.     

Immunohistochemical study of epithelioid hemangioendothelioma in the leg: a case report

Epithelioid hemangioendothelioma is a relatively rare lesion. Although its histogenesis has been well described, its immunohistochemical characteristics remain controversial. A case of epithelioid hemangioendothelioma of the soft tissue of the right leg in a 67-year-old Chinese woman is reported. Histologic findings of intracytoplasmic lumina in the tumor cells and positive immunostaining for vimentin, factor VIII-related antigen. CD34 and Ulex europaeus agglutinin 1 (UEA-1) were obtained, demonstrating differentiation of the tumor cells to endothelial cells, although staining for antibodies to cytokeratins AE1/AE3 and CAM5.2 was weak. CD34 as well as Factor VIII-related antigen is a useful marker of endothelial differentiation in this tumor. A review of the literature is also presented.     

安全防护不容一丝轻忽—黑客入侵胰岛素泵的启发

不久前,我刚好有机会参加了一个医疗论坛,会议开幕演讲吸引了我的注意,因为会议上现场示范了如何以黑客手法侵入胰岛素泵。这场会议十分具有启发性,它让我们看到了黑客如何通过无线连接,从远端入侵存在安全漏洞的医疗设备。     

Equi-affine Invariant Geometry for Shape Analysis

Traditional models of bendable surfaces are based on the exact or approximate invariance to deformations that do not tear or stretch the shape, leaving intact an intrinsic geometry associated with it. These geometries are typically defined using either the shortest path length (geodesic distance), or properties of heat diffusion (diffusion distance) on the surface. Both measures are implicitly derived from the metric induced by the ambient Euclidean space. In this paper, we depart from this restrictive assumption by observing that a different choice of the metric results in a richer set of geometric invariants. We apply equi-affine geometry for analyzing arbitrary shapes with positive Gaussian curvature. The potential of the proposed framework is explored in a range of applications such as shape matching and retrieval, symmetry detection, and computation of Voroni tessellation. We show that in some shape analysis tasks, equi-affine-invariant intrinsic geometries often outperform their Euclidean-based counterparts. We further explore the potential of this metric in facial anthropometry of newborns. We show that intrinsic properties of this homogeneous group are better captured using the equi-affine metric.     

Adaptive water management in Israel: structure and policy options

Difficulties in integrating technical, economic and institutional factors present a major gap in analytical capacity to guide water policy. This article presents an integrated framework to support water policy and guide water management choices, with application to Israel. That framework rests on the theory of economic policy originally developed by Tinbergen. It sees national water challenges as consisting of external factors, constraints, policy instruments and targets. The need for a modern implementation of the theory of economic policy is motivated by emerging environmental requirements, scarce water, growing demands for domestic use, and ongoing needs to implement existing and potential peace agreements.