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:( hol vodi ). Showing records 1 – 28 of 28 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Kansas

1. Austin, Evan Christopher. HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving.

Degree: MS, Electrical Engineering & Computer Science, 2011, University of Kansas

 HaskHOL is an implementation of a HOL theorem proving capability in Haskell. Motivated by a need to integrate theorem proving capabilities into a Haskell-based tool… (more)

Subjects/Keywords: Computer science; Haskell; Hol; Theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Austin, E. C. (2011). HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving. (Masters Thesis). University of Kansas. Retrieved from http://hdl.handle.net/1808/8037

Chicago Manual of Style (16th Edition):

Austin, Evan Christopher. “HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving.” 2011. Masters Thesis, University of Kansas. Accessed April 21, 2019. http://hdl.handle.net/1808/8037.

MLA Handbook (7th Edition):

Austin, Evan Christopher. “HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving.” 2011. Web. 21 Apr 2019.

Vancouver:

Austin EC. HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving. [Internet] [Masters thesis]. University of Kansas; 2011. [cited 2019 Apr 21]. Available from: http://hdl.handle.net/1808/8037.

Council of Science Editors:

Austin EC. HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving. [Masters Thesis]. University of Kansas; 2011. Available from: http://hdl.handle.net/1808/8037


University of New South Wales

2. von Tessin, Michael. The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels.

Degree: Computer Science & Engineering, 2013, University of New South Wales

 The key software component of a computer system is the operating-system kernel. Italways needs to be trusted because it runs in the CPU’s privileged mode… (more)

Subjects/Keywords: Microkernel; Formal verification; Multiprocessor; seL4; Isabelle/HOL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

von Tessin, M. (2013). The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/53099 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11785/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

von Tessin, Michael. “The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels.” 2013. Doctoral Dissertation, University of New South Wales. Accessed April 21, 2019. http://handle.unsw.edu.au/1959.4/53099 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11785/SOURCE01?view=true.

MLA Handbook (7th Edition):

von Tessin, Michael. “The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels.” 2013. Web. 21 Apr 2019.

Vancouver:

von Tessin M. The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels. [Internet] [Doctoral dissertation]. University of New South Wales; 2013. [cited 2019 Apr 21]. Available from: http://handle.unsw.edu.au/1959.4/53099 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11785/SOURCE01?view=true.

Council of Science Editors:

von Tessin M. The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels. [Doctoral Dissertation]. University of New South Wales; 2013. Available from: http://handle.unsw.edu.au/1959.4/53099 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11785/SOURCE01?view=true

3. Tuong, Frédéric. Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages : Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL.

