Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Henry DeYoung
An Authorization Logic With Explicit Time
Related publications
Enhancement of Cloud Authorization System Using Predicate Logic
International Journal of Security and its Applications
Computer Science
Explicit Logic Circuits Discriminate Neural States
PLoS ONE
Multidisciplinary
An Explicit Time Evolution Method for Acoustic Wave Propagation
Geophysics
Petrology
Energy
Geochemistry
Geophysics
An Explicit Multi-Time-Stepping Algorithm for Aerodynamic Flows
Journal of Computational and Applied Mathematics
Computational Mathematics
Applied Mathematics
Soft-Cascade Learning With Explicit Computation Time Considerations
An Explicit MOT-TD-VIE Solver for Time Varying Media
An Evaluation of Explicit Time Integration Schemes for Use With the Generalized Interpolation Material Point Method
Journal of Computational Physics
Numerical Analysis
Applied Mathematics
Simulation
Computer Science Applications
Modeling
Computational Mathematics
Astronomy
Physics
Alternating-Time Temporal Logic
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
CSL^TA: An Expressive Logic for Continuous-Time Markov Chains
