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:( Calculus of Inductive Constructions CIC ). Showing records 1 – 30 of 228960 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


University of Ottawa

1. Vinogradova, Polina. Formalizing Abstract Computability: Turing Categories in Coq .

Degree: 2017, University of Ottawa

 The concept of a recursive function has been extensively studied using traditional tools of computability theory. However, with the development of category-theoretic methods it has… (more)

Subjects/Keywords: Category theory; Turing categories; Computability; Calculus of Inductive Constructions (CIC); Formalization; Coq proof assistant

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vinogradova, P. (2017). Formalizing Abstract Computability: Turing Categories in Coq . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/36354

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

Vinogradova, Polina. “Formalizing Abstract Computability: Turing Categories in Coq .” 2017. Thesis, University of Ottawa. Accessed August 18, 2019. http://hdl.handle.net/10393/36354.

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

MLA Handbook (7th Edition):

Vinogradova, Polina. “Formalizing Abstract Computability: Turing Categories in Coq .” 2017. Web. 18 Aug 2019.

Vancouver:

Vinogradova P. Formalizing Abstract Computability: Turing Categories in Coq . [Internet] [Thesis]. University of Ottawa; 2017. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10393/36354.

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

Council of Science Editors:

Vinogradova P. Formalizing Abstract Computability: Turing Categories in Coq . [Thesis]. University of Ottawa; 2017. Available from: http://hdl.handle.net/10393/36354

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


University of Edinburgh

2. McKinna, James H. Deliverables : a categorical approach to program development in type theory.

Degree: PhD, 1992, University of Edinburgh

 This thesis considers the problem of program correctness within a rich theory of dependent types, the Extended Calculus of Constructions (ECC). This system contains a… (more)

Subjects/Keywords: 510; type theory; Extended Calculus of Constructions; deliverables

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McKinna, J. H. (1992). Deliverables : a categorical approach to program development in type theory. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/506

Chicago Manual of Style (16th Edition):

McKinna, James H. “Deliverables : a categorical approach to program development in type theory.” 1992. Doctoral Dissertation, University of Edinburgh. Accessed August 18, 2019. http://hdl.handle.net/1842/506.

MLA Handbook (7th Edition):

McKinna, James H. “Deliverables : a categorical approach to program development in type theory.” 1992. Web. 18 Aug 2019.

Vancouver:

McKinna JH. Deliverables : a categorical approach to program development in type theory. [Internet] [Doctoral dissertation]. University of Edinburgh; 1992. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1842/506.

Council of Science Editors:

McKinna JH. Deliverables : a categorical approach to program development in type theory. [Doctoral Dissertation]. University of Edinburgh; 1992. Available from: http://hdl.handle.net/1842/506

3. Lasson, Marc. Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems.

Degree: Docteur es, Informatique, 2012, Lyon, École normale supérieure

Cette thèse porte sur l’adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous… (more)

Subjects/Keywords: Réalisabilité; Paramétricité; Relation logique; Systèmes de types purs; Types dépendants; Théorie des types; Isomorphisme de curry-howard; Lambda-calcul; Calcul des constructions; Coq; Assistants de preuve; Realizability; Parametricity; Logical relation; Pure type systems; Dependant type; Type theory; Curry-howard isomoprhism; Lambda-calculus; Calculus of constructions; Coq; Proof assistants

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lasson, M. (2012). Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems. (Doctoral Dissertation). Lyon, École normale supérieure. Retrieved from http://www.theses.fr/2012ENSL0764

Chicago Manual of Style (16th Edition):

Lasson, Marc. “Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems.” 2012. Doctoral Dissertation, Lyon, École normale supérieure. Accessed August 18, 2019. http://www.theses.fr/2012ENSL0764.

MLA Handbook (7th Edition):

Lasson, Marc. “Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems.” 2012. Web. 18 Aug 2019.

Vancouver:

Lasson M. Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems. [Internet] [Doctoral dissertation]. Lyon, École normale supérieure; 2012. [cited 2019 Aug 18]. Available from: http://www.theses.fr/2012ENSL0764.

Council of Science Editors:

Lasson M. Réalisabilité et paramétricité dans les systèmes de types purs : Realizability and parametricity in Pure Type Systems. [Doctoral Dissertation]. Lyon, École normale supérieure; 2012. Available from: http://www.theses.fr/2012ENSL0764


Euskal Herriko Unibertsitatea / Universidad del País Vasco

4. Madrid Guerrero, Maggi Isabel. Caracterización de hormigones especiales con mejora de sus propiedades térmicas para el desarrollo de sistemas prefabricados de cerramientos de bloque.

Degree: 2018, Euskal Herriko Unibertsitatea / Universidad del País Vasco

 Cuestiones ambientales como el calentamiento global, el agotamiento de los recursos naturales, la contaminación del agua, el aire y el suelo, la generación de enormes… (more)

Subjects/Keywords: concrete (technology of); prefabrited constructions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Madrid Guerrero, M. I. (2018). Caracterización de hormigones especiales con mejora de sus propiedades térmicas para el desarrollo de sistemas prefabricados de cerramientos de bloque. (Doctoral Dissertation). Euskal Herriko Unibertsitatea / Universidad del País Vasco. Retrieved from http://hdl.handle.net/10810/31604

Chicago Manual of Style (16th Edition):

Madrid Guerrero, Maggi Isabel. “Caracterización de hormigones especiales con mejora de sus propiedades térmicas para el desarrollo de sistemas prefabricados de cerramientos de bloque. ” 2018. Doctoral Dissertation, Euskal Herriko Unibertsitatea / Universidad del País Vasco. Accessed August 18, 2019. http://hdl.handle.net/10810/31604.

