Evaluation and improvement of error correction tools for erroneous metagenomic reads by Ho, Guanlin

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Yard crane dispatching to minimize maximum tardiness of the jobs by Wan, Zhi Yong

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Modeling and verification of safety critical systems : a case study on pacemaker by Koo, Sheng Kiat

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Mathematical logic and formal languages…”
Get full text

Mixed-radix fast fourier transform for biometric identification system by Sunil Vaishnav

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Design and implementation of software tools for property verification in operational transformation by Luo, Jianlin

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

A heuristic algorithm to schedule twin yard crane to Mmnimize job tardiness in container terminals by Chua, Jason Zhen Sheng

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

A heuristic algorithm for yard crane dispatching in container terminals by Lee, Zhen Jie

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Optimal location queries on road networks by Lip, Pin Han

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Handling ready time uncertainties in dispatching automated guided vehicles to minimize job tardiness in container terminals by Ng, Jun Hao

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

A study on moving region interpolation problem using Secondo moving object database by Aung, Hnin Htet Htet

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Reliable and fast estimation of recombination rates by convergence diagnosis and parallel Markov Chain Monte Carlo by Guo, Jing, Jain, Ritika, Yang, Peng, Fan, Rui, Kwoh, Chee Keong, Zheng, Jie

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text
Get full text

Networks of Uniform Splicing Processors: Computational Power and Simulation by Sandra Gómez-Canaval, Victor Mitrana, Mihaela Păun, José Angel Sanchez Martín, José Ramón Sánchez Couso

Subjects: “…theory of computation…”
Get full text

Quantum-enhanced generalisation advantage for recurrent learners with minimal states by Prahara, Aurelio Jethro

Subjects: “…Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Rank-based memetic algorithm for capacitated arc routing problems by Mittal, Sameer.

Subjects: “…DRNTU::Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Verification of Flat FIFO Systems by Alain Finkel, M. Praveen

Subjects: Get full text

State-of-the-art review on 3D bin packing problems by Avataram Venkatavaradan Prituja

Subjects: “…Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

On approximating matrix norms in data streams by Li, Yi, Nguyẽn, Huy L., Woodruff, David P.

Subjects: “…Engineering::Computer science and engineering::Theory of computation::Analysis of algorithms and problem complexity…”
Get full text

Relational algebra by way of adjunctions by Gibbons, J, Henglein, F, Hinze, R, Wu, N

Subjects:

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control by Forster, Y, Kammar, O, Lindley, S, Pretnar, M

Subjects:

A plausible mechanism for longitudinal lock-in of the plant cortical microtubule array after light-induced reorientation by Marco Saltini, Bela M. Mulder

Subjects: Get full text