Degree: Docteur es, Informatique, 2016, Paris Saclay

 Les langages de spécifications basés et orientés objets (comme UML/OCL, JML, Spec#, ou Eiffel) permettent la création et destruction, la conversion et tests de types… (more)

Subjects/Keywords: Meta Modèles; Sémantique Formelles; Isabelle/HOL; Meta Model; Formal Semantic; Isabelle/HOL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tuong, F. (2016). Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages : Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2016SACLS085

Chicago Manual of Style (16th Edition):

Tuong, Frédéric. “Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages : Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL.” 2016. Doctoral Dissertation, Paris Saclay. Accessed April 21, 2019. http://www.theses.fr/2016SACLS085.

MLA Handbook (7th Edition):

Tuong, Frédéric. “Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages : Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL.” 2016. Web. 21 Apr 2019.

Vancouver:

Tuong F. Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages : Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL. [Internet] [Doctoral dissertation]. Paris Saclay; 2016. [cited 2019 Apr 21]. Available from: http://www.theses.fr/2016SACLS085.

Council of Science Editors:

Tuong F. Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages : Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL. [Doctoral Dissertation]. Paris Saclay; 2016. Available from: http://www.theses.fr/2016SACLS085

4. Nemouchi, Yakoub. Model-based Testing of Operating System-Level Security Mechanisms : test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation.

Degree: Docteur es, Informatique, 2016, Paris Saclay

Le test à base de modèle, en particulier test basé sur des assistants à la preuve, réduit de façon transparente l'écart entre la théorie, le… (more)

Subjects/Keywords: Test; Isabelle/HOL; Méthodes formelles; Assistant de preuve; Test; Isabelle/HOL; Formal Methods; Theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nemouchi, Y. (2016). Model-based Testing of Operating System-Level Security Mechanisms : test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2016SACLS061

Chicago Manual of Style (16th Edition):

Nemouchi, Yakoub. “Model-based Testing of Operating System-Level Security Mechanisms : test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation.” 2016. Doctoral Dissertation, Paris Saclay. Accessed April 21, 2019. http://www.theses.fr/2016SACLS061.

MLA Handbook (7th Edition):

Nemouchi, Yakoub. “Model-based Testing of Operating System-Level Security Mechanisms : test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation.” 2016. Web. 21 Apr 2019.

Vancouver:

Nemouchi Y. Model-based Testing of Operating System-Level Security Mechanisms : test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation. [Internet] [Doctoral dissertation]. Paris Saclay; 2016. [cited 2019 Apr 21]. Available from: http://www.theses.fr/2016SACLS061.

Council of Science Editors:

Nemouchi Y. Model-based Testing of Operating System-Level Security Mechanisms : test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation. [Doctoral Dissertation]. Paris Saclay; 2016. Available from: http://www.theses.fr/2016SACLS061


Universitat Politècnica de València

5. PEÑARANDA CEBRIÁN, ROBERTO. Improvement of interconnection networks for clusters: direct-indirect hybrid topology and HoL-blocking reduction routing .

Degree: 2018, Universitat Politècnica de València

 Nowadays, clusters of computers are used to solve computation intensive problems. These clusters take advantage of a large number of computing nodes to provide a… (more)

Subjects/Keywords: Topologías híbridas; efecto HoL-blocking; algoritmos de encaminamiento; tolerancia a fallos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

PEÑARANDA CEBRIÁN, R. (2018). Improvement of interconnection networks for clusters: direct-indirect hybrid topology and HoL-blocking reduction routing . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/79550

Chicago Manual of Style (16th Edition):

PEÑARANDA CEBRIÁN, ROBERTO. “Improvement of interconnection networks for clusters: direct-indirect hybrid topology and HoL-blocking reduction routing .” 2018. Doctoral Dissertation, Universitat Politècnica de València. Accessed April 21, 2019. http://hdl.handle.net/10251/79550.

MLA Handbook (7th Edition):

PEÑARANDA CEBRIÁN, ROBERTO. “Improvement of interconnection networks for clusters: direct-indirect hybrid topology and HoL-blocking reduction routing .” 2018. Web. 21 Apr 2019.

Vancouver:

PEÑARANDA CEBRIÁN R. Improvement of interconnection networks for clusters: direct-indirect hybrid topology and HoL-blocking reduction routing . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2018. [cited 2019 Apr 21]. Available from: http://hdl.handle.net/10251/79550.

Council of Science Editors:

PEÑARANDA CEBRIÁN R. Improvement of interconnection networks for clusters: direct-indirect hybrid topology and HoL-blocking reduction routing . [Doctoral Dissertation]. Universitat Politècnica de València; 2018. Available from: http://hdl.handle.net/10251/79550


University of Cambridge

6. Li, Wenda. Towards justifying computer algebra algorithms in Isabelle/HOL .

Degree: 2019, University of Cambridge

 As verification efforts using interactive theorem proving grow, we are in need of certified algorithms in computer algebra to tackle problems over the real numbers.… (more)

Subjects/Keywords: formal verification; theorem proving; Isabelle/HOL; computer algebra; cylindrical algebraic decomposition

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, W. (2019). Towards justifying computer algebra algorithms in Isabelle/HOL . (Thesis). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/289389

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

Li, Wenda. “Towards justifying computer algebra algorithms in Isabelle/HOL .” 2019. Thesis, University of Cambridge. Accessed April 21, 2019. https://www.repository.cam.ac.uk/handle/1810/289389.

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

MLA Handbook (7th Edition):

Li, Wenda. “Towards justifying computer algebra algorithms in Isabelle/HOL .” 2019. Web. 21 Apr 2019.

Vancouver:

Li W. Towards justifying computer algebra algorithms in Isabelle/HOL . [Internet] [Thesis]. University of Cambridge; 2019. [cited 2019 Apr 21]. Available from: https://www.repository.cam.ac.uk/handle/1810/289389.

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

Council of Science Editors:

Li W. Towards justifying computer algebra algorithms in Isabelle/HOL . [Thesis]. University of Cambridge; 2019. Available from: https://www.repository.cam.ac.uk/handle/1810/289389

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


University of Cambridge

7. Li, Wenda. Towards justifying computer algebra algorithms in Isabelle/HOL.

Degree: PhD, 2019, University of Cambridge

 As verification efforts using interactive theorem proving grow, we are in need of certified algorithms in computer algebra to tackle problems over the real numbers.… (more)

Subjects/Keywords: formal verification; theorem proving; Isabelle/HOL; computer algebra; cylindrical algebraic decomposition

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, W. (2019). Towards justifying computer algebra algorithms in Isabelle/HOL. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/289389 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.767793

Chicago Manual of Style (16th Edition):

Li, Wenda. “Towards justifying computer algebra algorithms in Isabelle/HOL.” 2019. Doctoral Dissertation, University of Cambridge. Accessed April 21, 2019. https://www.repository.cam.ac.uk/handle/1810/289389 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.767793.

MLA Handbook (7th Edition):

Li, Wenda. “Towards justifying computer algebra algorithms in Isabelle/HOL.” 2019. Web. 21 Apr 2019.

Vancouver:

Li W. Towards justifying computer algebra algorithms in Isabelle/HOL. [Internet] [Doctoral dissertation]. University of Cambridge; 2019. [cited 2019 Apr 21]. Available from: https://www.repository.cam.ac.uk/handle/1810/289389 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.767793.

Council of Science Editors:

Li W. Towards justifying computer algebra algorithms in Isabelle/HOL. [Doctoral Dissertation]. University of Cambridge; 2019. Available from: https://www.repository.cam.ac.uk/handle/1810/289389 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.767793

8. 矢竹, 健朗. 高階述語論理定理証明器HOLのための問題領域ライブラリの構築.

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

Supervisor:片山 卓也

情報科学研究科

修士

Subjects/Keywords: HOL, 問題領域, オブジェクト指向; HOL, problem domain, object oriented

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

矢竹, . (n.d.). 高階述語論理定理証明器HOLのための問題領域ライブラリの構築. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1539

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

矢竹, 健朗. “高階述語論理定理証明器HOLのための問題領域ライブラリの構築.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed April 21, 2019. http://hdl.handle.net/10119/1539.

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

矢竹, 健朗. “高階述語論理定理証明器HOLのための問題領域ライブラリの構築.” Web. 21 Apr 2019.

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

Vancouver:

矢竹 . 高階述語論理定理証明器HOLのための問題領域ライブラリの構築. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Apr 21]. Available from: http://hdl.handle.net/10119/1539.

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:

矢竹 . 高階述語論理定理証明器HOLのための問題領域ライブラリの構築. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1539

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


University of New South Wales

9. Cliffe, Simon. The Genetic basis of two Autosomal-Recessive Disorders of Immune Dysfunction.

Degree: Medical Sciences, 2012, University of New South Wales

 This thesis describes the mapping and characterisation of the genetic basis of two unrelated disorders of immune function; veno-occlusive disease with immunodeficiency (VODI), and pigmented… (more)

