yusuke1997/dblp-id-title huggingface dataset:
Degrees of freedom and interference mitigation for MIMO interfering broadcast channels
Privacy-Preserving Friend Matching for Mobile Social Networks
Exact Mean Packet Delay Analysis for Long-Reach Passive Optical Networks
Online Power Control for Block i.i.d. Energy Harvesting Channels
Location-aware cache replacement for mobile environments
RSBA-Resource Sharing Beamforming Access for 5G-mMTC
Performance Analysis for Multi-Antenna Small Cell Networks with Clustered Dynamic TDD
Multiuser interference mitigation in multipath fading channels using a neural network based blind receiver
Modulation Based Non-Orthogonal Multiple Access for 5G Resilient Networks
On the Performance of Bit-Synchronizers in an ISI Channel and a Related Lower Bound
A user-satisfaction based offloading technique for smart city applications
An Optimization-Based Approach to Offloading in Ad-Hoc Mobile Clouds
Outage balancing in multiuser MISO networks: Network duality and algorithms
Capacity of Wireless Multi-hop Networks Using Physical Carrier Sense and Transmit Power Control
Decentralized power system state estimation
Radio-on-terahertz over fiber system for future mobile fronthauling
Visible light communication-based positioning for indoor environments using supervised learning
Proactive channel gain estimation for coexistence between cognitive and primary users
Throughput optimization based on access impedance of PLC modems with limited power consumption
QoS-Driven Scheduling in 5G Radio Access Networks - A Reinforcement Learning Approach
An autonomic management architecture for SDN-based multi-service network
DROP: An Open-Source Project towards Distributed SW Router Architectures
Edge Computing for Metaverse: Incentive Mechanism versus Semantic Communication
Cooperative beamforming in multiuser MIMO networks: Fast SINR fairness algorithms
Q-learning cell selection for femtocell networks: Single- and multi-user case
A low complexity timing and frequency synchronization algorithm for OFDM systems
Large-Scale Constellation Design for the Internet of Space Things/CubeSats
Determining the energy efficiency of femtocell base stations with multiple antennas
Virtual network embedding and reconfiguration in elastic optical networks
Pilot strategies for trellis-based MIMO channel tracking and data detection
On providing bounded delay service to subscribers in P2P live streaming systems
Message Security in Multi-Path Ad Hoc Networks Using a Neural Network-Based Cipher
MPLS+ : a scalable label switching network
Protecting User Trajectory in Location-Based Services
Performance evaluation of optical burst switching with assembled burst traffic input
Mobile core traffic balancing by OpenFlow switching system
AI-Assisted Risk Management Systems in Healthcare Industries of Smart Cities
Key Technologies, Applications, Trends of Visual Analysis and Prediction in Healthcare System
Peer Effect-based Demand Response in Smart Grid: A Game Theoretical Approach
A case where noise increases the secrecy capacity of wiretap channels
Reliable Transmission in Flow-Aware Networks
MATD3-Based Joint User Association and Resource Allocation in UAV Networks
SR-ARQ delay statistics on N-state Markov channels with finite round trip delay
Cross-Layer Resource Allocation for Wireless Networks via Signomial Programming
A Threshold-Free Random Access Preamble Detection Method Based on Joint Clustering for 6G NTN
Optimizing Feature Selection to Improve Classification in Intrusion Detection System
Optimal Location for Fall Detection Edge Inferencing
Resource Management in Hybrid DVB-RCS and WiFi Networks
Collaborative IDS Configuration: A Two-Layer Game-Theoretical Approach
Shaping Codes for Structured Data
Physical-Layer Security for Untrusted UAV-Assisted Full-Duplex Wireless Networks
Rate Analysis and ADC Bits Allocation for Cell-Free Massive MIMO Systems with Low Resolution ADCs
Self-Coded Distributed Space-Time Coding for Two-Way Full-Duplex Relay Networks
Optimizing Training and Feedback for Spatial Intercell Interference Cancellation
Pilot Contamination Resilient Dual-Space Channel Estimation for Massive MIMO-HBF Systems
Blind Cooperative Jamming: Exploiting ISI Heterogeneity to Achieve Positive Secure DoF
On Heterogeneous Transfer Learning for Improved Network Service Performance Prediction
On Upper Bounds for D2D Group Size
Towards Improving Energy Efficiency of Mobiles in Hyper Dense LTE Small-Cells Deployments
Contract-Based Cache Partitioning and Pricing Mechanism in Wireless Network Slicing
Probability Density Function of Reliability Metrics in BICM with Arbitrary Modulation: Closed-form through Algorithmic Approach
Application Profile Based MIMO Link Adaptation in LTE System Networks
Time-Based DynamiC Keying and En-Route Filtering (TICK) for Wireless Sensor Networks
Joint Optimization of Lossy Compression and Transport in Wireless Sensor Networks
Federated Deep Learning for Immersive Virtual Reality over Wireless Networks
Exploiting soil moisture information for adaptive error control in wireless underground sensor networks
EleGNN: Electrical-Model-Guided Graph Neural Networks for Power Distribution System State Estimation
Survivable waveband switching in WDM mesh networks under dedicated path-protection
Evaluation of congestion detection mechanisms for InfiniBand switches
Multiple Target Localization Using Compressive Sensing
The alpha-k-µ Shadowed Fading Distribution: Statistical Characterization and Applications
Partial Rerouting for High-Availability and Low-Cost Service Function Chain
Quality-optimized downlink scheduling for video streaming applications in LTE networks
A Distributed Space-Frequency Coding for Cooperative Communication Systems with Multiple Carrier Frequency Offsets
An SLA-Aware Transport Protocol for High Throughput Wide Area Ethernet Services
MMSE Based Spatial Dimming Scheme for Multiuser MISO VLC Systems
Three-Degree of Freedom Adaptive Power Control for CDMA Cellular Systems
Data-Driven Code-Hopping for MC-CDMA Precoding Schemes
Robust Tensor-Based DOA Estimation in Massive / Full-Dimension MIMO System
A Cooperation Energy Saving Scheme in Self-Organizing HetNets
Coordinated relay beamforming for amplify-and-forward two-hop interference networks
Constellation space invariance of orthogonal space-time block codes with application to evaluation of the exact probability of error
A Sub-Terahertz Sliding Correlator Channel Sounder with Absolute Timing using Precision Time Protocol over Wi-Fi
A MAC layer traffic-priority management technique in CDMA based ad-hoc networks
Distributed Massive MIMO Cooperation With Low-Dimensional CSI Exchange
Complexity reduction of blind decoding schemes using CRC splitting
Proactive Replication Scheme for Resilient Content Delivery in Software Defined Networks
Measuring Coarse Propagation Delays from Periodic Signals over a LEO Satellite Channel
LDPC Code Design Aspects for Physical-Layer Key Reconciliation
A Packet Scheduling Algorithm for Optimizing Downlink Throughput in Wireless LANs with the One-Sender-Multiple-Receiver Technique
MT-CNN: A Classification Method of Encrypted Traffic Based on Semi-Supervised Learning
Information and power transfer under MISO channel with finite-rate feedback
Enhanced Irregular Repetition Slotted ALOHA with Degree Distribution Adjustment in Satellite Network
SNR Estimators for UWB BPSK Systems
Performance of joint reduced-state multiuser detection and group decoding
Successive LLR Combining in the Iterative Receiver for MIMO-BICM Systems
Asynchronous Federated Learning via Over-the-Air Computation
Oliot-Discovery Service: Dealing with Performance and Security Issues from Intra-DS Aspect for IoT
The effect of wavelength advertisement on the performance of an optical routing protocol
Estimation of TX I/Q imbalance at the RX side with RX I/Q imbalance and carrier frequency offset for OFDM systems
Adaptive data transmission based on band-selection for MC-CDMA systems
Joint Channel Estimation and Decoding of Root-LDPC Codes in Block-Fading Channels
Enhancing Outage-Constrained Secure EE with RIS Under a Multi-Antenna Eavesdropper
Interference-aware MAC scheduling and SAR policies for Bluetooth scatternets
Machine Learning Assisted DL CSI Estimation for High-Mobility Multi-Antenna Users with Partial UL CSI Availability in TDD Massive MIMO Systems
Gaussian Chip Waveform Together with Markovian Spreading Codes Improve BER Performance in Chip-Asynchronous CDMA Systems
BAR: Bandwidth-aware opportunistic localized-routing for cognitive radio networks
On the achievable information rates of finite state ISI channels
The Probabilistic Maximum Coverage Problem in Social Networks
PaCRAm: Path Aware Content Replication Approach with Multicast for IPTV Networks
Utility-Based VM Assignment in Cloud Scenarios
Achieving Full Rate Network Coding with Constellation Compatible Modulation and Coding
Negative Correlation Between Virus-Related Content Popularity and Epidemic Spread
Performance Analysis of Opportunistic Channel Bonding in Multi-Channel WLANs
On the fairness delay trade-off in wireless packet scheduling
Cooperative transmission for geostationary orbiting satellite collocation system
Robust Federated Learning with Parameter Classification and Weighted Aggregation Against Noisy Labels
Distributed IRS Versus Centralized IRS: Which is Superior for Multi-Antenna Transmission?
Reinforcement Learning Based Mobile Offloading for Cloud-Based Malware Detection
Multi-Antenna SWIPT Relaying Systems: Impact of Antenna Correlation and Channel State Information
Exchanging third-party information with minimum transmission cost
On Physical Layer Simulation Model for 6-Axis Sensor Assisted VLC Based Positioning System
Time-domain ML channel estimation considering antenna switching time for RF-MIMO-OFDM
Optimum Ergodic Power Allocation for Multiuser OFDM with Arbitrary Signal Constellations
Study of Raptor Codes for Indoor Mobile VLC Channels
Differential Distributed Space-Frequency Coding for Broadband Non-Regenerative Wireless Relaying Systems
Burst Mode Two-Way Ranging with Cramer-Rao Bound Noise Performance
Channel Model for Spiking Neural Networks Inspired by Impulse Radio MIMO Transmission
ESPRIT-like error localization algorithm for a class of real number codes
Joint Device Selection and Bandwidth Allocation for Layerwise Federated Learning
Key management for 3G MBMS security
A computationally efficient exact ML sphere decoder
Opportunistic Geocast in Disruption-Tolerant Networks
Cross-Layer Design of Random On-Off Accumulative Transmission with Iterative Detections
Inexpensive upgrade of antenna-switching cellular base-station receivers for uplink/downlink beamforming using a magnetic-loop pair or a loop/dipole triad
A Fault-Tolerant and Consistent SDN Controller
Power inversion adaptive array antenna for high power interference suppression in DS-CDMA system
The interaction between TCP and traffic shapers - clever alternatives to the leaky bucket
Joint transmission using global codeword and codebook design for coordinated multipoint processing (CoMP)
Robust Optimal Cross Layer Designs for TDD-OFDMA Systems with Imperfect CSIT and Unknown Interference - State-Space Approach based on 1-bit ACK/NAK Feedbacks
RF Energy Harvesting in Wireless Networks with HARQ
Communication-Efficient Federated Learning for UAV Networks with Knowledge Distillation and Transfer Learning
How useful is adaptive action?
Information Epidemics in Complex Networks with Opportunistic Links and Dynamic Topology
Frame Aggregation and Optimal Frame Size Adaptation for IEEE 802.11n WLANs
A robust and adaptive algorithm for enabling efficient communication in Bluetooth networks
Relay Node Placement in Vehicular Delay-Tolerant Networks
Video-QoE aware resource management at network core
Energy efficiency optimization based on interference alignment for device-to-device MIMO downlink underlaying cellular network
Efficient Self Protection Algorithms for Static Wireless Sensor Networks
A Hypothesis Test for Topology Change Detection in Wireless Sensor Networks
LED holographic beam-steering for visible-light communications
Low-Complexity Power Amplifier Model Driven Wireless Emitter Identification Using Random Forest
Distributed Multi-objective Topology Optimization Method in VLEO-LEO Satellite Networks
Role of CSI in Short Packet Communication for Rayleigh Fading Z Interference Channel
Multihop Diversity - A Precious Source of Fading Mitigation in Multihop Wireless Networks
Joint resource allocation for eICIC in heterogeneous networks
Saturated Throughput of PCA with Hard DRPs in the Presence of Bit Error for WiMedia MAC
Enhancement of Modulation Bandwidth in Wide-Angle VLC Systems via Response-Flattening Filters
Statistical Capacity Sharing for Variable-Rate Connections in Flexible Grid Optical Networks
Minimal Maximum-Level Programming: Faster memory access via multi-level cell sharing
Spectrum agile radio: capacity and QoS implications of dynamic spectrum assignment
Joint Precoding of High Efficiency MPSK Transmitters in MISO Channels
Information Theoretic Results for Three-User Cognitive Channels
Performance of the delay diversity receiver in asynchronous CDMA channels
Beamforming Design and Impedance Optimization of Lossy Holographic Surfaces
Orthogonality Factor for DS-CDMA
Amplify-and-Forward Multihop Relaying with Adaptive M-QAM in Nakagami-m Fading
A robust high-throughput tree algorithm using successive interference cancellation
DTNs back: DTNs broadcasting ACK
A Novel Machine Learning-Based Handover Scheme for Hybrid LiFi and WiFi Networks
Ensemble Learning Method-Based Slice Admission Control for Adaptive RAN
Joint Beamforming Design in DFRC Systems for Wideband Sensing and OFDM Communications
H-SIP: Hybrid SIP Network
On the human exposure to radio frequency radiations expected from future small connected objects
A new approach for improving indoor LTE coverage
Low-Complexity Coherent Iterative Receiver for SCMA-Based LEO Satellite Communications
A Novel Caching Policy with Content Popularity Prediction and User Preference Learning in Fog-RAN
Analysis and Design of a Proportional-Integral Rate Controller for Streaming Videos
Graph Neural Networks for Channel Decoding
Quantization and Privacy Noise Co-Design for Utility-Privacy-Communication Trade-off in Federated Learning
Multipath Routing, Spectrum and Core Allocation in Protected SDM Elastic Optical Networks
Downlink OFDMA with DFT-Precoding for Tera-Hertz Communications
Resources allocation for large-scale dynamic spectrum access system using particle filtering
Cluster-Aware Causal Discovery Framework for Root Cause Analysis of Base Station Alarms
Non-parametric mitigation of periodic impulsive noise in narrowband powerline communications
Opportunity Detection for OFDMA Systems with Timing Misalignment
Effect of imperfect channel estimation on the performance of selection combining in Rayleigh fading channels
Novel Fast Iterative Decoding Threshold Estimation for Protograph-Based LDPC Convolutional Codes
Optimum Detection of Binary Signals in Rayleigh Fading Channels with Imperfect Channel Estimates
Topology-Aware Incentive Mechanism for Cooperative Relay Networks
A GNN Approach for Cell-Free Massive MIMO
Capacity Analysis of Massive MIMO on High Altitude Platforms
Outage Probability of V2V Multiple-Antenna Rice Fading Links with Explicit Ground Reflection
Optimized PONG Caching Technique for Mobile Gnutella Network to Support Large-Scale Collaborative Virtual Environment
Achieving Energy Efficiency and Performance with Auxiliary Graph Model in Elastic Optical Networks
D2D Transmission Scheme in URLLC Enabled Real-Time Wireless Control Systems for Tactile Internet
Efficient Maximum Likelihood Joint Estimation of Angles and Times of Arrival of Multiple Paths
Estimating traffic parameters in Internet via active measurements for QoS and congestion control
Socially-Aware Opportunistic Routing with Path Segment Selection in Quantum Networks
On the Performance Gain of NOMA over OMA in Uplink Single-Cell Systems
Controllability of Non-Linear Predictor-Based Dynamic Bandwidth Allocation Over EPONs
Harnessing Interference in Content Delivery by Spatial Signal Alignment
Radar HRRP Target Recognition Based on Blind-Denoising Deep Network
Conditional Generative Adversarial Networks for Rx-to-Tx Translation in Wireless Communication Systems
Anti-attack cooperation stimulation in self-organized ad hoc networks
Energy management strategies for base stations powered by the smart grid
Joint Precoding and Power Control in Small-Cell Networks with Proportional-Rate MISO-BC Backhaul
Is P2P dying or just hiding? [P2P traffic measurement]
Search time in unstructured peer-to-peer networks with clustered demands
RECHOKe: A Scheme for Detection, Control and Punishment of Malicious Flows in IP Networks
Energy-Efficient Resource Allocation for Ultra-Reliable and Low-Latency Communications
Importance-Driven Semantic Resilience for Challenging Future 6G Channels
Throughput-Optimal LIFO Policy for Bounded Delay in the Presence of Heavy-Tailed Traffic
Uplink-Downlink Duality in Normalized MSE or SINR Under Imperfect Channel Knowledge
Handover-skipping for Maximizing Communication Capacity of Ground - eVTOL Links Considering Air Cell Interference
MmWave MIMO Hybrid Precoding Design Using Phase Shifters and Switches
Machine learning approach to data center monitoring using wireless sensor networks
Fair Pilot Assignment Based on AOA and Pathloss with Location Information in Massive MIMO
Performance Evaluation Based on Joint Frequency and Orbital Angular Momentum Spectrum
Making Xcast a Reality and Operate at the 100 Gbps Line Rate in P4 Hardware Switches
A Type-Theoretic Memory Model for Verification of Sequential Java Programs
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Parameterisation of Logics
A Rewrite Approach for Pattern Containment
Building a Modal Interface Theory for Concurrency and Data
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages
Service-Level Agreements for Service-Oriented Computing
From States to Histories
SV t L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
Preserving Properties in System Redesign: Rule-Based Approach
An Institution for Event-B
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint
Tiles for Reo
Functorial Semantics for Multi-algebras
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions
Subsorted Partial Higher-Order Locig as an Extension of CASL
From abstract data types to algebraic development techniques: A shift of paradigms
Extending Casl by Late Binding
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
A Theoretical Foundation for Programming Languages Aggregation
An Algebraic Theory for Data Linkage
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
Institution Independent Static Analysis for CASL
On the Most Suitable Axiomatization of Signed Integers
Algebraic Semantics of Design Abstractions for Context-Awareness
What Is a Derived Signature Morphism?
Towards Critical Pair Analysis for the Graph Programming Language GP 2
Mapping tile logic into rewriting logic
Architectural Specifications for Reactive Systems
Structure-Preserving Diagram Operators
Open maps as a bridge between algebraic observational equivalence and bisimilarity
Transformations of Conditional Rewrite Systems Revisited
Coalgebraic Semantics of Heavy-Weighted Automata
Generalized Theoroidal Institution Comorphisms
Presentations for Abstract Context Institutions
Distances between Processes: A Pure Algebraic Approach
Presenting and Combining Inference Systems: Presentations with Inference Rules
Statistical Model Checking for Composite Actor Systems
Autonomous Units and Their Semantics - The Parallel Case
The Distributed Ontology, Model and Specification Language - DOL
Specifying with defaults: Compositional semantics
CCC - The Casl Consistency Checker
Towards the one-tiered design of data types and transition systems
Verifying a Simple Pipelined Microprocessor Using Maude
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
Algebra-Coalgebra Structures and Bialgebras
From algebra transformation to labelled transition systems
Semantics of the Distributed Ontology Language: Institutes and Institutions
Combining Specification Formalisms in the ?General Logic? of Multialgebras
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress
A Coinductive Calculus of Component Connectors
Advances in Verification of Multi-agent Systems
A systematic study of mappings between institutions
A Simple Refinement Language for Casl
On Logic Embeddings and Gödel's God
Algebraic Model Management: A Survey
Semantic Constructions for Hidden Algebra
Zero, Connected, Empty: An Essay after a Cantata
Application and Formal Specification of Sorted Term-Position Algebras
Principles and Pragmatics of Subtyping in PVS
Monographs, a Category of Graph Structures
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
CASL: A Guided Tour of Its Design
Modular Specification of Concurrent Systems with Observational Logic
Structured CSP - A Process Algebra as an Institution
A Full Operational Semantics for Asynchronous Relational Networks
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages
Geometric Modelling with CASL
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance
Development of Parsing Tools for CASL Using Generic Language Technology
Adaptable Transition Systems
Zero-safe nets: The individual token approach
Role-Based Development of Dynamically Evolving Esembles
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Finite Limits and Anti-unification in Substitution Categories
A Calculus of Virtually Timed Ambients
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
On How Distribution and Mobility Interfere with Coordination
Coalgebraic Modal Logic in CoCasl
Theoroidal Maps as Algebraic Simulations
Extraction of Structured Programs from Specification Proofs
Complete Strategies for Term Graph Narrowing
Behaviour Protection in Modular Rule-Based System Specifications
Zero, Connected, Empty
Monad-Independent Dynamic Logic in Has Casl
Realization of Probabilistic Automata: Categorial Approach
Interactive Rule-Based Specification with an Application to Visual Language Definition
AGILE: Software Architecture for Mobility
Canonical Institutions of Behaviour
The Situation and State Calculus versus Branching Temporal Logic
Term-Generic Logic
Relating Abstract Datatypes and Z-Schemata
Bounded Model Checking of Recursive Programs with Pointers in K
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers
Incremental Resolution of Model Inconsistencies
Graph Transformation with Dependencies for the Specification of Interactive Systems
Context parchments
Compiling Logics
Specification Refinement with System F - The Higher-Order Case
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories
Formalizing and Validating the P-Store Replicated Data Store in Maude
Concurrent Abstract State Machines and + CAL Programs
My ADT Shrine
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics
Towards Trustworthy Specifications I: Consistency Checks
Proving Properties about Functions on Lists Involving Element Tests
Evolving SOA in the Q-ImPrESS Project
Type Class Polymorphism in an Institutional Framework