Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(QA 75 Electronic computers Computer science). Showing records 1 – 30 of 212270 total matches.

[1] [2] [3] [4] [5] … [7076]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


University of Nottingham

1. Hackett, Jennifer L. P. The worker-wrapper transformation : getting it right and making it better.

Degree: PhD, 2017, University of Nottingham

 A program optimisation must have two key properties: it must preserve the meaning of programs (correctness) while also making them more efficient (improvement). An optimisation's… (more)

Subjects/Keywords: 005.1; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hackett, J. L. P. (2017). The worker-wrapper transformation : getting it right and making it better. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/46840/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740658

Chicago Manual of Style (16th Edition):

Hackett, Jennifer L P. “The worker-wrapper transformation : getting it right and making it better.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/46840/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740658.

MLA Handbook (7th Edition):

Hackett, Jennifer L P. “The worker-wrapper transformation : getting it right and making it better.” 2017. Web. 22 Oct 2020.

Vancouver:

Hackett JLP. The worker-wrapper transformation : getting it right and making it better. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/46840/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740658.

Council of Science Editors:

Hackett JLP. The worker-wrapper transformation : getting it right and making it better. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/46840/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740658


University of Nottingham

2. Alqahtani, Saeed Masaud H. Cloud intrusion detection systems : fuzzy logic and classifications.

Degree: PhD, 2017, University of Nottingham

 Cloud Computing (CC), as defned by national Institute of Standards and Technology (NIST), is a new technology model for enabling convenient, on-demand network access to… (more)

Subjects/Keywords: 004.67; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alqahtani, S. M. H. (2017). Cloud intrusion detection systems : fuzzy logic and classifications. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/45430/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740643

Chicago Manual of Style (16th Edition):

Alqahtani, Saeed Masaud H. “Cloud intrusion detection systems : fuzzy logic and classifications.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/45430/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740643.

MLA Handbook (7th Edition):

Alqahtani, Saeed Masaud H. “Cloud intrusion detection systems : fuzzy logic and classifications.” 2017. Web. 22 Oct 2020.

Vancouver:

Alqahtani SMH. Cloud intrusion detection systems : fuzzy logic and classifications. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/45430/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740643.

Council of Science Editors:

Alqahtani SMH. Cloud intrusion detection systems : fuzzy logic and classifications. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/45430/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740643


University of Nottingham

3. Prince, Rawle C. S. Aspects of the theory of containers within automated theorem proving.

Degree: PhD, 2011, University of Nottingham

 This thesis explores applications of the theory of containers within automated theorem proving. Container theory provides a foundational analysis of data types as containers, specified… (more)

Subjects/Keywords: 006.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Prince, R. C. S. (2011). Aspects of the theory of containers within automated theorem proving. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/11793/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541299

Chicago Manual of Style (16th Edition):

Prince, Rawle C S. “Aspects of the theory of containers within automated theorem proving.” 2011. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/11793/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541299.

MLA Handbook (7th Edition):

Prince, Rawle C S. “Aspects of the theory of containers within automated theorem proving.” 2011. Web. 22 Oct 2020.

Vancouver:

Prince RCS. Aspects of the theory of containers within automated theorem proving. [Internet] [Doctoral dissertation]. University of Nottingham; 2011. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/11793/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541299.

Council of Science Editors:

Prince RCS. Aspects of the theory of containers within automated theorem proving. [Doctoral Dissertation]. University of Nottingham; 2011. Available from: http://eprints.nottingham.ac.uk/11793/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541299


University of Nottingham

4. Sculthorpe, Neil. Towards safe and efficient functional reactive programming.

Degree: PhD, 2011, University of Nottingham

 Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on time-varying values (signals). FRP is… (more)

Subjects/Keywords: 005.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sculthorpe, N. (2011). Towards safe and efficient functional reactive programming. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/11981/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541125

Chicago Manual of Style (16th Edition):

Sculthorpe, Neil. “Towards safe and efficient functional reactive programming.” 2011. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/11981/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541125.

MLA Handbook (7th Edition):

Sculthorpe, Neil. “Towards safe and efficient functional reactive programming.” 2011. Web. 22 Oct 2020.

Vancouver:

Sculthorpe N. Towards safe and efficient functional reactive programming. [Internet] [Doctoral dissertation]. University of Nottingham; 2011. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/11981/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541125.