Subjects/Keywords: SLC29A3; SP110; Veno occlusive disease with immunodeficiency; Pigmented hypertrichosis with insulin-dependent diabetes mellitus; VODI; PHID

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cliffe, S. (2012). The Genetic basis of two Autosomal-Recessive Disorders of Immune Dysfunction. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52275 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10947/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Cliffe, Simon. “The Genetic basis of two Autosomal-Recessive Disorders of Immune Dysfunction.” 2012. Doctoral Dissertation, University of New South Wales. Accessed April 21, 2019. http://handle.unsw.edu.au/1959.4/52275 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10947/SOURCE01?view=true.

MLA Handbook (7th Edition):

Cliffe, Simon. “The Genetic basis of two Autosomal-Recessive Disorders of Immune Dysfunction.” 2012. Web. 21 Apr 2019.

Vancouver:

Cliffe S. The Genetic basis of two Autosomal-Recessive Disorders of Immune Dysfunction. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2019 Apr 21]. Available from: http://handle.unsw.edu.au/1959.4/52275 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10947/SOURCE01?view=true.

Council of Science Editors:

Cliffe S. The Genetic basis of two Autosomal-Recessive Disorders of Immune Dysfunction. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52275 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10947/SOURCE01?view=true


Universidade do Rio Grande do Norte

10. Fontes, Raphael Siqueira. Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual .

Degree: 2013, Universidade do Rio Grande do Norte

 The growing demand in the use of hybrid composite materials makes it essential a better understanding of their behavior face of various design conditions, such… (more)

