A series of glycan-coated quantum dots were prepared to probe the effect of glycan presentation in intracellular localization in HeLa and SV40 epithelial cells. We show that glycan density mostly impacts on cell toxicity, whereas glycan type affects the cell uptake and intracellular localization. Moreover, we show that lactose can act as a "Trojan horse" on bi-functionalized QDs to help intrace...

Grid is one of the most e ective new paradigms in large scale distributed computing. Only recently Petri nets have been adopted as a formal modeling framework for describing the speci c aspects of the Grid. In this paper we describe a Grid tool for High Energy Physics data analysis, and we show how modeling its architecture with nets-withinnets has led us to identify and solve a number of defec...

A model of P systems with symport / antiport rules is given in terms of hypernets, a generalization of a class of hierarchical Petri nets introduced for modeling mobility inside the nets-within-nets paradigm. The hierarchical structure of a P system is reflected by the associated hypernet, where molecules are modeled by unstructured agents (simple tokens) and membranes by agents. Each agent is ...

Service-oriented computing provides a suitable technological foundation for developing and executing dynamic business processes. However, most current approaches for composition languages and architectures for dynamic process integration do not provide the flexibility and dynamism required by interorganisational evolving environments. In this work, the DENEB platform for the development and exe...

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has proved to be very helpful. In this paper we conti...

In this paper, first, an overview is given about the whole scenario of analogic CNN computing. Next, two areas on CNN Computing Technology are considered briefly: (i) the architectural advances, especially the variable resolution and adaptation in space, time, and value and (ii) the computational infrastructure from high level language and compiler to physical implementations. Three basic physi...

In this paper we examine ways to verify reference nets, a class of high level Petri nets supported by the Renew tool. We choose to restrict reference nets to hypernets, another nets-within-nets model more suitable for verification purposes thanks to an expansion toward 1-safe Petri nets. The contribution of the paper is the implementation of such analysis techniques by means of a Renew plugin. ...