Council of Science Editors:

Sculthorpe N. Towards safe and efficient functional reactive programming. [Doctoral Dissertation]. University of Nottingham; 2011. Available from: http://eprints.nottingham.ac.uk/11981/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541125


University of Nottingham

5. Hu, Liyang. Compiling concurrency correctly : verifying software transactional memory.

Degree: PhD, 2013, University of Nottingham

 Concurrent programming is notoriously difficult, but with multi-core processors becoming the norm, is now a reality that every programmer must face. Concurrency has traditionally been… (more)

Subjects/Keywords: 005.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hu, L. (2013). Compiling concurrency correctly : verifying software transactional memory. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/13348/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594626

Chicago Manual of Style (16th Edition):

Hu, Liyang. “Compiling concurrency correctly : verifying software transactional memory.” 2013. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/13348/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594626.

MLA Handbook (7th Edition):

Hu, Liyang. “Compiling concurrency correctly : verifying software transactional memory.” 2013. Web. 22 Oct 2020.

Vancouver:

Hu L. Compiling concurrency correctly : verifying software transactional memory. [Internet] [Doctoral dissertation]. University of Nottingham; 2013. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/13348/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594626.

Council of Science Editors:

Hu L. Compiling concurrency correctly : verifying software transactional memory. [Doctoral Dissertation]. University of Nottingham; 2013. Available from: http://eprints.nottingham.ac.uk/13348/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594626

6. Ladas, Alexandros. Potential of psychological information to support knowledge discovery in consumer debt analysis.

Degree: PhD, 2016, University of Nottingham

 In this work, we develop a Data Mining framework to explore the multifaceted nature of consumer indebtedness. Data Mining with its numerous techniques and methods… (more)

Subjects/Keywords: 006.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ladas, A. (2016). Potential of psychological information to support knowledge discovery in consumer debt analysis. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/34070/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698022

Chicago Manual of Style (16th Edition):

Ladas, Alexandros. “Potential of psychological information to support knowledge discovery in consumer debt analysis.” 2016. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/34070/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698022.

MLA Handbook (7th Edition):

Ladas, Alexandros. “Potential of psychological information to support knowledge discovery in consumer debt analysis.” 2016. Web. 22 Oct 2020.

Vancouver:

Ladas A. Potential of psychological information to support knowledge discovery in consumer debt analysis. [Internet] [Doctoral dissertation]. University of Nottingham; 2016. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/34070/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698022.

Council of Science Editors:

Ladas A. Potential of psychological information to support knowledge discovery in consumer debt analysis. [Doctoral Dissertation]. University of Nottingham; 2016. Available from: http://eprints.nottingham.ac.uk/34070/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698022


University of Nottingham

7. Capriotti, Paolo. Models of type theory with strict equality.

Degree: PhD, 2017, University of Nottingham

 This thesis introduces the idea of two-level type theory, an extension of Martin-Löf type theory that adds a notion of strict equality as an internal… (more)

Subjects/Keywords: 004.01; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Capriotti, P. (2017). Models of type theory with strict equality. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/39382/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719436

Chicago Manual of Style (16th Edition):

Capriotti, Paolo. “Models of type theory with strict equality.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/39382/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719436.

MLA Handbook (7th Edition):

Capriotti, Paolo. “Models of type theory with strict equality.” 2017. Web. 22 Oct 2020.

Vancouver:

Capriotti P. Models of type theory with strict equality. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/39382/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719436.

Council of Science Editors:

Capriotti P. Models of type theory with strict equality. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/39382/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719436


University of Nottingham

8. Baskaran, Geetha. A domain transformation approach for addressing staff scheduling problems.

Degree: PhD, 2016, University of Nottingham

 Staff scheduling is a complex combinatorial optimisation problem concerning allocation of staff to duty rosters in a wide range of industries and settings. This thesis… (more)

Subjects/Keywords: 610.73068; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Baskaran, G. (2016). A domain transformation approach for addressing staff scheduling problems. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/31249/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698009

Chicago Manual of Style (16th Edition):

Baskaran, Geetha. “A domain transformation approach for addressing staff scheduling problems.” 2016. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/31249/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698009.

MLA Handbook (7th Edition):

Baskaran, Geetha. “A domain transformation approach for addressing staff scheduling problems.” 2016. Web. 22 Oct 2020.

