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 +publisher:"University of New Mexico" +contributor:("Stefanovic, Darko"). Showing records 1 – 11 of 11 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of New Mexico

1. Mo, Dandan. Logic Circuits Based on Extended Molecular Spider Systems.

Degree: Department of Computer Science, 2016, University of New Mexico

 Spatial locality brings the advantages of computation speed-up and sequence reuse to molecular computing. In particular, molecular walkers that undergo localized re- actions are of… (more)

Subjects/Keywords: molecular circuits; molecular spiders; continuous time Markov chain; kinetic Monte Carlo simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mo, D. (2016). Logic Circuits Based on Extended Molecular Spider Systems. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/33042

Chicago Manual of Style (16th Edition):

Mo, Dandan. “Logic Circuits Based on Extended Molecular Spider Systems.” 2016. Doctoral Dissertation, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/33042.

MLA Handbook (7th Edition):

Mo, Dandan. “Logic Circuits Based on Extended Molecular Spider Systems.” 2016. Web. 27 Jan 2021.

Vancouver:

Mo D. Logic Circuits Based on Extended Molecular Spider Systems. [Internet] [Doctoral dissertation]. University of New Mexico; 2016. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/33042.

Council of Science Editors:

Mo D. Logic Circuits Based on Extended Molecular Spider Systems. [Doctoral Dissertation]. University of New Mexico; 2016. Available from: http://hdl.handle.net/1928/33042


University of New Mexico

2. Mohr, David. Stella: A Python-based Domain-Specific Language for Simulations.

Degree: Department of Computer Science, 2015, University of New Mexico

 Stella is a domain-specific language that (1) has single thread performance competitive with low-level languages, (2) supports object-oriented programming (OOP) to properly structure the code,… (more)

Subjects/Keywords: python; domain specific language; simulation; compiler

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mohr, D. (2015). Stella: A Python-based Domain-Specific Language for Simulations. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/31733

Chicago Manual of Style (16th Edition):

Mohr, David. “Stella: A Python-based Domain-Specific Language for Simulations.” 2015. Doctoral Dissertation, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/31733.

MLA Handbook (7th Edition):

Mohr, David. “Stella: A Python-based Domain-Specific Language for Simulations.” 2015. Web. 27 Jan 2021.

Vancouver:

Mohr D. Stella: A Python-based Domain-Specific Language for Simulations. [Internet] [Doctoral dissertation]. University of New Mexico; 2015. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/31733.

Council of Science Editors:

Mohr D. Stella: A Python-based Domain-Specific Language for Simulations. [Doctoral Dissertation]. University of New Mexico; 2015. Available from: http://hdl.handle.net/1928/31733


University of New Mexico

3. Gordon, Benjamin M. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.

Degree: Department of Computer Science, 2013, University of New Mexico

 Programming is not just about the syntax of the language; the programming environment is also an important part of the process. In English prose speech… (more)

Subjects/Keywords: spoken programming; programming-by-voice

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gordon, B. M. (2013). Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/23325

Chicago Manual of Style (16th Edition):

Gordon, Benjamin M. “Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.” 2013. Doctoral Dissertation, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/23325.

MLA Handbook (7th Edition):

Gordon, Benjamin M. “Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context.” 2013. Web. 27 Jan 2021.

Vancouver:

Gordon BM. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. [Internet] [Doctoral dissertation]. University of New Mexico; 2013. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/23325.

Council of Science Editors:

Gordon BM. Improving Spoken Programming Through Language Design and the Incorporation of Dynamic Context. [Doctoral Dissertation]. University of New Mexico; 2013. Available from: http://hdl.handle.net/1928/23325


University of New Mexico

4. Reedy, Geoffrey. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.

Degree: Department of Computer Science, 2014, University of New Mexico

 The Scala programming language successfully blends object-oriented and functional programming. The current implementation of Scala is tied to the Java Virtual Machine (JVM) which constrains… (more)

Subjects/Keywords: programming languages; compilers; programming language implementation; llvm; scala

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reedy, G. (2014). Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/24275

Chicago Manual of Style (16th Edition):

Reedy, Geoffrey. “Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.” 2014. Masters Thesis, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/24275.

MLA Handbook (7th Edition):

Reedy, Geoffrey. “Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.” 2014. Web. 27 Jan 2021.

Vancouver:

Reedy G. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. [Internet] [Masters thesis]. University of New Mexico; 2014. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/24275.

