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:(Type Inference). Showing records 31 – 40 of 40 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Country

▼ Search Limiters


Luleå University of Technology

31. Jonsson, Peter A. Propagation of location information in constrained type inference.

Degree: 2003, Luleå University of Technology

The Timber type system is an extension of the classical Hindley-Milner type system, incorporating both qualified types and first class polymorphism. Since we also… (more)

Subjects/Keywords: Technology; computer science; functional programming; type inference; error reporting; subtyping; qualified types; type errors; Timber; Teknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jonsson, P. A. (2003). Propagation of location information in constrained type inference. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-50372

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

Jonsson, Peter A. “Propagation of location information in constrained type inference.” 2003. Thesis, Luleå University of Technology. Accessed July 21, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-50372.

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

MLA Handbook (7th Edition):

Jonsson, Peter A. “Propagation of location information in constrained type inference.” 2003. Web. 21 Jul 2019.

Vancouver:

Jonsson PA. Propagation of location information in constrained type inference. [Internet] [Thesis]. Luleå University of Technology; 2003. [cited 2019 Jul 21]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-50372.

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

Council of Science Editors:

Jonsson PA. Propagation of location information in constrained type inference. [Thesis]. Luleå University of Technology; 2003. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-50372

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


Universitetet i Tromsø

32. Addisu, Wondwosen Eshetu. Intelligent load frequency control in an isolated wind-solar PV-micro turbine-diesel based micro-grid using V2G integration .

Degree: 2017, Universitetet i Tromsø

 Abstract Modern power systems need more intelligence and flexibility to maintain and control a generation load balance from subsequent serious disturbances due to the emerging… (more)

Subjects/Keywords: VDP::Teknologi: 500::Elektrotekniske fag: 540; VDP::Technology: 500::Electrotechnical disciplines: 540; Intelligent control technique; EV; V2G; LFC; Interval type-1 Fuzzy control; Interval type-2 Fuzzy control; Proportional-Integral-Derivative control; Adaptive Neuro-Fuzzy Inference System; Micro-Grid

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Addisu, W. E. (2017). Intelligent load frequency control in an isolated wind-solar PV-micro turbine-diesel based micro-grid using V2G integration . (Masters Thesis). Universitetet i Tromsø. Retrieved from http://hdl.handle.net/10037/11363

Chicago Manual of Style (16th Edition):

Addisu, Wondwosen Eshetu. “Intelligent load frequency control in an isolated wind-solar PV-micro turbine-diesel based micro-grid using V2G integration .” 2017. Masters Thesis, Universitetet i Tromsø. Accessed July 21, 2019. http://hdl.handle.net/10037/11363.

MLA Handbook (7th Edition):

Addisu, Wondwosen Eshetu. “Intelligent load frequency control in an isolated wind-solar PV-micro turbine-diesel based micro-grid using V2G integration .” 2017. Web. 21 Jul 2019.

Vancouver:

Addisu WE. Intelligent load frequency control in an isolated wind-solar PV-micro turbine-diesel based micro-grid using V2G integration . [Internet] [Masters thesis]. Universitetet i Tromsø 2017. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/10037/11363.

Council of Science Editors:

Addisu WE. Intelligent load frequency control in an isolated wind-solar PV-micro turbine-diesel based micro-grid using V2G integration . [Masters Thesis]. Universitetet i Tromsø 2017. Available from: http://hdl.handle.net/10037/11363


Georgia Tech

33. Spoon, Steven Alexander. Demand-Driven Type Inference with Subgoal Pruning.

Degree: PhD, Computing, 2005, Georgia Tech

 Highly dynamic languages like Smalltalk do not have much static type information immediately available before the program runs. Static types can still be inferred by… (more)

Subjects/Keywords: Program understanding; Types; Smalltalk; Programming tools; Program analysis; Data flow; Type inference; Dynamic programming; Smalltalk (Computer program language); Algorithms; Computer interfaces

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Spoon, S. A. (2005). Demand-Driven Type Inference with Subgoal Pruning. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/7486

Chicago Manual of Style (16th Edition):