Vancouver:

Baskaran G. A domain transformation approach for addressing staff scheduling problems. [Internet] [Doctoral dissertation]. University of Nottingham; 2016. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/31249/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698009.

Council of Science Editors:

Baskaran G. A domain transformation approach for addressing staff scheduling problems. [Doctoral Dissertation]. University of Nottingham; 2016. Available from: http://eprints.nottingham.ac.uk/31249/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698009


University of Nottingham

9. Ollis, James A. J. Optimised editing of variable data documents via partial re-evaluation.

Degree: PhD, 2011, University of Nottingham

 With the advent of digital printing presses and the continued development of associated technologies, variable data printing (VDP) is becoming more and more common. VDP… (more)

Subjects/Keywords: 004; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ollis, J. A. J. (2011). Optimised editing of variable data documents via partial re-evaluation. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/12107/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541431

Chicago Manual of Style (16th Edition):

Ollis, James A J. “Optimised editing of variable data documents via partial re-evaluation.” 2011. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/12107/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541431.

MLA Handbook (7th Edition):

Ollis, James A J. “Optimised editing of variable data documents via partial re-evaluation.” 2011. Web. 22 Oct 2020.

Vancouver:

Ollis JAJ. Optimised editing of variable data documents via partial re-evaluation. [Internet] [Doctoral dissertation]. University of Nottingham; 2011. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/12107/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541431.

Council of Science Editors:

Ollis JAJ. Optimised editing of variable data documents via partial re-evaluation. [Doctoral Dissertation]. University of Nottingham; 2011. Available from: http://eprints.nottingham.ac.uk/12107/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.541431


University of Nottingham

10. Abdul Rahim, Siti Khatijah Nor. Transformation of the university examination timetabling problem space through data pre-processing.

Degree: PhD, 2015, University of Nottingham

 This research investigates Examination Timetabling or Scheduling, with the aim of producing good quality, feasible timetables that satisfy hard constraints and various soft constraints. A… (more)

Subjects/Keywords: 005.7; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abdul Rahim, S. K. N. (2015). Transformation of the university examination timetabling problem space through data pre-processing. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/28895/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664703

Chicago Manual of Style (16th Edition):

Abdul Rahim, Siti Khatijah Nor. “Transformation of the university examination timetabling problem space through data pre-processing.” 2015. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/28895/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664703.

MLA Handbook (7th Edition):

Abdul Rahim, Siti Khatijah Nor. “Transformation of the university examination timetabling problem space through data pre-processing.” 2015. Web. 22 Oct 2020.

Vancouver:

Abdul Rahim SKN. Transformation of the university examination timetabling problem space through data pre-processing. [Internet] [Doctoral dissertation]. University of Nottingham; 2015. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/28895/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664703.

Council of Science Editors:

Abdul Rahim SKN. Transformation of the university examination timetabling problem space through data pre-processing. [Doctoral Dissertation]. University of Nottingham; 2015. Available from: http://eprints.nottingham.ac.uk/28895/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664703


University of Nottingham

11. Ho, Duc Thang. Context dependent fuzzy modelling and its applications.

Degree: PhD, 2013, University of Nottingham

 Fuzzy rule-based systems (FRBS) use the principle of fuzzy sets and fuzzy logic to describe vague and imprecise statements and provide a facility to express… (more)

Subjects/Keywords: 006.33; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ho, D. T. (2013). Context dependent fuzzy modelling and its applications. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/13574/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594663

Chicago Manual of Style (16th Edition):

Ho, Duc Thang. “Context dependent fuzzy modelling and its applications.” 2013. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/13574/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594663.

MLA Handbook (7th Edition):

Ho, Duc Thang. “Context dependent fuzzy modelling and its applications.” 2013. Web. 22 Oct 2020.

Vancouver:

Ho DT. Context dependent fuzzy modelling and its applications. [Internet] [Doctoral dissertation]. University of Nottingham; 2013. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/13574/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594663.

Council of Science Editors:

Ho DT. Context dependent fuzzy modelling and its applications. [Doctoral Dissertation]. University of Nottingham; 2013. Available from: http://eprints.nottingham.ac.uk/13574/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594663


University of Nottingham

12. Vikhorev, Konstantin. Real-time guarantees in high-level agent programming languages.

