| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000002267 |
|
|
Autore |
Conrad, Joseph |
|
|
Titolo |
Falk Amy Foster To-morrow : Three stories |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : Doubleday, Page, 1923 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Conrad's Short stories complete ; 3 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996466171803316 |
|
|
Titolo |
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings / / edited by Uli Fahrenberg, Stavros Tripakis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 353 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6919 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Compilers (Computer programs) |
Machine theory |
Computer programming |
Algorithms |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Compilers and Interpreters |
Formal Languages and Automata Theory |
Programming Techniques |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910558487803321 |
|
|
Titolo |
Communications and Networking : 16th EAI International Conference, ChinaCom 2021, Virtual Event, November 21-22, 2021, Proceedings / / edited by Honghao Gao, Jun Wun, Jianwei Yin, Feifei Shen, Yulong Shen, Jun Yu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (569 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, , 1867-822X ; ; 433 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Computer engineering |
Data structures (Computer science) |
Information theory |
Computer science - Mathematics |
Computer Communication Networks |
Computer Engineering and Networks |
Data Structures and Information Theory |
Mathematics of Computing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Data Intensive Services based Application (DISA) Workshop -- Research on Airborne Wireless Sensor Network Based on Wi-Fi Technology -- Millimeter Wave Hybrid Precoding Based on Deep Learning -- Open-Set Recognition Algorithm of Signal Modulation Based on Siamese Neural Network -- Accurate Frequency Estimator of Real Sinusoid Based on Maximum Sidelobe Decay -- Transfer Learning Based Algorithm for Service Deployment Under Microservice Architecture -- Scheduling and Transmission Optimization in Edge Computing 6 Joint Opportunistic Satellite Scheduling and Beamforming for Secure Transmission in Cognitive LEO Satellite Terrestrial Networks -- GAN-SNR-Shrinkage-Based Network for Modulation Recognition with Small Training Sample Size -- Joint Resource Allocation Based on F-OFDM for Integrated Communication and Positioning System -- UAV formation using a dynamic task assignment algorithm with cooperative comb -- Complex System Optimization in Edge Computing -- Research and Implementation of Multi-Agent UAV System Simulation Platform Based on JADE -- A Complex Neural Network Adaptive Beamforming for Multi-Channel Speech Enhancement in Time Domain -- Robust Transmission Design for IRS-Aided MISO Network with Reflection Coefficient Mismatch -- Network Communication Enhancement -- Distributed Deep Reinforcement Learning Based Mode Selection and Resource Allocation for VR Transmission in Edge Networks -- Joint Optimization of D2D-enabled Heterogeneous Network Based on Delay and Reliability Constraints -- Channel Allocation for Medical Extra-WBAN Communications in Hybrid LiFi-WiFi Networks -- Cache Allocation Scheme in Information-Centric Satellite-Terrestrial Integrated Networks -- Signal Processing and Communication Optimization 17 Resource Allocation in Massive Non-Orthogonal Multiple Access System -- HEVC Rate Control Optimization Algorithm Based on Video Characteristics -- Performance Analysis of Radar Communication Shared Signal Based on OFDM -- Joint Power Allocation and Passive BeamformingDesign for IRS-Assisted Cell-free Networks -- Deep Learning and Vehicular Communication -- A Beam Tracking Scheme Based on Deep Reinforcement Learning for Multiple Vehicles -- Dynamic Transmission Design via Deep Multi-Task Learning for Supporting Multiple Applications in Vehicular Networks -- ub-Carrier Spacing Detection Algorithm in 5G New Radio Systems -- Handover Mechanism in the Internet of Vehicles Based on Named Data Networking -- Edge Computing and Deep Learning -- Selective Modulation and Cooperative Jamming for Secure Communication in Untrusted Relay Systems -- Deep CSI Feedback for FDD MIMO Systems -- Joint Computation Offloading and Wireless Resource Allocation in Vehicular Edge Computing Networks -- Non-Coherent Receiver Enhancement Based on Sequence Combination -- MCAD-Net: Multi-scale Coordinate Attention Dense Network for Single Image Deraining -- Finite Blocklength and Distributed Machine Learning -- 6G mURLLC Over Cell-free Massive MIMO Systems in the Finite Blocklength Regime.-Cloud-edge Collaboration based Data Mining for Power Distribution Networks -- Robust Sound Event Detection by a Two-stage Network in the presence of Background Noise -- Deep Learning and Network Performance Optimization -- Routing and Resource Allocation for Service Function Chain in Service-Oriented Network -- Service-aware Virtual Network Function Migration Based on Deep Reinforcement |
|
|
|
|
|
|
|
|
|
|
|
Learning -- Dual-channel Speech Enhancement Using Neural Network Adaptive Beamforming -- Edge Computing and Reinforcement Learning -- Fog-based Data Offloading in UWSNs with Discounted RewardsffiA contextual bandit -- Deep Deterministic Policy Gradient Algorithm for Space/Aerial-Assisted Computation Offloading -- Aerial Intelligent Reflecting Surface for Secure MISO Communication Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This proceedings constitutes the refereed proceedings of the 16th International Conference on Communications and Networking, ChinaCom 2021, held in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 47 full papers and 5 workshop papers presented were carefully selected from 130 submissions. The papers are organized in topical sections on Scheduling and Transmission Optimization in Edge Computing; Complex System Optimization in Edge Computing; Network Communication Enhancement; Signal Processing and Communication Optimization; Deep Learning and Vehicular Communication; Edge Computing and Deep Learning; Finite Blocklength and Distributed Machine Learning; Deep Learning and Network Performance Optimization; Edge Computing and Reinforcement Learning. |
|
|
|
|
|
|
|
| |