Advanced search options

Sorted by: relevance · author · university · date | New search

You searched for `subject:(Normal Form)`

.
Showing records 1 – 30 of
75 total matches.

Search Limiters

Dates

- 2016 – 2020 (24)
- 2011 – 2015 (24)
- 2006 – 2010 (21)

Country

- US (21)
- Czech Republic (11)

▼ 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

URL: ; https://ro.uow.edu.au/theses/3788

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-12082009-130255/ ;

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://www.teses.usp.br/teses/disponiveis/45/45132/tde-08062010-123725/ ;

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-297212

►

Å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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

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

URL: http://hdl.handle.net/11299/206317

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/1853/7121

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/11012/55127

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21052008-150202/ ;

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-11072013-165027/ ;

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://scholarlyrepository.miami.edu/oa_theses/519

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/11012/69658

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0721117-173755

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/10155/576

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://scholarlyrepository.miami.edu/oa_dissertations/1564

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/2123/9221

► 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://doi.org/10.31979/etd.9heu-wtzu ; https://scholarworks.sjsu.edu/etd_theses/3946

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/1773/37180

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10724/32704

► 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=3511

►

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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/10012/1088

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

Not specified: Masters Thesis or Doctoral Dissertation

21. ZHANG ZILONG. Supercore and Strong Nash Equilibrium.

Degree: 2010, National University of Singapore

URL: http://scholarbank.nus.edu.sg/handle/10635/20481

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://rave.ohiolink.edu/etdc/view?acc_num=osu1179515760

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://rave.ohiolink.edu/etdc/view?acc_num=osu1291174795

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10919/71760

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10179/806

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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 / 北陸先端科学技術大学院大学

URL: http://hdl.handle.net/10119/1533

大堀淳

情報科学研究科

修士

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

Record Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/1887/37052

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://www.theses.fr/2019NORMIR04

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/2027.42/123338

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/305971

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

Not specified: Masters Thesis or Doctoral Dissertation