Degree: PhD, 2011, University of Nottingham

 In the thesis we present a new approach to providing soft real-time guarantees for Belief-Desire-Intention (BDI) agents. We analyse real-time guarantees for BDI agents and… (more)

Subjects/Keywords: 006.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vikhorev, K. (2011). Real-time guarantees in high-level agent programming languages. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/13036/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.546491

Chicago Manual of Style (16th Edition):

Vikhorev, Konstantin. “Real-time guarantees in high-level agent programming languages.” 2011. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/13036/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.546491.

MLA Handbook (7th Edition):

Vikhorev, Konstantin. “Real-time guarantees in high-level agent programming languages.” 2011. Web. 22 Oct 2020.

Vancouver:

Vikhorev K. Real-time guarantees in high-level agent programming languages. [Internet] [Doctoral dissertation]. University of Nottingham; 2011. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/13036/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.546491.

Council of Science Editors:

Vikhorev K. Real-time guarantees in high-level agent programming languages. [Doctoral Dissertation]. University of Nottingham; 2011. Available from: http://eprints.nottingham.ac.uk/13036/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.546491

13. Maior, Horia Alexandru. Real-time physiological measure and feedback of workload.

Degree: PhD, 2017, University of Nottingham

 Understanding and identifying individuals’ capabilities and limitations has always been a challenge within work contexts, but its importance cannot be underestimated. Humans have a limited… (more)

Subjects/Keywords: 004.01; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Maior, H. A. (2017). Real-time physiological measure and feedback of workload. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/47577/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728604

Chicago Manual of Style (16th Edition):

Maior, Horia Alexandru. “Real-time physiological measure and feedback of workload.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/47577/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728604.

MLA Handbook (7th Edition):

Maior, Horia Alexandru. “Real-time physiological measure and feedback of workload.” 2017. Web. 22 Oct 2020.

Vancouver:

Maior HA. Real-time physiological measure and feedback of workload. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/47577/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728604.

Council of Science Editors:

Maior HA. Real-time physiological measure and feedback of workload. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/47577/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728604


University of Nottingham

14. Lumley, John William. Documents as functions.

Degree: PhD, 2012, University of Nottingham

 Treating variable data documents as functions over their data bindings opens opportunities for building more powerful, robust and flexible document architectures to meet the needs… (more)

Subjects/Keywords: 006.7; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lumley, J. W. (2012). Documents as functions. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/12631/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559650

Chicago Manual of Style (16th Edition):

Lumley, John William. “Documents as functions.” 2012. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/12631/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559650.

MLA Handbook (7th Edition):

Lumley, John William. “Documents as functions.” 2012. Web. 22 Oct 2020.

Vancouver:

Lumley JW. Documents as functions. [Internet] [Doctoral dissertation]. University of Nottingham; 2012. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/12631/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559650.

Council of Science Editors:

Lumley JW. Documents as functions. [Doctoral Dissertation]. University of Nottingham; 2012. Available from: http://eprints.nottingham.ac.uk/12631/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559650


University of Nottingham

15. Ferreira, Joao Fernando Peixoto. Principles and applications of algorithmic problem solving.

Degree: PhD, 2011, University of Nottingham

 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… (more)

Subjects/Keywords: 004.01; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferreira, J. F. P. (2011). Principles and applications of algorithmic problem solving. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/11707/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539211

Chicago Manual of Style (16th Edition):

Ferreira, Joao Fernando Peixoto. “Principles and applications of algorithmic problem solving.” 2011. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/11707/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539211.

MLA Handbook (7th Edition):

Ferreira, Joao Fernando Peixoto. “Principles and applications of algorithmic problem solving.” 2011. Web. 22 Oct 2020.

Vancouver:

Ferreira JFP. Principles and applications of algorithmic problem solving. [Internet] [Doctoral dissertation]. University of Nottingham; 2011. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/11707/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539211.

Council of Science Editors:

Ferreira JFP. Principles and applications of algorithmic problem solving. [Doctoral Dissertation]. University of Nottingham; 2011. Available from: http://eprints.nottingham.ac.uk/11707/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539211


University of Nottingham

16. Giorgidze, George. First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation.

Degree: PhD, 2012, University of Nottingham

 The field of physical modelling and simulation plays a vital role in advancing numerous scientific and engineering disciplines. To cope with the increasing size and… (more)