MLA Handbook (7th Edition):

Madrid Guerrero, Maggi Isabel. “Caracterización de hormigones especiales con mejora de sus propiedades térmicas para el desarrollo de sistemas prefabricados de cerramientos de bloque. ” 2018. Web. 18 Aug 2019.

Vancouver:

Madrid Guerrero MI. Caracterización de hormigones especiales con mejora de sus propiedades térmicas para el desarrollo de sistemas prefabricados de cerramientos de bloque. [Internet] [Doctoral dissertation]. Euskal Herriko Unibertsitatea / Universidad del País Vasco; 2018. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10810/31604.

Council of Science Editors:

Madrid Guerrero MI. Caracterización de hormigones especiales con mejora de sus propiedades térmicas para el desarrollo de sistemas prefabricados de cerramientos de bloque. [Doctoral Dissertation]. Euskal Herriko Unibertsitatea / Universidad del País Vasco; 2018. Available from: http://hdl.handle.net/10810/31604


University of Nairobi

5. Okondo, Ben M. Strategies adopted by CIC in implementation of the new constitution in Kenya .

Degree: 2012, University of Nairobi

 Strategy implementation is one of the components of strategic management. It is one of the most difficult and time consuming stage in strategic management. Strategy… (more)

Subjects/Keywords: CIC in implementation of the new constitution in Kenya

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Okondo, B. M. (2012). Strategies adopted by CIC in implementation of the new constitution in Kenya . (Thesis). University of Nairobi. Retrieved from http://erepository.uonbi.ac.ke:8080/xmlui/handle/123456789/14619

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

Okondo, Ben M. “Strategies adopted by CIC in implementation of the new constitution in Kenya .” 2012. Thesis, University of Nairobi. Accessed August 18, 2019. http://erepository.uonbi.ac.ke:8080/xmlui/handle/123456789/14619.

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

MLA Handbook (7th Edition):

Okondo, Ben M. “Strategies adopted by CIC in implementation of the new constitution in Kenya .” 2012. Web. 18 Aug 2019.

Vancouver:

Okondo BM. Strategies adopted by CIC in implementation of the new constitution in Kenya . [Internet] [Thesis]. University of Nairobi; 2012. [cited 2019 Aug 18]. Available from: http://erepository.uonbi.ac.ke:8080/xmlui/handle/123456789/14619.

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

Council of Science Editors:

Okondo BM. Strategies adopted by CIC in implementation of the new constitution in Kenya . [Thesis]. University of Nairobi; 2012. Available from: http://erepository.uonbi.ac.ke:8080/xmlui/handle/123456789/14619

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

6. Bandeira, Luís Miguel Zorro. Analysis of new situations for quasiconvexity versus rank-one convexity in 2 x 2 and other dimensions.

Degree: 2008, Universidade de Évora

 It is well-known that quasiconvexity is a fundamental concept for vector problems in the Calculus of Variations. Its main necessary condition is rankone convexity. Still… (more)

Subjects/Keywords: Quasiconvexity; Calculus of variations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bandeira, L. M. Z. (2008). Analysis of new situations for quasiconvexity versus rank-one convexity in 2 x 2 and other dimensions. (Thesis). Universidade de Évora. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11119

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

Bandeira, Luís Miguel Zorro. “Analysis of new situations for quasiconvexity versus rank-one convexity in 2 x 2 and other dimensions.” 2008. Thesis, Universidade de Évora. Accessed August 18, 2019. http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11119.

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

MLA Handbook (7th Edition):

Bandeira, Luís Miguel Zorro. “Analysis of new situations for quasiconvexity versus rank-one convexity in 2 x 2 and other dimensions.” 2008. Web. 18 Aug 2019.

Vancouver:

Bandeira LMZ. Analysis of new situations for quasiconvexity versus rank-one convexity in 2 x 2 and other dimensions. [Internet] [Thesis]. Universidade de Évora; 2008. [cited 2019 Aug 18]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11119.

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

Council of Science Editors:

Bandeira LMZ. Analysis of new situations for quasiconvexity versus rank-one convexity in 2 x 2 and other dimensions. [Thesis]. Universidade de Évora; 2008. Available from: http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11119

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


Montana State University

7. Mattern, Danny Duane. The effects of physics ranking tasks on student understanding of conceptual physics concepts.

Degree: Graduate School, 2011, Montana State University

 In this research physics ranking tasks were introduced to see if they could increase students' conceptual knowledge in general and calculus based physics courses. Assessments… (more)

Subjects/Keywords: Students Rating of.; Calculus.; Physics.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mattern, D. D. (2011). The effects of physics ranking tasks on student understanding of conceptual physics concepts. (Thesis). Montana State University. Retrieved from https://scholarworks.montana.edu/xmlui/handle/1/1806

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

Mattern, Danny Duane. “The effects of physics ranking tasks on student understanding of conceptual physics concepts.” 2011. Thesis, Montana State University. Accessed August 18, 2019. https://scholarworks.montana.edu/xmlui/handle/1/1806.

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

MLA Handbook (7th Edition):

Mattern, Danny Duane. “The effects of physics ranking tasks on student understanding of conceptual physics concepts.” 2011. Web. 18 Aug 2019.

Vancouver:

Mattern DD. The effects of physics ranking tasks on student understanding of conceptual physics concepts. [Internet] [Thesis]. Montana State University; 2011. [cited 2019 Aug 18]. Available from: https://scholarworks.montana.edu/xmlui/handle/1/1806.

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

