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.
Research in Computer Science : 6th Conference, CRI 2023, Yaounde, Cameroon, December 12–13, 2023, Proceedings / / edited by Paulin Melatagia Yonta, Kamel Barkaoui, René Ndoundam, Omer-Blaise Yenke
| Research in Computer Science : 6th Conference, CRI 2023, Yaounde, Cameroon, December 12–13, 2023, Proceedings / / edited by Paulin Melatagia Yonta, Kamel Barkaoui, René Ndoundam, Omer-Blaise Yenke |
| Autore | Melatagia Yonta Paulin |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 006.31 |
| Altri autori (Persone) |
BarkaouiKamel
NdoundamRené YenkeOmer-Blaise |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Machine learning
Natural language processing (Computer science) Image processing Software engineering Computer networks - Security measures Machine Learning Natural Language Processing (NLP) Image Processing Software Engineering Mobile and Network Security |
| ISBN | 3-031-63110-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Convolutional neural network based detection approach of undesirable SMS (Short Message Service) in the Cameroonian context. -- Time aware implicit social influence estimation to enhance recommender systems performances. -- Analysis of COVID-19 coughs: From the mildest to the most severe form, a realistic classification using deep learning. -- SLCDeepETC : An On-Demand Analysis Ready Data pipeline on Sentinel-1 Single Look Complex for Deep Learning. -- Robusness of image classification on imbalanced datasets using capsules networks. -- Application of the multilingual acoustic representation model XLSR-53 for the transcription of Ewondo. -- Self-supervised and multilingual learning applied to the Wolof, Swahili and Fongbe. -- Explaining Meta-learner’s Predictions: case of corporate CO2 emissions. -- Building and validating an ontology for public procurement : The case of Cameroon. -- A Hybrid Algorithm Based on Tabu Search and K-means for Solving The Traveling Salesman Problem. -- Hybridization Of A Recurrent Neural Network By Quadratic Programming For Combinatory Optimization. -- A New Hybrid Algorithm Based on Ant Colony and Neural Networks with Attention Mechanism for Solving the Traveling Salesman Problem. -- Recurrent Neural Network Parallelization for Hate Messages Detection. -- Two high capacity text steganography schemes based on color coding. -- Integration of the triple block data security model based on distributed crypto-steganography in a distributed system. |
| Record Nr. | UNINA-9910869172803321 |
Melatagia Yonta Paulin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings / / Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)
| Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings / / Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XVI, 376 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
BarkaouiKamel
CavalcantiAna CeroneAntonio |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Electronic data processing
Information theory |
| ISBN | 3-540-48816-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Verifying a Hotel Key Card System -- Z/Eves and the Mondex Electronic Purse -- Verification Constraint Problems with Strengthening -- Semantics -- Quantitative ?-Calculus Analysis of Power Management in Wireless Networks -- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa -- A Topological Approach of the Web Classification -- Concurrency -- Bisimulation Congruences in the Calculus of Looping Sequences -- Stronger Reduction Criteria for Local First Search -- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes -- A Petri Net Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis of Security Protocols -- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems -- Thread-Modular Verification Is Cartesian Abstract Interpretation -- Formal Languages -- Capture-Avoiding Substitution as a Nominal Algebra -- Prime Decomposition Problem for Several Kinds of Regular Codes -- A New Approach to Determinisation Using Bit-Parallelism -- Logic and Type Theory -- Proving ATL* Properties of Infinite-State Systems -- Type Safety for FJ and FGJ -- Partizan Games in Isabelle/HOLZF -- Proof-Producing Program Analysis -- Real-Time and Mobility -- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting -- Interesting Properties of the Real-Time Conformance Relation tioco -- Model Checking Duration Calculus: A Practical Approach -- Spatio-temporal Model Checking for Mobile Real-Time Systems -- Tutorials: Extended Abstracts -- Tutorial on Formal Methods for Distributed and Cooperative Systems -- Decision Procedures for the Formal Analysis of Software. |
| Altri titoli varianti | ICTAC 2006 |
| Record Nr. | UNINA-9910483380303321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing - ICTAC 2006 [[electronic resource] ] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings / / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
| Theoretical Aspects of Computing - ICTAC 2006 [[electronic resource] ] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings / / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVI, 376 p.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Compilers (Computer programs) Software engineering Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Software Engineering |
| ISBN | 3-540-48816-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Verifying a Hotel Key Card System -- Z/Eves and the Mondex Electronic Purse -- Verification Constraint Problems with Strengthening -- Semantics -- Quantitative ?-Calculus Analysis of Power Management in Wireless Networks -- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa -- A Topological Approach of the Web Classification -- Concurrency -- Bisimulation Congruences in the Calculus of Looping Sequences -- Stronger Reduction Criteria for Local First Search -- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes -- A Petri Net Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis of Security Protocols -- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems -- Thread-Modular Verification Is Cartesian Abstract Interpretation -- Formal Languages -- Capture-Avoiding Substitution as a Nominal Algebra -- Prime Decomposition Problem for Several Kinds of Regular Codes -- A New Approach to Determinisation Using Bit-Parallelism -- Logic and Type Theory -- Proving ATL* Properties of Infinite-State Systems -- Type Safety for FJ and FGJ -- Partizan Games in Isabelle/HOLZF -- Proof-Producing Program Analysis -- Real-Time and Mobility -- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting -- Interesting Properties of the Real-Time Conformance Relation tioco -- Model Checking Duration Calculus: A Practical Approach -- Spatio-temporal Model Checking for Mobile Real-Time Systems -- Tutorials: Extended Abstracts -- Tutorial on Formal Methods for Distributed and Cooperative Systems -- Decision Procedures for the Formal Analysis of Software. |
| Record Nr. | UNISA-996466151903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
| Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVI, 205 p. 76 illus.) |
| Disciplina | 004.60151982 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Software engineering Operating systems (Computers) Compilers (Computer programs) Computer programming Artificial intelligence Software Engineering Operating Systems Compilers and Interpreters Programming Techniques Artificial Intelligence |
| ISBN | 3-319-66176-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation -- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation -- Control methods -- Modeling methodologies -- Model development and analysis -- Modeling and simulation.- Formal mehods. |
| Record Nr. | UNISA-996466151703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
| Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVI, 205 p. 76 illus.) |
| Disciplina | 004.60151982 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Software engineering Operating systems (Computers) Compilers (Computer programs) Computer programming Artificial intelligence Software Engineering Operating Systems Compilers and Interpreters Programming Techniques Artificial Intelligence |
| ISBN | 3-319-66176-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation -- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation -- Control methods -- Modeling methodologies -- Model development and analysis -- Modeling and simulation.- Formal mehods. |
| Record Nr. | UNINA-9910484370403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||