Subjects/Keywords: 005.114; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Giorgidze, G. (2012). First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/12554/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559618

Chicago Manual of Style (16th Edition):

Giorgidze, George. “First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation.” 2012. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/12554/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559618.

MLA Handbook (7th Edition):

Giorgidze, George. “First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation.” 2012. Web. 22 Oct 2020.

Vancouver:

Giorgidze G. First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation. [Internet] [Doctoral dissertation]. University of Nottingham; 2012. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/12554/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559618.

Council of Science Editors:

Giorgidze G. First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation. [Doctoral Dissertation]. University of Nottingham; 2012. Available from: http://eprints.nottingham.ac.uk/12554/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.559618


University of Nottingham

17. Dijkstra, Gabe. Quotient inductive-inductive definitions.

Degree: PhD, 2017, University of Nottingham

 In this thesis we present a theory of quotient inductive-inductive definitions, which are inductive-inductive definitions extended with constructors for equations. The resulting theory is an… (more)

Subjects/Keywords: 005.1; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dijkstra, G. (2017). Quotient inductive-inductive definitions. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/42317/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728471

Chicago Manual of Style (16th Edition):

Dijkstra, Gabe. “Quotient inductive-inductive definitions.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/42317/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728471.

MLA Handbook (7th Edition):

Dijkstra, Gabe. “Quotient inductive-inductive definitions.” 2017. Web. 22 Oct 2020.

Vancouver:

Dijkstra G. Quotient inductive-inductive definitions. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/42317/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728471.

Council of Science Editors:

Dijkstra G. Quotient inductive-inductive definitions. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/42317/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728471


University of Nottingham

18. Capper, John. Semantic methods for functional hybrid modelling.

Degree: PhD, 2014, University of Nottingham

 Equation-based modelling languages have become a vital tool in many areas of science and engineering. Functional Hybrid Modelling (FHM) is an approach to equation-based modelling… (more)

Subjects/Keywords: 005.13; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Capper, J. (2014). Semantic methods for functional hybrid modelling. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/27759/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635128

Chicago Manual of Style (16th Edition):

Capper, John. “Semantic methods for functional hybrid modelling.” 2014. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/27759/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635128.

MLA Handbook (7th Edition):

Capper, John. “Semantic methods for functional hybrid modelling.” 2014. Web. 22 Oct 2020.

Vancouver:

Capper J. Semantic methods for functional hybrid modelling. [Internet] [Doctoral dissertation]. University of Nottingham; 2014. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/27759/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635128.

Council of Science Editors:

Capper J. Semantic methods for functional hybrid modelling. [Doctoral Dissertation]. University of Nottingham; 2014. Available from: http://eprints.nottingham.ac.uk/27759/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635128


University of Nottingham

19. Eliwa, Essam. A framework for interactive end-user web automation.

Degree: PhD, 2013, University of Nottingham

 This research investigates the feasibility and usefulness of a Web-based model for end-user Web automation. The aim is to empower end users to automate their… (more)

Subjects/Keywords: 004.678; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Eliwa, E. (2013). A framework for interactive end-user web automation. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/13529/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594653

Chicago Manual of Style (16th Edition):

Eliwa, Essam. “A framework for interactive end-user web automation.” 2013. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/13529/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594653.

MLA Handbook (7th Edition):

Eliwa, Essam. “A framework for interactive end-user web automation.” 2013. Web. 22 Oct 2020.

Vancouver:

Eliwa E. A framework for interactive end-user web automation. [Internet] [Doctoral dissertation]. University of Nottingham; 2013. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/13529/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594653.

Council of Science Editors:

Eliwa E. A framework for interactive end-user web automation. [Doctoral Dissertation]. University of Nottingham; 2013. Available from: http://eprints.nottingham.ac.uk/13529/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.594653


University of Nottingham

20. Castro-Gutierrez, Juan. Multi-objective tools for the vehicle routing problem with time windows.

Degree: PhD, 2012, University of Nottingham

 Most real-life problems involve the simultaneous optimisation of two or more, usually conflicting, objectives. Researchers have put a continuous effort into solving these problems in… (more)

Subjects/Keywords: 006.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Castro-Gutierrez, J. (2012). Multi-objective tools for the vehicle routing problem with time windows. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/13713/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588310

