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:( en PROGRAM SYNTHESIS). Showing records 1 – 30 of 77091 total matches.

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

Search Limiters

Last 2 Years | English Only

Languages

Country

▼ Search Limiters


University of Oxford

1. Polgreen, Elizabeth. Synthesis without syntactic templates.

Degree: PhD, 2020, University of Oxford

Program synthesis is the mechanised construction of software. One of the main difficulties is the efficient exploration of the very large solution space, and tools… (more)

Subjects/Keywords: Program Synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Polgreen, E. (2020). Synthesis without syntactic templates. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:3cd96a82-4a62-4a7f-a68e-5b37f7396b0e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.800167

Chicago Manual of Style (16th Edition):

Polgreen, Elizabeth. “Synthesis without syntactic templates.” 2020. Doctoral Dissertation, University of Oxford. Accessed March 01, 2021. http://ora.ox.ac.uk/objects/uuid:3cd96a82-4a62-4a7f-a68e-5b37f7396b0e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.800167.

MLA Handbook (7th Edition):

Polgreen, Elizabeth. “Synthesis without syntactic templates.” 2020. Web. 01 Mar 2021.

Vancouver:

Polgreen E. Synthesis without syntactic templates. [Internet] [Doctoral dissertation]. University of Oxford; 2020. [cited 2021 Mar 01]. Available from: http://ora.ox.ac.uk/objects/uuid:3cd96a82-4a62-4a7f-a68e-5b37f7396b0e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.800167.

Council of Science Editors:

Polgreen E. Synthesis without syntactic templates. [Doctoral Dissertation]. University of Oxford; 2020. Available from: http://ora.ox.ac.uk/objects/uuid:3cd96a82-4a62-4a7f-a68e-5b37f7396b0e ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.800167


Princeton University

2. Miltner, Anders. Synthesizing Lenses .

Degree: PhD, 2020, Princeton University

 Lenses are bidirectional functions that satisfy a set of "round-tripping laws." Lenses arise in a number of domains, and can implement serializer/deserializer pairs, parser/pretty printer… (more)

Subjects/Keywords: Bidirectional Programming; Program Synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Miltner, A. (2020). Synthesizing Lenses . (Doctoral Dissertation). Princeton University. Retrieved from http://arks.princeton.edu/ark:/88435/dsp013j333531v

Chicago Manual of Style (16th Edition):

Miltner, Anders. “Synthesizing Lenses .” 2020. Doctoral Dissertation, Princeton University. Accessed March 01, 2021. http://arks.princeton.edu/ark:/88435/dsp013j333531v.

MLA Handbook (7th Edition):

Miltner, Anders. “Synthesizing Lenses .” 2020. Web. 01 Mar 2021.

Vancouver:

Miltner A. Synthesizing Lenses . [Internet] [Doctoral dissertation]. Princeton University; 2020. [cited 2021 Mar 01]. Available from: http://arks.princeton.edu/ark:/88435/dsp013j333531v.

Council of Science Editors:

Miltner A. Synthesizing Lenses . [Doctoral Dissertation]. Princeton University; 2020. Available from: http://arks.princeton.edu/ark:/88435/dsp013j333531v


Georgia Tech

3. Vijayakumar, Ashwin Kalyan. Improved search techniques for structured prediction.

Degree: PhD, Interactive Computing, 2020, Georgia Tech

 Many useful AI tasks like machine translation, captioning or program syn- thesis to name a few can be abstracted as structured prediction problems. For these… (more)

Subjects/Keywords: Sequence decoding; Program synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vijayakumar, A. K. (2020). Improved search techniques for structured prediction. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/63701

Chicago Manual of Style (16th Edition):

Vijayakumar, Ashwin Kalyan. “Improved search techniques for structured prediction.” 2020. Doctoral Dissertation, Georgia Tech. Accessed March 01, 2021. http://hdl.handle.net/1853/63701.

MLA Handbook (7th Edition):

Vijayakumar, Ashwin Kalyan. “Improved search techniques for structured prediction.” 2020. Web. 01 Mar 2021.

Vancouver:

Vijayakumar AK. Improved search techniques for structured prediction. [Internet] [Doctoral dissertation]. Georgia Tech; 2020. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/1853/63701.

Council of Science Editors:

Vijayakumar AK. Improved search techniques for structured prediction. [Doctoral Dissertation]. Georgia Tech; 2020. Available from: http://hdl.handle.net/1853/63701

4. Wang, Xinyu. An efficient programming-by-example framework.

Degree: PhD, Computer Science, 2019, University of Texas – Austin

 Due to the ubiquity of computing, programming has started to become an essential skill for an increasing number of people, including data scientists, financial analysts,… (more)

Subjects/Keywords: Programming languages; Program synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, X. (2019). An efficient programming-by-example framework. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/5854

Chicago Manual of Style (16th Edition):

Wang, Xinyu. “An efficient programming-by-example framework.” 2019. Doctoral Dissertation, University of Texas – Austin. Accessed March 01, 2021. http://dx.doi.org/10.26153/tsw/5854.

MLA Handbook (7th Edition):

Wang, Xinyu. “An efficient programming-by-example framework.” 2019. Web. 01 Mar 2021.

Vancouver:

Wang X. An efficient programming-by-example framework. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2019. [cited 2021 Mar 01]. Available from: http://dx.doi.org/10.26153/tsw/5854.

Council of Science Editors:

Wang X. An efficient programming-by-example framework. [Doctoral Dissertation]. University of Texas – Austin; 2019. Available from: http://dx.doi.org/10.26153/tsw/5854


University of Texas – Austin

5. Feng, Yu, Ph. D. Program synthesis using statistical models and logical reasoning.

Degree: PhD, Computer Science, 2018, University of Texas – Austin

 Complex APIs in new frameworks (Spark, R, TensorFlow, etc) have imposed steep learning curves on everyone, especially for people with limited programming backgrounds. For instance,… (more)

Subjects/Keywords: Program synthesis; Logical reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Feng, Yu, P. D. (2018). Program synthesis using statistical models and logical reasoning. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68452

Chicago Manual of Style (16th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed March 01, 2021. http://hdl.handle.net/2152/68452.

MLA Handbook (7th Edition):

Feng, Yu, Ph D. “Program synthesis using statistical models and logical reasoning.” 2018. Web. 01 Mar 2021.

Vancouver:

Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/2152/68452.

Council of Science Editors:

Feng, Yu PD. Program synthesis using statistical models and logical reasoning. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68452


University of Minnesota

6. Sharma, Vaibhav. Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution.

Degree: PhD, Computer Science, 2020, University of Minnesota

 Independently developed codebases typically contain many segments of code that perform the same or closely related operations (semantic clones). Finding functionally equivalent segments enables applications… (more)

Subjects/Keywords: adapter synthesis; binary analysis; cegis; program repair; program synthesis; symbolic execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sharma, V. (2020). Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution. (Doctoral Dissertation). University of Minnesota. Retrieved from http://hdl.handle.net/11299/213126

Chicago Manual of Style (16th Edition):

Sharma, Vaibhav. “Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution.” 2020. Doctoral Dissertation, University of Minnesota. Accessed March 01, 2021. http://hdl.handle.net/11299/213126.

MLA Handbook (7th Edition):

Sharma, Vaibhav. “Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution.” 2020. Web. 01 Mar 2021.

Vancouver:

Sharma V. Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution. [Internet] [Doctoral dissertation]. University of Minnesota; 2020. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/11299/213126.

Council of Science Editors:

Sharma V. Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution. [Doctoral Dissertation]. University of Minnesota; 2020. Available from: http://hdl.handle.net/11299/213126


Pontifical Catholic University of Rio de Janeiro

7. GEIZA MARIA HAMAZAKI DA SILVA. [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS.

Degree: 2004, Pontifical Catholic University of Rio de Janeiro

[pt] Garantir que programas são implementados de forma a cumprir uma especificação é uma questão fundamental em computação, por isso, têm sido propostos vários métodos… (more)

Subjects/Keywords: [pt] SINTESE DE PROGRAMAS; [en] PROGRAM SYNTHESIS; [pt] LOGICA INTUICIONISTA; [en] INTUITIONISTIC LOGIC; [pt] DEDUCAO NATURAL; [en] NATURAL DEDUCTION

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

SILVA, G. M. H. D. (2004). [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SILVA, GEIZA MARIA HAMAZAKI DA. “[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS.” 2004. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed March 01, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SILVA, GEIZA MARIA HAMAZAKI DA. “[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS.” 2004. Web. 01 Mar 2021.

Vancouver:

SILVA GMHD. [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2004. [cited 2021 Mar 01]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SILVA GMHD. [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2004. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

8. Illivi, Frederic. Genèse et mise en œuvre du plan « sport, santé, bien-être » : acteurs, savoirs, territoires et instruments, une sociologie de l’état en recomposition : le cas de la région Nouvelle-Aquitaine : Genesis and implementation of the Plan "sport, health, well-being" : actors, knowledge, territories and instruments, a sociology of the state in recomposition : the case of the new-Aquitaine region.

Degree: Docteur es, Sciences et techniques des activités physiques et sportives, 2018, Bordeaux

Les Agences Régionales de Santé (ARS) et les Directions Régionales de la Jeunesse, des Sports et de la Cohésion Sociale (DRJSCS) sont invitées, par leur… (more)

Subjects/Keywords: Programme de santé publique; Activités physiques; Savoirs; Territorialisation; Instrumentation; Mise en oeuvre; Public Health Program; Physical activities; Knowledge; Territorialization; Instrumentation; Implementation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Illivi, F. (2018). Genèse et mise en œuvre du plan « sport, santé, bien-être » : acteurs, savoirs, territoires et instruments, une sociologie de l’état en recomposition : le cas de la région Nouvelle-Aquitaine : Genesis and implementation of the Plan "sport, health, well-being" : actors, knowledge, territories and instruments, a sociology of the state in recomposition : the case of the new-Aquitaine region. (Doctoral Dissertation). Bordeaux. Retrieved from http://www.theses.fr/2018BORD0145

Chicago Manual of Style (16th Edition):

Illivi, Frederic. “Genèse et mise en œuvre du plan « sport, santé, bien-être » : acteurs, savoirs, territoires et instruments, une sociologie de l’état en recomposition : le cas de la région Nouvelle-Aquitaine : Genesis and implementation of the Plan "sport, health, well-being" : actors, knowledge, territories and instruments, a sociology of the state in recomposition : the case of the new-Aquitaine region.” 2018. Doctoral Dissertation, Bordeaux. Accessed March 01, 2021. http://www.theses.fr/2018BORD0145.

MLA Handbook (7th Edition):

Illivi, Frederic. “Genèse et mise en œuvre du plan « sport, santé, bien-être » : acteurs, savoirs, territoires et instruments, une sociologie de l’état en recomposition : le cas de la région Nouvelle-Aquitaine : Genesis and implementation of the Plan "sport, health, well-being" : actors, knowledge, territories and instruments, a sociology of the state in recomposition : the case of the new-Aquitaine region.” 2018. Web. 01 Mar 2021.

Vancouver:

Illivi F. Genèse et mise en œuvre du plan « sport, santé, bien-être » : acteurs, savoirs, territoires et instruments, une sociologie de l’état en recomposition : le cas de la région Nouvelle-Aquitaine : Genesis and implementation of the Plan "sport, health, well-being" : actors, knowledge, territories and instruments, a sociology of the state in recomposition : the case of the new-Aquitaine region. [Internet] [Doctoral dissertation]. Bordeaux; 2018. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2018BORD0145.

Council of Science Editors:

Illivi F. Genèse et mise en œuvre du plan « sport, santé, bien-être » : acteurs, savoirs, territoires et instruments, une sociologie de l’état en recomposition : le cas de la région Nouvelle-Aquitaine : Genesis and implementation of the Plan "sport, health, well-being" : actors, knowledge, territories and instruments, a sociology of the state in recomposition : the case of the new-Aquitaine region. [Doctoral Dissertation]. Bordeaux; 2018. Available from: http://www.theses.fr/2018BORD0145


University of California – Berkeley

9. Galenson, Joel David. Dynamic and Interactive Synthesis of Code Snippets.

Degree: Computer Science, 2014, University of California – Berkeley

 Many code fragments are difficult to write. For example, using new and unfamiliar APIs can be a complex task with a steep learning curve. In… (more)

Subjects/Keywords: Computer science; Programming languages; Program synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Galenson, J. D. (2014). Dynamic and Interactive Synthesis of Code Snippets. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/6js5v4bj

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Galenson, Joel David. “Dynamic and Interactive Synthesis of Code Snippets.” 2014. Thesis, University of California – Berkeley. Accessed March 01, 2021. http://www.escholarship.org/uc/item/6js5v4bj.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Galenson, Joel David. “Dynamic and Interactive Synthesis of Code Snippets.” 2014. Web. 01 Mar 2021.

Vancouver:

Galenson JD. Dynamic and Interactive Synthesis of Code Snippets. [Internet] [Thesis]. University of California – Berkeley; 2014. [cited 2021 Mar 01]. Available from: http://www.escholarship.org/uc/item/6js5v4bj.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Galenson JD. Dynamic and Interactive Synthesis of Code Snippets. [Thesis]. University of California – Berkeley; 2014. Available from: http://www.escholarship.org/uc/item/6js5v4bj

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Penn State University

10. Liu, Xiao. Programming in Eliza.

Degree: 2019, Penn State University

 According to the technical report by Microsoft 2012, there will be a shortage of graduates to fill available job positions in computer-related occupations till 2020.… (more)

Subjects/Keywords: Program Synthesis; Natural Language; Eliza; LOGO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, X. (2019). Programming in Eliza. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/28866

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Liu, Xiao. “Programming in Eliza.” 2019. Thesis, Penn State University. Accessed March 01, 2021. https://submit-etda.libraries.psu.edu/catalog/28866.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Liu, Xiao. “Programming in Eliza.” 2019. Web. 01 Mar 2021.

Vancouver:

Liu X. Programming in Eliza. [Internet] [Thesis]. Penn State University; 2019. [cited 2021 Mar 01]. Available from: https://submit-etda.libraries.psu.edu/catalog/28866.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liu X. Programming in Eliza. [Thesis]. Penn State University; 2019. Available from: https://submit-etda.libraries.psu.edu/catalog/28866

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Rice University

11. Lu, Yanxin. Corpus-Driven Systems for Program Synthesis and Refactoring.

Degree: PhD, Engineering, 2019, Rice University

 Programming is a difficult task. Programmers need to deal with small details inside overly complex computer programs. Sometimes it is inevitable for programmers to make… (more)

Subjects/Keywords: Program Synthesis; Big Data; Machine Learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lu, Y. (2019). Corpus-Driven Systems for Program Synthesis and Refactoring. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/105342

Chicago Manual of Style (16th Edition):

Lu, Yanxin. “Corpus-Driven Systems for Program Synthesis and Refactoring.” 2019. Doctoral Dissertation, Rice University. Accessed March 01, 2021. http://hdl.handle.net/1911/105342.

MLA Handbook (7th Edition):

Lu, Yanxin. “Corpus-Driven Systems for Program Synthesis and Refactoring.” 2019. Web. 01 Mar 2021.

Vancouver:

Lu Y. Corpus-Driven Systems for Program Synthesis and Refactoring. [Internet] [Doctoral dissertation]. Rice University; 2019. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/1911/105342.

Council of Science Editors:

Lu Y. Corpus-Driven Systems for Program Synthesis and Refactoring. [Doctoral Dissertation]. Rice University; 2019. Available from: http://hdl.handle.net/1911/105342


Rice University

12. Rahbar, Afsaneh. Learning Program Invariants from Proof Corpora.

Degree: MS, Engineering, 2018, Rice University

 In program verification, loop invariants are of particular interest. Indeed, writing a correct and useful invariant is as challenging as verifying the program itself. Current… (more)

Subjects/Keywords: Invariants; Proof Synthesis; Program verification; Hoare logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rahbar, A. (2018). Learning Program Invariants from Proof Corpora. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/105626

Chicago Manual of Style (16th Edition):

Rahbar, Afsaneh. “Learning Program Invariants from Proof Corpora.” 2018. Masters Thesis, Rice University. Accessed March 01, 2021. http://hdl.handle.net/1911/105626.

MLA Handbook (7th Edition):

Rahbar, Afsaneh. “Learning Program Invariants from Proof Corpora.” 2018. Web. 01 Mar 2021.

Vancouver:

Rahbar A. Learning Program Invariants from Proof Corpora. [Internet] [Masters thesis]. Rice University; 2018. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/1911/105626.

Council of Science Editors:

Rahbar A. Learning Program Invariants from Proof Corpora. [Masters Thesis]. Rice University; 2018. Available from: http://hdl.handle.net/1911/105626


Rice University

13. Fang, Ye. computer-aided mechanism design.

Degree: MS, Engineering, 2015, Rice University

 Algorithmic mechanism design, as practised today, is a manual process; however, manual design and reasoning do not scale well with the complexity of design tasks.… (more)

Subjects/Keywords: program synthesis; economic mechanism design; game theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fang, Y. (2015). computer-aided mechanism design. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/87798

Chicago Manual of Style (16th Edition):

Fang, Ye. “computer-aided mechanism design.” 2015. Masters Thesis, Rice University. Accessed March 01, 2021. http://hdl.handle.net/1911/87798.

MLA Handbook (7th Edition):

Fang, Ye. “computer-aided mechanism design.” 2015. Web. 01 Mar 2021.

Vancouver:

Fang Y. computer-aided mechanism design. [Internet] [Masters thesis]. Rice University; 2015. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/1911/87798.

Council of Science Editors:

Fang Y. computer-aided mechanism design. [Masters Thesis]. Rice University; 2015. Available from: http://hdl.handle.net/1911/87798


Penn State University

14. Liu, Xiao. Neural Program Synthesis for Compiler Fuzzing.

Degree: 2020, Penn State University

 Compilers are among the most fundamental programming tools for building software However, production compilers remain buggy. GNU compiler collection (GCC), a a long-lasting software released… (more)

Subjects/Keywords: compiler testing; fuzz testing; neural program synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, X. (2020). Neural Program Synthesis for Compiler Fuzzing. (Thesis). Penn State University. Retrieved from https://submit-etda.libraries.psu.edu/catalog/17272xvl5190

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Liu, Xiao. “Neural Program Synthesis for Compiler Fuzzing.” 2020. Thesis, Penn State University. Accessed March 01, 2021. https://submit-etda.libraries.psu.edu/catalog/17272xvl5190.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Liu, Xiao. “Neural Program Synthesis for Compiler Fuzzing.” 2020. Web. 01 Mar 2021.

Vancouver:

Liu X. Neural Program Synthesis for Compiler Fuzzing. [Internet] [Thesis]. Penn State University; 2020. [cited 2021 Mar 01]. Available from: https://submit-etda.libraries.psu.edu/catalog/17272xvl5190.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liu X. Neural Program Synthesis for Compiler Fuzzing. [Thesis]. Penn State University; 2020. Available from: https://submit-etda.libraries.psu.edu/catalog/17272xvl5190

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université Laval

15. Dostie, Isabelle. Les dispositions d'attachement, l'intérêt pour le mentorat et la qualité des relations mentors-protégés.

Degree: 2011, Université Laval

 Ce mémoire poursuit deux objectifs. Le premier objectif est d'examiner les liens entre les dispositions d'attachement et le fait d'accepter d'être mentor ou protégé dans… (more)

Subjects/Keywords: LB 5.5 UL 2011 D724; MIRES (Programme); Mentorat en éducation; Attachement

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dostie, I. (2011). Les dispositions d'attachement, l'intérêt pour le mentorat et la qualité des relations mentors-protégés. (Thesis). Université Laval. Retrieved from http://hdl.handle.net/20.500.11794/22594

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Dostie, Isabelle. “Les dispositions d'attachement, l'intérêt pour le mentorat et la qualité des relations mentors-protégés.” 2011. Thesis, Université Laval. Accessed March 01, 2021. http://hdl.handle.net/20.500.11794/22594.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Dostie, Isabelle. “Les dispositions d'attachement, l'intérêt pour le mentorat et la qualité des relations mentors-protégés.” 2011. Web. 01 Mar 2021.

Vancouver:

Dostie I. Les dispositions d'attachement, l'intérêt pour le mentorat et la qualité des relations mentors-protégés. [Internet] [Thesis]. Université Laval; 2011. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/20.500.11794/22594.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Dostie I. Les dispositions d'attachement, l'intérêt pour le mentorat et la qualité des relations mentors-protégés. [Thesis]. Université Laval; 2011. Available from: http://hdl.handle.net/20.500.11794/22594

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Rice University

16. Surendran, Rishi. Debugging, Repair, and Synthesis of Task-Parallel Programs.

Degree: PhD, Engineering, 2017, Rice University

 Parallelizing sequential programs to effectively utilize modern multicore architectures is a key challenge facing application developers and domain experts. Therefore, it is a need of… (more)

Subjects/Keywords: Debugging; Program repair; Program synthesis; Futures; Async; Finish; Task Parallelism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Surendran, R. (2017). Debugging, Repair, and Synthesis of Task-Parallel Programs. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/96003

Chicago Manual of Style (16th Edition):

Surendran, Rishi. “Debugging, Repair, and Synthesis of Task-Parallel Programs.” 2017. Doctoral Dissertation, Rice University. Accessed March 01, 2021. http://hdl.handle.net/1911/96003.

MLA Handbook (7th Edition):

Surendran, Rishi. “Debugging, Repair, and Synthesis of Task-Parallel Programs.” 2017. Web. 01 Mar 2021.

Vancouver:

Surendran R. Debugging, Repair, and Synthesis of Task-Parallel Programs. [Internet] [Doctoral dissertation]. Rice University; 2017. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/1911/96003.

Council of Science Editors:

Surendran R. Debugging, Repair, and Synthesis of Task-Parallel Programs. [Doctoral Dissertation]. Rice University; 2017. Available from: http://hdl.handle.net/1911/96003


University of Texas – Austin

17. -4094-6303. Unifying program repair and program synthesis.

Degree: PhD, Electrical and Computer Engineering, 2018, University of Texas – Austin

 The last few years have seen much progress in two related but traditionally disjoint areas of research: program repair and program synthesis. Program repair is… (more)

Subjects/Keywords: Program repair; Program synthesis; Execution-driven; On-demand candidate generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-4094-6303. (2018). Unifying program repair and program synthesis. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68477

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-4094-6303. “Unifying program repair and program synthesis.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed March 01, 2021. http://hdl.handle.net/2152/68477.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-4094-6303. “Unifying program repair and program synthesis.” 2018. Web. 01 Mar 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-4094-6303. Unifying program repair and program synthesis. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/2152/68477.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-4094-6303. Unifying program repair and program synthesis. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68477

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

18. -5365-808X. An experimental evaluation and possible extensions of SyPet.

Degree: MSin Engineering, Electrical and Computer Engineering, 2017, University of Texas – Austin

Program synthesis is an automated programming technique that automatically constructs a program which satisfies given specifications. SyPet is a recently published novel component-based synthesis tool… (more)

Subjects/Keywords: Program synthesis; Program repair

…can reduce the program repair problem into a component-based synthesis problem, where n is… …applications like non-straight line synthesis and program repair (Chapter 3). Finally, we… …procedure of component-based synthesis and the procedure of program repair. They both generate… …16 Figure 14: An example of if-condition that changes program state… …18 Figure 16: Test file for program repair experiment… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Sample image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-5365-808X. (2017). An experimental evaluation and possible extensions of SyPet. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62665

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Masters Thesis, University of Texas – Austin. Accessed March 01, 2021. http://hdl.handle.net/2152/62665.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Web. 01 Mar 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Internet] [Masters thesis]. University of Texas – Austin; 2017. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/2152/62665.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Masters Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62665

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


Pontifical Catholic University of Rio de Janeiro

19. OLIVIER HENRI PHILIPPE HALLOT. [en] OPTIMIZATION METHODS FOR THE SYNTHESIS OF DIGITAL FILTERS.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] Neste trabalho investigou-se o emprego dos recentes algoritmos de minimização de funções diferenciáveis para a resolução do problema da síntese de filtros digitais FIR… (more)

Subjects/Keywords: [pt] SINTESE; [en] SYNTHESIS; [pt] OTIMIZACAO; [en] OPTIMIZATION; [pt] FILTROS DIGITAIS; [en] DIGITAL FILTERS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

HALLOT, O. H. P. (2009). [en] OPTIMIZATION METHODS FOR THE SYNTHESIS OF DIGITAL FILTERS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14190

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

HALLOT, OLIVIER HENRI PHILIPPE. “[en] OPTIMIZATION METHODS FOR THE SYNTHESIS OF DIGITAL FILTERS.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed March 01, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14190.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

HALLOT, OLIVIER HENRI PHILIPPE. “[en] OPTIMIZATION METHODS FOR THE SYNTHESIS OF DIGITAL FILTERS.” 2009. Web. 01 Mar 2021.

Vancouver:

HALLOT OHP. [en] OPTIMIZATION METHODS FOR THE SYNTHESIS OF DIGITAL FILTERS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2021 Mar 01]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14190.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

HALLOT OHP. [en] OPTIMIZATION METHODS FOR THE SYNTHESIS OF DIGITAL FILTERS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14190

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université du Québec à Montréal

20. Amroune, Boudjemâa. Impact des programmes de mise à niveau sur la performance de la PME dans un environnement ouvert et intense : cas de l'Algérie.

Degree: 2014, Université du Québec à Montréal

 L'impact de l'environnement ouvert et intense sur les petites et moyennes entreprises « PME » est caractérisé par une forte intensité institutionnellement turbulente, notamment ces… (more)

Subjects/Keywords: Compétitivité; Performance; Programme gouvernemental; Petite et moyenne entreprise; Algérie; Pays en développement

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Amroune, B. (2014). Impact des programmes de mise à niveau sur la performance de la PME dans un environnement ouvert et intense : cas de l'Algérie. (Thesis). Université du Québec à Montréal. Retrieved from http://archipel.uqam.ca/6744/1/D2689.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Amroune, Boudjemâa. “Impact des programmes de mise à niveau sur la performance de la PME dans un environnement ouvert et intense : cas de l'Algérie.” 2014. Thesis, Université du Québec à Montréal. Accessed March 01, 2021. http://archipel.uqam.ca/6744/1/D2689.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Amroune, Boudjemâa. “Impact des programmes de mise à niveau sur la performance de la PME dans un environnement ouvert et intense : cas de l'Algérie.” 2014. Web. 01 Mar 2021.

Vancouver:

Amroune B. Impact des programmes de mise à niveau sur la performance de la PME dans un environnement ouvert et intense : cas de l'Algérie. [Internet] [Thesis]. Université du Québec à Montréal; 2014. [cited 2021 Mar 01]. Available from: http://archipel.uqam.ca/6744/1/D2689.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Amroune B. Impact des programmes de mise à niveau sur la performance de la PME dans un environnement ouvert et intense : cas de l'Algérie. [Thesis]. Université du Québec à Montréal; 2014. Available from: http://archipel.uqam.ca/6744/1/D2689.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

21. DOUGLAS MOTA DIAS. [en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING.

Degree: 2005, Pontifical Catholic University of Rio de Janeiro

[pt] Esta dissertação investiga o uso de programação genética linear na síntese automática de programas em linguagem de montagem para microcontroladores, que implementem estratégias de… (more)

Subjects/Keywords: [pt] CONTROLE OTIMO; [en] OPTIMAL CONTROL; [pt] SINTESE DE PROGRAMAS; [en] PROGRAM SYNTHESIS; [pt] PROGRAMACAO GENETICA; [en] GENETIC PROGRAMMING; [pt] LINGUAGEM DE MONTAGEM; [en] ASSEMBLY LANGUAGE; [pt] MICROCONTROLADOR; [en] MICROCONTROLLER

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

DIAS, D. M. (2005). [en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=6666

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

DIAS, DOUGLAS MOTA. “[en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING.” 2005. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed March 01, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=6666.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

DIAS, DOUGLAS MOTA. “[en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING.” 2005. Web. 01 Mar 2021.

Vancouver:

DIAS DM. [en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2005. [cited 2021 Mar 01]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=6666.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

DIAS DM. [en] AUTOMATIC SYNTHESIS OF DIGITAL MICROCONTROLLER PROGRAMS BY GENETIC PROGRAMMING. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2005. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=6666

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Zaccagnini, Julie. Les déterminants de la performance des acquéreurs en série : The determinants of the serial acquirers’ performance.

Degree: Docteur es, Sciences de gestion, 2018, Lyon

 L’activité de fusions et acquisitions (désormais F&A) a atteint un niveau record en 2017 et s’est élevée à plus de 2 993 milliards d’euros (Thomson… (more)

Subjects/Keywords: Acquéreurs en série; Acquéreurs habituels; Apprentissage organisationnel; Désinvestissements; Fusion-acquisition; Performance; Programme d’acquisitions; Serial acquirer; Common acquirers; Organizational learning; Divestments; Merger-acquisition; Performance; Acquisitions program; 650

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zaccagnini, J. (2018). Les déterminants de la performance des acquéreurs en série : The determinants of the serial acquirers’ performance. (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2018LYSE2076

Chicago Manual of Style (16th Edition):

Zaccagnini, Julie. “Les déterminants de la performance des acquéreurs en série : The determinants of the serial acquirers’ performance.” 2018. Doctoral Dissertation, Lyon. Accessed March 01, 2021. http://www.theses.fr/2018LYSE2076.

MLA Handbook (7th Edition):

Zaccagnini, Julie. “Les déterminants de la performance des acquéreurs en série : The determinants of the serial acquirers’ performance.” 2018. Web. 01 Mar 2021.

Vancouver:

Zaccagnini J. Les déterminants de la performance des acquéreurs en série : The determinants of the serial acquirers’ performance. [Internet] [Doctoral dissertation]. Lyon; 2018. [cited 2021 Mar 01]. Available from: http://www.theses.fr/2018LYSE2076.

Council of Science Editors:

Zaccagnini J. Les déterminants de la performance des acquéreurs en série : The determinants of the serial acquirers’ performance. [Doctoral Dissertation]. Lyon; 2018. Available from: http://www.theses.fr/2018LYSE2076


University of Colorado

23. McClurg, Jedidiah. Program Synthesis for Software-Defined Networking.

Degree: PhD, 2018, University of Colorado

  Software-defined networking (SDN) is revolutionizing the networking industry, but even the most advanced SDN programming platforms lack mechanisms for changing the <b>global configuration</b> (the… (more)

Subjects/Keywords: networking; program synthesis; program verification; software-defined networking; updates; Computer Sciences; Digital Communications and Networking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McClurg, J. (2018). Program Synthesis for Software-Defined Networking. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/csci_gradetds/164

Chicago Manual of Style (16th Edition):

McClurg, Jedidiah. “Program Synthesis for Software-Defined Networking.” 2018. Doctoral Dissertation, University of Colorado. Accessed March 01, 2021. https://scholar.colorado.edu/csci_gradetds/164.

MLA Handbook (7th Edition):

McClurg, Jedidiah. “Program Synthesis for Software-Defined Networking.” 2018. Web. 01 Mar 2021.

Vancouver:

McClurg J. Program Synthesis for Software-Defined Networking. [Internet] [Doctoral dissertation]. University of Colorado; 2018. [cited 2021 Mar 01]. Available from: https://scholar.colorado.edu/csci_gradetds/164.

Council of Science Editors:

McClurg J. Program Synthesis for Software-Defined Networking. [Doctoral Dissertation]. University of Colorado; 2018. Available from: https://scholar.colorado.edu/csci_gradetds/164


University of Illinois – Urbana-Champaign

24. Croft, Jason. Toward predictable control of software-defined networks.

Degree: PhD, Computer Science, 2017, University of Illinois – Urbana-Champaign

 Traditional computer networks require manual configuration of potentially hundreds of forwarding devices. To ease this configuration burden, software-defined networking (SDN) provides centralized, programmatic control of… (more)

Subjects/Keywords: Software-defined networking; Program verification; Program synthesis; Model checking; Timed automata; Database-defined networking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Croft, J. (2017). Toward predictable control of software-defined networks. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/99234

Chicago Manual of Style (16th Edition):

Croft, Jason. “Toward predictable control of software-defined networks.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed March 01, 2021. http://hdl.handle.net/2142/99234.

MLA Handbook (7th Edition):

Croft, Jason. “Toward predictable control of software-defined networks.” 2017. Web. 01 Mar 2021.

Vancouver:

Croft J. Toward predictable control of software-defined networks. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/2142/99234.

Council of Science Editors:

Croft J. Toward predictable control of software-defined networks. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/99234


Université du Québec à Montréal

25. Masmoudi, Yousr. La formation du compagnon dans le programme d'apprentissage en milieu de travail.

Degree: 2008, Université du Québec à Montréal

 La présente recherche est de type qualitatif et de nature exploratoire. Elle rend compte des représentations des comités sectoriels de la main d'oeuvre (CSMO) au… (more)

Subjects/Keywords: Formation en entreprise; Programme de formation; Milieu de travail; Formation en cours d'emploi; Formation professionnelle; Animateur de formation; Québec (Province)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Masmoudi, Y. (2008). La formation du compagnon dans le programme d'apprentissage en milieu de travail. (Thesis). Université du Québec à Montréal. Retrieved from http://www.archipel.uqam.ca/1142/1/M10294.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Masmoudi, Yousr. “La formation du compagnon dans le programme d'apprentissage en milieu de travail.” 2008. Thesis, Université du Québec à Montréal. Accessed March 01, 2021. http://www.archipel.uqam.ca/1142/1/M10294.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Masmoudi, Yousr. “La formation du compagnon dans le programme d'apprentissage en milieu de travail.” 2008. Web. 01 Mar 2021.

Vancouver:

Masmoudi Y. La formation du compagnon dans le programme d'apprentissage en milieu de travail. [Internet] [Thesis]. Université du Québec à Montréal; 2008. [cited 2021 Mar 01]. Available from: http://www.archipel.uqam.ca/1142/1/M10294.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Masmoudi Y. La formation du compagnon dans le programme d'apprentissage en milieu de travail. [Thesis]. Université du Québec à Montréal; 2008. Available from: http://www.archipel.uqam.ca/1142/1/M10294.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Ottawa

26. Taillon, Myriam. L’impact d’un programme éducatif sur la qualité de vie de personnes aînées autonomes et hypertendues en milieu francophone minoritaire .

Degree: 2016, University of Ottawa

 L’hypertension artérielle est une maladie chronique qui affecte près de 50 % des personnes de plus de 65 ans au Canada et de façon disproportionnelle,… (more)

Subjects/Keywords: hypertension artérielle; haute pression; francophone en situation linguistique minoritaire; personnes aînées; prise en charge; programme éducatif

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Taillon, M. (2016). L’impact d’un programme éducatif sur la qualité de vie de personnes aînées autonomes et hypertendues en milieu francophone minoritaire . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/35498

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Taillon, Myriam. “L’impact d’un programme éducatif sur la qualité de vie de personnes aînées autonomes et hypertendues en milieu francophone minoritaire .” 2016. Thesis, University of Ottawa. Accessed March 01, 2021. http://hdl.handle.net/10393/35498.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Taillon, Myriam. “L’impact d’un programme éducatif sur la qualité de vie de personnes aînées autonomes et hypertendues en milieu francophone minoritaire .” 2016. Web. 01 Mar 2021.

Vancouver:

Taillon M. L’impact d’un programme éducatif sur la qualité de vie de personnes aînées autonomes et hypertendues en milieu francophone minoritaire . [Internet] [Thesis]. University of Ottawa; 2016. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/10393/35498.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Taillon M. L’impact d’un programme éducatif sur la qualité de vie de personnes aînées autonomes et hypertendues en milieu francophone minoritaire . [Thesis]. University of Ottawa; 2016. Available from: http://hdl.handle.net/10393/35498

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

27. NIKOLAS BRANCO PADILHA. [en] SYNTHESIS OF HYBRID METAL/OXIDE NANOSTRUCTURES AND EVALUATION OF THEIR PROPERTIES.

Degree: 2019, Pontifical Catholic University of Rio de Janeiro

[pt] A síntese de nanopartículas (NP) de níquel metálico via rota solvotérmica foi estudada com o intuito de produzir estruturas híbridas destas NP ancoradas na… (more)

Subjects/Keywords: [pt] SINTESE HIDROTERMICA; [en] HIDROTHERMAL SYNTHESIS; [pt] FOTOCATÁLISE; [en] PHOTOCATALYSIS; [pt] CATALISE; [en] CATALYSIS; [pt] SINTESE DE NANOMATERIAIS; [en] SYNTHESIS OF NANOMATERIALS; [pt] NANOPARTICULA DE NIQUEL; [en] NICKEL NANOPARTICLE; [pt] TITANATO; [en] TITANATE; [pt] SINTESE SOLVOTERMICA; [en] SOLVOTHERMIC SYNTHESIS; [pt] CARACTERIZACAO DE NANOMATERIAIS; [en] CHARACTERIZATION OF NANOMATERIALS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

PADILHA, N. B. (2019). [en] SYNTHESIS OF HYBRID METAL/OXIDE NANOSTRUCTURES AND EVALUATION OF THEIR PROPERTIES. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37263

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

PADILHA, NIKOLAS BRANCO. “[en] SYNTHESIS OF HYBRID METAL/OXIDE NANOSTRUCTURES AND EVALUATION OF THEIR PROPERTIES.” 2019. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed March 01, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37263.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

PADILHA, NIKOLAS BRANCO. “[en] SYNTHESIS OF HYBRID METAL/OXIDE NANOSTRUCTURES AND EVALUATION OF THEIR PROPERTIES.” 2019. Web. 01 Mar 2021.

Vancouver:

PADILHA NB. [en] SYNTHESIS OF HYBRID METAL/OXIDE NANOSTRUCTURES AND EVALUATION OF THEIR PROPERTIES. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. [cited 2021 Mar 01]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37263.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

PADILHA NB. [en] SYNTHESIS OF HYBRID METAL/OXIDE NANOSTRUCTURES AND EVALUATION OF THEIR PROPERTIES. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37263

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of California – Berkeley

28. Hottelier, Thibaud Baptiste. Programming Layout by Manipulation.

Degree: Electrical Engineering & Computer Sciences, 2014, University of California – Berkeley

 Creating layouts for documents, GUIs, or data visualizations is a time-consuming and error-prone process. Non-programmers would like the customization and fine-grained control currently only possible… (more)

Subjects/Keywords: Computer science; Constraint-based Layout; Manipulations; Programming by Demonstration; Program Synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hottelier, T. B. (2014). Programming Layout by Manipulation. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/74r754hb

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hottelier, Thibaud Baptiste. “Programming Layout by Manipulation.” 2014. Thesis, University of California – Berkeley. Accessed March 01, 2021. http://www.escholarship.org/uc/item/74r754hb.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hottelier, Thibaud Baptiste. “Programming Layout by Manipulation.” 2014. Web. 01 Mar 2021.

Vancouver:

Hottelier TB. Programming Layout by Manipulation. [Internet] [Thesis]. University of California – Berkeley; 2014. [cited 2021 Mar 01]. Available from: http://www.escholarship.org/uc/item/74r754hb.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hottelier TB. Programming Layout by Manipulation. [Thesis]. University of California – Berkeley; 2014. Available from: http://www.escholarship.org/uc/item/74r754hb

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Rice University

29. Shah, Ameesh. Differentiable Program Learning with an Admissible Neural Heuristic.

Degree: MS, Engineering, 2020, Rice University

 We study the problem of learning differentiable functions expressed as programs in a domain-specific language. Such programmatic models can offer benefits such as composability and… (more)

Subjects/Keywords: Machine Learning; Program Synthesis; Functional Programming; Differentiable Progamming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shah, A. (2020). Differentiable Program Learning with an Admissible Neural Heuristic. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/109184

Chicago Manual of Style (16th Edition):

Shah, Ameesh. “Differentiable Program Learning with an Admissible Neural Heuristic.” 2020. Masters Thesis, Rice University. Accessed March 01, 2021. http://hdl.handle.net/1911/109184.

MLA Handbook (7th Edition):

Shah, Ameesh. “Differentiable Program Learning with an Admissible Neural Heuristic.” 2020. Web. 01 Mar 2021.

Vancouver:

Shah A. Differentiable Program Learning with an Admissible Neural Heuristic. [Internet] [Masters thesis]. Rice University; 2020. [cited 2021 Mar 01]. Available from: http://hdl.handle.net/1911/109184.

Council of Science Editors:

Shah A. Differentiable Program Learning with an Admissible Neural Heuristic. [Masters Thesis]. Rice University; 2020. Available from: http://hdl.handle.net/1911/109184

30. Dudenhefner, Andrej. Algorithmic aspects of type-based program synthesis.

Degree: 2019, Technische Universität Dortmund

 In the area of type-based program synthesis, the decision problem of inhabitation (given a type environment Gamma and a type tau, is there a term… (more)

Subjects/Keywords: Type theory; Inhabitation; Program synthesis; Complexity; 004; Typentheorie; Programmsynthese; Komplexität

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dudenhefner, A. (2019). Algorithmic aspects of type-based program synthesis. (Doctoral Dissertation). Technische Universität Dortmund. Retrieved from http://dx.doi.org/10.17877/DE290R-20108

Chicago Manual of Style (16th Edition):

Dudenhefner, Andrej. “Algorithmic aspects of type-based program synthesis.” 2019. Doctoral Dissertation, Technische Universität Dortmund. Accessed March 01, 2021. http://dx.doi.org/10.17877/DE290R-20108.

MLA Handbook (7th Edition):

Dudenhefner, Andrej. “Algorithmic aspects of type-based program synthesis.” 2019. Web. 01 Mar 2021.

Vancouver:

Dudenhefner A. Algorithmic aspects of type-based program synthesis. [Internet] [Doctoral dissertation]. Technische Universität Dortmund; 2019. [cited 2021 Mar 01]. Available from: http://dx.doi.org/10.17877/DE290R-20108.

Council of Science Editors:

Dudenhefner A. Algorithmic aspects of type-based program synthesis. [Doctoral Dissertation]. Technische Universität Dortmund; 2019. Available from: http://dx.doi.org/10.17877/DE290R-20108

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

.