Council of Science Editors:

Mattern DD. The effects of physics ranking tasks on student understanding of conceptual physics concepts. [Thesis]. Montana State University; 2011. Available from: https://scholarworks.montana.edu/xmlui/handle/1/1806

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

8. Fanzon, Silvio. Geometric patterns and microstructures in the study of material defects and composites.

Degree: PhD, 2018, University of Sussex

 The main focus of this PhD thesis is the study of microstructures and geometric patterns in materials, in the framework of the Calculus of Variations.… (more)

Subjects/Keywords: 510; QA0315 Calculus of variations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fanzon, S. (2018). Geometric patterns and microstructures in the study of material defects and composites. (Doctoral Dissertation). University of Sussex. Retrieved from http://sro.sussex.ac.uk/id/eprint/72566/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.731263

Chicago Manual of Style (16th Edition):

Fanzon, Silvio. “Geometric patterns and microstructures in the study of material defects and composites.” 2018. Doctoral Dissertation, University of Sussex. Accessed August 18, 2019. http://sro.sussex.ac.uk/id/eprint/72566/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.731263.

MLA Handbook (7th Edition):

Fanzon, Silvio. “Geometric patterns and microstructures in the study of material defects and composites.” 2018. Web. 18 Aug 2019.

Vancouver:

Fanzon S. Geometric patterns and microstructures in the study of material defects and composites. [Internet] [Doctoral dissertation]. University of Sussex; 2018. [cited 2019 Aug 18]. Available from: http://sro.sussex.ac.uk/id/eprint/72566/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.731263.

Council of Science Editors:

Fanzon S. Geometric patterns and microstructures in the study of material defects and composites. [Doctoral Dissertation]. University of Sussex; 2018. Available from: http://sro.sussex.ac.uk/id/eprint/72566/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.731263


University of the Western Cape

9. Taylor, Allen Vernon. Investigating the difficulties of first year mainstream mathematics students at the University of the Western Cape with “related rates” problems .

Degree: 2014, University of the Western Cape

 The aim of the thesis is to research the difficulties that first year mainstream mathematics students at UWC experience when solving Related Rates problems in… (more)

Subjects/Keywords: Mathematics students; Calculus – Textbooks; Calculus; Calculus – Problems, exercises, etc.; University of the Western Cape

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Taylor, A. V. (2014). Investigating the difficulties of first year mainstream mathematics students at the University of the Western Cape with “related rates” problems . (Thesis). University of the Western Cape. Retrieved from http://hdl.handle.net/11394/4655

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

Taylor, Allen Vernon. “Investigating the difficulties of first year mainstream mathematics students at the University of the Western Cape with “related rates” problems .” 2014. Thesis, University of the Western Cape. Accessed August 18, 2019. http://hdl.handle.net/11394/4655.

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

MLA Handbook (7th Edition):

Taylor, Allen Vernon. “Investigating the difficulties of first year mainstream mathematics students at the University of the Western Cape with “related rates” problems .” 2014. Web. 18 Aug 2019.

Vancouver:

Taylor AV. Investigating the difficulties of first year mainstream mathematics students at the University of the Western Cape with “related rates” problems . [Internet] [Thesis]. University of the Western Cape; 2014. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/11394/4655.

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

Council of Science Editors:

Taylor AV. Investigating the difficulties of first year mainstream mathematics students at the University of the Western Cape with “related rates” problems . [Thesis]. University of the Western Cape; 2014. Available from: http://hdl.handle.net/11394/4655

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


NSYSU

10. Cheng, Chien-Min. Problem-Solving Strategies in Calculus.

Degree: Master, Applied Mathematics, 2012, NSYSU

 This paper investigates methods of solving calculus problems in Putnam Mathematical Competition.Chapter 2 presents the methods of finding limits, and the most important theorems of… (more)

Subjects/Keywords: technique of integral; derivative; calculus; Fundamental Theorem of Calculus; series; sequence

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cheng, C. (2012). Problem-Solving Strategies in Calculus. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718112-143200

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

Chicago Manual of Style (16th Edition):

Cheng, Chien-Min. “Problem-Solving Strategies in Calculus.” 2012. Thesis, NSYSU. Accessed August 18, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718112-143200.

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

MLA Handbook (7th Edition):

Cheng, Chien-Min. “Problem-Solving Strategies in Calculus.” 2012. Web. 18 Aug 2019.

Vancouver:

Cheng C. Problem-Solving Strategies in Calculus. [Internet] [Thesis]. NSYSU; 2012. [cited 2019 Aug 18]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718112-143200.

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

Council of Science Editors:

Cheng C. Problem-Solving Strategies in Calculus. [Thesis]. NSYSU; 2012. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0718112-143200

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


University of Pretoria

11. Fordred, Gordon Ian. An application of the Malliavin calculus in finance.

Degree: Mathematics and Applied Mathematics, 2009, University of Pretoria

 This dissertation provides a brief theoretical introduction to the Malliavin calculus leading to a particular application in finance. The Malliavin calculus concepts are used to… (more)

Subjects/Keywords: Greeks; Stochastic calculus of variations; Malliavin calculus; UCTD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fordred, G. I. (2009). An application of the Malliavin calculus in finance. (Masters Thesis). University of Pretoria. Retrieved from http://hdl.handle.net/2263/26091

Chicago Manual of Style (16th Edition):

Fordred, Gordon Ian. “An application of the Malliavin calculus in finance.” 2009. Masters Thesis, University of Pretoria. Accessed August 18, 2019. http://hdl.handle.net/2263/26091.