Spoon, Steven Alexander. “Demand-Driven Type Inference with Subgoal Pruning.” 2005. Doctoral Dissertation, Georgia Tech. Accessed July 21, 2019. http://hdl.handle.net/1853/7486.

MLA Handbook (7th Edition):

Spoon, Steven Alexander. “Demand-Driven Type Inference with Subgoal Pruning.” 2005. Web. 21 Jul 2019.

Vancouver:

Spoon SA. Demand-Driven Type Inference with Subgoal Pruning. [Internet] [Doctoral dissertation]. Georgia Tech; 2005. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1853/7486.

Council of Science Editors:

Spoon SA. Demand-Driven Type Inference with Subgoal Pruning. [Doctoral Dissertation]. Georgia Tech; 2005. Available from: http://hdl.handle.net/1853/7486


Virginia Tech

34. Mathaikutty, Deepak Abraham. Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design.

Degree: PhD, Electrical and Computer Engineering, 2007, Virginia Tech

 This dissertation addresses two important problems in reusing intellectual properties (IPs) in the form of reusable design or verification components. The first problem is associated… (more)

Subjects/Keywords: ESTEREL; SystemC; System On Chip; Microprocessor; Metamodeling; Model-driven Design and Validation; Type inference; Reflection; Metamodel; Coverage metric

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mathaikutty, D. A. (2007). Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/29598

Chicago Manual of Style (16th Edition):

Mathaikutty, Deepak Abraham. “Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design.” 2007. Doctoral Dissertation, Virginia Tech. Accessed July 21, 2019. http://hdl.handle.net/10919/29598.

MLA Handbook (7th Edition):

Mathaikutty, Deepak Abraham. “Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design.” 2007. Web. 21 Jul 2019.

Vancouver:

Mathaikutty DA. Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design. [Internet] [Doctoral dissertation]. Virginia Tech; 2007. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/10919/29598.

Council of Science Editors:

Mathaikutty DA. Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design. [Doctoral Dissertation]. Virginia Tech; 2007. Available from: http://hdl.handle.net/10919/29598

35. Champagne, Marc. The Semiotic Mind: A Fundamental Theory of Consciousness.

Degree: PhD, Philosophy, 2018, York University

 One of the leading concerns animating current philosophy of mind is that, no matter how good a scientific account is, it will leave out what… (more)

Subjects/Keywords: Metaphysics; Philosophy; Consciousness; Mind; Qualia; Semiotics; Peirce; Cognition; Functionalism; Introspection; Resemblance; Qualities; Metaphysics; Physicalism; Materialism; Perception; Abstraction; Semiosis; Reference; Signs; Ontology; Experience; Locke; Phenomenology; Prescission; Chalmers; Zombies; Conceivability; Logic; Diagrams; Type; Token; Tone; Icon; Index; Symbol; Interpretation; Inference

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Champagne, M. (2018). The Semiotic Mind: A Fundamental Theory of Consciousness. (Doctoral Dissertation). York University. Retrieved from http://hdl.handle.net/10315/34230

Chicago Manual of Style (16th Edition):

Champagne, Marc. “The Semiotic Mind: A Fundamental Theory of Consciousness.” 2018. Doctoral Dissertation, York University. Accessed July 21, 2019. http://hdl.handle.net/10315/34230.

MLA Handbook (7th Edition):

Champagne, Marc. “The Semiotic Mind: A Fundamental Theory of Consciousness.” 2018. Web. 21 Jul 2019.

Vancouver:

Champagne M. The Semiotic Mind: A Fundamental Theory of Consciousness. [Internet] [Doctoral dissertation]. York University; 2018. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/10315/34230.

Council of Science Editors:

Champagne M. The Semiotic Mind: A Fundamental Theory of Consciousness. [Doctoral Dissertation]. York University; 2018. Available from: http://hdl.handle.net/10315/34230

36. 上野, 雄大. 型代入を遅延する最適化型推論アルゴリズム.

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

Supervisor:大堀 淳

情報科学研究科

修士

Subjects/Keywords: 型推論アルゴリズム,最適化,効率化,関数型言語,ML; Type Inference, Optimized Algorithm, Functional Pr

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