Chicago Manual of Style (16th Edition):

Castro-Gutierrez, Juan. “Multi-objective tools for the vehicle routing problem with time windows.” 2012. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/13713/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588310.

MLA Handbook (7th Edition):

Castro-Gutierrez, Juan. “Multi-objective tools for the vehicle routing problem with time windows.” 2012. Web. 22 Oct 2020.

Vancouver:

Castro-Gutierrez J. Multi-objective tools for the vehicle routing problem with time windows. [Internet] [Doctoral dissertation]. University of Nottingham; 2012. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/13713/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588310.

Council of Science Editors:

Castro-Gutierrez J. Multi-objective tools for the vehicle routing problem with time windows. [Doctoral Dissertation]. University of Nottingham; 2012. Available from: http://eprints.nottingham.ac.uk/13713/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588310


University of Nottingham

21. Selby, Mark. Experiential manufacturing : designing meaningful relationships between people, data and things.

Degree: PhD, 2017, University of Nottingham

 This thesis presents a practice-led research investigation into ways of designing more experiential and evocative interactions with data that relates to our experiences whereby less… (more)

Subjects/Keywords: 004.01; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Selby, M. (2017). Experiential manufacturing : designing meaningful relationships between people, data and things. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/43534/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719709

Chicago Manual of Style (16th Edition):

Selby, Mark. “Experiential manufacturing : designing meaningful relationships between people, data and things.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/43534/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719709.

MLA Handbook (7th Edition):

Selby, Mark. “Experiential manufacturing : designing meaningful relationships between people, data and things.” 2017. Web. 22 Oct 2020.

Vancouver:

Selby M. Experiential manufacturing : designing meaningful relationships between people, data and things. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/43534/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719709.

Council of Science Editors:

Selby M. Experiential manufacturing : designing meaningful relationships between people, data and things. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/43534/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.719709


University of Nottingham

22. Sattler, Christian. On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes.

Degree: PhD, 2015, University of Nottingham

 This thesis is composed of three separate parts. The first part deals with definability and productivity issues of equational systems defining polymorphic stream functions. The… (more)

Subjects/Keywords: 511.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sattler, C. (2015). On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/28111/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668611

Chicago Manual of Style (16th Edition):

Sattler, Christian. “On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes.” 2015. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/28111/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668611.

MLA Handbook (7th Edition):

Sattler, Christian. “On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes.” 2015. Web. 22 Oct 2020.

Vancouver:

Sattler C. On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes. [Internet] [Doctoral dissertation]. University of Nottingham; 2015. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/28111/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668611.

Council of Science Editors:

Sattler C. On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes. [Doctoral Dissertation]. University of Nottingham; 2015. Available from: http://eprints.nottingham.ac.uk/28111/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668611


University of Nottingham

23. McCulloch, Josie C. Novel methods of measuring the similarity and distance between complex fuzzy sets.

Degree: PhD, 2016, University of Nottingham

 This thesis develops measures that enable comparisons of subjective information that is represented through fuzzy sets. Many applications rely on information that is subjective and… (more)

Subjects/Keywords: 511.3; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

McCulloch, J. C. (2016). Novel methods of measuring the similarity and distance between complex fuzzy sets. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/33401/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689930

Chicago Manual of Style (16th Edition):

McCulloch, Josie C. “Novel methods of measuring the similarity and distance between complex fuzzy sets.” 2016. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/33401/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689930.

MLA Handbook (7th Edition):

McCulloch, Josie C. “Novel methods of measuring the similarity and distance between complex fuzzy sets.” 2016. Web. 22 Oct 2020.

Vancouver:

McCulloch JC. Novel methods of measuring the similarity and distance between complex fuzzy sets. [Internet] [Doctoral dissertation]. University of Nottingham; 2016. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/33401/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689930.

Council of Science Editors:

McCulloch JC. Novel methods of measuring the similarity and distance between complex fuzzy sets. [Doctoral Dissertation]. University of Nottingham; 2016. Available from: http://eprints.nottingham.ac.uk/33401/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689930


University of Nottingham

24. Pike, Matthew. Exploring the use of brain-sensing technologies for natural interactions.

