subject area of
- A Blockchain-Based System for Aid Delivery Journal Articles
- A Matrix Factorization Model for Hellinger-Based Trust Management in Social Internet of Things Journal Articles
- A New Synchronization Technique for Switched TDMA Satellite Systems Journal Articles
- A New System Synchronization Technique for the Switching Satellite Journal Articles
- A Simulation Study of Digital Modulation Methods for Wide-Band Satellite Communications Journal Articles
- A Two‐Step Approach to Extracting Sandy Beaches Through Integrating Spatial Semantic Information From Open‐Source Geospatial Datasets Journal Articles
- A contextual framework for combating identity theft Journal Articles
- A formal semantics for concurrent systems with a priority relation Journal Articles
- A novel vision-based multi-task robotic grasp detection method for multi-object scenes Journal Articles
- A three-dimensional taxonomy for bidirectional model synchronization Journal Articles
- Absolute Value Layered ACO-OFDM for Intensity-Modulated Optical Wireless Channels Journal Articles
- Acceleration of the LBG algorithm Journal Articles
- Achievable Sum Rate and Degrees of Freedom of Opportunistic Interference Alignment in MIMO Interfering Broadcast Channels Journal Articles
- Achieving the rate-distortion bound with low-density generator matrix codes Journal Articles
- Acta Informatica Journal
- Active design reviews: Principles and practices Journal Articles
- Addenda and corrigenda Journal Articles
- Almost 2-perfect 6-cycle systems Journal Articles
- Almost resolvable cycle systems—an analogue of Hanani triple systems Journal Articles
- Alphabet Partitioning Techniques for Semiadaptive Huffman Coding of Large Alphabets Conferences
- An expressive event-based language for representing user behavior patterns Journal Articles
- Analysis and Code Design for the Binary CEO Problem Under Logarithmic Loss Conferences
- Architecture for ontology-supported multi-context reasoning systems Journal Articles
- Asymptotical Analysis of Several Multiple Description Scenarios with L≥ 3 Descriptions Journal Articles
- Bandlimited Optical Intensity Modulation Under Average and Peak Power Constraints Journal Articles
- Binary Code Optimized for Partial Encryption Journal Articles
- ByShard: sharding in a Byzantine environment Journal Articles
- CARD*Shark: automated prioritization of literature curation for the Comprehensive Antibiotic Resistance Database Journal Articles
- CORRECTION Journal Articles
- COSY ? a system specification language based on paths and processes Journal Articles
- Canonical prefixes of Petri net unfoldings Journal Articles
- Capacity-Achieving Distributions for the Discrete-Time Poisson Channel—Part II: Binary Inputs Journal Articles
- Capacity-Achieving Distributions for the Discrete-Time Poisson Channel—Part I: General Properties and Numerical Techniques Journal Articles
- Classification with label noise: a Markov chain sampling framework Journal Articles
- Closed-Loop Sparse Channel Estimation for Wideband Millimeter-Wave Full-Dimensional MIMO Systems Journal Articles
- Collaborative Model-Driven Software Engineering — A systematic survey of practices and needs in industry Journal Articles
- Collaborative computing technologies and systems Journal Articles
- Comments on ?A comparison of two synchronizing concepts by P.B. Hansen? Journal Articles
- Commutativity and Application of Digital Interpolation Filters and Modulators Journal Articles
- Computer Standards and Interfaces Journal
- Consistent and complementary formal theories of the semantics of programming languages Journal Articles
- Constrained Secrecy Capacity of Finite-Input Intersymbol Interference Wiretap Channels Journal Articles
- Context-based, adaptive, lossless image coding Journal Articles
- Coordinated Beamforming for Downlink Visible Light Communication Networks Journal Articles
- Coordinated Broadcasting for Multiuser Indoor Visible Light Communication Systems Journal Articles
- Data & Knowledge Engineering Journal
- Data Science Journal Journal
- Data mining and knowledge discovery Journal
- Database : the journal of biological databases and curation Journal
- Decoding Polar Codes for a Generalized Gilbert-Elliott Channel With Unknown Parameter Journal Articles
- Design of General Entropy-Constrained Successively Refinable Unrestricted Polar Quantizer Journal Articles
- Design of Optimal Entropy-Constrained Unrestricted Polar Quantizer for Bivariate Circularly Symmetric Sources Journal Articles
- Design of Optimal Scalar Quantizer for Sequential Coding of Correlated Sources Journal Articles
- Design of Successively Refinable Unrestricted Polar Quantizer Journal Articles
- Designs, Codes, and Cryptography Journal
- Diversity Gain and Outage Probability for MIMO Free-Space Optical Links with Misalignment Journal Articles
- Diversity and Multiplexing for Near-Field Atmospheric Optical Communication Journal Articles
- Dynamic Optimal Countermeasure Selection for Intrusion Response System Journal Articles
- Dynamic Performance of a Frequency Controller Journal Articles
- Dynamic spot diffusing configuration for indoor optical wireless access Conferences
- Editoral Journal Articles
- Editorial Journal Articles
- Efficient Exact Regenerating Codes for Byzantine Fault Tolerance in Distributed Networked Storage Journal Articles
- Efficient design of FMT systems Conferences
- Enhancing the Reliability of 3D Subsurface Models through Differential Weighting and Mathematical Recombination of Variable Quality Data Journal Articles
- Ensemble methods for uplift modeling Journal Articles
- Erratum to: Linear covering codes and error-correcting codes for limited-magnitude errors Journal Articles
- Evolving models in Model-Driven Engineering: State-of-the-art and future challenges Journal Articles
- Examining the Transfer of Academic Knowledge to Business Practitioners Journal Articles
- Examining the transfer of academic knowledge to business practitioners: Doctoral program graduates as intermediaries Journal Articles
- Fast joint source-channel decoding of convolutional coded Markov sequences with Monge property Journal Articles
- Finding needles in haystacks: linking scientific names, reference specimens and molecular data for Fungi Journal Articles
- Flexible Symmetric Multiple Description Lattice Vector Quantizer With <inline-formula> <tex-math notation="TeX">$L\geq 3$</tex-math></inline-formula> Descriptions Journal Articles
- Formal semantics of a class of high-level primitives for coordinating concurrent processes Journal Articles
- From Squashed 6‐Cycles to Steiner Triple Systems Journal Articles
- Fundamentals of modelling concurrency using discrete relational structures Journal Articles
- Gaussian Multiple Description Coding with Low-Density Generator Matrix Codes Journal Articles
- GeneVis: Simulation and Visualization of Genetic Networks Journal Articles
- Generalized Gaussian Multiterminal Source Coding in the High-Resolution Regime Journal Articles
- Heterogeneous Differential-Private Federated Learning: Trading Privacy for Utility Truthfully Journal Articles
- How do microservices evolve? An empirical analysis of changes in open-source microservice repositories Journal Articles
- IEEE Security and Privacy Journal
- IEEE Transactions on Communications Journal
- IEEE Transactions on Dependable and Secure Computing Journal
- Index Mapping for Bit-Error Resilient Multiple Description Lattice Vector Quantizer Journal Articles
- Index assignment optimization for joint source-channel MAP decoding Journal Articles
- Information Processing & Management Journal
- Information Visualization Journal
- International Journal of Information Quality Journal
- International Journal of Knowledge Management Journal
- Joint Component Design for the JSCC System Based on DP-LDPC Codes Journal Articles
- Journal of Combinatorial Designs Journal
- Journal of Database Management Journal
- Journal of Intelligent Information Systems Journal
- Journal of Systems and Software Journal
- Kalman Filter-Trained Recurrent Neural Equalizers for Time-Varying Channels Conferences
- LDGM-Based Multiple Description Coding for Finite Alphabet Sources Journal Articles
- LDPC code design for asynchronous Slepian-Wolf coding Journal Articles
- Large Sets of Mutually Almost Disjoint Steiner Triple Systems Not from Steiner Quadruple Systems Journal Articles
- Large expert-curated database for benchmarking document similarity detection in biomedical literature search Journal Articles
- Lattice-Based Robust Distributed Source Coding for Three Correlated Sources Journal Articles
- Lattice-Based mmWave Hybrid Beamforming Journal Articles
- Length-constrained MAP decoding of variable-length encoded Markov sequences Conferences
- Linear covering codes and error-correcting codes for limited-magnitude errors Journal Articles
- M22: A Communication-Efficient Algorithm for Federated Learning Inspired by Rate-Distortion Journal Articles
- Maximal partial Room squares Journal Articles
- Merged processes: a new condensed representation of Petri net behaviour Journal Articles
- Minimum-Bandwidth Optical Intensity Nyquist Pulses Conferences
- Mining Keys for Graphs Journal Articles
- Mining top-k sequential patterns in transaction database graphs Journal Articles
- Nonconfidential Patient Types in Emergency Clinical Decision Support Journal Articles
- On Computation of Performance Bounds of Optimal Index Assignment Journal Articles
- On Distributed Lossy Coding of Symmetrically Correlated Gaussian Sources Journal Articles
- On cliques in spanning graphs of projective Steiner triple systems Journal Articles
- On cliques in spanning graphs of projective Steiner triple systems Journal Articles
- On duplication-free codes for disjoint or equal-length errors Journal Articles
- On initialization of Max's algorithm for optimum quantization Journal Articles
- On large sets of v-1 L-intersecting steiner triple systems of order v Journal Articles
- On large sets of v-1 L-intersecting steiner triple systems of order v Journal Articles
- On the Design of Symmetric Entropy-constrained Multiple Description Scalar Quantizer with Linear Joint Decoders Journal Articles
- On the Generalization of Natural Type Selection to Multiple Description Coding Journal Articles
- On the complexity of joint source-channel decoding of Markov sequences over memoryless channels Conferences
- On the expressiveness of subset-sum representations Journal Articles
- Optical impulse modulation for indoor diffuse wireless communications Conferences
- Optimal Design of a Two-Stage Wyner-Ziv Scalar Quantizer With Forwardly/Reversely Degraded Side Information Journal Articles
- Output-Constrained Lossy Source Coding With Application to Rate-Distortion-Perception Theory Journal Articles
- Performance of wavelet packet-division multiplexing in impulsive and Gaussian noise Journal Articles
- Physical-Layer Security with Multiuser Scheduling in Cognitive Radio Networks Journal Articles
- Power Allocation for Uplink Multi-User Optical Wireless Communication Systems Journal Articles
- Power reduction techniques for multiple-subcarrier modulated diffuse wireless optical channels Conferences
- Progressive image coding by hierarchical linear approximation Journal Articles
- Publishing privacy logs to facilitate transparency and accountability Conferences
- Real-time lossless compression of microarray images by separate compaction of foreground and background Journal Articles
- Recursion and Petri nets Journal Articles
- Relational structures model of concurrency Journal Articles
- Repairing integrity rules for improved data quality Journal Articles
- Robust Distributed Compression of Symmetrically Correlated Gaussian Sources Journal Articles
- Robust Multiresolution Coding Journal Articles
- Science China Information Sciences Journal
- Software Systems Engineering programmes a capability approach Journal Articles
- Statistical analysis of mobile radio reception: an extension of clarke's model Journal Articles
- Step semantics of boolean nets Journal Articles
- Step traces Journal Articles
- Stochastic Differential Equation Theory Applied to Wireless Channels Journal Articles
- Successive Wyner-Ziv Coding for the Binary CEO Problem Under Logarithmic Loss Conferences
- Sustaining human health: A requirements engineering perspective Journal Articles
- Symmetric graph designs on friendship graphs Journal Articles
- Synchronizing events in replicated systems Journal Articles
- Terahertz Massive MIMO With Holographic Reconfigurable Intelligent Surfaces Journal Articles
- The CARE Principles for Indigenous Data Governance Journal Articles
- The Crystallographic Information File (CIF) Journal Articles
- The Merlin-Randell problem of train journeys Journal Articles
- The VLDB journal Journal
- The equivalence between slepian-wolf coding and channel coding under density evolution Conferences
- The spectrum of maximal partial steiner triple systems Journal Articles
- Transactions in GIS Journal
- Trinal Decompositions of Steiner Triple Systems into Triangles Journal Articles
- Ubiquitous configurations in Steiner triple systems Journal Articles
- Update-Efficient Error-Correcting Product-Matrix Codes Journal Articles
- User-generated short-text classification using cograph editing-based network clustering with an application in invoice categorization Journal Articles
- Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling Journal Articles
- Visible Light Communications Using OFDM and Multiple LEDs Journal Articles
- Web Semantics Journal
- World Wide Web Journal
- eMarketplaces for enterprise and cross enterprise integration Journal Articles
- “Formal methods” technology transfer will fail Journal Articles