Subjects/Keywords: Compósitos Poliméricos Híbridos. Furo Central. Propriedades Mecânicas. Resistência Residual. Fratura; Hybrid Polymeric Composites. Open Hol. Mechanical Properties. Residual Strength. Fracture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fontes, R. S. (2013). Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual . (Masters Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/15693

Chicago Manual of Style (16th Edition):

Fontes, Raphael Siqueira. “Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual .” 2013. Masters Thesis, Universidade do Rio Grande do Norte. Accessed April 21, 2019. http://repositorio.ufrn.br/handle/123456789/15693.

MLA Handbook (7th Edition):

Fontes, Raphael Siqueira. “Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual .” 2013. Web. 21 Apr 2019.

Vancouver:

Fontes RS. Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual . [Internet] [Masters thesis]. Universidade do Rio Grande do Norte; 2013. [cited 2019 Apr 21]. Available from: http://repositorio.ufrn.br/handle/123456789/15693.

Council of Science Editors:

Fontes RS. Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual . [Masters Thesis]. Universidade do Rio Grande do Norte; 2013. Available from: http://repositorio.ufrn.br/handle/123456789/15693


Universidade do Rio Grande do Norte

11. Fontes, Raphael Siqueira. Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual .

Degree: 2013, Universidade do Rio Grande do Norte

 The growing demand in the use of hybrid composite materials makes it essential a better understanding of their behavior face of various design conditions, such… (more)

Subjects/Keywords: Compósitos Poliméricos Híbridos. Furo Central. Propriedades Mecânicas. Resistência Residual. Fratura; Hybrid Polymeric Composites. Open Hol. Mechanical Properties. Residual Strength. Fracture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fontes, R. S. (2013). Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual . (Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/15693

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

Fontes, Raphael Siqueira. “Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual .” 2013. Thesis, Universidade do Rio Grande do Norte. Accessed April 21, 2019. http://repositorio.ufrn.br/handle/123456789/15693.

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

MLA Handbook (7th Edition):

Fontes, Raphael Siqueira. “Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual .” 2013. Web. 21 Apr 2019.

Vancouver:

Fontes RS. Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2013. [cited 2019 Apr 21]. Available from: http://repositorio.ufrn.br/handle/123456789/15693.

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

Council of Science Editors:

Fontes RS. Compósito Polimérico Híbrido: Comportamento Mecãnico, Descotinuidade Geométrica e Resistência Residual . [Thesis]. Universidade do Rio Grande do Norte; 2013. Available from: http://repositorio.ufrn.br/handle/123456789/15693

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


University of Debrecen

12. Tóth, Krisztina. A könyvtári tájékoztatás jelene és jövője, új lehetőségei az online referensz hazai és külföldi vonatkozásában .

Degree: DE – TEK – Informatikai Kar, 2007, University of Debrecen

 A jó információs szolgáltatások előnyt jelentenek, ezeket a használókkal is meg kell ismertetni. Ennek eszköze az Internet is, amely már szinte nélkülözhetetlen információforrás. Az emberiség… (more)

Subjects/Keywords: tájékoztatás; online; referensz; kultúra; Mit-Hol; Libinfo

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tóth, K. (2007). A könyvtári tájékoztatás jelene és jövője, új lehetőségei az online referensz hazai és külföldi vonatkozásában . (Thesis). University of Debrecen. Retrieved from http://hdl.handle.net/2437/1008

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

Tóth, Krisztina. “A könyvtári tájékoztatás jelene és jövője, új lehetőségei az online referensz hazai és külföldi vonatkozásában .” 2007. Thesis, University of Debrecen. Accessed April 21, 2019. http://hdl.handle.net/2437/1008.

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

MLA Handbook (7th Edition):

Tóth, Krisztina. “A könyvtári tájékoztatás jelene és jövője, új lehetőségei az online referensz hazai és külföldi vonatkozásában .” 2007. Web. 21 Apr 2019.

Vancouver:

Tóth K. A könyvtári tájékoztatás jelene és jövője, új lehetőségei az online referensz hazai és külföldi vonatkozásában . [Internet] [Thesis]. University of Debrecen; 2007. [cited 2019 Apr 21]. Available from: http://hdl.handle.net/2437/1008.

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

Council of Science Editors:

Tóth K. A könyvtári tájékoztatás jelene és jövője, új lehetőségei az online referensz hazai és külföldi vonatkozásában . [Thesis]. University of Debrecen; 2007. Available from: http://hdl.handle.net/2437/1008

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


Australian National University

13. Barthwal, Aditi. A formalisation of the theory of context-free languages in higher order logic .

Degree: 2010, Australian National University

 We present a formalisation of the theory of context-free languages using the HOL4 theorem prover. The formalisation of this theory is not only interesting in… (more)

Subjects/Keywords: HOL; HOL4; formalisation; context-free languages; theorem prover; context-free grammar; mechanisation; pumping lemma; SLR parser; pushdown automata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Barthwal, A. (2010). A formalisation of the theory of context-free languages in higher order logic . (Thesis). Australian National University. Retrieved from http://hdl.handle.net/1885/16399

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

Barthwal, Aditi. “A formalisation of the theory of context-free languages in higher order logic .” 2010. Thesis, Australian National University. Accessed April 21, 2019. http://hdl.handle.net/1885/16399.

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

MLA Handbook (7th Edition):

Barthwal, Aditi. “A formalisation of the theory of context-free languages in higher order logic .” 2010. Web. 21 Apr 2019.

Vancouver:

Barthwal A. A formalisation of the theory of context-free languages in higher order logic . [Internet] [Thesis]. Australian National University; 2010. [cited 2019 Apr 21]. Available from: http://hdl.handle.net/1885/16399.

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

Council of Science Editors:

Barthwal A. A formalisation of the theory of context-free languages in higher order logic . [Thesis]. Australian National University; 2010. Available from: http://hdl.handle.net/1885/16399

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

14. Virant, Gregor. Idejna zasnova letališča na vodi in njegova umestitev v prostor.

Degree: 2017, Univerza v Mariboru

Na območju slovenske obale so bili hidroplani prisotni že od zgodnjih let razvoja pomorskega letalstva, ki je razcvet doživelo v dvajsetih in tridesetih letih dvajsetega… (more)

Subjects/Keywords: amfibijsko letalo; gašenje požarov iz zraka; letališče na vodi; vodni kanal; vodno letalo/hidroplan; amphibian; aerial firefighting; seaplane base; sea lane; seaplane

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Virant, G. (2017). Idejna zasnova letališča na vodi in njegova umestitev v prostor. (Masters Thesis). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=65937 ; https://dk.um.si/Dokument.php?id=112185&dn=

Chicago Manual of Style (16th Edition):

Virant, Gregor. “Idejna zasnova letališča na vodi in njegova umestitev v prostor.” 2017. Masters Thesis, Univerza v Mariboru. Accessed April 21, 2019. https://dk.um.si/IzpisGradiva.php?id=65937 ; https://dk.um.si/Dokument.php?id=112185&dn=.

MLA Handbook (7th Edition):

Virant, Gregor. “Idejna zasnova letališča na vodi in njegova umestitev v prostor.” 2017. Web. 21 Apr 2019.

Vancouver:

Virant G. Idejna zasnova letališča na vodi in njegova umestitev v prostor. [Internet] [Masters thesis]. Univerza v Mariboru; 2017. [cited 2019 Apr 21]. Available from: https://dk.um.si/IzpisGradiva.php?id=65937 ; https://dk.um.si/Dokument.php?id=112185&dn=.

Council of Science Editors:

Virant G. Idejna zasnova letališča na vodi in njegova umestitev v prostor. [Masters Thesis]. Univerza v Mariboru; 2017. Available from: https://dk.um.si/IzpisGradiva.php?id=65937 ; https://dk.um.si/Dokument.php?id=112185&dn=

15. 矢竹, 健朗. 定理証明器HOLにおけるオブジェクト指向理論の構築.

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

Supervisor:片山 卓也

情報科学研究科

博士

Subjects/Keywords: オブジェクト指向,定理証明,HOL,不変表明,コラボレーション; Object-Oriented, theorem proving, HOL, invariant

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

矢竹, . (n.d.). 定理証明器HOLにおけるオブジェクト指向理論の構築. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/975

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

矢竹, 健朗. “定理証明器HOLにおけるオブジェクト指向理論の構築.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed April 21, 2019. http://hdl.handle.net/10119/975.

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

矢竹, 健朗. “定理証明器HOLにおけるオブジェクト指向理論の構築.” Web. 21 Apr 2019.

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

Vancouver:

矢竹 . 定理証明器HOLにおけるオブジェクト指向理論の構築. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Apr 21]. Available from: http://hdl.handle.net/10119/975.

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:

矢竹 . 定理証明器HOLにおけるオブジェクト指向理論の構築. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/975

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


University of Ottawa

16. Martin, Alan J. Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study .

Degree: 2010, University of Ottawa

 We present a series of improvements to the Hybrid system, a formal theory implemented in Isabelle/HOL to support specifying and reasoning about formal systems using… (more)

Subjects/Keywords: formal proof; higher-order abstract syntax; higher-order logic; Hybrid; interactive theorem proving; Isabelle/HOL; representational adequacy; set-theoretic semantics; variable binding

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martin, A. J. (2010). Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/19711

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

Martin, Alan J. “Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study .” 2010. Thesis, University of Ottawa. Accessed April 21, 2019. http://hdl.handle.net/10393/19711.

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

MLA Handbook (7th Edition):

Martin, Alan J. “Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study .” 2010. Web. 21 Apr 2019.

Vancouver:

Martin AJ. Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study . [Internet] [Thesis]. University of Ottawa; 2010. [cited 2019 Apr 21]. Available from: http://hdl.handle.net/10393/19711.

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

Council of Science Editors:

Martin AJ. Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study . [Thesis]. University of Ottawa; 2010. Available from: http://hdl.handle.net/10393/19711

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


Oklahoma State University

17. Kautz, Kay D. Grid and Group Explanation of Educational Assumptions Among Professors and International Students.

Degree: School of Teaching and Curriculum Leadership, 2008, Oklahoma State University

 This qualitative case study analyzes educational assumptions of professors and international students in an international graduate program. Today's higher education landscape is a broad mix… (more)

Subjects/Keywords: international education; educational assumptions; cultural theory; grid and group typology; graduate studies; hol

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kautz, K. D. (2008). Grid and Group Explanation of Educational Assumptions Among Professors and International Students. (Thesis). Oklahoma State University. Retrieved from http://hdl.handle.net/11244/7456

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

Kautz, Kay D. “Grid and Group Explanation of Educational Assumptions Among Professors and International Students.” 2008. Thesis, Oklahoma State University. Accessed April 21, 2019. http://hdl.handle.net/11244/7456.

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

MLA Handbook (7th Edition):

Kautz, Kay D. “Grid and Group Explanation of Educational Assumptions Among Professors and International Students.” 2008. Web. 21 Apr 2019.

Vancouver:

Kautz KD. Grid and Group Explanation of Educational Assumptions Among Professors and International Students. [Internet] [Thesis]. Oklahoma State University; 2008. [cited 2019 Apr 21]. Available from: http://hdl.handle.net/11244/7456.

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

Council of Science Editors:

Kautz KD. Grid and Group Explanation of Educational Assumptions Among Professors and International Students. [Thesis]. Oklahoma State University; 2008. Available from: http://hdl.handle.net/11244/7456

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

18. Kramberger, Boris. Procesiranje stranskih produktov iz proizvodnje biodizla.

Degree: 2013, Univerza v Mariboru

V disertaciji smo iz proizvodnje biodizla preučevali eno izmed več moţnosti procesiranja stranskega produkta glicerola. Dobljeni glicerol smo najprej uplinjali v visokotemperaturnem in visokotlačnem reaktorju… (more)

Subjects/Keywords: superkritični fluid; uplinjanje v superkritični vodi; glicerol; fazno ravnoteţje; visok tlak; visoka temperatura; suhi reforming metana; korelacija podatkov; supercritical fluids; supercritical water gasification; glycerol; phase equilibria; high pressure; high temperature; dry reforming of methane; data correlation; info:eu-repo/classification/udc/54-139:604.2:661.181(043.3)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kramberger, B. (2013). Procesiranje stranskih produktov iz proizvodnje biodizla. (Doctoral Dissertation). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=41511 ; https://dk.um.si/Dokument.php?id=60405&dn= ; https://plus.si.cobiss.net/opac7/bib/17296150?lang=sl

Chicago Manual of Style (16th Edition):

Kramberger, Boris. “Procesiranje stranskih produktov iz proizvodnje biodizla.” 2013. Doctoral Dissertation, Univerza v Mariboru. Accessed April 21, 2019. https://dk.um.si/IzpisGradiva.php?id=41511 ; https://dk.um.si/Dokument.php?id=60405&dn= ; https://plus.si.cobiss.net/opac7/bib/17296150?lang=sl.

MLA Handbook (7th Edition):

Kramberger, Boris. “Procesiranje stranskih produktov iz proizvodnje biodizla.” 2013. Web. 21 Apr 2019.

Vancouver:

Kramberger B. Procesiranje stranskih produktov iz proizvodnje biodizla. [Internet] [Doctoral dissertation]. Univerza v Mariboru; 2013. [cited 2019 Apr 21]. Available from: https://dk.um.si/IzpisGradiva.php?id=41511 ; https://dk.um.si/Dokument.php?id=60405&dn= ; https://plus.si.cobiss.net/opac7/bib/17296150?lang=sl.

Council of Science Editors:

Kramberger B. Procesiranje stranskih produktov iz proizvodnje biodizla. [Doctoral Dissertation]. Univerza v Mariboru; 2013. Available from: https://dk.um.si/IzpisGradiva.php?id=41511 ; https://dk.um.si/Dokument.php?id=60405&dn= ; https://plus.si.cobiss.net/opac7/bib/17296150?lang=sl

19. Krieger, Matthias. Test generation and animation based on object-oriented specifications : Génération de tests et animation à partir de spécifications orientées objet.

Degree: Docteur es, Informatique, 2011, Université Paris-Sud – Paris XI

L'objectif de cette thèse est l'assistance à la génération de tests et à l'animation de spécifications orientées objet. Nous cherchons en particulier à profiter de… (more)

Subjects/Keywords: Génération de tests; Animation; Execution de modèle; UML; OCL; Solveurs SAT; Isabelle/HOL; Test generation; Animation; Model Execution; UML; OCL; SAT solvers; Isabelle/HOL

HOL . . . . . . . . . . . . . . . . . . . 2.3 Specification Based Testing with HOL-TestGen… …2.3.3 The HOL-TestGen Tool . . . . . . . . . 2.4 The Object Constraint Language (OCL)… …5 5 5 7 8 10 13 15 16 19 20 23 3 Modular Test Theorem Derivation in HOL-TestGen 3.1… …Constraints . . . . . . . . . . . . . . 4.4.1 Recursion in HOL… …into Recursive HOL Predicates 9.1.3 Translating Contracts into HOL… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krieger, M. (2011). Test generation and animation based on object-oriented specifications : Génération de tests et animation à partir de spécifications orientées objet. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2011PA112299

Chicago Manual of Style (16th Edition):

Krieger, Matthias. “Test generation and animation based on object-oriented specifications : Génération de tests et animation à partir de spécifications orientées objet.” 2011. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed April 21, 2019. http://www.theses.fr/2011PA112299.

MLA Handbook (7th Edition):

Krieger, Matthias. “Test generation and animation based on object-oriented specifications : Génération de tests et animation à partir de spécifications orientées objet.” 2011. Web. 21 Apr 2019.

Vancouver:

Krieger M. Test generation and animation based on object-oriented specifications : Génération de tests et animation à partir de spécifications orientées objet. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2011. [cited 2019 Apr 21]. Available from: http://www.theses.fr/2011PA112299.

Council of Science Editors:

Krieger M. Test generation and animation based on object-oriented specifications : Génération de tests et animation à partir de spécifications orientées objet. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2011. Available from: http://www.theses.fr/2011PA112299

20. Nikolić Zoran. The method for determing the efficiency of the impressed current system of cathodic protection of the vessels from the corrosion.

Degree: PhD, Mechanical Engineering, 1995, University of Belgrade

The corrosion of the underwater part of the ship hull is one of the very important problems in shipbuilding. Beside the elementary way of protection,… (more)

Subjects/Keywords: Cathodic protection; factors of corrosion; impressed current system; river water protection; sea water protection; measuring the potential of the ship; potential distribution; numerically calculation; criteria for protection; Katodna zaštita; faktori korozije; sistem aktivne katodne zaštite; zaštita u rečnoj vodi; zaštita u morskoj vodi; merenje potencijala broda; raspodela potencijala; numerički proračun; kriterijum zaštite

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zoran, N. (1995). The method for determing the efficiency of the impressed current system of cathodic protection of the vessels from the corrosion. (Doctoral Dissertation). University of Belgrade. Retrieved from http://dx.doi.org/10.2298/BG19951006NIKOLIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=432 ; https://fedorabg.bg.ac.rs/fedora/get/o:6220/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=13433615

Chicago Manual of Style (16th Edition):

Zoran, Nikolić. “The method for determing the efficiency of the impressed current system of cathodic protection of the vessels from the corrosion.” 1995. Doctoral Dissertation, University of Belgrade. Accessed April 21, 2019. http://dx.doi.org/10.2298/BG19951006NIKOLIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=432 ; https://fedorabg.bg.ac.rs/fedora/get/o:6220/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=13433615.

MLA Handbook (7th Edition):

Zoran, Nikolić. “The method for determing the efficiency of the impressed current system of cathodic protection of the vessels from the corrosion.” 1995. Web. 21 Apr 2019.

Vancouver:

Zoran N. The method for determing the efficiency of the impressed current system of cathodic protection of the vessels from the corrosion. [Internet] [Doctoral dissertation]. University of Belgrade; 1995. [cited 2019 Apr 21]. Available from: http://dx.doi.org/10.2298/BG19951006NIKOLIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=432 ; https://fedorabg.bg.ac.rs/fedora/get/o:6220/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=13433615.

Council of Science Editors:

Zoran N. The method for determing the efficiency of the impressed current system of cathodic protection of the vessels from the corrosion. [Doctoral Dissertation]. University of Belgrade; 1995. Available from: http://dx.doi.org/10.2298/BG19951006NIKOLIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=432 ; https://fedorabg.bg.ac.rs/fedora/get/o:6220/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=13433615


Indian Institute of Science

21. Nischal, S. Cooperative Communication and QoS in Infrastructure WLANs.

Degree: 2014, Indian Institute of Science

 IEEE 802.11 wireless LANs operating in the infrastructure mode are extremely popular and have seen widespread deployment because of their convenience and cost efficiency. A… (more)

Subjects/Keywords: Cooperative Communication; Infrastructure WLANs Quality of Service; Infrastructure Wireless Local Area Networks; Opportunistic Scheduling; Wireless Local Area Networks; IEEE 802.11 Wireless Local Area Networks; Cooperative Opportunistic Automatic Repeat ReQuest (CoARQ); Head-of-Line (HOL) Blocking; Wireless Communication; Quality of Service; Cooperative ARQ Scheme; Electrical Communication Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nischal, S. (2014). Cooperative Communication and QoS in Infrastructure WLANs. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/2005/3487 ; http://etd.iisc.ernet.in/abstracts/4354/G26578-Abs.pdf

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

Chicago Manual of Style (16th Edition):

Nischal, S. “Cooperative Communication and QoS in Infrastructure WLANs.” 2014. Thesis, Indian Institute of Science. Accessed April 21, 2019. http://etd.iisc.ernet.in/2005/3487 ; http://etd.iisc.ernet.in/abstracts/4354/G26578-Abs.pdf.

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

MLA Handbook (7th Edition):

Nischal, S. “Cooperative Communication and QoS in Infrastructure WLANs.” 2014. Web. 21 Apr 2019.

Vancouver:

Nischal S. Cooperative Communication and QoS in Infrastructure WLANs. [Internet] [Thesis]. Indian Institute of Science; 2014. [cited 2019 Apr 21]. Available from: http://etd.iisc.ernet.in/2005/3487 ; http://etd.iisc.ernet.in/abstracts/4354/G26578-Abs.pdf.

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

Council of Science Editors:

Nischal S. Cooperative Communication and QoS in Infrastructure WLANs. [Thesis]. Indian Institute of Science; 2014. Available from: http://etd.iisc.ernet.in/2005/3487 ; http://etd.iisc.ernet.in/abstracts/4354/G26578-Abs.pdf

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

22. 徳田, 拓. 組織内データセキュリティの定理証明による検証に関する研究.

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

Supervisor:片山 卓也

情報科学研究科

修士

Subjects/Keywords: 定理証明,HOL,オブジェクト指向,コラボレーション,情報セキュリティ; jaist-e-master-abstract.sty, title, author, school

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/1988

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 April 21, 2019. http://hdl.handle.net/10119/1988.

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. 21 Apr 2019.

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 2019 Apr 21]. Available from: http://hdl.handle.net/10119/1988.

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/1988

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


University of Miami

23. Porter, Megan Ann. Managing Coral Reefs in the Face of Global Climate Change: Developing a Coral Resilience Framework.

Degree: MS, Marine Affairs and Policy (Marine), 2010, University of Miami

 Two experiments were performed to determine the effect of ocean acidification on Montastraea faveolata vertical skeletal growth and lesion healing. The first experiment used three… (more)

Subjects/Keywords: St. Eustatius National Marine Park; St. Maarten Marine Park; Biscayne National Park; Glover's Reef Marine Reserve; Bonaire National Marine Park; St. Croix East End Marine Park; Hol Chan Marine Reserve; Coral Reef Conservation; Management Action; Marine Protected Areas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Porter, M. A. (2010). Managing Coral Reefs in the Face of Global Climate Change: Developing a Coral Resilience Framework. (Thesis). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_theses/393

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

Porter, Megan Ann. “Managing Coral Reefs in the Face of Global Climate Change: Developing a Coral Resilience Framework.” 2010. Thesis, University of Miami. Accessed April 21, 2019. https://scholarlyrepository.miami.edu/oa_theses/393.

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

MLA Handbook (7th Edition):

Porter, Megan Ann. “Managing Coral Reefs in the Face of Global Climate Change: Developing a Coral Resilience Framework.” 2010. Web. 21 Apr 2019.

