The paper proposes an approach to representing and reasoning about spatial regions with undetermined boundaries, using an adaptation of`RCC-theory', a region-based system for representing qualitative spatial relations developed over the last few years (Randell, Cui and Cohn 1992, Cohn, Randell and Cui 1994). The approach proposed is referred to as thèegg-yolk' representation: a region with unde...

In questo articolo viene descritto il prototipo del linguaggio Sequence Datalog. Sequence Datalog è un linguaggio di interrogazione per basi di dati contenenti sequenze, ovvero stringhe di caratteri su un alfabeto finito; il modello di dati a cui si riferisce è una semplice estensione del modello relazionale, in cui le ennuple all’interno delle relazioni possono contenere, oltre che valori atom...

Riassunto: Il principale strumento di misurazione dei rischi di mercato relativi al portafoglio di negoziazione delle Banche è rappresentato dal Value at Risk (VaR). Sono previsti diversi approcci, ognuno con un proprio grado di sofisticazione ed affidabilità, i quali prevedono alcuni parametri da fissare preventivamente tra cui l’orizzonte temporale dell’investimento, la cui scelta risulta spe...

The corrections provided by Xie and Cui [Xie, F., Cui, W., in press. Cost range and network structures. Social Networks, 30] to one of the heorems provided by Doreian [Doreian, P., 2006. Actor network utilities and network evolution. Social Networks, 28, 137–164] are both necessary nd helpful. Accepting these corrections, and linking them more closely to the work of Hummon [Hummon, N.P., 2000. ...

In 2011, Cui and Cao proposed a secure anonymous key agreement for distributed networks, in which user collect other users’ identity of his own group to utilize them in communication and attacker can’t determine the real identity of user. However, the drawback of calculation consumption exists in the above protocol. In the paper, we adopt Elliptic Curve Cryptography (ECC) to reduce the computat...

The synthesis of substituted dihydrooxazoles by the CuI-catalyzed cycloisomerization of terminal propargyl amides is reported. The reaction has been shown to have good substrate scope and experiments to delineate the mechanism have been performed. Substrates containing a benzylic methylene were oxidized to the ketone under the reaction conditions.

How many lives have already been saved by the anti-cancer drug metformin? Inadvertently perhaps, among the millions of type 2 diabetics with occult or known cancers and who have been prescribed metformin since the 1950s, thousands may have benefited from the anticancer properties of this first-line pharmacotherapy. Quo vadis? Now, researchers aim to move metformin from a non-targeted stage of c...