Chapter Where are the Things of the Internet? Precise Time of Arrival Estimation for IoT Positioning by Xu, Wen

Subjects: DOAB: download the publication
DOAB: description of the publication

Chapter Where are the Things of the Internet? Precise Time of Arrival Estimation for IoT Positioning by Xu, Wen

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

The Fifth Generation (5G) of Wireless Communication

Subjects: “…mimo, free space optics, cramér-rao lower bound, array antenna…”
DOAB: download the publication
DOAB: description of the publication

Chapter The Price of Uncertainty in Present-Biased Planning by Albers, Susanne

Subjects: DOAB: download the publication
DOAB: description of the publication

Chapter The Price of Uncertainty in Present-Biased Planning by Albers, Susanne

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Sense and Respond Industrial Applications of Smart Sensors in Cyber-Physical Systems

Subjects: DOAB: download the publication
DOAB: description of the publication

Advances in Angle-Only Filtering and Tracking in Two and Three Dimensions

Subjects: DOAB: download the publication
DOAB: description of the publication

Sensing and Signal Processing in Smart Healthcare

Subjects: DOAB: download the publication
DOAB: description of the publication

The Future of Hyperspectral Imaging by Selci, Stefano

Subjects: DOAB: download the publication
DOAB: description of the publication

Multiscale Entropy Approaches and Their Applications

Subjects: DOAB: download the publication
DOAB: description of the publication

Recent Advances in Indoor Localization Systems and Technologies

Subjects: DOAB: download the publication
DOAB: description of the publication

Advanced Technology Related to Radar Signal, Imaging, and Radar Cross-Section Measurement

Subjects: DOAB: download the publication
DOAB: description of the publication

Essays in Political Economy and International Public Finance by Kiss, Aron

DOAB: download the publication
DOAB: description of the publication

Essays in Political Economy and International Public Finance by Kiss, Aron

OAPEN Library: download the publication
OAPEN Library: description of the publication

The Complexity of Zadeh's Pivot Rule

DOAB: download the publication
DOAB: description of the publication

The Complexity of Zadeh's Pivot Rule by Vincent Hopp, Alexander

DOAB: download the publication
DOAB: description of the publication

The Complexity of Zadeh's Pivot Rule

OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata