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:(Normal Form). Showing records 1 – 30 of 75 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters


University of Wollongong

1. Tourloupis, Vasilios Evangelos. Hermite normal forms and its cryptographic applications.

Degree: Master of Computer Science, 2013, University of Wollongong

  Hermite Normal Form (HNF) matrices are a standard form of integer matrices used in applications such as lattice based cryptography and integer programming. Calculating… (more)

Subjects/Keywords: hermite normal form; prime determinant; optimal HNF

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tourloupis, V. E. (2013). Hermite normal forms and its cryptographic applications. (Masters Thesis). University of Wollongong. Retrieved from ; https://ro.uow.edu.au/theses/3788

Chicago Manual of Style (16th Edition):

Tourloupis, Vasilios Evangelos. “Hermite normal forms and its cryptographic applications.” 2013. Masters Thesis, University of Wollongong. Accessed September 30, 2020. ; https://ro.uow.edu.au/theses/3788.

MLA Handbook (7th Edition):

Tourloupis, Vasilios Evangelos. “Hermite normal forms and its cryptographic applications.” 2013. Web. 30 Sep 2020.

Vancouver:

Tourloupis VE. Hermite normal forms and its cryptographic applications. [Internet] [Masters thesis]. University of Wollongong; 2013. [cited 2020 Sep 30]. Available from: ; https://ro.uow.edu.au/theses/3788.

Council of Science Editors:

Tourloupis VE. Hermite normal forms and its cryptographic applications. [Masters Thesis]. University of Wollongong; 2013. Available from: ; https://ro.uow.edu.au/theses/3788

2. Batista, Tatiane Cardoso. Alguns resultados sobre otimização ergódica em espaços não compactos.

Degree: Mestrado, Matemática Aplicada, 2009, University of São Paulo

Sejam X um espaço topológico não necessariamente compacto e T:X->X uma aplicação contínua. Se f:X->R é contínua, daremos condições sobre f que garantam a existência… (more)

Subjects/Keywords: compacidade essencial; essential compactness; forma normal; maximizing measure; medida maximizante; normal form

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Batista, T. C. (2009). Alguns resultados sobre otimização ergódica em espaços não compactos. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45132/tde-12082009-130255/ ;

Chicago Manual of Style (16th Edition):

Batista, Tatiane Cardoso. “Alguns resultados sobre otimização ergódica em espaços não compactos.” 2009. Masters Thesis, University of São Paulo. Accessed September 30, 2020. http://www.teses.usp.br/teses/disponiveis/45/45132/tde-12082009-130255/ ;.

MLA Handbook (7th Edition):

Batista, Tatiane Cardoso. “Alguns resultados sobre otimização ergódica em espaços não compactos.” 2009. Web. 30 Sep 2020.

Vancouver:

Batista TC. Alguns resultados sobre otimização ergódica em espaços não compactos. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2020 Sep 30]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-12082009-130255/ ;.

Council of Science Editors:

Batista TC. Alguns resultados sobre otimização ergódica em espaços não compactos. [Masters Thesis]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-12082009-130255/ ;

3. Barbosa, Pricila da Silva. Bifurcação de Poincaré-Andronov-Hopf para difeomorfismos do plano.

Degree: Mestrado, Matemática Aplicada, 2010, University of São Paulo

O objetivo principal deste trabalho é apresentar uma exposição detalhada do Teorema de Poincaré-Andronov-Hopf para uma família de transformações do plano. Apresentaremos também uma aplicação… (more)

Subjects/Keywords: Bifurcação; Bifurcation; Closed invariant curve; Curva fechada invariante; Estabilidade; Forma normal; Normal form; Stability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Barbosa, P. d. S. (2010). Bifurcação de Poincaré-Andronov-Hopf para difeomorfismos do plano. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45132/tde-08062010-123725/ ;

Chicago Manual of Style (16th Edition):

Barbosa, Pricila da Silva. “Bifurcação de Poincaré-Andronov-Hopf para difeomorfismos do plano.” 2010. Masters Thesis, University of São Paulo. Accessed September 30, 2020. http://www.teses.usp.br/teses/disponiveis/45/45132/tde-08062010-123725/ ;.

MLA Handbook (7th Edition):

Barbosa, Pricila da Silva. “Bifurcação de Poincaré-Andronov-Hopf para difeomorfismos do plano.” 2010. Web. 30 Sep 2020.

Vancouver:

Barbosa PdS. Bifurcação de Poincaré-Andronov-Hopf para difeomorfismos do plano. [Internet] [Masters thesis]. University of São Paulo; 2010. [cited 2020 Sep 30]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-08062010-123725/ ;.

Council of Science Editors:

Barbosa PdS. Bifurcação de Poincaré-Andronov-Hopf para difeomorfismos do plano. [Masters Thesis]. University of São Paulo; 2010. Available from: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-08062010-123725/ ;


Uppsala University

4. Weiler, Johannes Wesslén. Databasdesign: Nulägesanalys av normalisering.

Degree: Informatics and Media, 2016, Uppsala University

År 1970 introducerades normalisering med syfte att organisera data i relationsdatabaser för att undvika redundant data och reducera risker för anomalier. Idag finns indikationer… (more)

Subjects/Keywords: database design; normalization; normal form; denormalization; databasdesign; normalisering; normalform; denormalisering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Weiler, J. W. (2016). Databasdesign: Nulägesanalys av normalisering. (Thesis). Uppsala University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-297212

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):

