Search

Your search keyword '"Ipate, Florentin"' showing total 370 results
Start Over Author "Ipate, Florentin"
370 results on '"Ipate, Florentin"'

2. Privacy-preserving Linear Computations in Spiking Neural P Systems

Author

Plesa, Mihail-Iulian, Gheorghe, Marian, and Ipate, Florentin

Subjects
Computer Science - Cryptography and Security, Computer Science - Artificial Intelligence
Abstract

Spiking Neural P systems are a class of membrane computing models inspired directly by biological neurons. Besides the theoretical progress made in this new computational model, there are also numerous applications of P systems in fields like formal verification, artificial intelligence, or cryptography. Motivated by all the use cases of SN P systems, in this paper, we present a new privacy-preserving protocol that enables a client to compute a linear function using an SN P system hosted on a remote server. Our protocol allows the client to use the server to evaluate functions of the form t_1k + t_2 without revealing t_1, t_2 or k and without the server knowing the result. We also present an SN P system to implement any linear function over natural numbers and some security considerations of our protocol in the honest-but-curious security model., Comment: In Proceedings FROM 2023, arXiv:2309.12959

Published
2023
Full Text
View/download PDF

3. Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems

Author

Bobe, Radu Traian, Ipate, Florentin, and Niculescu, Ionuţ Mihai

Subjects
Computer Science - Software Engineering, Computer Science - Robotics
Abstract

The safety of the systems controlled by software is a very important area in a digitalized society, as the number of automated processes is increasing. In this paper, we present the results of testing the accuracy of different lane keeping controllers for an educational robot. In our approach, the robot is controlled using numerical P systems and enzymatic numerical P systems. For tests generation, we used an open-source tool implementing a search-based software testing approach., Comment: In Proceedings FROM 2023, arXiv:2309.12959

Published
2023
Full Text
View/download PDF

4. Private Inference on Layered Spiking Neural P Systems

Author

Pleşsa, Mihail-Iulian, Gheoghe, Marian, Ipate, Florentin, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Ferrández Vicente, José Manuel, editor, Val Calvo, Mikel, editor, and Adeli, Hojjat, editor

Published
2024
Full Text
View/download PDF

5. Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models

Author

Bobe, Radu Traian, Gheorghe, Marian, Ipate, Florentin, Niculescu, Ionuţ Mihai, Akan, Ozgur, Editorial Board Member, Bellavista, Paolo, Editorial Board Member, Cao, Jiannong, Editorial Board Member, Coulson, Geoffrey, Editorial Board Member, Dressler, Falko, Editorial Board Member, Ferrari, Domenico, Editorial Board Member, Gerla, Mario, Editorial Board Member, Kobayashi, Hisashi, Editorial Board Member, Palazzo, Sergio, Editorial Board Member, Sahni, Sartaj, Editorial Board Member, Shen, Xuemin, Editorial Board Member, Stan, Mircea, Editorial Board Member, Jia, Xiaohua, Editorial Board Member, Zomaya, Albert Y., Editorial Board Member, Guisado-Lizar, José-Luis, editor, Riscos-Núñez, Agustín, editor, Morón-Fernández, María-José, editor, and Wainer, Gabriel, editor

Published
2024
Full Text
View/download PDF

9. Using the Rodin Platform as a Programming Tool

Author

Turcanu, Adrian, Ipate, Florentin, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Ullah, Abrar, editor, Anwar, Sajid, editor, Rocha, Álvaro, editor, and Gill, Steve, editor

Published
2022
Full Text
View/download PDF

10. A Federated Learning Protocol for Spiking Neural Membrane Systems.

Author

Pleşa, Mihail-Iulian, Gheorghe, Marian, Ipate, Florentin, and Zhang, Gexiang

Subjects
ARTIFICIAL neural networks, FEDERATED learning, NATURAL language processing, PROBLEM solving, RESEARCH personnel, DEEP learning
Abstract

Although deep learning models have shown promising results in solving problems related to image recognition or natural language processing, they do not match how the biological brain works. Some of the differences include the amount of energy consumed, the way neurons communicate, or the way they learn. To close the gap between artificial neural networks and biological ones, researchers proposed the spiking neural network. Layered Spiking Neural P systems (LSN P systems) are networks of spiking neurons used to solve various classification problems. In this paper, we study the LSN P systems in the context of a federated learning client–server architecture over horizontally partitioned data. We analyze the privacy implications of pre-trained LSN P systems through membership inference attacks. We also perform experiments to assess the performance of an LSN P system trained in the federated learning setup. Our findings suggest that LSN P systems demonstrate higher accuracy and faster convergence compared to federated algorithms based on either perceptron or spiking neural networks. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

11. Testing Identifiable Kernel P Systems Using an X-Machine Approach