MLA Handbook (7th Edition):

Fordred, Gordon Ian. “An application of the Malliavin calculus in finance.” 2009. Web. 18 Aug 2019.

Vancouver:

Fordred GI. An application of the Malliavin calculus in finance. [Internet] [Masters thesis]. University of Pretoria; 2009. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/2263/26091.

Council of Science Editors:

Fordred GI. An application of the Malliavin calculus in finance. [Masters Thesis]. University of Pretoria; 2009. Available from: http://hdl.handle.net/2263/26091


University of Pretoria

12. [No author]. An application of the Malliavin calculus in finance .

Degree: 2009, University of Pretoria

 This dissertation provides a brief theoretical introduction to the Malliavin calculus leading to a particular application in finance. The Malliavin calculus concepts are used to… (more)

Subjects/Keywords: Greeks; Stochastic calculus of variations; Malliavin calculus; UCTD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

author], [. (2009). An application of the Malliavin calculus in finance . (Masters Thesis). University of Pretoria. Retrieved from http://upetd.up.ac.za/thesis/available/etd-07062009-123751/

Chicago Manual of Style (16th Edition):

author], [No. “An application of the Malliavin calculus in finance .” 2009. Masters Thesis, University of Pretoria. Accessed August 18, 2019. http://upetd.up.ac.za/thesis/available/etd-07062009-123751/.

MLA Handbook (7th Edition):

author], [No. “An application of the Malliavin calculus in finance .” 2009. Web. 18 Aug 2019.

Vancouver:

author] [. An application of the Malliavin calculus in finance . [Internet] [Masters thesis]. University of Pretoria; 2009. [cited 2019 Aug 18]. Available from: http://upetd.up.ac.za/thesis/available/etd-07062009-123751/.

Council of Science Editors:

author] [. An application of the Malliavin calculus in finance . [Masters Thesis]. University of Pretoria; 2009. Available from: http://upetd.up.ac.za/thesis/available/etd-07062009-123751/


Hong Kong University of Science and Technology

13. Li, Mulin. Residue : from classical to virtual.

Degree: 2014, Hong Kong University of Science and Technology

 We generalize the classical Grothendieck's residue Res ψ/s to virtual cases, which means the zero loci Z of s has positive dimension. The analogously defined… (more)

Subjects/Keywords: Calculus of residues; Functions of complex variables

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, M. (2014). Residue : from classical to virtual. (Thesis). Hong Kong University of Science and Technology. Retrieved from https://doi.org/10.14711/thesis-b1302286 ; http://repository.ust.hk/ir/bitstream/1783.1-71765/1/th_redirect.html

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, Mulin. “Residue : from classical to virtual.” 2014. Thesis, Hong Kong University of Science and Technology. Accessed August 18, 2019. https://doi.org/10.14711/thesis-b1302286 ; http://repository.ust.hk/ir/bitstream/1783.1-71765/1/th_redirect.html.

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

MLA Handbook (7th Edition):

Li, Mulin. “Residue : from classical to virtual.” 2014. Web. 18 Aug 2019.

Vancouver:

Li M. Residue : from classical to virtual. [Internet] [Thesis]. Hong Kong University of Science and Technology; 2014. [cited 2019 Aug 18]. Available from: https://doi.org/10.14711/thesis-b1302286 ; http://repository.ust.hk/ir/bitstream/1783.1-71765/1/th_redirect.html.

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

Council of Science Editors:

Li M. Residue : from classical to virtual. [Thesis]. Hong Kong University of Science and Technology; 2014. Available from: https://doi.org/10.14711/thesis-b1302286 ; http://repository.ust.hk/ir/bitstream/1783.1-71765/1/th_redirect.html

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


Oregon State University

14. Bruns, Robert Albert. Introduction to the tensor analysis of electrical networks.

Degree: MS, Electrical Engineering, 1943, Oregon State University

Subjects/Keywords: Calculus of tensors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bruns, R. A. (1943). Introduction to the tensor analysis of electrical networks. (Masters Thesis). Oregon State University. Retrieved from http://hdl.handle.net/1957/53014

Chicago Manual of Style (16th Edition):

Bruns, Robert Albert. “Introduction to the tensor analysis of electrical networks.” 1943. Masters Thesis, Oregon State University. Accessed August 18, 2019. http://hdl.handle.net/1957/53014.

MLA Handbook (7th Edition):

Bruns, Robert Albert. “Introduction to the tensor analysis of electrical networks.” 1943. Web. 18 Aug 2019.

Vancouver:

Bruns RA. Introduction to the tensor analysis of electrical networks. [Internet] [Masters thesis]. Oregon State University; 1943. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1957/53014.

Council of Science Editors:

Bruns RA. Introduction to the tensor analysis of electrical networks. [Masters Thesis]. Oregon State University; 1943. Available from: http://hdl.handle.net/1957/53014


University of Hong Kong

15. Chan, Ka-bo. On Griffiths' formalism of the calculus of variations.

Degree: M. Phil., 2004, University of Hong Kong

published_or_final_version

toc

abstract

Mathematics

Master

Master of Philosophy

Advisors/Committee Members: Cheung, WS.

Subjects/Keywords: Calculus of variations.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chan, K. (2004). On Griffiths' formalism of the calculus of variations. (Masters Thesis). University of Hong Kong. Retrieved from Chan, K. [陳家寶]. (2004). On Griffiths' formalism of the calculus of variations. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3045663 ; http://dx.doi.org/10.5353/th_b3045663 ; http://hdl.handle.net/10722/31608

Chicago Manual of Style (16th Edition):

Chan, Ka-bo. “On Griffiths' formalism of the calculus of variations.” 2004. Masters Thesis, University of Hong Kong. Accessed August 18, 2019. Chan, K. [陳家寶]. (2004). On Griffiths' formalism of the calculus of variations. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3045663 ; http://dx.doi.org/10.5353/th_b3045663 ; http://hdl.handle.net/10722/31608.

MLA Handbook (7th Edition):

Chan, Ka-bo. “On Griffiths' formalism of the calculus of variations.” 2004. Web. 18 Aug 2019.

Vancouver:

Chan K. On Griffiths' formalism of the calculus of variations. [Internet] [Masters thesis]. University of Hong Kong; 2004. [cited 2019 Aug 18]. Available from: Chan, K. [陳家寶]. (2004). On Griffiths' formalism of the calculus of variations. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3045663 ; http://dx.doi.org/10.5353/th_b3045663 ; http://hdl.handle.net/10722/31608.

Council of Science Editors:

Chan K. On Griffiths' formalism of the calculus of variations. [Masters Thesis]. University of Hong Kong; 2004. Available from: Chan, K. [陳家寶]. (2004). On Griffiths' formalism of the calculus of variations. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3045663 ; http://dx.doi.org/10.5353/th_b3045663 ; http://hdl.handle.net/10722/31608


University of Hong Kong

16. Chow, Hong-Yu. Griffiths' formalism of the calculus of variations and applications toinvariants.

Degree: M. Phil., 2005, University of Hong Kong

abstract

published_or_final_version

Mathematics

Master

Master of Philosophy

Advisors/Committee Members: Cheung, WS.

Subjects/Keywords: Calculus of variations.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chow, H. (2005). Griffiths' formalism of the calculus of variations and applications toinvariants. (Masters Thesis). University of Hong Kong. Retrieved from Chow, H. Y. [周康宇]. (2005). Griffiths' formalism of the calculus of variations and applications to invariants. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3581250 ; http://dx.doi.org/10.5353/th_b3581250 ; http://hdl.handle.net/10722/41296

Chicago Manual of Style (16th Edition):

Chow, Hong-Yu. “Griffiths' formalism of the calculus of variations and applications toinvariants.” 2005. Masters Thesis, University of Hong Kong. Accessed August 18, 2019. Chow, H. Y. [周康宇]. (2005). Griffiths' formalism of the calculus of variations and applications to invariants. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3581250 ; http://dx.doi.org/10.5353/th_b3581250 ; http://hdl.handle.net/10722/41296.

MLA Handbook (7th Edition):

Chow, Hong-Yu. “Griffiths' formalism of the calculus of variations and applications toinvariants.” 2005. Web. 18 Aug 2019.

Vancouver:

Chow H. Griffiths' formalism of the calculus of variations and applications toinvariants. [Internet] [Masters thesis]. University of Hong Kong; 2005. [cited 2019 Aug 18]. Available from: Chow, H. Y. [周康宇]. (2005). Griffiths' formalism of the calculus of variations and applications to invariants. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3581250 ; http://dx.doi.org/10.5353/th_b3581250 ; http://hdl.handle.net/10722/41296.

Council of Science Editors:

Chow H. Griffiths' formalism of the calculus of variations and applications toinvariants. [Masters Thesis]. University of Hong Kong; 2005. Available from: Chow, H. Y. [周康宇]. (2005). Griffiths' formalism of the calculus of variations and applications to invariants. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3581250 ; http://dx.doi.org/10.5353/th_b3581250 ; http://hdl.handle.net/10722/41296


Montana Tech

17. Peterson, John A. Tensors as algebraic systems.

Degree: MA, 1951, Montana Tech

Subjects/Keywords: Calculus of tensors.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peterson, J. A. (1951). Tensors as algebraic systems. (Masters Thesis). Montana Tech. Retrieved from https://scholarworks.umt.edu/etd/8093

Chicago Manual of Style (16th Edition):

Peterson, John A. “Tensors as algebraic systems.” 1951. Masters Thesis, Montana Tech. Accessed August 18, 2019. https://scholarworks.umt.edu/etd/8093.

MLA Handbook (7th Edition):

Peterson, John A. “Tensors as algebraic systems.” 1951. Web. 18 Aug 2019.

Vancouver:

Peterson JA. Tensors as algebraic systems. [Internet] [Masters thesis]. Montana Tech; 1951. [cited 2019 Aug 18]. Available from: https://scholarworks.umt.edu/etd/8093.

Council of Science Editors:

Peterson JA. Tensors as algebraic systems. [Masters Thesis]. Montana Tech; 1951. Available from: https://scholarworks.umt.edu/etd/8093


Montana Tech

18. Nankervis, Richard Samuel. Calculus of variations.

Degree: MA, 1962, Montana Tech

Subjects/Keywords: Calculus of variations.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nankervis, R. S. (1962). Calculus of variations. (Masters Thesis). Montana Tech. Retrieved from https://scholarworks.umt.edu/etd/8094

Chicago Manual of Style (16th Edition):

Nankervis, Richard Samuel. “Calculus of variations.” 1962. Masters Thesis, Montana Tech. Accessed August 18, 2019. https://scholarworks.umt.edu/etd/8094.

MLA Handbook (7th Edition):

Nankervis, Richard Samuel. “Calculus of variations.” 1962. Web. 18 Aug 2019.

Vancouver:

Nankervis RS. Calculus of variations. [Internet] [Masters thesis]. Montana Tech; 1962. [cited 2019 Aug 18]. Available from: https://scholarworks.umt.edu/etd/8094.

Council of Science Editors:

Nankervis RS. Calculus of variations. [Masters Thesis]. Montana Tech; 1962. Available from: https://scholarworks.umt.edu/etd/8094


University of British Columbia

19. Lim, Ming-Huat. Rank preservers on certain symmetry classes of tensors .

Degree: 1971, University of British Columbia

 Let U denote a finite dimensional vector space over an algebraically closed field F . In this thesis, we are concerned with rank one preservers… (more)

Subjects/Keywords: Calculus of tensors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lim, M. (1971). Rank preservers on certain symmetry classes of tensors . (Thesis). University of British Columbia. Retrieved from http://hdl.handle.net/2429/34231

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

Lim, Ming-Huat. “Rank preservers on certain symmetry classes of tensors .” 1971. Thesis, University of British Columbia. Accessed August 18, 2019. http://hdl.handle.net/2429/34231.

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

MLA Handbook (7th Edition):

Lim, Ming-Huat. “Rank preservers on certain symmetry classes of tensors .” 1971. Web. 18 Aug 2019.

Vancouver:

Lim M. Rank preservers on certain symmetry classes of tensors . [Internet] [Thesis]. University of British Columbia; 1971. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/2429/34231.

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

Council of Science Editors:

Lim M. Rank preservers on certain symmetry classes of tensors . [Thesis]. University of British Columbia; 1971. Available from: http://hdl.handle.net/2429/34231

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


University of British Columbia

20. Richardson, David. Variational problems with thin obstacles .

Degree: 1978, University of British Columbia

 In this thesis the solution to the variational problem of Signorini is studied, namely: (i) Δv = 0 in Ω; (ii) v ≥ ѱ on… (more)

Subjects/Keywords: Calculus of variations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Richardson, D. (1978). Variational problems with thin obstacles . (Thesis). University of British Columbia. Retrieved from http://hdl.handle.net/2429/21284

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

Richardson, David. “Variational problems with thin obstacles .” 1978. Thesis, University of British Columbia. Accessed August 18, 2019. http://hdl.handle.net/2429/21284.

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

MLA Handbook (7th Edition):

Richardson, David. “Variational problems with thin obstacles .” 1978. Web. 18 Aug 2019.

Vancouver:

Richardson D. Variational problems with thin obstacles . [Internet] [Thesis]. University of British Columbia; 1978. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/2429/21284.

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

Council of Science Editors:

Richardson D. Variational problems with thin obstacles . [Thesis]. University of British Columbia; 1978. Available from: http://hdl.handle.net/2429/21284

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


University of Arizona

21. Brusch, Richard Gervais, 1943-. OPTIMIZATION PROBLEMS WITH MULTIPLE STATIONARY SOLUTIONS .

Degree: 1969, University of Arizona

Subjects/Keywords: Calculus of variations.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brusch, Richard Gervais, 1. (1969). OPTIMIZATION PROBLEMS WITH MULTIPLE STATIONARY SOLUTIONS . (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/288249

Chicago Manual of Style (16th Edition):

Brusch, Richard Gervais, 1943-. “OPTIMIZATION PROBLEMS WITH MULTIPLE STATIONARY SOLUTIONS .” 1969. Doctoral Dissertation, University of Arizona. Accessed August 18, 2019. http://hdl.handle.net/10150/288249.

MLA Handbook (7th Edition):

Brusch, Richard Gervais, 1943-. “OPTIMIZATION PROBLEMS WITH MULTIPLE STATIONARY SOLUTIONS .” 1969. Web. 18 Aug 2019.

Vancouver:

Brusch, Richard Gervais 1. OPTIMIZATION PROBLEMS WITH MULTIPLE STATIONARY SOLUTIONS . [Internet] [Doctoral dissertation]. University of Arizona; 1969. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10150/288249.

Council of Science Editors:

Brusch, Richard Gervais 1. OPTIMIZATION PROBLEMS WITH MULTIPLE STATIONARY SOLUTIONS . [Doctoral Dissertation]. University of Arizona; 1969. Available from: http://hdl.handle.net/10150/288249


Michigan State University

22. Liu, Beibei. Discrete vector and 2-tensor analyses and applications.

Degree: 2015, Michigan State University

Thesis Ph. D. Michigan State University. Computer Science 2015.

We present novel analysis methods for vector fields and an intrinsic representation of 2-tensor fields on… (more)

Subjects/Keywords: Vector analysis; Calculus of tensors; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, B. (2015). Discrete vector and 2-tensor analyses and applications. (Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:3531

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

Chicago Manual of Style (16th Edition):

Liu, Beibei. “Discrete vector and 2-tensor analyses and applications.” 2015. Thesis, Michigan State University. Accessed August 18, 2019. http://etd.lib.msu.edu/islandora/object/etd:3531.

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

MLA Handbook (7th Edition):

Liu, Beibei. “Discrete vector and 2-tensor analyses and applications.” 2015. Web. 18 Aug 2019.

Vancouver:

Liu B. Discrete vector and 2-tensor analyses and applications. [Internet] [Thesis]. Michigan State University; 2015. [cited 2019 Aug 18]. Available from: http://etd.lib.msu.edu/islandora/object/etd:3531.

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

Council of Science Editors:

Liu B. Discrete vector and 2-tensor analyses and applications. [Thesis]. Michigan State University; 2015. Available from: http://etd.lib.msu.edu/islandora/object/etd:3531

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


Michigan State University

23. Zimmer, John W. Geodesics in 3-space.

Degree: MA, 1933, Michigan State University

Subjects/Keywords: Calculus of variations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zimmer, J. W. (1933). Geodesics in 3-space. (Masters Thesis). Michigan State University. Retrieved from http://etd.lib.msu.edu/islandora/object/etd:12841

Chicago Manual of Style (16th Edition):

Zimmer, John W. “Geodesics in 3-space.” 1933. Masters Thesis, Michigan State University. Accessed August 18, 2019. http://etd.lib.msu.edu/islandora/object/etd:12841.

MLA Handbook (7th Edition):

Zimmer, John W. “Geodesics in 3-space.” 1933. Web. 18 Aug 2019.

Vancouver:

Zimmer JW. Geodesics in 3-space. [Internet] [Masters thesis]. Michigan State University; 1933. [cited 2019 Aug 18]. Available from: http://etd.lib.msu.edu/islandora/object/etd:12841.

Council of Science Editors:

Zimmer JW. Geodesics in 3-space. [Masters Thesis]. Michigan State University; 1933. Available from: http://etd.lib.msu.edu/islandora/object/etd:12841


University of Kansas

24. Al-Kulaib, Emad M. The Acquisition of English and Arabic Existential Constructions.

Degree: PhD, Linguistics, 2010, University of Kansas

 Abstract This study is an investigation of the acquisition of existential constructions (ECs) in English and in Spoken Arabic. It is the first of its… (more)

Subjects/Keywords: Language, linguistics; Acquisition of arabic existential constructions; Existential constructions; Existential sentences; Acquisition of English and Arabic existential constructions; Acquisition of english existential constructions; Acquisition of existential constructions; Arabic language; English language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al-Kulaib, E. M. (2010). The Acquisition of English and Arabic Existential Constructions. (Doctoral Dissertation). University of Kansas. Retrieved from http://hdl.handle.net/1808/6939

Chicago Manual of Style (16th Edition):

Al-Kulaib, Emad M. “The Acquisition of English and Arabic Existential Constructions.” 2010. Doctoral Dissertation, University of Kansas. Accessed August 18, 2019. http://hdl.handle.net/1808/6939.

MLA Handbook (7th Edition):

Al-Kulaib, Emad M. “The Acquisition of English and Arabic Existential Constructions.” 2010. Web. 18 Aug 2019.

Vancouver:

Al-Kulaib EM. The Acquisition of English and Arabic Existential Constructions. [Internet] [Doctoral dissertation]. University of Kansas; 2010. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1808/6939.

Council of Science Editors:

Al-Kulaib EM. The Acquisition of English and Arabic Existential Constructions. [Doctoral Dissertation]. University of Kansas; 2010. Available from: http://hdl.handle.net/1808/6939

25. Tyboni, Cecilia. Visualization of Dynamic Information.

Degree: IT and Land Management, 2012, University of Gävle

  Sandvik IT Services (SITS) ambition is to provide a smooth and suitable IT environment for the whole Sandvik organization. The idea is that SITS… (more)

Subjects/Keywords: visualization; workshop; priority of information; incidents; constructions; SLA; presentation of information.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tyboni, C. (2012). Visualization of Dynamic Information. (Thesis). University of Gävle. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-12422

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

Tyboni, Cecilia. “Visualization of Dynamic Information.” 2012. Thesis, University of Gävle. Accessed August 18, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-12422.

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

MLA Handbook (7th Edition):

Tyboni, Cecilia. “Visualization of Dynamic Information.” 2012. Web. 18 Aug 2019.

Vancouver:

Tyboni C. Visualization of Dynamic Information. [Internet] [Thesis]. University of Gävle; 2012. [cited 2019 Aug 18]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-12422.

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

Council of Science Editors:

Tyboni C. Visualization of Dynamic Information. [Thesis]. University of Gävle; 2012. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-12422

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

26. Walkingshaw, Eric. The choice calculus : a formal language of variation.

Degree: PhD, Computer Science, 2013, Oregon State University

 In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended… (more)

Subjects/Keywords: choice calculus; Calculus of variations

…the Choice Calculus . . . . . . . . . . . . . . . 24 3.2 Design of a Variation… …26 26 28 30 3.3 Syntax of the Choice Calculus . . . . . . . . . . . . . 3.3.1… …of choice calculus expressions. . . . . 43 3.10 Three semantically equivalent expressions… …instantiated by lambda calculus. . . 51 ≡ B C 1, 2 , C 3, 4 . . . . . . . . 56 3.18 Semantics of… …expressiveness of choice calculus variants. . . . 154 7.1 The choice calculus as a Haskell data type… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Walkingshaw, E. (2013). The choice calculus : a formal language of variation. (Doctoral Dissertation). Oregon State University. Retrieved from http://hdl.handle.net/1957/40652

Chicago Manual of Style (16th Edition):

Walkingshaw, Eric. “The choice calculus : a formal language of variation.” 2013. Doctoral Dissertation, Oregon State University. Accessed August 18, 2019. http://hdl.handle.net/1957/40652.

MLA Handbook (7th Edition):

Walkingshaw, Eric. “The choice calculus : a formal language of variation.” 2013. Web. 18 Aug 2019.

Vancouver:

Walkingshaw E. The choice calculus : a formal language of variation. [Internet] [Doctoral dissertation]. Oregon State University; 2013. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1957/40652.

Council of Science Editors:

Walkingshaw E. The choice calculus : a formal language of variation. [Doctoral Dissertation]. Oregon State University; 2013. Available from: http://hdl.handle.net/1957/40652


NSYSU

27. Zhou, Zhi-guang. Calculus Problems of High School Mathematics Teacher Recruitment Exams in Taiwan.

Degree: Master, Applied Mathematics, 2016, NSYSU

 This study investigates selected calculus problems of high school mathematics teacher recruitment exam in Taiwan from 2008 to 2015. These problems are classified as nine… (more)

Subjects/Keywords: Riemann sums; Calculus; LâHËopitalâs Rule; The Fundamental Theorem of Calculus; Taylor's Theorem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhou, Z. (2016). Calculus Problems of High School Mathematics Teacher Recruitment Exams in Taiwan. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0515116-103709

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

Zhou, Zhi-guang. “Calculus Problems of High School Mathematics Teacher Recruitment Exams in Taiwan.” 2016. Thesis, NSYSU. Accessed August 18, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0515116-103709.

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

MLA Handbook (7th Edition):

Zhou, Zhi-guang. “Calculus Problems of High School Mathematics Teacher Recruitment Exams in Taiwan.” 2016. Web. 18 Aug 2019.

Vancouver:

Zhou Z. Calculus Problems of High School Mathematics Teacher Recruitment Exams in Taiwan. [Internet] [Thesis]. NSYSU; 2016. [cited 2019 Aug 18]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0515116-103709.

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

Council of Science Editors:

Zhou Z. Calculus Problems of High School Mathematics Teacher Recruitment Exams in Taiwan. [Thesis]. NSYSU; 2016. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0515116-103709

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


University of Victoria

28. Hajiabadi, Mohammad. Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions.

Degree: Dept. of Computer Science, 2011, University of Victoria

 Analysis and verification of security protocols are typically carried out in two different models of cryptography: formal cryptography and computational cryptography. Formal cryptography, originally inspired… (more)

Subjects/Keywords: Formal and Computational Security Analysis; Computational Soundness; Dolev-Yao Non-Malleability; Indistinguishability of Expressions; Inductive and Co-Inductive Formal Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hajiabadi, M. (2011). Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/3496

Chicago Manual of Style (16th Edition):

Hajiabadi, Mohammad. “Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions.” 2011. Masters Thesis, University of Victoria. Accessed August 18, 2019. http://hdl.handle.net/1828/3496.

MLA Handbook (7th Edition):

Hajiabadi, Mohammad. “Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions.” 2011. Web. 18 Aug 2019.

Vancouver:

Hajiabadi M. Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions. [Internet] [Masters thesis]. University of Victoria; 2011. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1828/3496.

Council of Science Editors:

Hajiabadi M. Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions. [Masters Thesis]. University of Victoria; 2011. Available from: http://hdl.handle.net/1828/3496


RMIT University

29. Becker, A. A methodology for determining rolling element bearing limits applied to inductive wear debris sensors.

Degree: 2014, RMIT University

 Machinery condition monitoring (MCM) is the process of measuring, trending and assessing key parameters that indicate the health of a machine. Wear debris analysis is… (more)

Subjects/Keywords: Fields of Research; wear debris; inductive sensor; limit theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Becker, A. (2014). A methodology for determining rolling element bearing limits applied to inductive wear debris sensors. (Thesis). RMIT University. Retrieved from http://researchbank.rmit.edu.au/view/rmit:161263

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

Becker, A. “A methodology for determining rolling element bearing limits applied to inductive wear debris sensors.” 2014. Thesis, RMIT University. Accessed August 18, 2019. http://researchbank.rmit.edu.au/view/rmit:161263.

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

MLA Handbook (7th Edition):

Becker, A. “A methodology for determining rolling element bearing limits applied to inductive wear debris sensors.” 2014. Web. 18 Aug 2019.

Vancouver:

Becker A. A methodology for determining rolling element bearing limits applied to inductive wear debris sensors. [Internet] [Thesis]. RMIT University; 2014. [cited 2019 Aug 18]. Available from: http://researchbank.rmit.edu.au/view/rmit:161263.

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

Council of Science Editors:

Becker A. A methodology for determining rolling element bearing limits applied to inductive wear debris sensors. [Thesis]. RMIT University; 2014. Available from: http://researchbank.rmit.edu.au/view/rmit:161263

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


University of Missouri – Columbia

30. Finke, Darin. van Fraassen and a defense of inference to the best explanation.

Degree: 2011, University of Missouri – Columbia

 Inference to the best explanation (IBE) is an inductive argument type that takes advantage of the fact that explanatory considerations serve as an epistemic guide… (more)

Subjects/Keywords: Bas van Fraassen; modes of belief; inductive argument

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Finke, D. (2011). van Fraassen and a defense of inference to the best explanation. (Thesis). University of Missouri – Columbia. Retrieved from http://hdl.handle.net/10355/14203

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

Finke, Darin. “van Fraassen and a defense of inference to the best explanation.” 2011. Thesis, University of Missouri – Columbia. Accessed August 18, 2019. http://hdl.handle.net/10355/14203.

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

MLA Handbook (7th Edition):

Finke, Darin. “van Fraassen and a defense of inference to the best explanation.” 2011. Web. 18 Aug 2019.

Vancouver:

Finke D. van Fraassen and a defense of inference to the best explanation. [Internet] [Thesis]. University of Missouri – Columbia; 2011. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10355/14203.

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

Council of Science Editors:

Finke D. van Fraassen and a defense of inference to the best explanation. [Thesis]. University of Missouri – Columbia; 2011. Available from: http://hdl.handle.net/10355/14203

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

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

.