Abadi and Cardelli have investigated several versions of the object calculus, a calculus for describing central features of object-oriented programs, with particular emphasis on various type systems. In this paper we study the properties of a denotational semantics due to Abadi and Cardelli vis-à-vis the notion of observational congruence for the calculus Ob1<:μ. In particular, we prove that th...

Cerinţele pietei şi presiunile din cadrul social necesită sisteme de fabricaţie eficiente care să ţină pasul cu tendinţele mereu crescânde din domeniu. De aici rezultă necesitatea dezvoltării unor sisteme noi de control al fabricaţiei care să poată face faţă schimbărilor şi perturbaţiilor din producţie într-un mod eficient. În acest sens, în ultimul deceniu au fost făcute numeroase cercetări şi...

Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another object that has more re ned methods. Abadi and Cardelli presented four rst-order type systems for the calculus. The simplest one is based on nite types and no subtyping, and the most powerful one has both recursive types ...

Pancreatic ductal adenocarcinoma (PDAC) has one of the poorest prognoses of all malignancy types. To improve the survival of patients with PDAC, the development of novel anticancer agents is warranted. Riproximin (Rpx) is a newly identified plant lectin, which was isolated from Ximenia americana. The ribosome inactivating protein of type II exhibits potent anticancer activity as recently demons...

The behaviour of multiple stock markets can be described within the framework of complex dynamic systems (CDS). A representative technique of the framework is the dynamic interaction network (DIN), recently developed in the bioinformatics domain (Chan et al., 2006). DINs are capable of modelling dynamic interactions between genes and predicting their future expressions. In this paper, we adopt ...

În acest articol prezentăm câteva metode şi tehnici noi, foarte practice, pentru calculul unor valori agregate în structuri şi baze de date multidimensionale. De asemenea, considerăm şi problema determinării eficiente a celei de-a k-a valori minime din mulţimi definite prin diverse constrângeri. A treia contribuţie a articolului este reprezentată de câteva extensii şi aplicaţii ale unor problem...

Incidental ingestion of household dust is an important arsenic (As) exposure pathway for children. However, compared to soils, assessment of As relative bioavailability (RBA) in household dust is limited. In this study, As-RBA in 12 household dust samples (7–38 mg kg(–1)) was measured using an in vivo mouse model and compared to As bioaccessibility determined using 4 assays [Solubility Bioacces...

Due to the sink node crucial position, its location privacy is becoming one of the major issues in wireless sensor networks (WSNs) which requires ultimate protection. Particularly, the WSNs successfulness is endanger as the wireless transmission nodes are susceptive to illicit tracing and detection. While privacy of the message can be ensured through encryption content, this paper formalizes a ...

The paper presents the results of the qualitative and quantitative determination of scopoletin (SLT) in Physalis alkekengi and Solanum dulcamara (Solanaceae) by highperformance liquid chromatography tandem mass spectrometry (HPLC/MS). The plant samples were harvested around Iasi on July 2007, July 2008, August-September 2009. Scopoletin was extracted from dried leaves by two methods: with metha...