Vancouver:

Porter MA. Managing Coral Reefs in the Face of Global Climate Change: Developing a Coral Resilience Framework. [Internet] [Thesis]. University of Miami; 2010. [cited 2019 Apr 21]. Available from: https://scholarlyrepository.miami.edu/oa_theses/393.

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

Council of Science Editors:

Porter MA. Managing Coral Reefs in the Face of Global Climate Change: Developing a Coral Resilience Framework. [Thesis]. University of Miami; 2010. Available from: https://scholarlyrepository.miami.edu/oa_theses/393

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

24. Hajnc, Simon. Tok vode in onesnaževal skozi nenasičeno sredino.

Degree: 2016, Univerza v Mariboru

V magistrskem delu smo naredili simulacije toka padavinske vode in onesnaževala skozi nenasičeno cono vodonosnika na Apaškem polju s programom HYDRUS 1D. V ta namen… (more)

Subjects/Keywords: HYDRUS 1D; simulacija toka vode in onesnaževala skozi nenasičeno cono; veriga razpada urea; nitrifikacija; nitrat v podzemni vodi; Apaško polje; HYDRUS 1D; simulation of water and pollutants flow through unsaturated zone; urea decay chain; nitrification chain; nitrate in groundwater; Apaško polje; info:eu-repo/classification/udc/[519.6:536.54]:628.19(043.2)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hajnc, S. (2016). Tok vode in onesnaževal skozi nenasičeno sredino. (Masters Thesis). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=61435 ; https://dk.um.si/Dokument.php?id=99999&dn= ; http://www.cobiss.si/scripts/cobiss?command=DISPLAY&base=cobib&rid=20026390&fmt=11

