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:( RBC C Abstraction Model). Showing records 1 – 30 of 54421 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Languages

Country

▼ Search Limiters

1. Ulaş, Tuğba. Sekizinci sınıf öğrencilerinin özdeşlik kavramını oluşturma süreçlerinin incelenmesi .

Degree: ESOGÜ, Eğitim Fakültesi, İlköğretim Matematik Eğitimi, 2015, Eskisehir Osmangazi University

 Amaç: Bu araştırmada, özdeşlik kavramının öğrenilmesi esnasındaki bilgi oluşumunun niteliğinin değerlendirilmesi amaçlanmıştır. Yöntem: Bu araştırmada nitel araştırma modellerinden birisi olan durum çalışması kullanılmıştır. Uygulama öncesinde… (more)

Subjects/Keywords: Özdeşlik; RBC+C Soyutlama Modeli; Soyutlama; Identity; RBC+C Abstraction Model; Abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ulaş, T. (2015). Sekizinci sınıf öğrencilerinin özdeşlik kavramını oluşturma süreçlerinin incelenmesi . (Thesis). Eskisehir Osmangazi University. Retrieved from http://hdl.handle.net/11684/1246

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

Ulaş, Tuğba. “Sekizinci sınıf öğrencilerinin özdeşlik kavramını oluşturma süreçlerinin incelenmesi .” 2015. Thesis, Eskisehir Osmangazi University. Accessed December 14, 2019. http://hdl.handle.net/11684/1246.

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

MLA Handbook (7th Edition):

Ulaş, Tuğba. “Sekizinci sınıf öğrencilerinin özdeşlik kavramını oluşturma süreçlerinin incelenmesi .” 2015. Web. 14 Dec 2019.

Vancouver:

Ulaş T. Sekizinci sınıf öğrencilerinin özdeşlik kavramını oluşturma süreçlerinin incelenmesi . [Internet] [Thesis]. Eskisehir Osmangazi University; 2015. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/11684/1246.

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

Council of Science Editors:

Ulaş T. Sekizinci sınıf öğrencilerinin özdeşlik kavramını oluşturma süreçlerinin incelenmesi . [Thesis]. Eskisehir Osmangazi University; 2015. Available from: http://hdl.handle.net/11684/1246

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


Université de Bordeaux I

2. Chucri, Farès. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.

Degree: Docteur es, Informatique, 2012, Université de Bordeaux I

Cette thèse a eu pour but l'étude et la mise en oeuvre des méthodes de vérification par abstraction pour les modèles AltaRica. A cette effet,… (more)

Subjects/Keywords: Verification; Raffinement; Abstraction; Model Checking; Cegar; Abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chucri, F. (2012). Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2012BOR14641

Chicago Manual of Style (16th Edition):

Chucri, Farès. “Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.” 2012. Doctoral Dissertation, Université de Bordeaux I. Accessed December 14, 2019. http://www.theses.fr/2012BOR14641.

MLA Handbook (7th Edition):

Chucri, Farès. “Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR.” 2012. Web. 14 Dec 2019.

Vancouver:

Chucri F. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2012. [cited 2019 Dec 14]. Available from: http://www.theses.fr/2012BOR14641.

Council of Science Editors:

Chucri F. Exploiting model structure in CEGAR verification method : Exploiter la structure des modèles pour la vérification par la méthode CEGAR. [Doctoral Dissertation]. Université de Bordeaux I; 2012. Available from: http://www.theses.fr/2012BOR14641

3. Dai, Rui. Rbc Lifespan Uncertainty: Models and Anemia Management Robustness.

Degree: MS, Electrical & Computer Engineering, 2013, University of Massachusetts

  This thesis discusses the modeling of uncertainty of red blood cell (RBC) lifespan distribution in patients suffering from Chronic Kidney Disease(CKD) patients, whose anemia… (more)

Subjects/Keywords: RBC lifespan uncertainty; AMCS model; robustness; Biomedical; Controls and Control Theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dai, R. (2013). Rbc Lifespan Uncertainty: Models and Anemia Management Robustness. (Masters Thesis). University of Massachusetts. Retrieved from https://scholarworks.umass.edu/theses/1030

Chicago Manual of Style (16th Edition):

Dai, Rui. “Rbc Lifespan Uncertainty: Models and Anemia Management Robustness.” 2013. Masters Thesis, University of Massachusetts. Accessed December 14, 2019. https://scholarworks.umass.edu/theses/1030.

MLA Handbook (7th Edition):

Dai, Rui. “Rbc Lifespan Uncertainty: Models and Anemia Management Robustness.” 2013. Web. 14 Dec 2019.

Vancouver:

Dai R. Rbc Lifespan Uncertainty: Models and Anemia Management Robustness. [Internet] [Masters thesis]. University of Massachusetts; 2013. [cited 2019 Dec 14]. Available from: https://scholarworks.umass.edu/theses/1030.

Council of Science Editors:

Dai R. Rbc Lifespan Uncertainty: Models and Anemia Management Robustness. [Masters Thesis]. University of Massachusetts; 2013. Available from: https://scholarworks.umass.edu/theses/1030


University of Edinburgh

4. Khamseh, Ava. Lattice phenomenology of heavy quarks using dynamical fermions.

Degree: PhD, 2017, University of Edinburgh

 The Standard Model of particle physics is believed to be only the low energy limit of a more fundamental theory. In order to determine its… (more)

Subjects/Keywords: Standard Model; Lattice QCD; Quantum Field Theory; RI/mSMOM; RBC/UKQCD charm project

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khamseh, A. (2017). Lattice phenomenology of heavy quarks using dynamical fermions. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/28855