Author

Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca, Turlea, Ana, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Hinze, Thomas, editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, and Zandron, Claudio, editor

Published
2019
Full Text
View/download PDF

14. Modelling and Validating an Engineering Application in Kernel P Systems

Author

Lefticaru, Raluca, Bakir, Mehmet Emin, Konur, Savas, Stannett, Mike, Ipate, Florentin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gheorghe, Marian, editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, and Zandron, Claudio, editor

Published
2018
Full Text
View/download PDF

15. Identifiable Kernel P Systems

Author

Gheorghe, Marian, Ipate, Florentin, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Graciani, Carmen, editor, Riscos-Núñez, Agustín, editor, Păun, Gheorghe, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2018
Full Text
View/download PDF

16. Synchronization of P Systems with Simplex Channels

Author

Ipate, Florentin, Nicolescu, Radu, Niculescu, Ionut-Mihai, and Stefan, Cristian

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Emerging Technologies, Computer Science - Formal Languages and Automata Theory
Abstract

We solve the Firing Squad Synchronization Problem (FSSP), for P systems based on digraphs with simplex channels, where communication is restricted by the direction of structural arcs. Previous work on FSSP for P systems focused exclusively on P systems with duplex channels, where communication between parents and children is bidirectional. Our P solution, the first for simplex channels, requires cell IDs, strongly connected digraphs and some awareness of the local topology (such as each cell's outdegree)---we argue that these requirements are necessary. Compared to the known solutions for cellular automata, our solution is substantially simpler and faster., Comment: Presented at MeCBIC 2011

Published
2011

20. Kernel P Systems Modelling, Testing and Verification - Sorting Case Study

Author

Gheorghe, Marian, Ceterchi, Rodica, Ipate, Florentin, Konur, Savas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Leporati, Alberto, editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, and Zandron, Claudio, editor

Published
2017
Full Text
View/download PDF

21. RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions

Author

Stoenescu, Teodor, Stefanescu, Alin, Predut, Sorina, Ipate, Florentin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fitzgerald, John, editor, Heitmeyer, Constance, editor, Gnesi, Stefania, editor, and Philippou, Anna, editor

Published
2016
Full Text
View/download PDF

24. An Integrated Model Checking Toolset for Kernel P Systems

Author

Gheorghe, Marian, Konur, Savas, Ipate, Florentin, Mierla, Laurentiu, Bakir, Mehmet E., Stannett, Mike, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, Sempere, José M., editor, and Zandron, Claudio, editor

Published
2015
Full Text
View/download PDF

26. Modelling and Analysis of E. coli Respiratory Chain

Author

Ţurcanu, Adrian, Mierlă, Laurenţiu, Ipate, Florentin, Stefanescu, Alin, Bai, Hao, Holcombe, Mike, Coakley, Simon, Zelinka, Ivan, Series editor, Adamatzky, Andrew, Series editor, Chen, Guanrong, Series editor, Frisco, Pierluigi, editor, Gheorghe, Marian, editor, and Pérez-Jiménez, Mario J., editor

Published
2014
Full Text
View/download PDF

27. Programming P Systems with Complex Objects

Author

Nicolescu, Radu, Ipate, Florentin, Wu, Huiling, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alhazov, Artiom, editor, Cojocaru, Svetlana, editor, Gheorghe, Marian, editor, Rogozhin, Yurii, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2014
Full Text
View/download PDF

28. Implementation of P Systems by Using Big Data Technologies

Author

Ciobanu, Alex, Ipate, Florentin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alhazov, Artiom, editor, Cojocaru, Svetlana, editor, Gheorghe, Marian, editor, Rogozhin, Yurii, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2014
Full Text
View/download PDF

29. Model Checking Kernel P Systems

Author

Dragomir, Ciprian, Ipate, Florentin, Konur, Savas, Lefticaru, Raluca, Mierla, Laurentiu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alhazov, Artiom, editor, Cojocaru, Svetlana, editor, Gheorghe, Marian, editor, Rogozhin, Yurii, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2014
Full Text
View/download PDF

30. A Kernel P Systems Survey

Author

Gheorghe, Marian, Ipate, Florentin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alhazov, Artiom, editor, Cojocaru, Svetlana, editor, Gheorghe, Marian, editor, Rogozhin, Yurii, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2014
Full Text
View/download PDF

31. Extended Simulation and Verification Platform for Kernel P Systems

Author

Bakir, Mehmet E., Ipate, Florentin, Konur, Savas, Mierla, Laurentiu, Niculescu, Ionut, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gheorghe, Marian, editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, Sosík, Petr, editor, and Zandron, Claudio, editor

Published
2014
Full Text
View/download PDF

32. Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

Author

Hierons, Robert and Ipate, Florentin

Abstract

Abstract: A stream X-machine (SXM) is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of the great benefits of using SXMs for the purpose of specification is the existence of test generation techniques that produce test suites that are guaranteed to determine correctness as long as certain well-defined conditions hold. One of the conditions that is traditionally assumed to hold is controllability: this insists that all paths through the SXM are feasible. This restrictive condition has recently been weakened for testing from a deterministic SXM. This paper shows how controllability can be replaced by a weaker condition when testing a deterministic system against a non-deterministic SXM. This paper therefore develops a new, more general, test generation algorithm for testing from a non-deterministic SXM.

Published
2024
Full Text
View/download PDF

35. Kernel P Systems: Applications and Implementations

Author

Ipate, Florentin, Lefticaru, Raluca, Mierlă, Laurenţiu, Cabrera, Luis Valencia, Han, Huang, Zhang, Gexiang, Dragomir, Ciprian, Jiménez, Mario J. Pérez, Gheorghe, Marian, Kacprzyk, Janusz, Series editor, Yin, Zhixiang, editor, Pan, Linqiang, editor, and Fang, Xianwen, editor

Published
2013
Full Text
View/download PDF

36. Model Learning and Test Generation for Event-B Decomposition

Author

Dinca, Ionut, Ipate, Florentin, Stefanescu, Alin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Margaria, Tiziana, editor

Published
2012
Full Text
View/download PDF

37. JSXM: A Tool for Automated Test Generation

Author

Dranidis, Dimitris, Bratanis, Konstantinos, Ipate, Florentin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Eleftherakis, George, editor, Hinchey, Mike, editor, and Holcombe, Mike, editor

Published
2012
Full Text
View/download PDF

38. An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms

Author

Lefticaru, Raluca, Ipate, Florentin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Eleftherakis, George, editor, Hinchey, Mike, editor, and Holcombe, Mike, editor

Published
2012
Full Text
View/download PDF

39. Learn and Test for Event-B – A Rodin Plugin

Author

Dinca, Ionut, Ipate, Florentin, Mierla, Laurentiu, Stefanescu, Alin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Derrick, John, editor, Fitzgerald, John, editor, Gnesi, Stefania, editor, Khurshid, Sarfraz, editor, Leuschel, Michael, editor, Reeves, Steve, editor, and Riccobene, Elvinia, editor

Published
2012
Full Text
View/download PDF

40. Evolutionary Design of a Simple Membrane System

Author

Huang, Xiaoli, Zhang, Gexiang, Rong, Haina, Ipate, Florentin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gheorghe, Marian, editor, Păun, Gheorghe, editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, and Verlan, Sergey, editor

Published
2012
Full Text
View/download PDF

41. Formal Verification of P Systems with Active Membranes through Model Checking

Author

Ipate, Florentin, Lefticaru, Raluca, Pérez-Hurtado, Ignacio, Pérez-Jiménez, Mario J., Tudose, Cristina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gheorghe, Marian, editor, Păun, Gheorghe, editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, and Verlan, Sergey, editor

Published
2012
Full Text
View/download PDF

44. An Integrated Approach to P Systems Formal Verification

Author

Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca, Dragomir, Ciprian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gheorghe, Marian, editor, Hinze, Thomas, editor, Păun, Gheorghe, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2011
Full Text
View/download PDF

45. Testing Based on P Systems – An Overview

Author

Gheorghe, Marian, Ipate, Florentin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gheorghe, Marian, editor, Hinze, Thomas, editor, Păun, Gheorghe, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2011
Full Text
View/download PDF

46. An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition

Author

Liu, Chunxiu, Zhang, Gexiang, Liu, Hongwen, Gheorghe, Marian, Ipate, Florentin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Păun, Gheorghe, editor, Pérez-Jiménez, Mario J., editor, Riscos-Núñez, Agustín, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2010
Full Text
View/download PDF

47. Tuning P Systems for Solving the Broadcasting Problem

Author

Lefticaru, Raluca, Ipate, Florentin, Gheorghe, Marian, Zhang, Gexiang, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Păun, Gheorghe, editor, Pérez-Jiménez, Mario J., editor, Riscos-Núñez, Agustín, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2010
Full Text
View/download PDF

48. Formal Verification and Testing Based on P Systems

Author

Gheorghe, Marian, Ipate, Florentin, Dragomir, Ciprian, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Păun, Gheorghe, editor, Pérez-Jiménez, Mario J., editor, Riscos-Núñez, Agustín, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2010
Full Text
View/download PDF

49. On Testing P Systems

Author

Gheorghe, Marian, Ipate, Florentin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Corne, David Wolfe, editor, Frisco, Pierluigi, editor, Păun, Gheorghe, editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2009
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results