PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 11

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Abstract Interpretations in the Framework of Invariant Sets
Alexandru A., Ciobanu G.
Fundamenta Informaticae
|
2016
|
Vol. 144, nr 1
1--22
EN
We present a theory of abstract interpretations in the framework of invariant sets by translating the notions of lattices and Galois connections into this framework, and presenting their properties in terms of finitely supported objects. We introduce the notions of invariant correctness relation and invariant representation function, emphasize an equivalence between them, and establish the relationship between these notions and invariant Galois connections. Finally, we provide some widening and narrowing techniques in order to approximate the least fixed points of finitely supported transition functions.
2
Content available Kinetic and equilibrium studies on adsorption of Reactive Blue 19 dye from aqueous solutions by nanohydroxyapatite adsorbent
Ciobanu G., Barna S., Harja M.
Archives of Environmental Protection
|
2016
|
Vol. 42, no. 2
3--11
EN
In the present study the adsorption of Reactive Blue 19 dye on the hydroxyapatite (HAp) nanopowders was investigated. The batch adsorption experiments were performed by monitoring the adsorbent dosage, contact time, dye solution concentration, pH and temperature. At pH 3 and 20ºC, high dye removal rates of about 95.58% and 86.95% for the uncalcined and calcined nanohydroxyapatites, respectively, were obtained. The kinetic studies indicated the dye adsorption onto nanohydroxyapatite samples to follow a pseudo-second order model. The Langmuir isotherm was found to be the best to represent the equilibrium with experimental data. The maximum adsorption capacity of uncalcined and calcined nanohydroxyapatite samples has been found to be 90.09 mg/g and 74.97 mg/g, respectively.
3
Content available remote Nominal Groups and Their Homomorphism Theorems
Alexandru A., Ciobanu G.
Fundamenta Informaticae
|
2014
|
Vol. 131, nr 3-4
279--298
EN
We introduce and study the nominal groups, providing some algebraic properties of this new structure. We focus on the properties of nominal homomorphisms, and study the correspondence between some results obtained in the Fraenkel-Mostowski framework (where only finitely supported objects are allowed) and those obtained in the classical Zermelo-Fraenkel framework.
4
Content available remote Monitoring Changes in Dynamic Multiset Systems
Ciobanu G., Sburlan D.
Fundamenta Informaticae
|
2014
|
Vol. 134, nr 1/2
67--82
EN
Models of biological systems expressed as multiset rewriting systems can be very complex, impeding the analysis of their behaviour. In this paper we propose a practical solution to this problem, in the form of change monitors, i.e. computational instruments which synchronise with the model and record its behaviour. Change monitors play the role of passive observers. Since change monitors can automatically identify specific behaviours generated by the model under investigation, it is sufficient to focus only on the output produced by the monitors (instead of examining the dynamics of the initial model).
5
Content available remote Continuation Semantics for Asynchronous Concurrency
Ciobanu G., Todoran E. N.
Fundamenta Informaticae
|
2014
|
Vol. 131, nr 3-4
373--388
EN
The paper presents a method of reasoning about the behaviour of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency.
6
Content available remote Fabrication of mesoporous mixed oxides containing copper and cerium by using substituted anionic clays as precursors
Carja G., Dranca S., Ciobanu G., Husanu E., Balasanian I.
Materials Science Poland
|
2009
|
Vol. 27, No. 3
909--917
EN
Copper and cerium partially substituted anionic clay was synthesized by the coprecipitation method. The XRD analysis and N2 adsorption at 77 K indicated that calcination destroys the layered matrix of the clay, giving rise to mixed oxides having a high surface area and mesoporous characteristics; SEM analysis showed that the new formed mixed oxides consist of ensembles of highly agglomerated, interconnected nanoparticles. It results from XPS that copper and cerium both contribute to establish the specific redox properties on the surface.
7
Content available remote Computational Complexity of Simple P Systems
Ciobanu G., Resios A.
Fundamenta Informaticae
|
2008
|
Vol. 87, nr 1
49-59
EN
This paper introduces a new class of membrane systems called simple P systems, and studies their computational complexity. We start by presenting the knapsack problem and its time complexity. Then we study the computational complexity of simple P systems by considering the allocation of resources enabling the parallel application of the rules. We show that the decision version of the resource allocation problem for simple P systems is NP-complete, by using the knapsack problem.
8
Content available remote On the Branching Complexity of P Systems
Ciobanu G., Paun G., Pérez-Jiménez M.J.
Fundamenta Informaticae
|
2006
|
Vol. 73, nr 1-2
27-36
EN
We consider two complexity parameters related to the graph of reachable configurations of a given P system, namely the outdegree as a measure of the degree of non-determinism, and the indegree as a measure of the degree of confluence. These parameters can be defined for both the generative and the accepting mode of using a P system. We investigate here these parameters in what concerns hierarchies and decidability issues. We prove that all hierarchies have only two levels and that all considered decidability problems have a negative answer.
9
Content available remote An Automata Description of the Genetic Message Translation
Ciobanu G., Gontineac M.
Fundamenta Informaticae
|
2005
|
Vol. 64, nr 1-4
93-107
EN
In this paper we present the genetic message translation in terms of automata, transformation semigroups, restricted direct product and cascade product. We give a description of the alphabets and words involved in the processes of transcription and translation. We define a Mealy automata for the translation process, providing its detailed coverings by simpler machines. This leads to an interesting structural representation of the proteins.
10
Content available remote P System Software Simulator
Ciobanu G., Paraschiv D.
Fundamenta Informaticae
|
2002
|
Vol. 49, nr 1-3
61-66
EN
We present a software application that is intended to be a tool for people working with P systems. This software tool is called the Membrane Simulator and it provides a graphical simulation for two variants of P systems: the initial version of the catalytic hierarchical cell system and the active membrane system.
11
Content available remote Gene Expression by Software Mechanisms
Ciobanu G., Tanasa B.
Fundamenta Informaticae
|
2002
|
Vol. 49, nr 1-3
67-80
EN
This paper describes the molecular interactions and coordination of cell processes using computer operating system concepts related to synchronization and communication. We argue that in molecular biology, the genes and their chromatin context provide communication and interaction with various cell processes in a similar way to that in which computer processes synchronize and communicate with each other.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.