Council of Science Editors:

Reedy G. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. [Masters Thesis]. University of New Mexico; 2014. Available from: http://hdl.handle.net/1928/24275


University of New Mexico

5. Ericksen, John. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.

Degree: Department of Computer Science, 2016, University of New Mexico

 Modern Java application development makes use of metaprogramming to offset and reduce application boilerplate. Unfortunately, metaprogramming techniques typically require a relatively high run-time cost, particularly… (more)

Subjects/Keywords: Dependency Injection; Android; Compile time; Annotation Processing; Metaprogramming; Boilerplate

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ericksen, J. (2016). Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/32945

Chicago Manual of Style (16th Edition):

Ericksen, John. “Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.” 2016. Masters Thesis, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/32945.

MLA Handbook (7th Edition):

Ericksen, John. “Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.” 2016. Web. 27 Jan 2021.

Vancouver:

Ericksen J. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. [Internet] [Masters thesis]. University of New Mexico; 2016. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/32945.

Council of Science Editors:

Ericksen J. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. [Masters Thesis]. University of New Mexico; 2016. Available from: http://hdl.handle.net/1928/32945


University of New Mexico

6. Fanning, M. Leigh. DNA Chemical Reaction Network Design Synthesis and Compilation.

Degree: Department of Computer Science, 2014, University of New Mexico

  The advantages of biomolecular computing include 1) the ability to interface with, monitor, and intelligently protect and maintain the functionality of living systems, 2)… (more)

Subjects/Keywords: DNA Computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fanning, M. L. (2014). DNA Chemical Reaction Network Design Synthesis and Compilation. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/25777

Chicago Manual of Style (16th Edition):

Fanning, M Leigh. “DNA Chemical Reaction Network Design Synthesis and Compilation.” 2014. Doctoral Dissertation, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/25777.

MLA Handbook (7th Edition):

Fanning, M Leigh. “DNA Chemical Reaction Network Design Synthesis and Compilation.” 2014. Web. 27 Jan 2021.

Vancouver:

Fanning ML. DNA Chemical Reaction Network Design Synthesis and Compilation. [Internet] [Doctoral dissertation]. University of New Mexico; 2014. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/25777.

Council of Science Editors:

Fanning ML. DNA Chemical Reaction Network Design Synthesis and Compilation. [Doctoral Dissertation]. University of New Mexico; 2014. Available from: http://hdl.handle.net/1928/25777


University of New Mexico

7. Brown, Carl, III. Engineering Catalytic Molecular Logic Devices for Biodetection.

Degree: Biomedical Sciences Graduate Program, 2014, University of New Mexico

  This dissertation describes the development of DNA computing techniques and molecular logic devices specifically engineered for direct translation to biological sample detection. As disease… (more)

Subjects/Keywords: molecular logic; DNAzymes; deoxyribozymes; biodetection; cascades; DNA computing; strand displacement; Medicine and Health Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brown, Carl, I. (2014). Engineering Catalytic Molecular Logic Devices for Biodetection. (Doctoral Dissertation). University of New Mexico. Retrieved from https://digitalrepository.unm.edu/biom_etds/113

Chicago Manual of Style (16th Edition):

Brown, Carl, III. “Engineering Catalytic Molecular Logic Devices for Biodetection.” 2014. Doctoral Dissertation, University of New Mexico. Accessed January 27, 2021. https://digitalrepository.unm.edu/biom_etds/113.

MLA Handbook (7th Edition):

Brown, Carl, III. “Engineering Catalytic Molecular Logic Devices for Biodetection.” 2014. Web. 27 Jan 2021.

Vancouver:

Brown, Carl I. Engineering Catalytic Molecular Logic Devices for Biodetection. [Internet] [Doctoral dissertation]. University of New Mexico; 2014. [cited 2021 Jan 27]. Available from: https://digitalrepository.unm.edu/biom_etds/113.

Council of Science Editors:

Brown, Carl I. Engineering Catalytic Molecular Logic Devices for Biodetection. [Doctoral Dissertation]. University of New Mexico; 2014. Available from: https://digitalrepository.unm.edu/biom_etds/113

8. Semenov, Oleg. Abstract Models of Molecular Walkers.

Degree: Department of Computer Science, 2013, University of New Mexico

 Recent advances in single-molecule chemistry have led to designs for artificial multi-pedal walkers that follow tracks of chemicals. The walkers, called molecular spiders, consist of… (more)

