Principles and applications of algorithmic problem solving
Algorithmic problem solving provides a radically new way of approaching and solving problems in general by using the advances that have been made in the basic principles of correct-by-construction algorithm design. The aim of this thesis is to provide educational material that shows how these advanc...
| Main Author: | Ferreira, Joao Fernando Peixoto |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2011
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/11707/ |
Similar Items
On Euclid’s algorithm and elementary number theory
by: Backhouse, Roland, et al.
Published: (2011)
by: Backhouse, Roland, et al.
Published: (2011)
Suatu algoritma untuk penyelesaian masalah knapsack
by: Leow, Soo Kar
Published: (1988)
by: Leow, Soo Kar
Published: (1988)
New Quarter-Sweep-Based Accelerated Over-Relaxation Iterative Algorithms and their Parallel Implementations in Solving the 2D Poisson Equation
by: Rakhimov, Shukhrat
Published: (2010)
by: Rakhimov, Shukhrat
Published: (2010)
Improved Multicrossover Genetic Algorithm For Twodimensional
Rectangular Bin Packing Problem
by: Sarabian, Maryam
Published: (2010)
by: Sarabian, Maryam
Published: (2010)
Ant system with heuristics for capacitated vehicle routing problem
by: Tan, Wen Fang
Published: (2013)
by: Tan, Wen Fang
Published: (2013)
Proportional-integral control optimization using imperialist competitive algorithm
by: Soheilirad, Mohammadsoroush
Published: (2012)
by: Soheilirad, Mohammadsoroush
Published: (2012)
Solving single machine scheduling problem with maximum lateness using a genetic algorithm
by: Nazif, Habibeh, et al.
Published: (2010)
by: Nazif, Habibeh, et al.
Published: (2010)
Heuristic algorithms for routing problems.
by: Chong, Yen N.
Published: (2001)
by: Chong, Yen N.
Published: (2001)
Crossover and mutation operators of real coded genetic algorithms for global optimization problems
by: Lim, Siew Mooi
Published: (2016)
by: Lim, Siew Mooi
Published: (2016)
Data depublication using : Hashing algorithm / Naimah Nayan
by: Nayan, Naimah
Published: (2019)
by: Nayan, Naimah
Published: (2019)
Optimization algorithm for designing vertical alignments of highways / Zahriani Mastam
by: Mastam, Zahriani
Published: (2006)
by: Mastam, Zahriani
Published: (2006)
Nonlinear adaptive algorithm for active noise control with loudspeaker nonlinearity
by: Dehkordi, Sepehr Ghasemi
Published: (2014)
by: Dehkordi, Sepehr Ghasemi
Published: (2014)
Job recruiting system using sorting Algorithm / Adi Asyraf Ayob
by: Ayob, Adi Asyraf
Published: (2020)
by: Ayob, Adi Asyraf
Published: (2020)
Ant colony algorithm for text classification in multicore-multithread environment / Ahmad Nazmi Fadzal
by: Fadzal, Ahmad Nazmi
Published: (2017)
by: Fadzal, Ahmad Nazmi
Published: (2017)
Dynamic Robust Bootstrap Algorithm for Linear Model Selection Using Least Trimmed Squares
by: Uraibi, Hassan Sami
Published: (2009)
by: Uraibi, Hassan Sami
Published: (2009)
Development of learning algorithm of passive joint for 3R under-actuated robot / Mohd Amiruddin Fikri Yaakob
by: Yaakob, Mohd Amiruddin Fikri
Published: (2015)
by: Yaakob, Mohd Amiruddin Fikri
Published: (2015)
Extended decomposition for mixed integer programming to solve a workforce scheduling and routing problem
by: Laesanklang, Wasakorn, et al.
Published: (2015)
by: Laesanklang, Wasakorn, et al.
Published: (2015)
Quality of service and energy efficient aware (QEEA) scheduling algorithm for long term evolution (LTE) network / Nurulanis Mohd Yusoff
by: Mohd Yusoff, Nurulanis
Published: (2018)
by: Mohd Yusoff, Nurulanis
Published: (2018)
Quality of service and energy efficient aware (QEEA) scheduling algorithm for long term evolution (LTE) network / Nurulanis Mohd Yusoff
by: Mohd Yusoff, Nurulanis
Published: (2017)
by: Mohd Yusoff, Nurulanis
Published: (2017)
Application of system identification method coupled with evolutionary algorithms for the optimization of power consumption in a pem fuel cell propulsion system / Suhadiyana Hanapi
by: Hanapi, Suhadiyana
Published: (2018)
by: Hanapi, Suhadiyana
Published: (2018)
Generalizations of Lindelöf Properties in Bitopological Spaces
by: Salleh, Zabidin
Published: (2008)
by: Salleh, Zabidin
Published: (2008)
Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure
by: Toh, Sing Poh
Published: (2008)
by: Toh, Sing Poh
Published: (2008)
A genetic algorithm to minimise the maximum lateness on a
single machine family scheduling problem
by: Lee, Lai Soon, et al.
Published: (2009)
by: Lee, Lai Soon, et al.
Published: (2009)
Embedded system for indoor guidance parking with Dijkstra’s algorithm and ant colony optimization
by: Mohammad Ata, Karimeh Ibrahim
Published: (2019)
by: Mohammad Ata, Karimeh Ibrahim
Published: (2019)
Lookahead policy and genetic algorithm for solving nurse rostering problems
by: Shi, Peng, et al.
Published: (2018)
by: Shi, Peng, et al.
Published: (2018)
Indoor positioning using weighted magnetic field signal distance similarity measure and fuzzy based algorithms
by: Bundak, Caceja Elyca
Published: (2021)
by: Bundak, Caceja Elyca
Published: (2021)
Class binarization with self-adaptive algorithm to improve human activity recognition
by: Zainudin, Muhammad Noorazlan Shah
Published: (2018)
by: Zainudin, Muhammad Noorazlan Shah
Published: (2018)
Optimized differential evolution algorithm for linear frequency modulation radar signal denoising
by: Al-Dabbagh, Mohanad Dawood Hasan
Published: (2013)
by: Al-Dabbagh, Mohanad Dawood Hasan
Published: (2013)
Fruit recognition system / Nurul Husna Mohd Hofni
by: Nurul Husna, Mohd Hofni
Published: (2011)
by: Nurul Husna, Mohd Hofni
Published: (2011)
Improving parallel self-organizing map using heterogeneous uniform memory access / Muhammad Firdaus Mustapha
by: Mustapha, Muhammad Firdaus
Published: (2018)
by: Mustapha, Muhammad Firdaus
Published: (2018)
Predicting attackers of online shaming using ant colony optimization / Noor Shafiqa Fazlien Mohamad Fauzi
by: Mohamad Fauzi, Noor Shafiqa Fazlien
Published: (2020)
by: Mohamad Fauzi, Noor Shafiqa Fazlien
Published: (2020)
Facial features point localization using modified SIFT scale space / Zulfikri Paidi
by: Paidi, Zulfikri
Published: (2020)
by: Paidi, Zulfikri
Published: (2020)
A New Cryptosystem Based on Decimal Numbers and Nonlinear Function
by: Alfaris, Rand Qusay
Published: (2009)
by: Alfaris, Rand Qusay
Published: (2009)
Improved clustering using robust and classical principal component
by: Hassn, Ahmed Kadom
Published: (2017)
by: Hassn, Ahmed Kadom
Published: (2017)
APSCAN: A parameter free algorithm for clustering
by: Chen, Xiaoming, et al.
Published: (2011)
by: Chen, Xiaoming, et al.
Published: (2011)
A block cipher based on genetic algorithm
by: Zakaria, Nur Hafiza
Published: (2016)
by: Zakaria, Nur Hafiza
Published: (2016)
Gravitational search – bat algorithm for solving single and bi-objective of non-linear functions
by: Abbas, Iraq Tareq
Published: (2018)
by: Abbas, Iraq Tareq
Published: (2018)
Modified Miller-Rabin primality test algorithm to detect prime numbers for generating RSA keys
by: Shereek, Balkees Mohamed
Published: (2016)
by: Shereek, Balkees Mohamed
Published: (2016)
Efficient dynamic DNA-based block cipher algorithm
by: Chng, Chern Wei
Published: (2023)
by: Chng, Chern Wei
Published: (2023)
Diabetes prediction system using clonal selection algorithm / Nor Aishah Mustapa
by: Mustapa, Nor Aishah
Published: (2012)
by: Mustapa, Nor Aishah
Published: (2012)
Similar Items
-
On Euclid’s algorithm and elementary number theory
by: Backhouse, Roland, et al.
Published: (2011) -
Suatu algoritma untuk penyelesaian masalah knapsack
by: Leow, Soo Kar
Published: (1988) -
New Quarter-Sweep-Based Accelerated Over-Relaxation Iterative Algorithms and their Parallel Implementations in Solving the 2D Poisson Equation
by: Rakhimov, Shukhrat
Published: (2010) -
Improved Multicrossover Genetic Algorithm For Twodimensional
Rectangular Bin Packing Problem
by: Sarabian, Maryam
Published: (2010) -
Ant system with heuristics for capacitated vehicle routing problem
by: Tan, Wen Fang
Published: (2013)