Chicago Manual of Style (16th Edition):

Hajnc, Simon. “Tok vode in onesnaževal skozi nenasičeno sredino.” 2016. Masters Thesis, Univerza v Mariboru. Accessed April 21, 2019. https://dk.um.si/IzpisGradiva.php?id=61435 ; https://dk.um.si/Dokument.php?id=99999&dn= ; http://www.cobiss.si/scripts/cobiss?command=DISPLAY&base=cobib&rid=20026390&fmt=11.

MLA Handbook (7th Edition):

Hajnc, Simon. “Tok vode in onesnaževal skozi nenasičeno sredino.” 2016. Web. 21 Apr 2019.

Vancouver:

Hajnc S. Tok vode in onesnaževal skozi nenasičeno sredino. [Internet] [Masters thesis]. Univerza v Mariboru; 2016. [cited 2019 Apr 21]. Available from: https://dk.um.si/IzpisGradiva.php?id=61435 ; https://dk.um.si/Dokument.php?id=99999&dn= ; http://www.cobiss.si/scripts/cobiss?command=DISPLAY&base=cobib&rid=20026390&fmt=11.

Council of Science Editors:

Hajnc S. Tok vode in onesnaževal skozi nenasičeno sredino. [Masters Thesis]. Univerza v Mariboru; 2016. Available from: https://dk.um.si/IzpisGradiva.php?id=61435 ; https://dk.um.si/Dokument.php?id=99999&dn= ; http://www.cobiss.si/scripts/cobiss?command=DISPLAY&base=cobib&rid=20026390&fmt=11


KTH

25. Lundberg, Didrik. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions.

Degree: TCS, 2018, KTH

Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an… (more)

Subjects/Keywords: HOL4; HOL; Higher-order logic; SML; Poly/ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning; Computer Sciences; Datavetenskap (datalogi); Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lundberg, D. (2018). Provably Sound and Secure Automatic Proving and Generation of Verification Conditions. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239441

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

Lundberg, Didrik. “Provably Sound and Secure Automatic Proving and Generation of Verification Conditions.” 2018. Thesis, KTH. Accessed April 21, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239441.

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

MLA Handbook (7th Edition):

Lundberg, Didrik. “Provably Sound and Secure Automatic Proving and Generation of Verification Conditions.” 2018. Web. 21 Apr 2019.

Vancouver:

Lundberg D. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions. [Internet] [Thesis]. KTH; 2018. [cited 2019 Apr 21]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239441.

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

Council of Science Editors:

Lundberg D. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions. [Thesis]. KTH; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239441

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


University of Rhode Island

26. Baker, Pamela Barrick. Effects of the Hol Chan Marine Reserve (Belize) on Associated Coral Reef Finfish Populations.

Degree: 1992, University of Rhode Island

 People throughout the Caribbean depend on fishery resources for subsistence and income. Overfishing is a concern in many areas and the need for resource management… (more)

Subjects/Keywords: Caribbean Sea; coral reef; Hol Chan Marine Reserve; HCMR; Belize; fishery management; Tres Cocos; fish stock assessment; Aquaculture and Fisheries; Oceanography and Atmospheric Sciences and Meteorology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Baker, P. B. (1992). Effects of the Hol Chan Marine Reserve (Belize) on Associated Coral Reef Finfish Populations. (Masters Thesis). University of Rhode Island. Retrieved from http://digitalcommons.uri.edu/ma_etds/278

Chicago Manual of Style (16th Edition):

Baker, Pamela Barrick. “Effects of the Hol Chan Marine Reserve (Belize) on Associated Coral Reef Finfish Populations.” 1992. Masters Thesis, University of Rhode Island. Accessed April 21, 2019. http://digitalcommons.uri.edu/ma_etds/278.

MLA Handbook (7th Edition):

Baker, Pamela Barrick. “Effects of the Hol Chan Marine Reserve (Belize) on Associated Coral Reef Finfish Populations.” 1992. Web. 21 Apr 2019.

