Algebraic Informatics [[electronic resource] ] : 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / / edited by Miroslav Ćirić, Manfred Droste, Jean-Éric Pin |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XVI, 259 p. 273 illus., 22 illus. in color.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence—Data processing Numerical analysis Computer science—Mathematics Discrete mathematics Algorithms Coding theory Information theory Computer Science Logic and Foundations of Programming Data Science Numerical Analysis Discrete Mathematics in Computer Science Coding and Information Theory |
ISBN | 3-030-21363-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910337843303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithmics of Wireless Networks [[electronic resource] ] : 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7–8, 2023, Revised Selected Papers / / edited by Konstantinos Georgiou, Evangelos Kranakis |
Autore | Georgiou Konstantinos |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (160 pages) |
Disciplina | 005.13 |
Altri autori (Persone) | KranakisEvangelos |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Algorithms
Artificial intelligence Computer engineering Computer networks Design and Analysis of Algorithms Artificial Intelligence Computer Engineering and Networks |
ISBN | 3-031-48882-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Segment Visibility for k-transmitters -- Conflict Resolution in Arbitrary Hypergraphs -- Dispatching the Minimum Number of UAVs in Neighborhood IoT Networks -- Mutual Visibility with ASYNC Luminous Robots having Inaccurate Movements -- Minimum Degree and Connectivity in 1-Dimensional Line of Sight Networks -- WUBBLE: Energy Efficient BLE Neighborhood Discovery Leveraging Wake-up Radio -- Byzantine Fault-Tolerant Protocols for $(n, f)$-evacuation from a Circle -- Temporal Reachability Dominating Sets: contagion in temporal graphs -- Fair Scheduling Under Packet Management: Competitive Analysis of Age of Information -- Run for Cover: Dominating Set via Mobile Agents. |
Record Nr. | UNINA-9910767543603321 |
Georgiou Konstantinos | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithmics of Wireless Networks [[electronic resource] ] : 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7–8, 2023, Revised Selected Papers / / edited by Konstantinos Georgiou, Evangelos Kranakis |
Autore | Georgiou Konstantinos |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (160 pages) |
Disciplina | 005.13 |
Altri autori (Persone) | KranakisEvangelos |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Algorithms
Artificial intelligence Computer engineering Computer networks Design and Analysis of Algorithms Artificial Intelligence Computer Engineering and Networks |
ISBN | 3-031-48882-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Segment Visibility for k-transmitters -- Conflict Resolution in Arbitrary Hypergraphs -- Dispatching the Minimum Number of UAVs in Neighborhood IoT Networks -- Mutual Visibility with ASYNC Luminous Robots having Inaccurate Movements -- Minimum Degree and Connectivity in 1-Dimensional Line of Sight Networks -- WUBBLE: Energy Efficient BLE Neighborhood Discovery Leveraging Wake-up Radio -- Byzantine Fault-Tolerant Protocols for $(n, f)$-evacuation from a Circle -- Temporal Reachability Dominating Sets: contagion in temporal graphs -- Fair Scheduling Under Packet Management: Competitive Analysis of Age of Information -- Run for Cover: Dominating Set via Mobile Agents. |
Record Nr. | UNISA-996574260003316 |
Georgiou Konstantinos | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms and Architectures for Parallel Processing [[electronic resource] ] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part I / / edited by Zahir Tari, Keqiu Li, Hongyi Wu |
Autore | Tari Zahir |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (523 pages) |
Disciplina | 005.13 |
Altri autori (Persone) |
LiKeqiu
WuHongyi |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Algorithms
Machine learning Computer networks Computer vision Computer engineering Design and Analysis of Algorithms Machine Learning Computer Communication Networks Computer Vision Computer Engineering and Networks |
ISBN | 981-9708-34-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Short Video Account Influence Evaluation Model Based on Improved SF-UIR Algorithm -- Deep Hash Learning of Feature-Invariant Representation for Single-label and Multi-label Retrieval -- Generative Adversarial Network Based Asymmetric Deep Cross-modal Unsupervised Hashing -- CFDM-IME A Collaborative Fault Diagnosis Method For Intelligent Manufacturing Equipment -- DFECTS A Deep Fuzzy Ensemble Clusterer for Time Series -- Energy-aware Smart Task Scheduling in Edge Computing Networks with A3C -- BACTDS Blockchain-based Fined-grained Access Control Scheme with Traceablity for IoT Data Sharing -- DeepLat Achieving Minimum Worst Case Latency for DNN Inference with Batch-Aware Dispatching -- Privacy-Preserving and Reliable Distributed Federated Learning -- Joint Optimization of Request Scheduling and Container Prewarming in Serverless Computing -- Multi-Stage Optimization of Incentive Mechanisms for Mobile Crowd Sensing based on Top-Trading Cycles -- A Chained Forwarding Mechanism for Large Messages -- TDC Pool-level object cache replacement algorithm based on temperature density -- Smart DAG Task Scheduling based on MCTS Method of Multi-Strategy Learning -- CT-Mixer Exploiting Multiscale Design for Local-global Representations Learning -- FedQL Q-learning Guided Aggregation for Federated Learning -- An Adaptive Instruction Set Encoding Automatic Generation Method for VLIW -- FastDet Detecting Encrypted Malicious Traffic Faster via Early Exit -- Real-EVE Real-time Edge-assist Video Enhancement for Joint Denoising and Super-resolution -- Optimizing the Parallelism of Communication and Computation in Distributed Training Platform -- FedSC Compatible Gradient Compression for Communication-Efficient Federated Learning -- Joint Video Transcoding and Representation Selection for Edge-Assisted Multi-Party Video Conferencing -- Performance Comparison of Distributed DNN Training on Opticalversus Electrical Interconnect Systems -- Dynamic Path Planning Based on Traffic Flow Prediction and Traffic Light Status -- A Time Series Data Compression Co-processor Based on RISC-V Custom Instructions -- MSIN An Efficient Multi-head Self-Attention Framework for Inertial Navigation -- AbsorbDeadlock Resolution for 2.5D Modular Chiplet Based Systems -- A Multi-Server Authentication Scheme based on Fuzzy Extractor. |
Record Nr. | UNINA-9910842487703321 |
Tari Zahir | ||
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms and Architectures for Parallel Processing [[electronic resource] ] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part I / / edited by Zahir Tari, Keqiu Li, Hongyi Wu |
Autore | Tari Zahir |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (523 pages) |
Disciplina | 005.13 |
Altri autori (Persone) |
LiKeqiu
WuHongyi |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Algorithms
Machine learning Computer networks Computer vision Computer engineering Design and Analysis of Algorithms Machine Learning Computer Communication Networks Computer Vision Computer Engineering and Networks |
ISBN | 981-9708-34-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Short Video Account Influence Evaluation Model Based on Improved SF-UIR Algorithm -- Deep Hash Learning of Feature-Invariant Representation for Single-label and Multi-label Retrieval -- Generative Adversarial Network Based Asymmetric Deep Cross-modal Unsupervised Hashing -- CFDM-IME A Collaborative Fault Diagnosis Method For Intelligent Manufacturing Equipment -- DFECTS A Deep Fuzzy Ensemble Clusterer for Time Series -- Energy-aware Smart Task Scheduling in Edge Computing Networks with A3C -- BACTDS Blockchain-based Fined-grained Access Control Scheme with Traceablity for IoT Data Sharing -- DeepLat Achieving Minimum Worst Case Latency for DNN Inference with Batch-Aware Dispatching -- Privacy-Preserving and Reliable Distributed Federated Learning -- Joint Optimization of Request Scheduling and Container Prewarming in Serverless Computing -- Multi-Stage Optimization of Incentive Mechanisms for Mobile Crowd Sensing based on Top-Trading Cycles -- A Chained Forwarding Mechanism for Large Messages -- TDC Pool-level object cache replacement algorithm based on temperature density -- Smart DAG Task Scheduling based on MCTS Method of Multi-Strategy Learning -- CT-Mixer Exploiting Multiscale Design for Local-global Representations Learning -- FedQL Q-learning Guided Aggregation for Federated Learning -- An Adaptive Instruction Set Encoding Automatic Generation Method for VLIW -- FastDet Detecting Encrypted Malicious Traffic Faster via Early Exit -- Real-EVE Real-time Edge-assist Video Enhancement for Joint Denoising and Super-resolution -- Optimizing the Parallelism of Communication and Computation in Distributed Training Platform -- FedSC Compatible Gradient Compression for Communication-Efficient Federated Learning -- Joint Video Transcoding and Representation Selection for Edge-Assisted Multi-Party Video Conferencing -- Performance Comparison of Distributed DNN Training on Opticalversus Electrical Interconnect Systems -- Dynamic Path Planning Based on Traffic Flow Prediction and Traffic Light Status -- A Time Series Data Compression Co-processor Based on RISC-V Custom Instructions -- MSIN An Efficient Multi-head Self-Attention Framework for Inertial Navigation -- AbsorbDeadlock Resolution for 2.5D Modular Chiplet Based Systems -- A Multi-Server Authentication Scheme based on Fuzzy Extractor. |
Record Nr. | UNISA-996589546803316 |
Tari Zahir | ||
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms in C / Robert Sedgewick |
Autore | Sedgewick, Robert |
Edizione | [Reprinted with corrections December 1990] |
Pubbl/distr/stampa | Reading (MA) [etc.], : Addison-Wesley, c1990 |
Descrizione fisica | XII, 657 p. ; 24 cm. |
Disciplina |
005.13
005.133 |
Collana | Addison-Wesley series in computer science |
Soggetto topico |
ELABORATORI ELETTRONICI - Programmazione - Linguaggio C
Algoritmi |
ISBN | 0201514257 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-NAP0533681 |
Sedgewick, Robert | ||
Reading (MA) [etc.], : Addison-Wesley, c1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Algorithms in C / Robert Sedgewick |
Autore | Sedgewick, Robert |
Edizione | [3. ed] |
Pubbl/distr/stampa | Boston [etc.], : Addison-Wesley |
Descrizione fisica | 2 v. ; 24 cm. |
Disciplina |
005.13
005.133 |
Soggetto topico |
ELABORATORI ELETTRONICI - Linguaggio C++
Algoritmi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-NAP0405676 |
Sedgewick, Robert | ||
Boston [etc.], : Addison-Wesley | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Algorithms in C++ / Robert Sedgewick |
Autore | Sedgewick, Robert |
Edizione | [3. ed] |
Pubbl/distr/stampa | Reading (MA) [etc.], : Addison Wesley |
Descrizione fisica | 2 volumi ; 24 cm. |
Disciplina |
005.13
005.133 |
Soggetto topico |
Algoritmi
ELABORATORI ELETTRONICI - Linguaggio C++ |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Algorithms in C plus. - |
Record Nr. | UNISANNIO-NAP0405699 |
Sedgewick, Robert | ||
Reading (MA) [etc.], : Addison Wesley | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Algoritmi in Java : fondamenti, strutture, dati, ordinamento, ricerca / Robert Sedgewick |
Autore | Sedgewick, Robert |
Edizione | [3rd ed.] |
Pubbl/distr/stampa | Boston : Pearson Education Italia2003 |
Descrizione fisica | XXII, 754 p. : ill. ; 24 cm |
Disciplina | 005.13 |
Soggetto topico |
Java
Computer algoritmi |
ISBN | 8871921690 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002607539707536 |
Sedgewick, Robert | ||
Boston : Pearson Education Italia2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
AMPL : a modeling language for mathematical programming / Robert Fourer, David M. Gay and Brian W. Kernighan |
Autore | Fourer, Robert |
Edizione | [1° edz] |
Pubbl/distr/stampa | Danvers : Boyd & Fraser, 1993 |
Descrizione fisica | XVI,351 p. ; 25 cm |
Disciplina | 005.13 |
Soggetto non controllato | AMPL |
ISBN | 0-89426-232-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000523630403321 |
Fourer, Robert | ||
Danvers : Boyd & Fraser, 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|