上野, . (n.d.). 型代入を遅延する最適化型推論アルゴリズム. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1971

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

Chicago Manual of Style (16th Edition):

上野, 雄大. “型代入を遅延する最適化型推論アルゴリズム.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed July 21, 2019. http://hdl.handle.net/10119/1971.

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

MLA Handbook (7th Edition):

上野, 雄大. “型代入を遅延する最適化型推論アルゴリズム.” Web. 21 Jul 2019.

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

Vancouver:

上野 . 型代入を遅延する最適化型推論アルゴリズム. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Jul 21]. Available from: http://hdl.handle.net/10119/1971.

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

Council of Science Editors:

上野 . 型代入を遅延する最適化型推論アルゴリズム. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1971

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


McMaster University

37. Han, Donghoon. Some Contributions to Inferential Issues of Censored Exponential Failure Data.

Degree: PhD, 2008, McMaster University

 In this thesis, we investigate several inferential issues regarding the lifetime data from exponential distribution under different censoring schemes. For reasons of time constraint and… (more)

Subjects/Keywords: A-optimality; accelerated life-testing; C-optimality; change point; competing risks; conditional inference; conditional moment generating function; confidence interval; cumulative exposure model; D-optimality; exponential distribution; maximum likelihood estimation; order statistics; parametric boootstrap method; progressive Type-I censoring; step-stress model; tail probability; Type-1 censoring; Type-II censoring

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Han, D. (2008). Some Contributions to Inferential Issues of Censored Exponential Failure Data. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/17644

Chicago Manual of Style (16th Edition):

Han, Donghoon. “Some Contributions to Inferential Issues of Censored Exponential Failure Data.” 2008. Doctoral Dissertation, McMaster University. Accessed July 21, 2019. http://hdl.handle.net/11375/17644.

MLA Handbook (7th Edition):

Han, Donghoon. “Some Contributions to Inferential Issues of Censored Exponential Failure Data.” 2008. Web. 21 Jul 2019.

Vancouver:

Han D. Some Contributions to Inferential Issues of Censored Exponential Failure Data. [Internet] [Doctoral dissertation]. McMaster University; 2008. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/11375/17644.

Council of Science Editors:

Han D. Some Contributions to Inferential Issues of Censored Exponential Failure Data. [Doctoral Dissertation]. McMaster University; 2008. Available from: http://hdl.handle.net/11375/17644


North Carolina State University

38. Boyer, Joseph Guenther. Topics Involving the Gamma Distribution: the Normal Coefficient of Variation and Conditional Monte Carlo.

Degree: PhD, Statistics, 2007, North Carolina State University

 A transformation of the sample coefficient of variation (CV) for normal data is shown to be nearly proportional to a χˆ2 random variable. The associated… (more)

Subjects/Keywords: exponential distribution; dispersion effects; Jacobian; Type I censoring; exponential regression; Gibbs sampling; Dirichlet distribution; importance sampling; conditional Monte Carlo; nuisance parameters; conditional inference; sufficient statistic; coefficient of variation; exponential family; gamma distribution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Boyer, J. G. (2007). Topics Involving the Gamma Distribution: the Normal Coefficient of Variation and Conditional Monte Carlo. (Doctoral Dissertation). North Carolina State University. Retrieved from http://www.lib.ncsu.edu/resolver/1840.16/3721

Chicago Manual of Style (16th Edition):

Boyer, Joseph Guenther. “Topics Involving the Gamma Distribution: the Normal Coefficient of Variation and Conditional Monte Carlo.” 2007. Doctoral Dissertation, North Carolina State University. Accessed July 21, 2019. http://www.lib.ncsu.edu/resolver/1840.16/3721.

MLA Handbook (7th Edition):

Boyer, Joseph Guenther. “Topics Involving the Gamma Distribution: the Normal Coefficient of Variation and Conditional Monte Carlo.” 2007. Web. 21 Jul 2019.

Vancouver:

Boyer JG. Topics Involving the Gamma Distribution: the Normal Coefficient of Variation and Conditional Monte Carlo. [Internet] [Doctoral dissertation]. North Carolina State University; 2007. [cited 2019 Jul 21]. Available from: http://www.lib.ncsu.edu/resolver/1840.16/3721.