Vancouver:

Baker PB. Effects of the Hol Chan Marine Reserve (Belize) on Associated Coral Reef Finfish Populations. [Internet] [Masters thesis]. University of Rhode Island; 1992. [cited 2019 Apr 21]. Available from: http://digitalcommons.uri.edu/ma_etds/278.

Council of Science Editors:

Baker PB. Effects of the Hol Chan Marine Reserve (Belize) on Associated Coral Reef Finfish Populations. [Masters Thesis]. University of Rhode Island; 1992. Available from: http://digitalcommons.uri.edu/ma_etds/278

27. Stevanović Magdalena. Synthesis, characterization and degradation of poly(DL-lactide-co-glycolide) nanospheres containing ascorbic acid.

Degree: PhD, Physical Chemistry, 2007, University of Belgrade

Ascorbic acid (vitamin C) is essential for preserving optimal health and it is used by the body for many purposes. Ascorbic acid acts as a… (more)

Subjects/Keywords: Biomaterials; nanomedicine; controlled drug delivery; polymers; poly(lactide-co-glycolide); water-soluble vitamins; ascorbic acid; Biomaterijali; nanomedicina; kontrolisana dostava lekova; polimeri; poli(laktid-ko-glikolid); u vodi rastvorni vitamini; askorbinska kiselina

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Magdalena, S. (2007). Synthesis, characterization and degradation of poly(DL-lactide-co-glycolide) nanospheres containing ascorbic acid. (Doctoral Dissertation). University of Belgrade. Retrieved from http://dx.doi.org/10.2298/BG20071214STEVANOVIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=446 ; http://www.itn.sanu.ac.rs/opus4/frontdoor/index/index/docId/303 ; https://fedorabg.bg.ac.rs/fedora/get/o:6256/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=33189391

Chicago Manual of Style (16th Edition):

Magdalena, Stevanović. “Synthesis, characterization and degradation of poly(DL-lactide-co-glycolide) nanospheres containing ascorbic acid.” 2007. Doctoral Dissertation, University of Belgrade. Accessed April 21, 2019. http://dx.doi.org/10.2298/BG20071214STEVANOVIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=446 ; http://www.itn.sanu.ac.rs/opus4/frontdoor/index/index/docId/303 ; https://fedorabg.bg.ac.rs/fedora/get/o:6256/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=33189391.

MLA Handbook (7th Edition):

Magdalena, Stevanović. “Synthesis, characterization and degradation of poly(DL-lactide-co-glycolide) nanospheres containing ascorbic acid.” 2007. Web. 21 Apr 2019.

Vancouver:

Magdalena S. Synthesis, characterization and degradation of poly(DL-lactide-co-glycolide) nanospheres containing ascorbic acid. [Internet] [Doctoral dissertation]. University of Belgrade; 2007. [cited 2019 Apr 21]. Available from: http://dx.doi.org/10.2298/BG20071214STEVANOVIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=446 ; http://www.itn.sanu.ac.rs/opus4/frontdoor/index/index/docId/303 ; https://fedorabg.bg.ac.rs/fedora/get/o:6256/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=33189391.

Council of Science Editors:

Magdalena S. Synthesis, characterization and degradation of poly(DL-lactide-co-glycolide) nanospheres containing ascorbic acid. [Doctoral Dissertation]. University of Belgrade; 2007. Available from: http://dx.doi.org/10.2298/BG20071214STEVANOVIC ; http://eteze.bg.ac.rs/application/showtheses?thesesId=446 ; http://www.itn.sanu.ac.rs/opus4/frontdoor/index/index/docId/303 ; https://fedorabg.bg.ac.rs/fedora/get/o:6256/bdef:Content/get ; http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=33189391

28. Nichol, Robert M. THE INTERPRETATION OF ELECTRON ENERGY-LOSS SPECTROSCOPY IN COMPLEX SYSTEMS: A DFT BASED STUDY.

Degree: MS, Materials Science and Engineering, 2015, The Ohio State University

 Electron energy-loss spectroscopy (EELS) is capable of probing the electronic structure of materials at the nanometer scale; however, accurate models for the interpretation of energy-loss… (more)

Subjects/Keywords: Biochemistry; Biomedical Research; Chemistry; Materials Science; Physics; Physical Chemistry; EELS; electron energy-loss spectroscopy; DFT; VASP; valence electron energy-loss; loss function; hydroxyapatite; bone mineral; lithium iron phosphate; screening; core-hole; core hol

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nichol, R. M. (2015). THE INTERPRETATION OF ELECTRON ENERGY-LOSS SPECTROSCOPY IN COMPLEX SYSTEMS: A DFT BASED STUDY. (Masters Thesis). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1431145968

Chicago Manual of Style (16th Edition):

Nichol, Robert M. “THE INTERPRETATION OF ELECTRON ENERGY-LOSS SPECTROSCOPY IN COMPLEX SYSTEMS: A DFT BASED STUDY.” 2015. Masters Thesis, The Ohio State University. Accessed April 21, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1431145968.

MLA Handbook (7th Edition):

Nichol, Robert M. “THE INTERPRETATION OF ELECTRON ENERGY-LOSS SPECTROSCOPY IN COMPLEX SYSTEMS: A DFT BASED STUDY.” 2015. Web. 21 Apr 2019.

Vancouver:

Nichol RM. THE INTERPRETATION OF ELECTRON ENERGY-LOSS SPECTROSCOPY IN COMPLEX SYSTEMS: A DFT BASED STUDY. [Internet] [Masters thesis]. The Ohio State University; 2015. [cited 2019 Apr 21]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1431145968.

Council of Science Editors:

Nichol RM. THE INTERPRETATION OF ELECTRON ENERGY-LOSS SPECTROSCOPY IN COMPLEX SYSTEMS: A DFT BASED STUDY. [Masters Thesis]. The Ohio State University; 2015. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1431145968

.