Weiler, Johannes Wesslén. “Databasdesign: Nulägesanalys av normalisering.” 2016. Thesis, Uppsala University. Accessed September 30, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-297212.

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

MLA Handbook (7th Edition):

Weiler, Johannes Wesslén. “Databasdesign: Nulägesanalys av normalisering.” 2016. Web. 30 Sep 2020.

Vancouver:

Weiler JW. Databasdesign: Nulägesanalys av normalisering. [Internet] [Thesis]. Uppsala University; 2016. [cited 2020 Sep 30]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-297212.

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

Council of Science Editors:

Weiler JW. Databasdesign: Nulägesanalys av normalisering. [Thesis]. Uppsala University; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-297212

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


University of Minnesota

5. Weinburd, Jasper. Patterns Selected by Spatial Inhomogeneity.

Degree: PhD, Mathematics, 2019, University of Minnesota

 This thesis studies patterns that form in environments with sharp spatial variation. In a uniform environment, spots or stripes typically form with a self-consistent width.… (more)

Subjects/Keywords: Dynamical Systems; Inhomogeneity; Normal Form; Pattern Formation; Swift-Hohenberg

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Weinburd, J. (2019). Patterns Selected by Spatial Inhomogeneity. (Doctoral Dissertation). University of Minnesota. Retrieved from http://hdl.handle.net/11299/206317

Chicago Manual of Style (16th Edition):

Weinburd, Jasper. “Patterns Selected by Spatial Inhomogeneity.” 2019. Doctoral Dissertation, University of Minnesota. Accessed September 30, 2020. http://hdl.handle.net/11299/206317.

MLA Handbook (7th Edition):

Weinburd, Jasper. “Patterns Selected by Spatial Inhomogeneity.” 2019. Web. 30 Sep 2020.

Vancouver:

Weinburd J. Patterns Selected by Spatial Inhomogeneity. [Internet] [Doctoral dissertation]. University of Minnesota; 2019. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/11299/206317.

Council of Science Editors:

Weinburd J. Patterns Selected by Spatial Inhomogeneity. [Doctoral Dissertation]. University of Minnesota; 2019. Available from: http://hdl.handle.net/11299/206317


Georgia Tech

6. Chen, Jian. Bifurcations, Normal Forms and their Applications.

Degree: PhD, Mathematics, 2005, Georgia Tech

 The first part is a study of an ecological model with one herbivore and N plants. The system has a new type of functional response… (more)

Subjects/Keywords: Functional response; Normal form; Bifurcation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, J. (2005). Bifurcations, Normal Forms and their Applications. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/7121

Chicago Manual of Style (16th Edition):

Chen, Jian. “Bifurcations, Normal Forms and their Applications.” 2005. Doctoral Dissertation, Georgia Tech. Accessed September 30, 2020. http://hdl.handle.net/1853/7121.

MLA Handbook (7th Edition):

Chen, Jian. “Bifurcations, Normal Forms and their Applications.” 2005. Web. 30 Sep 2020.

Vancouver:

Chen J. Bifurcations, Normal Forms and their Applications. [Internet] [Doctoral dissertation]. Georgia Tech; 2005. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/1853/7121.

Council of Science Editors:

Chen J. Bifurcations, Normal Forms and their Applications. [Doctoral Dissertation]. Georgia Tech; 2005. Available from: http://hdl.handle.net/1853/7121


Brno University of Technology

7. Klapuchová, Mirka. Převod gramatik do normálních forem: Transformation of Grammars into Normal Forms.

Degree: 2019, Brno University of Technology

 This thesis deals with issues of normal forms from theory of formal languages. Basic terms from this area are listed here, different types of grammars… (more)

Subjects/Keywords: Formální jazyky; bezkontextová gramatika; kontextová gramatika; neomezená gramatika; Chomského normální forma; Greibachové normální forma; Kurodova normální forma; Geffertova normální forma; Pentonnenova normální forma.; Formal languages; context-free grammar; context-sensitive grammar; unrestricted grammar; Chomsky normal form; Greibach normal form; Kuroda normal form; Geffert normal form; Pentonnen normal form.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klapuchová, M. (2019). Převod gramatik do normálních forem: Transformation of Grammars into Normal Forms. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/55127

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):

Klapuchová, Mirka. “Převod gramatik do normálních forem: Transformation of Grammars into Normal Forms.” 2019. Thesis, Brno University of Technology. Accessed September 30, 2020. http://hdl.handle.net/11012/55127.

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

MLA Handbook (7th Edition):

Klapuchová, Mirka. “Převod gramatik do normálních forem: Transformation of Grammars into Normal Forms.” 2019. Web. 30 Sep 2020.

Vancouver:

Klapuchová M. Převod gramatik do normálních forem: Transformation of Grammars into Normal Forms. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/11012/55127.

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

Council of Science Editors:

Klapuchová M. Převod gramatik do normálních forem: Transformation of Grammars into Normal Forms. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/55127

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

8. Mello, Thiago Castilho de. Sobre bases normais para extensões galoisianas de corpos.

Degree: Mestrado, Matemática, 2008, University of São Paulo

Neste trabalho apresentamos várias demonstrações do Teorema da Base Normal para certos tipos de extensões galoisianas de corpos, algumas existenciais e outras construtivas, destacando as… (more)

Subjects/Keywords: Abelian extension; Base normal generalizada; Bases normal; Construção de bases normais; Construction of normal bases; Cyclic extension; Elemento normal; Elemento primitivo; Extensões abelianas; Extensões cíclicas; Forma hermitiana; Forma traço; Galois theory; Generalized normal base; Hermitian form; Normal base; Normal element; Primitive element; Teoria de Galois; Trace map

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mello, T. C. d. (2008). Sobre bases normais para extensões galoisianas de corpos. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21052008-150202/ ;

Chicago Manual of Style (16th Edition):

Mello, Thiago Castilho de. “Sobre bases normais para extensões galoisianas de corpos.” 2008. Masters Thesis, University of São Paulo. Accessed September 30, 2020. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21052008-150202/ ;.

MLA Handbook (7th Edition):

Mello, Thiago Castilho de. “Sobre bases normais para extensões galoisianas de corpos.” 2008. Web. 30 Sep 2020.

Vancouver:

Mello TCd. Sobre bases normais para extensões galoisianas de corpos. [Internet] [Masters thesis]. University of São Paulo; 2008. [cited 2020 Sep 30]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21052008-150202/ ;.

Council of Science Editors:

Mello TCd. Sobre bases normais para extensões galoisianas de corpos. [Masters Thesis]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21052008-150202/ ;

9. Zeli, Iris de Oliveira. Teoria de forma normal para campos vetoriais reversíveis equivariantes.

Degree: PhD, Matemática, 2013, University of São Paulo

Neste trabalho, apresentamos um método algébrico para obter formas normais de campos vetoriais reversíveis equivariantes. Adaptamos o método clássico de Belitskii-Elphick, usando ferramentas da teoria… (more)

Subjects/Keywords: Antissimetria; Belitskii; Belitskii; Complete transversals; Forma normal; Normal form; Resonant; Ressonante; Reversible equivariant; Reversing symmetry; Reversível equivalente; Simetria; Symmetry; Transversal completa

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zeli, I. d. O. (2013). Teoria de forma normal para campos vetoriais reversíveis equivariantes. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55135/tde-11072013-165027/ ;

Chicago Manual of Style (16th Edition):

Zeli, Iris de Oliveira. “Teoria de forma normal para campos vetoriais reversíveis equivariantes.” 2013. Doctoral Dissertation, University of São Paulo. Accessed September 30, 2020. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-11072013-165027/ ;.

MLA Handbook (7th Edition):

Zeli, Iris de Oliveira. “Teoria de forma normal para campos vetoriais reversíveis equivariantes.” 2013. Web. 30 Sep 2020.

Vancouver:

Zeli IdO. Teoria de forma normal para campos vetoriais reversíveis equivariantes. [Internet] [Doctoral dissertation]. University of São Paulo; 2013. [cited 2020 Sep 30]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-11072013-165027/ ;.

Council of Science Editors:

Zeli IdO. Teoria de forma normal para campos vetoriais reversíveis equivariantes. [Doctoral Dissertation]. University of São Paulo; 2013. Available from: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-11072013-165027/ ;


University of Miami

10. Arhami, Negin. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

Degree: MS, Computer Science (Arts and Sciences), 2014, University of Miami

  Many Automated Theorem Prover (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed… (more)

Subjects/Keywords: Automated Theorem Proving; Description Logic; Logic Translation; Conjunctive Normal Form (CNF); Logical Form; Automated Reasoning; Saffron DL Translator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arhami, N. (2014). The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. (Thesis). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_theses/519

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):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Thesis, University of Miami. Accessed September 30, 2020. https://scholarlyrepository.miami.edu/oa_theses/519.

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

MLA Handbook (7th Edition):

Arhami, Negin. “The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.” 2014. Web. 30 Sep 2020.

Vancouver:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Internet] [Thesis]. University of Miami; 2014. [cited 2020 Sep 30]. Available from: https://scholarlyrepository.miami.edu/oa_theses/519.

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

Council of Science Editors:

Arhami N. The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. [Thesis]. University of Miami; 2014. Available from: https://scholarlyrepository.miami.edu/oa_theses/519

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


Brno University of Technology

11. Vasilišin, Maroš. Knihovna pro boolovské funkce v algebraické normální formě: Library for Boolean Functions in Algebraic Normal Form.

Degree: 2019, Brno University of Technology

 This bachelor thesis focuses on design and implementation of library in C language for manipulation od Boolean functions in Algebraic Normal Form. Majority of existing… (more)

Subjects/Keywords: Boolova funkcia; Boolova algebra; normálna forma; algebraická normálna forma; binárny rozhodovací diagram; logické operácie; C; Boolean function; Boolean Algebra; normal form; algebraic normal form; binary decision diagram; logical operations; C

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vasilišin, M. (2019). Knihovna pro boolovské funkce v algebraické normální formě: Library for Boolean Functions in Algebraic Normal Form. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/69658

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):

Vasilišin, Maroš. “Knihovna pro boolovské funkce v algebraické normální formě: Library for Boolean Functions in Algebraic Normal Form.” 2019. Thesis, Brno University of Technology. Accessed September 30, 2020. http://hdl.handle.net/11012/69658.

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

MLA Handbook (7th Edition):

Vasilišin, Maroš. “Knihovna pro boolovské funkce v algebraické normální formě: Library for Boolean Functions in Algebraic Normal Form.” 2019. Web. 30 Sep 2020.

Vancouver:

Vasilišin M. Knihovna pro boolovské funkce v algebraické normální formě: Library for Boolean Functions in Algebraic Normal Form. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/11012/69658.

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

Council of Science Editors:

Vasilišin M. Knihovna pro boolovské funkce v algebraické normální formě: Library for Boolean Functions in Algebraic Normal Form. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/69658

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


NSYSU

12. Kung, Ting-chuan. Homomorphic Encryption Supporting Logical Operations.

Degree: Master, Computer Science and Engineering, 2017, NSYSU

 Homomorphic encryption is a form of encryption that allows computations to be carried out on ciphertext and generate an encrypted result which, when decrypted, matches… (more)

Subjects/Keywords: Homomorphic Encryption; Disjunctive Normal Form; Generic Group Model; Composite Order Pairing; Logical Operations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kung, T. (2017). Homomorphic Encryption Supporting Logical Operations. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0721117-173755

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):

Kung, Ting-chuan. “Homomorphic Encryption Supporting Logical Operations.” 2017. Thesis, NSYSU. Accessed September 30, 2020. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0721117-173755.

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

MLA Handbook (7th Edition):

Kung, Ting-chuan. “Homomorphic Encryption Supporting Logical Operations.” 2017. Web. 30 Sep 2020.

Vancouver:

Kung T. Homomorphic Encryption Supporting Logical Operations. [Internet] [Thesis]. NSYSU; 2017. [cited 2020 Sep 30]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0721117-173755.

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

Council of Science Editors:

Kung T. Homomorphic Encryption Supporting Logical Operations. [Thesis]. NSYSU; 2017. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0721117-173755

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


University of Ontario Institute of Technology

13. Green, Kevin R. Dynamic square patterns in two dimensional neural fields.

Degree: 2015, University of Ontario Institute of Technology

 The goal of this thesis is to study the emergence of spatiotemporal waves in neural field models. Neural field models aim to describe the activity… (more)

Subjects/Keywords: Mean field modelling; Dynamic Turing bifurcation; Normal form analysis; Numerical continuation; Periodic orbits

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Green, K. R. (2015). Dynamic square patterns in two dimensional neural fields. (Thesis). University of Ontario Institute of Technology. Retrieved from http://hdl.handle.net/10155/576

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):

Green, Kevin R. “Dynamic square patterns in two dimensional neural fields.” 2015. Thesis, University of Ontario Institute of Technology. Accessed September 30, 2020. http://hdl.handle.net/10155/576.

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

MLA Handbook (7th Edition):

Green, Kevin R. “Dynamic square patterns in two dimensional neural fields.” 2015. Web. 30 Sep 2020.

Vancouver:

Green KR. Dynamic square patterns in two dimensional neural fields. [Internet] [Thesis]. University of Ontario Institute of Technology; 2015. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/10155/576.

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

Council of Science Editors:

Green KR. Dynamic square patterns in two dimensional neural fields. [Thesis]. University of Ontario Institute of Technology; 2015. Available from: http://hdl.handle.net/10155/576

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


University of Miami

14. Arhami, Negin. Automated Theorem Proving by Translation to Description Logic.

Degree: PhD, Computer Science (Arts and Sciences), 2015, University of Miami

 Many Automated Theorem Proving (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed and… (more)

Subjects/Keywords: Automated Theorem Proving; TPTP; Description Logic; Logic Translation; Conjunctive Normal Form (CNF)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arhami, N. (2015). Automated Theorem Proving by Translation to Description Logic. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1564

Chicago Manual of Style (16th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Doctoral Dissertation, University of Miami. Accessed September 30, 2020. https://scholarlyrepository.miami.edu/oa_dissertations/1564.

MLA Handbook (7th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Web. 30 Sep 2020.

Vancouver:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2020 Sep 30]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564.

Council of Science Editors:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564


University of Sydney

15. Papadopoulos, George. Semi-global symplectic invariants of the Euler top .

Degree: 2013, University of Sydney

 The semi-global symplectic invariants were introduced by Dufour et. al. as a means of verifying equivalence of integrable systems in one degree of freedom. In… (more)

Subjects/Keywords: Euler top; Picard-Fuchs equation; semiglobal symplectic invariants; Birkhoff normal form; Liouville integrable

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Papadopoulos, G. (2013). Semi-global symplectic invariants of the Euler top . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/9221

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):

Papadopoulos, George. “Semi-global symplectic invariants of the Euler top .” 2013. Thesis, University of Sydney. Accessed September 30, 2020. http://hdl.handle.net/2123/9221.

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

MLA Handbook (7th Edition):

Papadopoulos, George. “Semi-global symplectic invariants of the Euler top .” 2013. Web. 30 Sep 2020.

Vancouver:

Papadopoulos G. Semi-global symplectic invariants of the Euler top . [Internet] [Thesis]. University of Sydney; 2013. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/2123/9221.

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

Council of Science Editors:

Papadopoulos G. Semi-global symplectic invariants of the Euler top . [Thesis]. University of Sydney; 2013. Available from: http://hdl.handle.net/2123/9221

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


San Jose State University

16. Michot, Marc. Brockett's necessary conditions and the stabilization of nonlinear control systems.

Degree: MS, Mathematics, 2011, San Jose State University

  Brockett's theorem states the three necessary conditions for the existence of a continuously differentiable closed loop control that asymptotically stabilizes the nonlinear control system… (more)

Subjects/Keywords: Brockett's theorem; geometric phase; nonholonomic control system; normal form equations; smooth stabilization; strongly accessible

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Michot, M. (2011). Brockett's necessary conditions and the stabilization of nonlinear control systems. (Masters Thesis). San Jose State University. Retrieved from https://doi.org/10.31979/etd.9heu-wtzu ; https://scholarworks.sjsu.edu/etd_theses/3946

Chicago Manual of Style (16th Edition):

Michot, Marc. “Brockett's necessary conditions and the stabilization of nonlinear control systems.” 2011. Masters Thesis, San Jose State University. Accessed September 30, 2020. https://doi.org/10.31979/etd.9heu-wtzu ; https://scholarworks.sjsu.edu/etd_theses/3946.

MLA Handbook (7th Edition):

Michot, Marc. “Brockett's necessary conditions and the stabilization of nonlinear control systems.” 2011. Web. 30 Sep 2020.

Vancouver:

Michot M. Brockett's necessary conditions and the stabilization of nonlinear control systems. [Internet] [Masters thesis]. San Jose State University; 2011. [cited 2020 Sep 30]. Available from: https://doi.org/10.31979/etd.9heu-wtzu ; https://scholarworks.sjsu.edu/etd_theses/3946.

Council of Science Editors:

Michot M. Brockett's necessary conditions and the stabilization of nonlinear control systems. [Masters Thesis]. San Jose State University; 2011. Available from: https://doi.org/10.31979/etd.9heu-wtzu ; https://scholarworks.sjsu.edu/etd_theses/3946


University of Washington

17. McKeown, Stephen Edward. Cornered Asymptotically Hyperbolic Metrics.

Degree: PhD, 2016, University of Washington

 This thesis considers asymptotically hyperbolic manifolds that have a finite boundary in addition to the usual infinite boundary – cornered asymptotically hyperbolic manifolds. A theorem… (more)

Subjects/Keywords: AdS/BCFT; asymptotically hyperbolic; corners; Einstein; normal form; Mathematics; Theoretical mathematics; mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McKeown, S. E. (2016). Cornered Asymptotically Hyperbolic Metrics. (Doctoral Dissertation). University of Washington. Retrieved from http://hdl.handle.net/1773/37180

Chicago Manual of Style (16th Edition):

McKeown, Stephen Edward. “Cornered Asymptotically Hyperbolic Metrics.” 2016. Doctoral Dissertation, University of Washington. Accessed September 30, 2020. http://hdl.handle.net/1773/37180.

MLA Handbook (7th Edition):

McKeown, Stephen Edward. “Cornered Asymptotically Hyperbolic Metrics.” 2016. Web. 30 Sep 2020.

Vancouver:

McKeown SE. Cornered Asymptotically Hyperbolic Metrics. [Internet] [Doctoral dissertation]. University of Washington; 2016. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/1773/37180.

Council of Science Editors:

McKeown SE. Cornered Asymptotically Hyperbolic Metrics. [Doctoral Dissertation]. University of Washington; 2016. Available from: http://hdl.handle.net/1773/37180


University of Georgia

18. Drapela, Thomas Edward. The Snake-in-the-Box problem.

Degree: 2015, University of Georgia

 This thesis is a primer designed to introduce novice and expert alike to the Snake-in-the-Box problem (SIB). Using plain language, and including explanations of prerequisite… (more)

Subjects/Keywords: Snake-in-the-Box; Coil-in-the-Box; Hypercube; Snake; Coil; Graph Theory; Constraint Satisfaction; Canonical Ordering; Canonical Form; Equivalence Class; Disjunctive Normal Form; Conjunctive Normal Form; Heuristic Search; Fitness Function; Articulation Points

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Drapela, T. E. (2015). The Snake-in-the-Box problem. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/32704

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):

Drapela, Thomas Edward. “The Snake-in-the-Box problem.” 2015. Thesis, University of Georgia. Accessed September 30, 2020. http://hdl.handle.net/10724/32704.

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

MLA Handbook (7th Edition):

Drapela, Thomas Edward. “The Snake-in-the-Box problem.” 2015. Web. 30 Sep 2020.

Vancouver:

Drapela TE. The Snake-in-the-Box problem. [Internet] [Thesis]. University of Georgia; 2015. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/10724/32704.

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

Council of Science Editors:

Drapela TE. The Snake-in-the-Box problem. [Thesis]. University of Georgia; 2015. Available from: http://hdl.handle.net/10724/32704

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


Universidade de Brasília

19. Kélem Gomes Lourenço. Estabilidade de equilíbrio e órbitas periódicas em um sistema Lotka-Volterra com duas presas e um predador.

Degree: 2008, Universidade de Brasília

Neste trabalho analisamos o sistema de equações diferenciais com duas presas e um predador do tipo Lotka-Volterra, com e sem colheita. Inicialmente estudamos a estabilidade… (more)

Subjects/Keywords: estabilidade local e global; forma normal; ANALISE; global and local stability; Lotka-Volterra systems; bifurcação de Hopf; Hopf bifurcation; normal form; sistemas Lotka-Volterra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lourenço, K. G. (2008). Estabilidade de equilíbrio e órbitas periódicas em um sistema Lotka-Volterra com duas presas e um predador. (Thesis). Universidade de Brasília. Retrieved from http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=3511

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):

Lourenço, Kélem Gomes. “Estabilidade de equilíbrio e órbitas periódicas em um sistema Lotka-Volterra com duas presas e um predador.” 2008. Thesis, Universidade de Brasília. Accessed September 30, 2020. http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=3511.

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

MLA Handbook (7th Edition):

Lourenço, Kélem Gomes. “Estabilidade de equilíbrio e órbitas periódicas em um sistema Lotka-Volterra com duas presas e um predador.” 2008. Web. 30 Sep 2020.

Vancouver:

Lourenço KG. Estabilidade de equilíbrio e órbitas periódicas em um sistema Lotka-Volterra com duas presas e um predador. [Internet] [Thesis]. Universidade de Brasília; 2008. [cited 2020 Sep 30]. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=3511.

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

Council of Science Editors:

Lourenço KG. Estabilidade de equilíbrio e órbitas periódicas em um sistema Lotka-Volterra com duas presas e um predador. [Thesis]. Universidade de Brasília; 2008. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=3511

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


University of Waterloo

20. Cheng, Howard. Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials.

Degree: 2003, University of Waterloo

 In this thesis we study algorithms for computing normal forms for matrices of Ore polynomials while controlling coefficient growth. By formulating row reduction as a… (more)

Subjects/Keywords: Computer Science; computer algebra; normal form; polynomial matrix

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cheng, H. (2003). Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/1088

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):

Cheng, Howard. “Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials.” 2003. Thesis, University of Waterloo. Accessed September 30, 2020. http://hdl.handle.net/10012/1088.

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

MLA Handbook (7th Edition):

Cheng, Howard. “Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials.” 2003. Web. 30 Sep 2020.

Vancouver:

Cheng H. Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials. [Internet] [Thesis]. University of Waterloo; 2003. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/10012/1088.

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

Council of Science Editors:

Cheng H. Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials. [Thesis]. University of Waterloo; 2003. Available from: http://hdl.handle.net/10012/1088

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

21. ZHANG ZILONG. Supercore and Strong Nash Equilibrium.

Degree: 2010, National University of Singapore

Subjects/Keywords: supercore; subsolution; strong Nash equilibrium; normal form game

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

ZILONG, Z. (2010). Supercore and Strong Nash Equilibrium. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/20481

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):

ZILONG, ZHANG. “Supercore and Strong Nash Equilibrium.” 2010. Thesis, National University of Singapore. Accessed September 30, 2020. http://scholarbank.nus.edu.sg/handle/10635/20481.

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

MLA Handbook (7th Edition):

ZILONG, ZHANG. “Supercore and Strong Nash Equilibrium.” 2010. Web. 30 Sep 2020.

Vancouver:

ZILONG Z. Supercore and Strong Nash Equilibrium. [Internet] [Thesis]. National University of Singapore; 2010. [cited 2020 Sep 30]. Available from: http://scholarbank.nus.edu.sg/handle/10635/20481.

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

Council of Science Editors:

ZILONG Z. Supercore and Strong Nash Equilibrium. [Thesis]. National University of Singapore; 2010. Available from: http://scholarbank.nus.edu.sg/handle/10635/20481

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


The Ohio State University

22. Ivanov, Asen Vasilev. Essays in behavioral economics in the context of strategic interaction.

Degree: PhD, Economics, 2007, The Ohio State University

  In the first chapter of my dissertation, I use a new approach to investigating behavior in one-shot normal-form games. Using subjects' play as well… (more)

Subjects/Keywords: one-shot normal-form games; level-k model; ambiguity aversion; cursed equilibrium; dynamic investment; private and common values

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ivanov, A. V. (2007). Essays in behavioral economics in the context of strategic interaction. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1179515760

Chicago Manual of Style (16th Edition):

Ivanov, Asen Vasilev. “Essays in behavioral economics in the context of strategic interaction.” 2007. Doctoral Dissertation, The Ohio State University. Accessed September 30, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1179515760.

MLA Handbook (7th Edition):

Ivanov, Asen Vasilev. “Essays in behavioral economics in the context of strategic interaction.” 2007. Web. 30 Sep 2020.

Vancouver:

Ivanov AV. Essays in behavioral economics in the context of strategic interaction. [Internet] [Doctoral dissertation]. The Ohio State University; 2007. [cited 2020 Sep 30]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1179515760.

Council of Science Editors:

Ivanov AV. Essays in behavioral economics in the context of strategic interaction. [Doctoral Dissertation]. The Ohio State University; 2007. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1179515760


The Ohio State University

23. Zhang, Yanyan. Periodic Forcing of a System near a Hopf Bifurcation Point.

Degree: PhD, Mathematics, 2010, The Ohio State University

 We study a periodically forced system of ODEs near a point of Hopf bifurcation, where the forcing is pure harmonic with small amplitude. We assume… (more)

Subjects/Keywords: Mathematics; Hopf bifurcation; Periodic forcing; S1 symmetry; Liapunov-Schmidt reduction; Normal Form; Universal unfolding; Singularity theory; Transition set

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, Y. (2010). Periodic Forcing of a System near a Hopf Bifurcation Point. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1291174795

Chicago Manual of Style (16th Edition):

Zhang, Yanyan. “Periodic Forcing of a System near a Hopf Bifurcation Point.” 2010. Doctoral Dissertation, The Ohio State University. Accessed September 30, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1291174795.

MLA Handbook (7th Edition):

Zhang, Yanyan. “Periodic Forcing of a System near a Hopf Bifurcation Point.” 2010. Web. 30 Sep 2020.

Vancouver:

Zhang Y. Periodic Forcing of a System near a Hopf Bifurcation Point. [Internet] [Doctoral dissertation]. The Ohio State University; 2010. [cited 2020 Sep 30]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1291174795.

Council of Science Editors:

Zhang Y. Periodic Forcing of a System near a Hopf Bifurcation Point. [Doctoral Dissertation]. The Ohio State University; 2010. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1291174795


Virginia Tech

24. Bichiou, Youssef. Modeling Analysis and Control of Nonlinear Aeroelastic Systems.

Degree: PhD, Engineering Science and Mechanics, 2015, Virginia Tech

 Airplane wings, turbine blades and other structures subjected to air or water flows, can undergo motions depending on their flexibility. As such, the performance of… (more)

Subjects/Keywords: Nonlinear Dynamics; Normal Form; Hopf Bifurcation; Unsteady Aerodynamics; Quasi-steady Aerodynamics; Unsteady Vortex Lattice Method; Control; Wind Energy; Wind Turbine Blades

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bichiou, Y. (2015). Modeling Analysis and Control of Nonlinear Aeroelastic Systems. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/71760

Chicago Manual of Style (16th Edition):

Bichiou, Youssef. “Modeling Analysis and Control of Nonlinear Aeroelastic Systems.” 2015. Doctoral Dissertation, Virginia Tech. Accessed September 30, 2020. http://hdl.handle.net/10919/71760.

MLA Handbook (7th Edition):

Bichiou, Youssef. “Modeling Analysis and Control of Nonlinear Aeroelastic Systems.” 2015. Web. 30 Sep 2020.

Vancouver:

Bichiou Y. Modeling Analysis and Control of Nonlinear Aeroelastic Systems. [Internet] [Doctoral dissertation]. Virginia Tech; 2015. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/10919/71760.

Council of Science Editors:

Bichiou Y. Modeling Analysis and Control of Nonlinear Aeroelastic Systems. [Doctoral Dissertation]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/71760


Massey University

25. Koehler, Henning. On fast and space-efficient database normalization.

Degree: PhD, Information Systems, 2007, Massey University

 A common approach in designing relational databases is to start with a relation schema, which is then decomposed into multiple subschemas. A good choice of… (more)

Subjects/Keywords: Database normalisation; Database design; New normal form; Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Koehler, H. (2007). On fast and space-efficient database normalization. (Doctoral Dissertation). Massey University. Retrieved from http://hdl.handle.net/10179/806

Chicago Manual of Style (16th Edition):

Koehler, Henning. “On fast and space-efficient database normalization.” 2007. Doctoral Dissertation, Massey University. Accessed September 30, 2020. http://hdl.handle.net/10179/806.

MLA Handbook (7th Edition):

Koehler, Henning. “On fast and space-efficient database normalization.” 2007. Web. 30 Sep 2020.

Vancouver:

Koehler H. On fast and space-efficient database normalization. [Internet] [Doctoral dissertation]. Massey University; 2007. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/10179/806.

Council of Science Editors:

Koehler H. On fast and space-efficient database normalization. [Doctoral Dissertation]. Massey University; 2007. Available from: http://hdl.handle.net/10179/806

26. 挽地, 篤志. 型理論に基づくプログラミング言語の効率的な実装に関する研究.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

大堀淳

情報科学研究科

修士

Subjects/Keywords: 型主導コンパイラ、A-normal form、論理抽象機械; type directed compiler, A-normal form, logical abs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

挽地, . (n.d.). 型理論に基づくプログラミング言語の効率的な実装に関する研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1533

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

挽地, 篤志. “型理論に基づくプログラミング言語の効率的な実装に関する研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 30, 2020. http://hdl.handle.net/10119/1533.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

挽地, 篤志. “型理論に基づくプログラミング言語の効率的な実装に関する研究.” Web. 30 Sep 2020.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

挽地 . 型理論に基づくプログラミング言語の効率的な実装に関する研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2020 Sep 30]. Available from: http://hdl.handle.net/10119/1533.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

挽地 . 型理論に基づくプログラミング言語の効率的な実装に関する研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1533

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

27. Vliet, Rudy van. DNA expressions - A formal notation for DNA.

Degree: 2015, Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University

 We describe a formal notation for DNA molecules that may contain nicks and gaps. The resulting DNA expressions denote formal DNA molecules. Different DNA expressions… (more)

Subjects/Keywords: Minimal DNA expressions; Combinatorics; Normal form; Algorithms; Complexity; DNA computing; Minimal DNA expressions; Combinatorics; Normal form; Algorithms; Complexity; DNA computing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vliet, R. v. (2015). DNA expressions - A formal notation for DNA. (Doctoral Dissertation). Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University. Retrieved from http://hdl.handle.net/1887/37052

Chicago Manual of Style (16th Edition):

Vliet, Rudy van. “DNA expressions - A formal notation for DNA.” 2015. Doctoral Dissertation, Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University. Accessed September 30, 2020. http://hdl.handle.net/1887/37052.

MLA Handbook (7th Edition):

Vliet, Rudy van. “DNA expressions - A formal notation for DNA.” 2015. Web. 30 Sep 2020.

Vancouver:

Vliet Rv. DNA expressions - A formal notation for DNA. [Internet] [Doctoral dissertation]. Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University; 2015. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/1887/37052.

Council of Science Editors:

Vliet Rv. DNA expressions - A formal notation for DNA. [Doctoral Dissertation]. Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University; 2015. Available from: http://hdl.handle.net/1887/37052

28. Chen, Yahao. Geometric analysis of differential-algebraic equations and control systems : linear, nonlinear and linearizable : Analyse géométrique des équations différentielles-algébriques : linéaires, non-linéaires et linéarisables.

Degree: Docteur es, Mathématiques, 2019, Normandie

 Dans la première partie de cette thèse, nous étudions les équations différentielles algébriques (en abrégé EDA) linéaires et les systèmes de contrôles linéaires associés (en… (more)

Subjects/Keywords: Systèmes de contrôles; Explicitation; Forme canonique de Kronecker; Forme canonique de Morse; Sous variété controllable invariante; Équivalence interne; Équivalence externe; Linéarisation; Differential-algebraic equation; Control systems; Explicitation; Normal form; Invariant subspaces; Kroneker canonical form; Morse canonical form; Controlled invariant submanifold; External equivalence; Internal equivalence; Linearization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, Y. (2019). Geometric analysis of differential-algebraic equations and control systems : linear, nonlinear and linearizable : Analyse géométrique des équations différentielles-algébriques : linéaires, non-linéaires et linéarisables. (Doctoral Dissertation). Normandie. Retrieved from http://www.theses.fr/2019NORMIR04

Chicago Manual of Style (16th Edition):

Chen, Yahao. “Geometric analysis of differential-algebraic equations and control systems : linear, nonlinear and linearizable : Analyse géométrique des équations différentielles-algébriques : linéaires, non-linéaires et linéarisables.” 2019. Doctoral Dissertation, Normandie. Accessed September 30, 2020. http://www.theses.fr/2019NORMIR04.

MLA Handbook (7th Edition):

Chen, Yahao. “Geometric analysis of differential-algebraic equations and control systems : linear, nonlinear and linearizable : Analyse géométrique des équations différentielles-algébriques : linéaires, non-linéaires et linéarisables.” 2019. Web. 30 Sep 2020.

Vancouver:

Chen Y. Geometric analysis of differential-algebraic equations and control systems : linear, nonlinear and linearizable : Analyse géométrique des équations différentielles-algébriques : linéaires, non-linéaires et linéarisables. [Internet] [Doctoral dissertation]. Normandie; 2019. [cited 2020 Sep 30]. Available from: http://www.theses.fr/2019NORMIR04.

Council of Science Editors:

Chen Y. Geometric analysis of differential-algebraic equations and control systems : linear, nonlinear and linearizable : Analyse géométrique des équations différentielles-algébriques : linéaires, non-linéaires et linéarisables. [Doctoral Dissertation]. Normandie; 2019. Available from: http://www.theses.fr/2019NORMIR04


University of Michigan

29. Aloul, Fadi Ahmed. Scalable algorithms for Boolean satisfiability enabled by problem structure.

Degree: PhD, Electrical engineering, 2003, University of Michigan

 The last few years have seen an increasing interest in Boolean Satisfiability (SAT), spurred in part by the recent availability of powerful SAT solvers that… (more)

Subjects/Keywords: Boolean Satisfiability; Cad; Conjunctive Normal Form; Enabled; Problem; Scalable Algorithms; Structure

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aloul, F. A. (2003). Scalable algorithms for Boolean satisfiability enabled by problem structure. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/123338

Chicago Manual of Style (16th Edition):

Aloul, Fadi Ahmed. “Scalable algorithms for Boolean satisfiability enabled by problem structure.” 2003. Doctoral Dissertation, University of Michigan. Accessed September 30, 2020. http://hdl.handle.net/2027.42/123338.

MLA Handbook (7th Edition):

Aloul, Fadi Ahmed. “Scalable algorithms for Boolean satisfiability enabled by problem structure.” 2003. Web. 30 Sep 2020.

Vancouver:

Aloul FA. Scalable algorithms for Boolean satisfiability enabled by problem structure. [Internet] [Doctoral dissertation]. University of Michigan; 2003. [cited 2020 Sep 30]. Available from: http://hdl.handle.net/2027.42/123338.

Council of Science Editors:

Aloul FA. Scalable algorithms for Boolean satisfiability enabled by problem structure. [Doctoral Dissertation]. University of Michigan; 2003. Available from: http://hdl.handle.net/2027.42/123338


Universidade Estadual de Campinas

30. Martins, Ricardo Miranda, 1983-. Equações diferenciais = reversibilidade e bifurcações: Differential equations : reversibility and bifurcations.

Degree: 2011, Universidade Estadual de Campinas

 Abstract: In the first part of this thesis, we study the similarity between reversible and Hamiltonian dynamical systems, from a formal viewpoint. We restrict ourselves… (more)

Subjects/Keywords: Teoria dos sistemas dinâmicos; Formas normais (Matemática); Simetria (Matemática); Sistemas hamiltonianos; Dynamical systems; Normal form (Mathematics); Symmetry (Mathematics); Hamiltonian systems; Periodic orbits

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martins, Ricardo Miranda, 1. (2011). Equações diferenciais = reversibilidade e bifurcações: Differential equations : reversibility and bifurcations. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/305971

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):

Martins, Ricardo Miranda, 1983-. “Equações diferenciais = reversibilidade e bifurcações: Differential equations : reversibility and bifurcations.” 2011. Thesis, Universidade Estadual de Campinas. Accessed September 30, 2020. http://repositorio.unicamp.br/jspui/handle/REPOSIP/305971.

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

MLA Handbook (7th Edition):

Martins, Ricardo Miranda, 1983-. “Equações diferenciais = reversibilidade e bifurcações: Differential equations : reversibility and bifurcations.” 2011. Web. 30 Sep 2020.

Vancouver:

Martins, Ricardo Miranda 1. Equações diferenciais = reversibilidade e bifurcações: Differential equations : reversibility and bifurcations. [Internet] [Thesis]. Universidade Estadual de Campinas; 2011. [cited 2020 Sep 30]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/305971.

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

Council of Science Editors:

Martins, Ricardo Miranda 1. Equações diferenciais = reversibilidade e bifurcações: Differential equations : reversibility and bifurcations. [Thesis]. Universidade Estadual de Campinas; 2011. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/305971

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

[1] [2] [3]

.