Council of Science Editors:

Boyer JG. Topics Involving the Gamma Distribution: the Normal Coefficient of Variation and Conditional Monte Carlo. [Doctoral Dissertation]. North Carolina State University; 2007. Available from: http://www.lib.ncsu.edu/resolver/1840.16/3721


Brno University of Technology

39. Ollé, Tamás. Analýza EMG signálu pro protetickou ruku založenou na Fuzzy logice .

Degree: 2008, Brno University of Technology

 Lidská ruka je koncový orgán horní končetiny, který slouží k důležité funkci uchopení, stejně jako důležitý orgán pro vnímání a komunikaci. Je to úžasný příklad… (more)

Subjects/Keywords: Elektromyograf (EMG); protetická ruka; Biopac Student Lab; akční potenciál (AP); motor unit action potential (MUAP); elektrody; svaly; Self-Organizing Feature Map (SOFM); Zero-crossing (ZC); threshold; variation; Fuzzy logic; Fuzzy Inference System (FIS); Mamdani type FIS; Electromyogram (EMG); prosthetic hand; Biopac Student Lab; Action Potential (AP); Motor Unit Action Potential (MUAP); electrodes; muscles; Self-Organizing Feature Map (SOFM); Zero-crossing (ZC); threshold; variation; Fuzzy logic; Fuzzy Inference System (FIS); Mamdani type FIS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ollé, T. (2008). Analýza EMG signálu pro protetickou ruku založenou na Fuzzy logice . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/15220

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

Ollé, Tamás. “Analýza EMG signálu pro protetickou ruku založenou na Fuzzy logice .” 2008. Thesis, Brno University of Technology. Accessed July 21, 2019. http://hdl.handle.net/11012/15220.

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

MLA Handbook (7th Edition):

Ollé, Tamás. “Analýza EMG signálu pro protetickou ruku založenou na Fuzzy logice .” 2008. Web. 21 Jul 2019.

Vancouver:

Ollé T. Analýza EMG signálu pro protetickou ruku založenou na Fuzzy logice . [Internet] [Thesis]. Brno University of Technology; 2008. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/11012/15220.

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

Council of Science Editors:

Ollé T. Analýza EMG signálu pro protetickou ruku založenou na Fuzzy logice . [Thesis]. Brno University of Technology; 2008. Available from: http://hdl.handle.net/11012/15220

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


Université de Montréal

40. Gagnon, Philippe. Sélection de modèles robuste : régression linéaire et algorithme à sauts réversibles .

Degree: 2018, Université de Montréal

Subjects/Keywords: algorithme Metropolis de type marche aléatoire; analyse en composantes principales; distributions à ailes extrêmement relevées; inférence bayésienne; méthodes de Monte Carlo par chaînes de Markov; robustesse; valeurs aberrantes; Bayesian inference; Markov chain Monte Carlo methods; Outliers; Principal component analysis; Random walk Metropolis algorithm; Robustness; Super heavy-tailed distributions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gagnon, P. (2018). Sélection de modèles robuste : régression linéaire et algorithme à sauts réversibles . (Thesis). Université de Montréal. Retrieved from http://hdl.handle.net/1866/20583

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

Gagnon, Philippe. “Sélection de modèles robuste : régression linéaire et algorithme à sauts réversibles .” 2018. Thesis, Université de Montréal. Accessed July 21, 2019. http://hdl.handle.net/1866/20583.

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

MLA Handbook (7th Edition):

Gagnon, Philippe. “Sélection de modèles robuste : régression linéaire et algorithme à sauts réversibles .” 2018. Web. 21 Jul 2019.

Vancouver:

Gagnon P. Sélection de modèles robuste : régression linéaire et algorithme à sauts réversibles . [Internet] [Thesis]. Université de Montréal; 2018. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1866/20583.

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

Council of Science Editors:

Gagnon P. Sélection de modèles robuste : régression linéaire et algorithme à sauts réversibles . [Thesis]. Université de Montréal; 2018. Available from: http://hdl.handle.net/1866/20583

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

[1] [2]

.