Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nathan Chong
A Sound and Complete Abstraction for Reasoning About Parallel Prefix Sums
The Influence of an Information Environment on Construction Organization's Culture: A Case Study
Advances in Civil Engineering
Civil
Structural Engineering
Related publications
A Complete Finite Prefix for Process Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Complete Equational Axiomatization for Prefix Iteration With Silent Steps
BRICS Report Series
A Sound and Complete Logic for Algebraic Effects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic for Reasoning About Counterfactual Emotions
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Bilateral Shorted Operators and Parallel Sums
Linear Algebra and Its Applications
Numerical Analysis
Algebra
Combinatorics
Number Theory
Geometry
Discrete Mathematics
Topology
Farms, Pipes, Streams and Reforestation: Reasoning About Structured Parallel Processes Using Types and Hylomorphisms
ACM SIGPLAN Notices
Computer Science
Design of Parallel Prefix Adders Using FPGAs
IOSR journal of VLSI and Signal Processing
Design and Implementation of Parallel Prefix Adders Using FPGAs
IOSR Journal of Electronics and Communication Engineering
Fast Modular Multiplication Using Parallel Prefix Adder
International Journal of Trend in Scientific Research and Development