Advanced search options

Sorted by: relevance · author · university · date | New 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

Dates

- 2015 – 2019 (63493)
- 2010 – 2014 (89392)
- 2005 – 2009 (48900)
- 2000 – 2004 (14426)
- 1995 – 1999 (8108)
- 1990 – 1994 (5488)
- 1985 – 1989 (4721)
- 1980 – 1984 (3383)
- 1975 – 1979 (2726)
- 1970 – 1974 (2456)

Universities

- Brno University of Technology (10598)
- University of North Carolina (9021)
- University of Canterbury (6860)
- University of São Paulo (5974)
- ETH Zürich (3909)
- MIT (3905)
- RMIT University (3445)
- Savannah College of Art and Design (3393)
- Michigan State University (3310)
- University of Florida (2581)
- University of Pretoria (2396)
- Universidade do Rio Grande do Sul (2295)
- University of Zurich (2259)
- Univerza v Mariboru (2057)
- University of South Africa (1999)

Department

- Psychology (1746)
- History (1407)
- Education (1182)
- Mechanical Engineering (1009)
- Political Science (924)
- Sociology (874)
- Chemistry (855)
- English (831)
- Economics (807)
- Law (784)
- Architecture (728)
- Philosophy (705)
- Civil and Natural Resources Engineering (619)
- Mathematics (603)
- Electrical and Computer Engineering (561)

Degrees

Levels

- doctoral (57948)
- masters (44941)
- thesis (2144)
- project (304)
- other (288)
- dissertation (265)
- d_ph (260)
- doctor of philosophy ph.d. (157)
- doctor of philosophy (ph.d.) (62)
- d_ae (52)

Languages

Country

- US (72725)
- Brazil (23816)
- Australia (12021)
- Canada (11353)
- Czech Republic (10638)
- South Africa (10569)
- Sweden (9513)
- France (9442)
- New Zealand (8973)
- UK (8917)
- Greece (6385)
- Switzerland (6352)
- Portugal (5496)
- Netherlands (3923)
- Lithuania (3255)

▼ Search Limiters

University of Ottawa

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

Degree: 2017, University of Ottawa

URL: http://hdl.handle.net/10393/36354

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

❌

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

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

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

URL: http://hdl.handle.net/1842/506

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

❌

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

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

URL: http://www.theses.fr/2012ENSL0764

►

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

❌

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

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

URL: http://hdl.handle.net/10810/31604

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

❌

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

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

URL: http://erepository.uonbi.ac.ke:8080/xmlui/handle/123456789/14619

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11119

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: https://scholarworks.montana.edu/xmlui/handle/1/1806

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://sro.sussex.ac.uk/id/eprint/72566/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.731263

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

❌

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

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

URL: http://hdl.handle.net/11394/4655

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

NSYSU

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

Degree: Master, Applied Mathematics, 2012, NSYSU

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

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/2263/26091

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

❌

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

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

URL: http://upetd.up.ac.za/thesis/available/etd-07062009-123751/

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

❌

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

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

URL: https://doi.org/10.14711/thesis-b1302286 ; http://repository.ust.hk/ir/bitstream/1783.1-71765/1/th_redirect.html

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/1957/53014

Subjects/Keywords: Calculus of tensors

Record Details Similar Records

❌

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

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

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

published_or_final_version

toc

abstract

Mathematics

Master

Master of Philosophy

Subjects/Keywords: Calculus of variations.

Record Details Similar Records

❌

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

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

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

abstract

published_or_final_version

Mathematics

Master

Master of Philosophy

Subjects/Keywords: Calculus of variations.

Record Details Similar Records

❌

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

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

URL: https://scholarworks.umt.edu/etd/8093

Subjects/Keywords: Calculus of tensors.

Record Details Similar Records

❌

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

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

URL: https://scholarworks.umt.edu/etd/8094

Subjects/Keywords: Calculus of variations.

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Chicago Manual of Style (16^{th} Edition):

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

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

URL: http://hdl.handle.net/2429/34231

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/2429/21284

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

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/10150/288249

Subjects/Keywords: Calculus of variations.

Record Details Similar Records

❌

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

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

URL: http://etd.lib.msu.edu/islandora/object/etd:3531

►

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation

Michigan State University

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

Degree: MA, 1933, Michigan State University

URL: http://etd.lib.msu.edu/islandora/object/etd:12841

Subjects/Keywords: Calculus of variations

Record Details Similar Records

❌

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

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

URL: http://hdl.handle.net/1808/6939

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

❌

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

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

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-12422

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/1957/40652

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

❌

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

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

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

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/1828/3496

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

❌

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

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

URL: http://researchbank.rmit.edu.au/view/rmit:161263

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

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

URL: http://hdl.handle.net/10355/14203

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

❌

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

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Not specified: Masters Thesis or Doctoral Dissertation

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

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

Not specified: Masters Thesis or Doctoral Dissertation