Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Membrane Computing [[electronic resource] ] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing [[electronic resource] ] : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 456 p.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology |
| ISBN | 3-540-77312-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata -- (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling Biological Membranes -- Membrane Computing in Connex Environment -- Regular Papers -- Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes -- On the Reachability Problem in P Systems with Mobile Membranes -- Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets -- A Hybrid Approach to Modeling Biological Systems -- Causality in Membrane Systems -- Simulating the Bitonic Sort Using P Systems -- On the Number of Agents in P Colonies -- Events, Causality, and Concurrency in Membrane Systems -- P Systems with String Objects and with Communication by Request -- On the Dynamics of PB Systems with Volatile Membranes -- A Logarithmic Bound for Solving Subset Sum with P Systems -- A Formal Framework for Static (Tissue) P Systems -- Conformon-P Systems with Negative Values -- Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation -- Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo -- Solving Numerical NP-Complete Problems with Spiking Neural P Systems -- Towards a Complete Covering of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications -- On Flip-Flop Membrane Systems with Proteins -- Characterizing Membrane Structures Through Multiset Tree Automata -- OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. |
| Record Nr. | UNISA-996465855703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Membrane Computing : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
| Membrane Computing : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers / / edited by George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 456 p.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology |
| ISBN | 3-540-77312-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Psim: A Computational Platform for Metabolic P Systems -- Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata -- (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling Biological Membranes -- Membrane Computing in Connex Environment -- Regular Papers -- Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes -- On the Reachability Problem in P Systems with Mobile Membranes -- Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets -- A Hybrid Approach to Modeling Biological Systems -- Causality in Membrane Systems -- Simulating the Bitonic Sort Using P Systems -- On the Number of Agents in P Colonies -- Events, Causality, and Concurrency in Membrane Systems -- P Systems with String Objects and with Communication by Request -- On the Dynamics of PB Systems with Volatile Membranes -- A Logarithmic Bound for Solving Subset Sum with P Systems -- A Formal Framework for Static (Tissue) P Systems -- Conformon-P Systems with Negative Values -- Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation -- Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo -- Solving Numerical NP-Complete Problems with Spiking Neural P Systems -- Towards a Complete Covering of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P -- Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications -- On Flip-Flop Membrane Systems with Proteins -- Characterizing Membrane Structures Through Multiset Tree Automata -- OPERAS CC : An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. |
| Record Nr. | UNINA-9910484012503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 8th Balkan Conference in Informatics / / editors, Katerina Zdravkova, George Eleftherakis, Petros Kefalas ; ACM Digital Library, contributor
| Proceedings of the 8th Balkan Conference in Informatics / / editors, Katerina Zdravkova, George Eleftherakis, Petros Kefalas ; ACM Digital Library, contributor |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (181 pages) : illustrations |
| Disciplina | 004 |
| Collana | ACM Other Conferences |
| Soggetto topico |
Computer science
Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376038303321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
| Software Engineering and Formal Methods [[electronic resource] ] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 384 p. 103 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Artificial intelligence Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Artificial Intelligence |
| ISBN | 3-642-33826-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465840703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Wireless and Satellite Systems : 8th International Conference, WiSATS 2016, Cardiff, UK, September 19-20, 2016, Proceedings / / edited by Ifiok Otung, Prashant Pillai, George Eleftherakis, Giovanni Giambene
| Wireless and Satellite Systems : 8th International Conference, WiSATS 2016, Cardiff, UK, September 19-20, 2016, Proceedings / / edited by Ifiok Otung, Prashant Pillai, George Eleftherakis, Giovanni Giambene |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 236 p. 132 illus.) |
| Disciplina | 621.384 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Computer communication systems
Application software Coding theory Information theory Computer Communication Networks Information Systems Applications (incl. Internet) Coding and Information Theory |
| ISBN | 3-319-53850-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Compact CSRR Loaded Monopole Antenna with Defected Ground Structure for Mobile WLAN and WiMAX Applications -- Development Status of Small-sized Ka-band Mobile Terminal for Maritime Broadband Communications -- New and Less Complex Approach to Estimate the Angles of Arrival -- MIMO Based Multi Band Antenna for Wireless Communication in C-band, X-Band, K-Band and Ku Band -- A Staircase-shaped DGS Structure Monopole Antenna for UWB Operations -- Implementation of a Low-Rate Linear Step FM Transceiver on a Software Defined Radio Platform -- High Reliability Light Weight Multi-Mission Amplifier System -- Examination of power consumption reduction and sampling behavior of envelope detection based wake-up-receiver with duty cycling scheme -- Bit Synchronization and Delayed Decision Feedback Equalization for EDGE BTS - Hardware Implementation on TMS320C6424 TI DSP -- Precoding of Correlated Symbols for STBC Systems Design -- Communication Applications in Smart Grid (CASG) Special Session -- Optimization of Community Based Virtual Power Plant with Embedded Storage and Renewable Generation -- Assessment of effective radiated power of the partial discharge emulator source Wireless, Computing and Satellite Systems Security (WCSSS) Special Session -- Experimental Privacy Analysis and Characterization for Disconnected VANETs -- A Mobility-Aware Trust Management Scheme for Emergency Communication Networks -- Effective Doppler Mitigation in Critical Satellite Communications -- Interference Mitigation for Multi Spot Beam Satellite Communication Systems Incorporating Spread Spectrum -- Specific Rain Attenuation derived from a Gaussian Mixture Model for Rainfall Drop Size Distribution -- Cognitive Interference Management Techniques for the Spectral Co-existence of GSO and NGSO Satellites -- A 15.5W Si-LDMOS Balanced Power Amplifier With 53% Ultimate PAE for High Speed LTE -- Energy Efficient Adaptive Network Coding Schemes for Satellite Communications -- Distribution of HDTV using VLC Techniques for Domestic Applications -- On the Energy Minimization of Heterogeneous Cloud Radio access Networks. . |
| Record Nr. | UNINA-9910254823603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||