Subjects/Keywords: Molecular Motors; Simulation; Kinetic Monte Carlo

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Semenov, O. (2013). Abstract Models of Molecular Walkers. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/23579

Chicago Manual of Style (16th Edition):

Semenov, Oleg. “Abstract Models of Molecular Walkers.” 2013. Doctoral Dissertation, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/23579.

MLA Handbook (7th Edition):

Semenov, Oleg. “Abstract Models of Molecular Walkers.” 2013. Web. 27 Jan 2021.

Vancouver:

Semenov O. Abstract Models of Molecular Walkers. [Internet] [Doctoral dissertation]. University of New Mexico; 2013. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/23579.

Council of Science Editors:

Semenov O. Abstract Models of Molecular Walkers. [Doctoral Dissertation]. University of New Mexico; 2013. Available from: http://hdl.handle.net/1928/23579


University of New Mexico

9. Mohr, David. Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework.

Degree: Department of Computer Science, 2009, University of New Mexico

 It is inherently difficult for static analyses to make precise decisions about dynamic features of modern object-oriented languages. This makes it more difficult to apply… (more)

Subjects/Keywords: java; optimization; dynamic anaylsis; offline; unit tests; programmer interaction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mohr, D. (2009). Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/10835

Chicago Manual of Style (16th Edition):

Mohr, David. “Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework.” 2009. Masters Thesis, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/10835.

MLA Handbook (7th Edition):

Mohr, David. “Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework.” 2009. Web. 27 Jan 2021.

Vancouver:

Mohr D. Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework. [Internet] [Masters thesis]. University of New Mexico; 2009. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/10835.

Council of Science Editors:

Mohr D. Programmer feedback and dynamic analysis to enable optimization in Java applications: the D.U.P.O. framework. [Masters Thesis]. University of New Mexico; 2009. Available from: http://hdl.handle.net/1928/10835


University of New Mexico

10. Fleharty, Mark. Molecular simulations of dendritic molecules : a study of PAMAM and phenyl-acetylene dendrimers.

Degree: Department of Computer Science, 2010, University of New Mexico

 Dendrimers are branched molecules that often have chemical properties similar to proteins and other large organic molecules. Dendrimers presently have applications as reactive surfaces for… (more)

Subjects/Keywords: dendrimer; optimization; monte carlo; dendmol

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fleharty, M. (2010). Molecular simulations of dendritic molecules : a study of PAMAM and phenyl-acetylene dendrimers. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/11137

Chicago Manual of Style (16th Edition):

Fleharty, Mark. “Molecular simulations of dendritic molecules : a study of PAMAM and phenyl-acetylene dendrimers.” 2010. Masters Thesis, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/11137.

MLA Handbook (7th Edition):

Fleharty, Mark. “Molecular simulations of dendritic molecules : a study of PAMAM and phenyl-acetylene dendrimers.” 2010. Web. 27 Jan 2021.

Vancouver:

Fleharty M. Molecular simulations of dendritic molecules : a study of PAMAM and phenyl-acetylene dendrimers. [Internet] [Masters thesis]. University of New Mexico; 2010. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/11137.

Council of Science Editors:

Fleharty M. Molecular simulations of dendritic molecules : a study of PAMAM and phenyl-acetylene dendrimers. [Masters Thesis]. University of New Mexico; 2010. Available from: http://hdl.handle.net/1928/11137


University of New Mexico

11. Nguyen, Thanh V. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation.

Degree: Department of Computer Science, 2010, University of New Mexico

 Software bugs are a persistent feature of daily life – crashing web browsers, allowing cyberattacks, and distorting the results of scientific computations. One approach to improving… (more)

Subjects/Keywords: dynamic analysis; invariant generation; program repair; program synthesis; program verification; theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, T. V. (2010). Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/24584

Chicago Manual of Style (16th Edition):

Nguyen, Thanh V. “Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation.” 2010. Doctoral Dissertation, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/24584.

MLA Handbook (7th Edition):

Nguyen, Thanh V. “Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation.” 2010. Web. 27 Jan 2021.

Vancouver:

Nguyen TV. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. [Internet] [Doctoral dissertation]. University of New Mexico; 2010. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/24584.

Council of Science Editors:

Nguyen TV. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. [Doctoral Dissertation]. University of New Mexico; 2010. Available from: http://hdl.handle.net/1928/24584

.