Chicago Manual of Style (16th Edition):

Khamseh, Ava. “Lattice phenomenology of heavy quarks using dynamical fermions.” 2017. Doctoral Dissertation, University of Edinburgh. Accessed December 14, 2019. http://hdl.handle.net/1842/28855.

MLA Handbook (7th Edition):

Khamseh, Ava. “Lattice phenomenology of heavy quarks using dynamical fermions.” 2017. Web. 14 Dec 2019.

Vancouver:

Khamseh A. Lattice phenomenology of heavy quarks using dynamical fermions. [Internet] [Doctoral dissertation]. University of Edinburgh; 2017. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/1842/28855.

Council of Science Editors:

Khamseh A. Lattice phenomenology of heavy quarks using dynamical fermions. [Doctoral Dissertation]. University of Edinburgh; 2017. Available from: http://hdl.handle.net/1842/28855


University of Hawaii – Manoa

5. Gilbert, Lucille-Michi. The Effects of Language Abstraction on Similarity and Likeability in Personal Descriptions.

Degree: 2017, University of Hawaii – Manoa

M.A. University of Hawaii at Manoa 2015.

Highly abstract or concrete language communicates different types of information. Variations in language abstraction in descriptive language have… (more)

Subjects/Keywords: Language abstraction; Linguistic category model; similarity; likeability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gilbert, L. (2017). The Effects of Language Abstraction on Similarity and Likeability in Personal Descriptions. (Thesis). University of Hawaii – Manoa. Retrieved from http://hdl.handle.net/10125/50892

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

Gilbert, Lucille-Michi. “The Effects of Language Abstraction on Similarity and Likeability in Personal Descriptions.” 2017. Thesis, University of Hawaii – Manoa. Accessed December 14, 2019. http://hdl.handle.net/10125/50892.

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

MLA Handbook (7th Edition):

Gilbert, Lucille-Michi. “The Effects of Language Abstraction on Similarity and Likeability in Personal Descriptions.” 2017. Web. 14 Dec 2019.

Vancouver:

Gilbert L. The Effects of Language Abstraction on Similarity and Likeability in Personal Descriptions. [Internet] [Thesis]. University of Hawaii – Manoa; 2017. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/10125/50892.

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

Council of Science Editors:

Gilbert L. The Effects of Language Abstraction on Similarity and Likeability in Personal Descriptions. [Thesis]. University of Hawaii – Manoa; 2017. Available from: http://hdl.handle.net/10125/50892

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

6. Friggens, David. On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.

Degree: 2013, Victoria University of Wellington

 Concurrent data structure algorithms have traditionally been designed using locks to regulate the behaviour of interacting threads, thus restricting access to parts of the shared… (more)

Subjects/Keywords: Nonblocking algorithms; Model checking; Canonical abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Friggens, D. (2013). On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures. (Doctoral Dissertation). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/2702

Chicago Manual of Style (16th Edition):

Friggens, David. “On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.” 2013. Doctoral Dissertation, Victoria University of Wellington. Accessed December 14, 2019. http://hdl.handle.net/10063/2702.

MLA Handbook (7th Edition):

Friggens, David. “On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.” 2013. Web. 14 Dec 2019.

Vancouver:

Friggens D. On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures. [Internet] [Doctoral dissertation]. Victoria University of Wellington; 2013. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/10063/2702.

Council of Science Editors:

Friggens D. On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures. [Doctoral Dissertation]. Victoria University of Wellington; 2013. Available from: http://hdl.handle.net/10063/2702


Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

7. Chatzieleftheriou, Georgios. Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης.

Degree: 2018, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

Given a transition system M and a specification formula f, the problem of model checking is to determine if M satisfies f. An extended problem… (more)

Subjects/Keywords: Επιδιόρθωση μοντέλου; Έλεγχος μοντέλου; Αφαίρεση; Model repair; Model checking; Abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chatzieleftheriou, G. (2018). Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης. (Thesis). Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Retrieved from http://hdl.handle.net/10442/hedi/43734

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

Chatzieleftheriou, Georgios. “Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης.” 2018. Thesis, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Accessed December 14, 2019. http://hdl.handle.net/10442/hedi/43734.

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

MLA Handbook (7th Edition):

Chatzieleftheriou, Georgios. “Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης.” 2018. Web. 14 Dec 2019.

Vancouver:

Chatzieleftheriou G. Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2018. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/10442/hedi/43734.

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

Council of Science Editors:

Chatzieleftheriou G. Επιδιόρθωση συστημάτων μεταβάσεων μέσω αφαίρεσης. [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2018. Available from: http://hdl.handle.net/10442/hedi/43734

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


Virginia Tech

8. Balasubramanian, Harish. Incremental Design Migration Support in Industrial Control Systems Development.

Degree: MS, Electrical and Computer Engineering, 2014, Virginia Tech

 Industrial control systems (ICS) play an extremely important role in the world around us. They have helped in reducing human effort and contributed to automation… (more)

Subjects/Keywords: Industrial control systems; incremental migration; model-based design; interface abstraction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Balasubramanian, H. (2014). Incremental Design Migration Support in Industrial Control Systems Development. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/50990

Chicago Manual of Style (16th Edition):

Balasubramanian, Harish. “Incremental Design Migration Support in Industrial Control Systems Development.” 2014. Masters Thesis, Virginia Tech. Accessed December 14, 2019. http://hdl.handle.net/10919/50990.

MLA Handbook (7th Edition):

Balasubramanian, Harish. “Incremental Design Migration Support in Industrial Control Systems Development.” 2014. Web. 14 Dec 2019.

Vancouver:

Balasubramanian H. Incremental Design Migration Support in Industrial Control Systems Development. [Internet] [Masters thesis]. Virginia Tech; 2014. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/10919/50990.

Council of Science Editors:

Balasubramanian H. Incremental Design Migration Support in Industrial Control Systems Development. [Masters Thesis]. Virginia Tech; 2014. Available from: http://hdl.handle.net/10919/50990


Brigham Young University

9. Bao, Tonglaga. Verifying Abstract Components Within Concrete Software Environments.

Degree: PhD, 2009, Brigham Young University

 In order to model check a software component which is not a standalone program, we need a model of the software which completes the program.… (more)

Subjects/Keywords: component based software; model checking; abstraction; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bao, T. (2009). Verifying Abstract Components Within Concrete Software Environments. (Doctoral Dissertation). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=3038&context=etd

Chicago Manual of Style (16th Edition):

Bao, Tonglaga. “Verifying Abstract Components Within Concrete Software Environments.” 2009. Doctoral Dissertation, Brigham Young University. Accessed December 14, 2019. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=3038&context=etd.

MLA Handbook (7th Edition):

Bao, Tonglaga. “Verifying Abstract Components Within Concrete Software Environments.” 2009. Web. 14 Dec 2019.

Vancouver:

Bao T. Verifying Abstract Components Within Concrete Software Environments. [Internet] [Doctoral dissertation]. Brigham Young University; 2009. [cited 2019 Dec 14]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=3038&context=etd.

Council of Science Editors:

Bao T. Verifying Abstract Components Within Concrete Software Environments. [Doctoral Dissertation]. Brigham Young University; 2009. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=3038&context=etd


University of Edinburgh

10. Michaelides, Michalis. Phenomenological modelling : statistical abstraction methods for Markov chains.

Degree: PhD, 2019, University of Edinburgh

 Continuous-time Markov chains have long served as exemplary low-level models for an array of systems, be they natural processes like chemical reactions and population fluctuations… (more)

Subjects/Keywords: Markov Chains; statistical abstraction; coarse grained model; inference

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Michaelides, M. (2019). Phenomenological modelling : statistical abstraction methods for Markov chains. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/36109

Chicago Manual of Style (16th Edition):

Michaelides, Michalis. “Phenomenological modelling : statistical abstraction methods for Markov chains.” 2019. Doctoral Dissertation, University of Edinburgh. Accessed December 14, 2019. http://hdl.handle.net/1842/36109.

MLA Handbook (7th Edition):

Michaelides, Michalis. “Phenomenological modelling : statistical abstraction methods for Markov chains.” 2019. Web. 14 Dec 2019.

Vancouver:

Michaelides M. Phenomenological modelling : statistical abstraction methods for Markov chains. [Internet] [Doctoral dissertation]. University of Edinburgh; 2019. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/1842/36109.

Council of Science Editors:

Michaelides M. Phenomenological modelling : statistical abstraction methods for Markov chains. [Doctoral Dissertation]. University of Edinburgh; 2019. Available from: http://hdl.handle.net/1842/36109

11. Pimenta, Corália Maria Santos. A construção do conhecimento no desenvolvimento do pensamento algébrico.

Degree: 2016, RCAAP

 O presente estudo centra-se na análise do processo de abstração, identificado em alunos com nove e dez anos de idade, quando constroem um novo conhecimento… (more)

Subjects/Keywords: Abstração; Reconhecer; Construir; Construção; Consolidação; Early algebra; Mediação; Modelo RBC+C; Pensamento algébrico; Tarefa exploratória; Signos matemáticos; Domínio/Área Científica::Ciências Naturais::Matemáticas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pimenta, C. M. S. (2016). A construção do conhecimento no desenvolvimento do pensamento algébrico. (Thesis). RCAAP. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/4196

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

Pimenta, Corália Maria Santos. “A construção do conhecimento no desenvolvimento do pensamento algébrico.” 2016. Thesis, RCAAP. Accessed December 14, 2019. http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/4196.

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

MLA Handbook (7th Edition):

Pimenta, Corália Maria Santos. “A construção do conhecimento no desenvolvimento do pensamento algébrico.” 2016. Web. 14 Dec 2019.

Vancouver:

Pimenta CMS. A construção do conhecimento no desenvolvimento do pensamento algébrico. [Internet] [Thesis]. RCAAP; 2016. [cited 2019 Dec 14]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/4196.

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

Council of Science Editors:

Pimenta CMS. A construção do conhecimento no desenvolvimento do pensamento algébrico. [Thesis]. RCAAP; 2016. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/4196

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

12. Angélico, Celina Carvalho. ViaWeb – Informação Online da Viatura.

Degree: 2013, Instituto Politécnico de Viseu. Escola Superior de Tecnologia e Gestão de Viseu

Mestrado em Sistemas e Tecnologias de Informação para as Organizações

Nos dias de hoje, torna-se crucial ter dados informatizados. Muitas empresas investiram em sistemas ERP… (more)

Subjects/Keywords: Oficina; ERP; RBC; PME; WEB

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Angélico, C. C. (2013). ViaWeb – Informação Online da Viatura. (Thesis). Instituto Politécnico de Viseu. Escola Superior de Tecnologia e Gestão de Viseu. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipv.pt:10400.19/1941

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

Angélico, Celina Carvalho. “ViaWeb – Informação Online da Viatura.” 2013. Thesis, Instituto Politécnico de Viseu. Escola Superior de Tecnologia e Gestão de Viseu. Accessed December 14, 2019. https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipv.pt:10400.19/1941.

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

MLA Handbook (7th Edition):

Angélico, Celina Carvalho. “ViaWeb – Informação Online da Viatura.” 2013. Web. 14 Dec 2019.

Vancouver:

Angélico CC. ViaWeb – Informação Online da Viatura. [Internet] [Thesis]. Instituto Politécnico de Viseu. Escola Superior de Tecnologia e Gestão de Viseu; 2013. [cited 2019 Dec 14]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipv.pt:10400.19/1941.

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

Council of Science Editors:

Angélico CC. ViaWeb – Informação Online da Viatura. [Thesis]. Instituto Politécnico de Viseu. Escola Superior de Tecnologia e Gestão de Viseu; 2013. Available from: https://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipv.pt:10400.19/1941

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


University of Toronto

13. Babaev, Arkady. The Effect of Red Blood Cell-derived Lipids on Epithelial and Endothelial Injury.

Degree: 2015, University of Toronto

Transfusion-related acute lung injury (TRALI) is a major complication resulting from transfusion and the leading cause of transfusion-related fatalities. In recent years, focus has shifted… (more)

Subjects/Keywords: Injury; Lung; RBC; TRALI; 0719

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Babaev, A. (2015). The Effect of Red Blood Cell-derived Lipids on Epithelial and Endothelial Injury. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/69581

Chicago Manual of Style (16th Edition):

Babaev, Arkady. “The Effect of Red Blood Cell-derived Lipids on Epithelial and Endothelial Injury.” 2015. Masters Thesis, University of Toronto. Accessed December 14, 2019. http://hdl.handle.net/1807/69581.

MLA Handbook (7th Edition):

Babaev, Arkady. “The Effect of Red Blood Cell-derived Lipids on Epithelial and Endothelial Injury.” 2015. Web. 14 Dec 2019.

Vancouver:

Babaev A. The Effect of Red Blood Cell-derived Lipids on Epithelial and Endothelial Injury. [Internet] [Masters thesis]. University of Toronto; 2015. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/1807/69581.

Council of Science Editors:

Babaev A. The Effect of Red Blood Cell-derived Lipids on Epithelial and Endothelial Injury. [Masters Thesis]. University of Toronto; 2015. Available from: http://hdl.handle.net/1807/69581

14. Mahmood, Farrukh. Quality Requirement Abstraction Model (QRAM).

Degree: 2014, , Department of Software Engineering

  Requirement engineering (RE) is an important phase in any project. Both functional and non-functional requirements are required to be elicited. Quality requirements (QRs) are… (more)

Subjects/Keywords: Quality requirements; QRs; Non-functional requirements; Requirement Abstraction Model; RAM; QRAM.; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mahmood, F. (2014). Quality Requirement Abstraction Model (QRAM). (Thesis). , Department of Software Engineering. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3397

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

Mahmood, Farrukh. “Quality Requirement Abstraction Model (QRAM).” 2014. Thesis, , Department of Software Engineering. Accessed December 14, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3397.

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

MLA Handbook (7th Edition):

Mahmood, Farrukh. “Quality Requirement Abstraction Model (QRAM).” 2014. Web. 14 Dec 2019.

Vancouver:

Mahmood F. Quality Requirement Abstraction Model (QRAM). [Internet] [Thesis]. , Department of Software Engineering; 2014. [cited 2019 Dec 14]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3397.

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

Council of Science Editors:

Mahmood F. Quality Requirement Abstraction Model (QRAM). [Thesis]. , Department of Software Engineering; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3397

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

15. FARIAS, Adalberto Cajueiro de. Abstraction of infinite and communicating CSPZ processes .

Degree: 2009, Universidade Federal de Pernambuco

 Esta tese trata de um problema muito comum em verificação formal: explosão de estados. O problema desabilita a verificação automática de propriedades através da verificação… (more)

Subjects/Keywords: Formal methods; Formal specification; CSPZ; Data abstraction; Data refinement, Process refinement; Model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

FARIAS, A. C. d. (2009). Abstraction of infinite and communicating CSPZ processes . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1364

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

FARIAS, Adalberto Cajueiro de. “Abstraction of infinite and communicating CSPZ processes .” 2009. Thesis, Universidade Federal de Pernambuco. Accessed December 14, 2019. http://repositorio.ufpe.br/handle/123456789/1364.

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

MLA Handbook (7th Edition):

FARIAS, Adalberto Cajueiro de. “Abstraction of infinite and communicating CSPZ processes .” 2009. Web. 14 Dec 2019.

Vancouver:

FARIAS ACd. Abstraction of infinite and communicating CSPZ processes . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2009. [cited 2019 Dec 14]. Available from: http://repositorio.ufpe.br/handle/123456789/1364.

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

Council of Science Editors:

FARIAS ACd. Abstraction of infinite and communicating CSPZ processes . [Thesis]. Universidade Federal de Pernambuco; 2009. Available from: http://repositorio.ufpe.br/handle/123456789/1364

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

16. Baggerman, J.W. Supported independence on Mars: Design and evaluation of model-based ePartner support for astronauts on Mars:.

Degree: 2015, Delft University of Technology

 For manned missions to Mars, one of the challenges is to maintain safety in the complex and dynamic space environment. Communication to Mars will suffer… (more)

Subjects/Keywords: ePartner; human-robot team; abstraction hierarchy; ORM model; space mission; user experience engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Baggerman, J. W. (2015). Supported independence on Mars: Design and evaluation of model-based ePartner support for astronauts on Mars:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:c65ce42f-79a4-40c2-a535-272548d351a4

Chicago Manual of Style (16th Edition):

Baggerman, J W. “Supported independence on Mars: Design and evaluation of model-based ePartner support for astronauts on Mars:.” 2015. Masters Thesis, Delft University of Technology. Accessed December 14, 2019. http://resolver.tudelft.nl/uuid:c65ce42f-79a4-40c2-a535-272548d351a4.

MLA Handbook (7th Edition):

Baggerman, J W. “Supported independence on Mars: Design and evaluation of model-based ePartner support for astronauts on Mars:.” 2015. Web. 14 Dec 2019.

Vancouver:

Baggerman JW. Supported independence on Mars: Design and evaluation of model-based ePartner support for astronauts on Mars:. [Internet] [Masters thesis]. Delft University of Technology; 2015. [cited 2019 Dec 14]. Available from: http://resolver.tudelft.nl/uuid:c65ce42f-79a4-40c2-a535-272548d351a4.

Council of Science Editors:

Baggerman JW. Supported independence on Mars: Design and evaluation of model-based ePartner support for astronauts on Mars:. [Masters Thesis]. Delft University of Technology; 2015. Available from: http://resolver.tudelft.nl/uuid:c65ce42f-79a4-40c2-a535-272548d351a4


University of Waterloo

17. Babaee Cheshmeahmadrezaee, Reza. Predictive Runtime Verification of Stochastic Systems.

Degree: 2019, University of Waterloo

 Runtime Verification (RV) is the formal analysis of the execution of a system against some properties at runtime. RV is particularly useful for stochastic systems… (more)

Subjects/Keywords: runtime verification; predictive runtime verification; black box system; abstraction; importance sampling; stochastic system; prediction model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Babaee Cheshmeahmadrezaee, R. (2019). Predictive Runtime Verification of Stochastic Systems. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14876

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

Babaee Cheshmeahmadrezaee, Reza. “Predictive Runtime Verification of Stochastic Systems.” 2019. Thesis, University of Waterloo. Accessed December 14, 2019. http://hdl.handle.net/10012/14876.

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

MLA Handbook (7th Edition):

Babaee Cheshmeahmadrezaee, Reza. “Predictive Runtime Verification of Stochastic Systems.” 2019. Web. 14 Dec 2019.

Vancouver:

Babaee Cheshmeahmadrezaee R. Predictive Runtime Verification of Stochastic Systems. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/10012/14876.

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

Council of Science Editors:

Babaee Cheshmeahmadrezaee R. Predictive Runtime Verification of Stochastic Systems. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14876

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


Arizona State University

18. Singh, Kanishka Raj. Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination.

Degree: Mechanical Engineering, 2018, Arizona State University

 This work considers the design of separating input signals in order to discriminate among a finite number of uncertain nonlinear models. Each nonlinear model corresponds… (more)

Subjects/Keywords: Systems science; Robotics; Automotive engineering; Active Model Discrimination; Affine Abstraction; Input Design; Nonlinear Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Singh, K. R. (2018). Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination. (Masters Thesis). Arizona State University. Retrieved from http://repository.asu.edu/items/49417

Chicago Manual of Style (16th Edition):

Singh, Kanishka Raj. “Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination.” 2018. Masters Thesis, Arizona State University. Accessed December 14, 2019. http://repository.asu.edu/items/49417.

MLA Handbook (7th Edition):

Singh, Kanishka Raj. “Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination.” 2018. Web. 14 Dec 2019.

Vancouver:

Singh KR. Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination. [Internet] [Masters thesis]. Arizona State University; 2018. [cited 2019 Dec 14]. Available from: http://repository.asu.edu/items/49417.

Council of Science Editors:

Singh KR. Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination. [Masters Thesis]. Arizona State University; 2018. Available from: http://repository.asu.edu/items/49417


University of Victoria

19. Singh, Nieraj. Integrated tooling framework for software configuration analysis.

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

 Configurable software systems adapt to changes in hardware and execution environments, and often exhibit a variety of complex maintenance issues. Many tools exist to aid… (more)

Subjects/Keywords: software configuration; tooling frameworks; source analysis; visualization; C preprocessor; Eclipse; Integrated Development Environment; data abstraction; common tooling functionality; source parsing; integration

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Singh, N. (2011). Integrated tooling framework for software configuration analysis. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/3281

Chicago Manual of Style (16th Edition):

Singh, Nieraj. “Integrated tooling framework for software configuration analysis.” 2011. Masters Thesis, University of Victoria. Accessed December 14, 2019. http://hdl.handle.net/1828/3281.

MLA Handbook (7th Edition):

Singh, Nieraj. “Integrated tooling framework for software configuration analysis.” 2011. Web. 14 Dec 2019.

Vancouver:

Singh N. Integrated tooling framework for software configuration analysis. [Internet] [Masters thesis]. University of Victoria; 2011. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/1828/3281.

Council of Science Editors:

Singh N. Integrated tooling framework for software configuration analysis. [Masters Thesis]. University of Victoria; 2011. Available from: http://hdl.handle.net/1828/3281


Tampere University

20. Knight, Andrew. Case Study: Porting Qt to Windows Runtime .

Degree: 2014, Tampere University

 With the abundance of operating system choices available to end-users, particularly for mobile devices, application developers look for ways to cut development time while increasing… (more)

Subjects/Keywords: user interface software development; cross-platform; mobile; abstraction; Windows Runtime; C++; Qt; Qt Quick; QML; declarative; OpenGL; Direct3D

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Knight, A. (2014). Case Study: Porting Qt to Windows Runtime . (Masters Thesis). Tampere University. Retrieved from https://trepo.tuni.fi/handle/10024/95999

Chicago Manual of Style (16th Edition):

Knight, Andrew. “Case Study: Porting Qt to Windows Runtime .” 2014. Masters Thesis, Tampere University. Accessed December 14, 2019. https://trepo.tuni.fi/handle/10024/95999.

MLA Handbook (7th Edition):

Knight, Andrew. “Case Study: Porting Qt to Windows Runtime .” 2014. Web. 14 Dec 2019.

Vancouver:

Knight A. Case Study: Porting Qt to Windows Runtime . [Internet] [Masters thesis]. Tampere University; 2014. [cited 2019 Dec 14]. Available from: https://trepo.tuni.fi/handle/10024/95999.

Council of Science Editors:

Knight A. Case Study: Porting Qt to Windows Runtime . [Masters Thesis]. Tampere University; 2014. Available from: https://trepo.tuni.fi/handle/10024/95999

21. Vekris, Dimitrios. Vérification de spécifications EB-3 à l'aide de techniques de model-checking : Verification of EB-3 specifications with model checking techniques.

Degree: Docteur es, Informatique, 2014, Université Paris-Est

EB-3 est un langage de spécification développé pour la spécification des systèmes d'information. Le noyau du langage EB-3comprend des spécifications d'algèbre de processus afin de… (more)

Subjects/Keywords: Systèmes d'information; Algèbre de processus; Model-Checking; Techniques d'Abstraction; Information Systems; Process Algebras; Model-Checking; Abstraction Techniques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vekris, D. (2014). Vérification de spécifications EB-3 à l'aide de techniques de model-checking : Verification of EB-3 specifications with model checking techniques. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2014PEST1117

Chicago Manual of Style (16th Edition):

Vekris, Dimitrios. “Vérification de spécifications EB-3 à l'aide de techniques de model-checking : Verification of EB-3 specifications with model checking techniques.” 2014. Doctoral Dissertation, Université Paris-Est. Accessed December 14, 2019. http://www.theses.fr/2014PEST1117.

MLA Handbook (7th Edition):

Vekris, Dimitrios. “Vérification de spécifications EB-3 à l'aide de techniques de model-checking : Verification of EB-3 specifications with model checking techniques.” 2014. Web. 14 Dec 2019.

Vancouver:

Vekris D. Vérification de spécifications EB-3 à l'aide de techniques de model-checking : Verification of EB-3 specifications with model checking techniques. [Internet] [Doctoral dissertation]. Université Paris-Est; 2014. [cited 2019 Dec 14]. Available from: http://www.theses.fr/2014PEST1117.

Council of Science Editors:

Vekris D. Vérification de spécifications EB-3 à l'aide de techniques de model-checking : Verification of EB-3 specifications with model checking techniques. [Doctoral Dissertation]. Université Paris-Est; 2014. Available from: http://www.theses.fr/2014PEST1117


University of Illinois – Urbana-Champaign

22. Roohi, Nima. Remedies for building reliable cyber-physical systems.

Degree: PhD, Computer Science, 2017, University of Illinois – Urbana-Champaign

 Cyber-physical systems (CPS) are systems that are tight integration of computer programs as controllers or cyber parts, and physical environments. The interaction is carried out… (more)

Subjects/Keywords: Hybrid automata; Cyber-physical systems; Formal model checking; Safety; Robust model checking; Counter example guided abstraction refinement (CEGAR)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roohi, N. (2017). Remedies for building reliable cyber-physical systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/98134

Chicago Manual of Style (16th Edition):

Roohi, Nima. “Remedies for building reliable cyber-physical systems.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 14, 2019. http://hdl.handle.net/2142/98134.

MLA Handbook (7th Edition):

Roohi, Nima. “Remedies for building reliable cyber-physical systems.” 2017. Web. 14 Dec 2019.

Vancouver:

Roohi N. Remedies for building reliable cyber-physical systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/2142/98134.

Council of Science Editors:

Roohi N. Remedies for building reliable cyber-physical systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/98134

23. Lara, Juan de. Scalable model exploration through abstraction and fragmentation strategies.

Degree: 2018, CEUR-WS

Subjects/Keywords: Model-Driven Engineering; Model Scalability; Model Fragmentation; Model Visualization; Model Abstraction; Informática

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lara, J. d. (2018). Scalable model exploration through abstraction and fragmentation strategies. (Thesis). CEUR-WS. Retrieved from http://hdl.handle.net/10486/675506

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

Lara, Juan de. “Scalable model exploration through abstraction and fragmentation strategies.” 2018. Thesis, CEUR-WS. Accessed December 14, 2019. http://hdl.handle.net/10486/675506.

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

MLA Handbook (7th Edition):

Lara, Juan de. “Scalable model exploration through abstraction and fragmentation strategies.” 2018. Web. 14 Dec 2019.

Vancouver:

Lara Jd. Scalable model exploration through abstraction and fragmentation strategies. [Internet] [Thesis]. CEUR-WS; 2018. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/10486/675506.

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

Council of Science Editors:

Lara Jd. Scalable model exploration through abstraction and fragmentation strategies. [Thesis]. CEUR-WS; 2018. Available from: http://hdl.handle.net/10486/675506

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


Kaunas University of Technology

24. Mikalauskas, Vytautas. Planetinio kūno modeliavimo algoritmų tyrimas.

Degree: Master, Informatics Engineering, 2004, Kaunas University of Technology

 The bursted developing of 3D computer graphics on PC makes possible using it for increasing visual quality of teaching materials which are used in physic… (more)

Subjects/Keywords: System; C++; Model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mikalauskas, Vytautas. (2004). Planetinio kūno modeliavimo algoritmų tyrimas. (Masters Thesis). Kaunas University of Technology. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2004~D_20040910_120055-82160 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Mikalauskas, Vytautas. “Planetinio kūno modeliavimo algoritmų tyrimas.” 2004. Masters Thesis, Kaunas University of Technology. Accessed December 14, 2019. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2004~D_20040910_120055-82160 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Mikalauskas, Vytautas. “Planetinio kūno modeliavimo algoritmų tyrimas.” 2004. Web. 14 Dec 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Mikalauskas, Vytautas. Planetinio kūno modeliavimo algoritmų tyrimas. [Internet] [Masters thesis]. Kaunas University of Technology; 2004. [cited 2019 Dec 14]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2004~D_20040910_120055-82160 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Mikalauskas, Vytautas. Planetinio kūno modeliavimo algoritmų tyrimas. [Masters Thesis]. Kaunas University of Technology; 2004. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2004~D_20040910_120055-82160 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


George Mason University

25. Garrity, Michael J. Computational Membrane Model Using Finite Element Method for Flexible-Wing Based Micro Air Vehicles .

Degree: 2011, George Mason University

 Current designs for Micro Air Vehicles (MAVs) consist of a flexible wing with rigid battens for support. This paper analyzes the development and evaluation of… (more)

Subjects/Keywords: Membrane; MAV; Flexible; Hyperelasticity; Model; C++

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Garrity, M. J. (2011). Computational Membrane Model Using Finite Element Method for Flexible-Wing Based Micro Air Vehicles . (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/6605

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

Garrity, Michael J. “Computational Membrane Model Using Finite Element Method for Flexible-Wing Based Micro Air Vehicles .” 2011. Thesis, George Mason University. Accessed December 14, 2019. http://hdl.handle.net/1920/6605.

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

MLA Handbook (7th Edition):

Garrity, Michael J. “Computational Membrane Model Using Finite Element Method for Flexible-Wing Based Micro Air Vehicles .” 2011. Web. 14 Dec 2019.

Vancouver:

Garrity MJ. Computational Membrane Model Using Finite Element Method for Flexible-Wing Based Micro Air Vehicles . [Internet] [Thesis]. George Mason University; 2011. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/1920/6605.

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

Council of Science Editors:

Garrity MJ. Computational Membrane Model Using Finite Element Method for Flexible-Wing Based Micro Air Vehicles . [Thesis]. George Mason University; 2011. Available from: http://hdl.handle.net/1920/6605

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


Princeton University

26. Birger, Ruthie Breina. Within-Host and Population-level Modeling of Human Immunodeficiency Virus and Hepatitis C Virus Dynamics .

Degree: PhD, 2016, Princeton University

 The Human Immunodeficiency Virus (HIV) pandemic is one of the largest events to impact global human health in the past 30 years. Epidemic and within-host… (more)

Subjects/Keywords: Coinfection; Hepatitis C; HIV; Mathematical Model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Birger, R. B. (2016). Within-Host and Population-level Modeling of Human Immunodeficiency Virus and Hepatitis C Virus Dynamics . (Doctoral Dissertation). Princeton University. Retrieved from http://arks.princeton.edu/ark:/88435/dsp01kp78gj86v

Chicago Manual of Style (16th Edition):

Birger, Ruthie Breina. “Within-Host and Population-level Modeling of Human Immunodeficiency Virus and Hepatitis C Virus Dynamics .” 2016. Doctoral Dissertation, Princeton University. Accessed December 14, 2019. http://arks.princeton.edu/ark:/88435/dsp01kp78gj86v.

MLA Handbook (7th Edition):

Birger, Ruthie Breina. “Within-Host and Population-level Modeling of Human Immunodeficiency Virus and Hepatitis C Virus Dynamics .” 2016. Web. 14 Dec 2019.

Vancouver:

Birger RB. Within-Host and Population-level Modeling of Human Immunodeficiency Virus and Hepatitis C Virus Dynamics . [Internet] [Doctoral dissertation]. Princeton University; 2016. [cited 2019 Dec 14]. Available from: http://arks.princeton.edu/ark:/88435/dsp01kp78gj86v.

Council of Science Editors:

Birger RB. Within-Host and Population-level Modeling of Human Immunodeficiency Virus and Hepatitis C Virus Dynamics . [Doctoral Dissertation]. Princeton University; 2016. Available from: http://arks.princeton.edu/ark:/88435/dsp01kp78gj86v


University of Ghana

27. Nusedonu, J.Y. Role of Antibodies against Antigens of PLASMODIUM MEROZOITE and Infected RBC Surface in Malaria Immunity .

Degree: 2018, University of Ghana

 Background: Malaria infection is caused by parasites belonging to the genus Plasmodium. There are five (5) species of Plasmodium that infect humans, namely: Plasmodium falciparum,… (more)

Subjects/Keywords: Antigens; PLASMODIUM MEROZOITE; Infected RBC; Malaria

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nusedonu, J. Y. (2018). Role of Antibodies against Antigens of PLASMODIUM MEROZOITE and Infected RBC Surface in Malaria Immunity . (Masters Thesis). University of Ghana. Retrieved from http://ugspace.ug.edu.gh/handle/123456789/29342

Chicago Manual of Style (16th Edition):

Nusedonu, J Y. “Role of Antibodies against Antigens of PLASMODIUM MEROZOITE and Infected RBC Surface in Malaria Immunity .” 2018. Masters Thesis, University of Ghana. Accessed December 14, 2019. http://ugspace.ug.edu.gh/handle/123456789/29342.

MLA Handbook (7th Edition):

Nusedonu, J Y. “Role of Antibodies against Antigens of PLASMODIUM MEROZOITE and Infected RBC Surface in Malaria Immunity .” 2018. Web. 14 Dec 2019.

Vancouver:

Nusedonu JY. Role of Antibodies against Antigens of PLASMODIUM MEROZOITE and Infected RBC Surface in Malaria Immunity . [Internet] [Masters thesis]. University of Ghana; 2018. [cited 2019 Dec 14]. Available from: http://ugspace.ug.edu.gh/handle/123456789/29342.

Council of Science Editors:

Nusedonu JY. Role of Antibodies against Antigens of PLASMODIUM MEROZOITE and Infected RBC Surface in Malaria Immunity . [Masters Thesis]. University of Ghana; 2018. Available from: http://ugspace.ug.edu.gh/handle/123456789/29342


KTH

28. Krokos, Evangelos. Centralized Vehicle License Management on ERTMS : Key Database and Communication between Server and RBC.

Degree: Electrical Engineering (EES), 2016, KTH

Today’s rail industry is under great demand. People will use trains even more in the future. Rail industry has to develop and integrate new… (more)

Subjects/Keywords: TLS; HTTPS; RBC; KMAC; KTRANS; ERTMS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krokos, E. (2016). Centralized Vehicle License Management on ERTMS : Key Database and Communication between Server and RBC. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-197724

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

Krokos, Evangelos. “Centralized Vehicle License Management on ERTMS : Key Database and Communication between Server and RBC.” 2016. Thesis, KTH. Accessed December 14, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-197724.

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

MLA Handbook (7th Edition):

Krokos, Evangelos. “Centralized Vehicle License Management on ERTMS : Key Database and Communication between Server and RBC.” 2016. Web. 14 Dec 2019.

Vancouver:

Krokos E. Centralized Vehicle License Management on ERTMS : Key Database and Communication between Server and RBC. [Internet] [Thesis]. KTH; 2016. [cited 2019 Dec 14]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-197724.

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

Council of Science Editors:

Krokos E. Centralized Vehicle License Management on ERTMS : Key Database and Communication between Server and RBC. [Thesis]. KTH; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-197724

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


Université de Bordeaux I

29. Heussner, Alexander. Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions : Characterization of RNA polymerase III transcription regulation in Saccharomyces cerevisiae.

Degree: Docteur es, Informatique, 2011, Université de Bordeaux I

La vérification de propriétés de sûreté des logiciels distribués basés sur des canaux fifo non bornés et fiables mène directement au model checking de systèmes… (more)

Subjects/Keywords: Systèmes distribués; Automates communicants; Distributed system; Automatic verification; Communicating automata; Pushdown system; Cegar; Model checking; Graph Grammar; Tool; Abstraction Refinement

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heussner, A. (2011). Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions : Characterization of RNA polymerase III transcription regulation in Saccharomyces cerevisiae. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2011BOR14278

Chicago Manual of Style (16th Edition):

Heussner, Alexander. “Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions : Characterization of RNA polymerase III transcription regulation in Saccharomyces cerevisiae.” 2011. Doctoral Dissertation, Université de Bordeaux I. Accessed December 14, 2019. http://www.theses.fr/2011BOR14278.

MLA Handbook (7th Edition):

Heussner, Alexander. “Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions : Characterization of RNA polymerase III transcription regulation in Saccharomyces cerevisiae.” 2011. Web. 14 Dec 2019.

Vancouver:

Heussner A. Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions : Characterization of RNA polymerase III transcription regulation in Saccharomyces cerevisiae. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2011. [cited 2019 Dec 14]. Available from: http://www.theses.fr/2011BOR14278.

Council of Science Editors:

Heussner A. Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions : Characterization of RNA polymerase III transcription regulation in Saccharomyces cerevisiae. [Doctoral Dissertation]. Université de Bordeaux I; 2011. Available from: http://www.theses.fr/2011BOR14278


Virginia Tech

30. He, Nannan. Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software.

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

  Conventional testing has become inadequate to satisfy rigorous reliability requirements of embedded software that is playing an increasingly important role in many safety critical… (more)

Subjects/Keywords: Bounded Model Checking; Program Analysis; Abstraction and Refinement; SAT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

He, N. (2009). Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/27683

Chicago Manual of Style (16th Edition):

He, Nannan. “Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software.” 2009. Doctoral Dissertation, Virginia Tech. Accessed December 14, 2019. http://hdl.handle.net/10919/27683.

MLA Handbook (7th Edition):

He, Nannan. “Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software.” 2009. Web. 14 Dec 2019.

Vancouver:

He N. Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software. [Internet] [Doctoral dissertation]. Virginia Tech; 2009. [cited 2019 Dec 14]. Available from: http://hdl.handle.net/10919/27683.

Council of Science Editors:

He N. Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software. [Doctoral Dissertation]. Virginia Tech; 2009. Available from: http://hdl.handle.net/10919/27683

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

.