Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science Applications

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

IEEE Transactions on Intelligent Transportation Systems
Automotive EngineeringComputer Science ApplicationsMechanical Engineering
2018English

Extremes of Error Exponents

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2013English

Uniformly Best Wavenumber Approximations by Spatial Central Difference Operators

Journal of Computational Physics
Numerical AnalysisApplied MathematicsSimulationComputer Science ApplicationsModelingComputational MathematicsAstronomyPhysics
2015English

Group Testing Algorithms: Bounds and Simulations

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2014English

Permutation-Invariant Constant-Excitation Quantum Codes for Amplitude Damping

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2020English

Deterministic Numerical Solutions of the Boltzmann Equation Using the Fast Spectral Method

Journal of Computational Physics
Numerical AnalysisApplied MathematicsSimulationComputer Science ApplicationsModelingComputational MathematicsAstronomyPhysics
2013English

A Unified Approach to Energy Conservation and Potential Vorticity Dynamics for Arbitrarily-Structured C-Grids

Journal of Computational Physics
Numerical AnalysisApplied MathematicsSimulationComputer Science ApplicationsModelingComputational MathematicsAstronomyPhysics
2010English

Asymptotic Analysis and Spatial Coupling of Counter Braids

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2018English

A Hybrid Controller for Vision-Based Navigation of Autonomous Vehicles in Urban Environments

IEEE Transactions on Intelligent Transportation Systems
Automotive EngineeringComputer Science ApplicationsMechanical Engineering
2016English

A Differential Coding-Based Scheduling Framework for Wireless Multimedia Sensor Networks

IEEE Transactions on Multimedia
Electronic EngineeringMedia TechnologyComputer Science ApplicationsElectricalSignal Processing
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy