This article presents an overview of the design process of an interconnection network, using the technology proposed by Arteris. Section 2 summarizes the various features a NoC is required to implement to be integrated in modern SoCs. Section 3 describes the proposed top-down approach, based on the progressive refinement of the NoC description, from its functional specification (Sect. 4) to its...

From the spectra and light curves it is clear that SNIa events are thermonuclear explosions of white dwarfs. However, details of the explosion are highly under debate. Here, we present detailed models which are consistent with respect to the explosion mechanism, the optical and infrared light curves (LC), and the spectral evolution. This leaves the description of the burning front and the struc...

To determine the kinetics of tissue macrophage and microglial engraftment after bone marrow (BM) transplantation, we have developed a model using the ROSA 26 mouse. Transplanted ROSA 26 cells can be precisely identified in recipient animals because they constitutively express beta-galactosidase (beta-gal) and neomycin resistance. B6/129 F2 mice were irradiated and transplanted with BM from ROSA...

What is the Problem of Universals? In this paper we take up the classic question and proceed as follows. In Sect. 1 we consider three problem solving settings and define the notion of problem solving accordingly. Basically I say that to solve problems is to eliminate undesirable, unspecified, or apparently incoherent scenarios. In Sect. 2 we apply the general observations from Sect. 1 to the Pr...

The concept of γ-semi-regular-open sets and γ-sclosed spaces have been introduced and explored in [6]. In this paper, we continue studying the properties and characterizations of γ-semi-regular open sets and γ-s-closed spaces.

In this paper we have introduced the concept of (γ, γ′)-preopen sets in topological space.

ROSA is a Learning Object (LO) repository system with semantic access, which enables the management of LOs. LO is a collection of reusable material used to support learning, characterized by a set of metadata descriptors. LOs are accessed in a contextualized way, determined by semantic associations between them. This paper presents ROSA+, a system extension that aims at deducing additional sema...

To determine the kinetics of tissue macrophage and microgwere observed. Alveolar macrophage engraftment was evident by 2 months and had increased to 61% of total tissue lial engraftment after bone marrow (BM) transplantation, we have developed a model using the ROSA 26 mouse. macrophages at 1 year posttransplantation. The kinetics of liver Kupffer cell engraftment were similar to those seen in ...

To determine the taxonomic identities and the systematic positions of some collections of Lindsaea sect. Synaphlebium (Lindsaeaceae) from Papua New Guinea, we conducted morphological comparisons and phylogenetic analyses on the whole section. A total of 22 morphological characters were selected and coded for each of all known taxa in L. sect. Synaphlebium, and were analyzed using maximum parsim...