Degree: PhD, 2017, University of Nottingham

 Recent technical innovation in the field of Brain-Computer Interfaces (BCIs) has increased the opportunity for including physical, brain-sensing devices as a part of our day-to-day… (more)

Subjects/Keywords: 004.01; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pike, M. (2017). Exploring the use of brain-sensing technologies for natural interactions. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/45136/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728550

Chicago Manual of Style (16th Edition):

Pike, Matthew. “Exploring the use of brain-sensing technologies for natural interactions.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/45136/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728550.

MLA Handbook (7th Edition):

Pike, Matthew. “Exploring the use of brain-sensing technologies for natural interactions.” 2017. Web. 22 Oct 2020.

Vancouver:

Pike M. Exploring the use of brain-sensing technologies for natural interactions. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/45136/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728550.

Council of Science Editors:

Pike M. Exploring the use of brain-sensing technologies for natural interactions. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/45136/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.728550


University of Nottingham

25. Li, Nuo. Quotient types in type theory.

Degree: PhD, 2015, University of Nottingham

 Martin-Lof's intuitionistic type theory (Type Theory) is a formal system that serves not only as a foundation of constructive mathematics but also as a dependently… (more)

Subjects/Keywords: 005.13; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, N. (2015). Quotient types in type theory. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/28941/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668634

Chicago Manual of Style (16th Edition):

Li, Nuo. “Quotient types in type theory.” 2015. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/28941/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668634.

MLA Handbook (7th Edition):

Li, Nuo. “Quotient types in type theory.” 2015. Web. 22 Oct 2020.

Vancouver:

Li N. Quotient types in type theory. [Internet] [Doctoral dissertation]. University of Nottingham; 2015. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/28941/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668634.

Council of Science Editors:

Li N. Quotient types in type theory. [Doctoral Dissertation]. University of Nottingham; 2015. Available from: http://eprints.nottingham.ac.uk/28941/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.668634


University of Nottingham

26. Castillo Salazar, José Arturo. Optimisation models and algorithms for workforce scheduling and routing.

Degree: PhD, 2015, University of Nottingham

 This thesis investigates the problem of scheduling and routing employees that are required to perform activities at clients’ locations. Clients request the activities to be… (more)

Subjects/Keywords: 004.6; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Castillo Salazar, J. A. (2015). Optimisation models and algorithms for workforce scheduling and routing. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/30886/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.686878

Chicago Manual of Style (16th Edition):

Castillo Salazar, José Arturo. “Optimisation models and algorithms for workforce scheduling and routing.” 2015. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/30886/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.686878.

MLA Handbook (7th Edition):

Castillo Salazar, José Arturo. “Optimisation models and algorithms for workforce scheduling and routing.” 2015. Web. 22 Oct 2020.

Vancouver:

Castillo Salazar JA. Optimisation models and algorithms for workforce scheduling and routing. [Internet] [Doctoral dissertation]. University of Nottingham; 2015. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/30886/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.686878.

Council of Science Editors:

Castillo Salazar JA. Optimisation models and algorithms for workforce scheduling and routing. [Doctoral Dissertation]. University of Nottingham; 2015. Available from: http://eprints.nottingham.ac.uk/30886/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.686878


University of Nottingham

27. Guo, Qiang. Evolutionary algorithms and hyper-heuristics for orthogonal packing problems.

Degree: PhD, 2011, University of Nottingham

 This thesis investigates two major classes of Evolutionary Algorithms, Genetic Algorithms (GAs) and Evolution Strategies (ESs), and their application to the Orthogonal Packing Problems (OPP).… (more)

Subjects/Keywords: 519.625; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Guo, Q. (2011). Evolutionary algorithms and hyper-heuristics for orthogonal packing problems. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/29311/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555394

Chicago Manual of Style (16th Edition):

Guo, Qiang. “Evolutionary algorithms and hyper-heuristics for orthogonal packing problems.” 2011. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/29311/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555394.

MLA Handbook (7th Edition):

Guo, Qiang. “Evolutionary algorithms and hyper-heuristics for orthogonal packing problems.” 2011. Web. 22 Oct 2020.

Vancouver:

Guo Q. Evolutionary algorithms and hyper-heuristics for orthogonal packing problems. [Internet] [Doctoral dissertation]. University of Nottingham; 2011. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/29311/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555394.

Council of Science Editors:

Guo Q. Evolutionary algorithms and hyper-heuristics for orthogonal packing problems. [Doctoral Dissertation]. University of Nottingham; 2011. Available from: http://eprints.nottingham.ac.uk/29311/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555394


University of Nottingham

28. Raju, Rajeswari. Optimisation of image processing networks for neuronal membrane detection.

Degree: PhD, 2016, University of Nottingham

 This research dealt with the problem of neuronal membrane detection, in which the core challenge is distinguishing membranes from organelles. A simple and efficient optimisation… (more)

Subjects/Keywords: 006.4; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Raju, R. (2016). Optimisation of image processing networks for neuronal membrane detection. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/33948/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698021

Chicago Manual of Style (16th Edition):

Raju, Rajeswari. “Optimisation of image processing networks for neuronal membrane detection.” 2016. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/33948/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698021.

MLA Handbook (7th Edition):

Raju, Rajeswari. “Optimisation of image processing networks for neuronal membrane detection.” 2016. Web. 22 Oct 2020.

Vancouver:

Raju R. Optimisation of image processing networks for neuronal membrane detection. [Internet] [Doctoral dissertation]. University of Nottingham; 2016. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/33948/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698021.

Council of Science Editors:

Raju R. Optimisation of image processing networks for neuronal membrane detection. [Doctoral Dissertation]. University of Nottingham; 2016. Available from: http://eprints.nottingham.ac.uk/33948/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698021


University of Nottingham

29. Laesanklang, Wasakorn. Heuristic decomposition and mathematical programming for workforce scheduling and routing problems.

Degree: PhD, 2017, University of Nottingham

 This thesis presents a PhD research project using a mathematical programming approach to solve a home healthcare problem (HHC) as well as general workforce scheduling… (more)

Subjects/Keywords: 362.1; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Laesanklang, W. (2017). Heuristic decomposition and mathematical programming for workforce scheduling and routing problems. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/39883/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.706398

Chicago Manual of Style (16th Edition):

Laesanklang, Wasakorn. “Heuristic decomposition and mathematical programming for workforce scheduling and routing problems.” 2017. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/39883/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.706398.

MLA Handbook (7th Edition):

Laesanklang, Wasakorn. “Heuristic decomposition and mathematical programming for workforce scheduling and routing problems.” 2017. Web. 22 Oct 2020.

Vancouver:

Laesanklang W. Heuristic decomposition and mathematical programming for workforce scheduling and routing problems. [Internet] [Doctoral dissertation]. University of Nottingham; 2017. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/39883/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.706398.

Council of Science Editors:

Laesanklang W. Heuristic decomposition and mathematical programming for workforce scheduling and routing problems. [Doctoral Dissertation]. University of Nottingham; 2017. Available from: http://eprints.nottingham.ac.uk/39883/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.706398

30. Bayliss, Christopher. Airline reserve crew scheduling under uncertainty.

Degree: PhD, 2016, University of Nottingham

 This thesis addresses the problem of airline reserve crew scheduling under crew absence and journey time uncertainty. This work is primarily concerned with the allocation… (more)

Subjects/Keywords: 387.7; QA 75 Electronic computers. Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bayliss, C. (2016). Airline reserve crew scheduling under uncertainty. (Doctoral Dissertation). University of Nottingham. Retrieved from http://eprints.nottingham.ac.uk/33054/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689871

Chicago Manual of Style (16th Edition):

Bayliss, Christopher. “Airline reserve crew scheduling under uncertainty.” 2016. Doctoral Dissertation, University of Nottingham. Accessed October 22, 2020. http://eprints.nottingham.ac.uk/33054/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689871.

MLA Handbook (7th Edition):

Bayliss, Christopher. “Airline reserve crew scheduling under uncertainty.” 2016. Web. 22 Oct 2020.

Vancouver:

Bayliss C. Airline reserve crew scheduling under uncertainty. [Internet] [Doctoral dissertation]. University of Nottingham; 2016. [cited 2020 Oct 22]. Available from: http://eprints.nottingham.ac.uk/33054/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689871.

Council of Science Editors:

Bayliss C. Airline reserve crew scheduling under uncertainty. [Doctoral Dissertation]. University of Nottingham; 2016. Available from: http://eprints.nottingham.ac.uk/33054/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.689871

[1] [2] [3] [4] [5] … [7076]

.