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:(PVS). Showing records 1 – 30 of 34 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


Universidade de Brasília

1. Rodrigo Borges Nogueira. Verificação formal de protocolos criptográficos : o caso dos protocolos em cascata.

Degree: 2008, Universidade de Brasília

Ensuring the security of cryptographic protocols is not a simple task. The Dolev-Yao model, proposed in the early 80s, is an important mathematical modeling method… (more)

Subjects/Keywords: PVS; PVS; CIENCIA DA COMPUTACAO; verificação formal; protocolos criptográficos; formal verification; cryptographic protocols

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nogueira, R. B. (2008). Verificação formal de protocolos criptográficos : o caso dos protocolos em cascata. (Thesis). Universidade de Brasília. Retrieved from http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4267

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

Nogueira, Rodrigo Borges. “Verificação formal de protocolos criptográficos : o caso dos protocolos em cascata.” 2008. Thesis, Universidade de Brasília. Accessed January 21, 2021. http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4267.

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

MLA Handbook (7th Edition):

Nogueira, Rodrigo Borges. “Verificação formal de protocolos criptográficos : o caso dos protocolos em cascata.” 2008. Web. 21 Jan 2021.

Vancouver:

Nogueira RB. Verificação formal de protocolos criptográficos : o caso dos protocolos em cascata. [Internet] [Thesis]. Universidade de Brasília; 2008. [cited 2021 Jan 21]. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4267.

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

Council of Science Editors:

Nogueira RB. Verificação formal de protocolos criptográficos : o caso dos protocolos em cascata. [Thesis]. Universidade de Brasília; 2008. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4267

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


Universidade de Brasília

2. André Luiz Galdino. Uma formalização da teoria de reescrita em linguagem de ordem superior.

Degree: 2008, Universidade de Brasília

Theories for Abstract Reduction Systems (ARS) and Term Rewriting Systems (TRS) in the proof assistant PVS (Prototype Verification System) called ars and trs, respectively, we… (more)

Subjects/Keywords: MATEMATICA; Teoria de Reescrita; PVS: pares críticos; formalização

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Galdino, A. L. (2008). Uma formalização da teoria de reescrita em linguagem de ordem superior. (Thesis). Universidade de Brasília. Retrieved from http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4014

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

Galdino, André Luiz. “Uma formalização da teoria de reescrita em linguagem de ordem superior.” 2008. Thesis, Universidade de Brasília. Accessed January 21, 2021. http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4014.

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

MLA Handbook (7th Edition):

Galdino, André Luiz. “Uma formalização da teoria de reescrita em linguagem de ordem superior.” 2008. Web. 21 Jan 2021.

Vancouver:

Galdino AL. Uma formalização da teoria de reescrita em linguagem de ordem superior. [Internet] [Thesis]. Universidade de Brasília; 2008. [cited 2021 Jan 21]. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4014.

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

Council of Science Editors:

Galdino AL. Uma formalização da teoria de reescrita em linguagem de ordem superior. [Thesis]. Universidade de Brasília; 2008. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4014

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

3. Santos, Sara Lisboa Santos Fonseca. Estudo da alteração dimensional de um silicone de adição após um método de desinfecção e esterilização.

Degree: 2014, RCAAP

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Objectivos: Avaliar o efeito da desinfecção e da autoclavagem,… (more)

Subjects/Keywords: Alterações dimensionais; PVS; Desinfecção; Esterilização; Interferómetro de Michelson

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santos, S. L. S. F. (2014). Estudo da alteração dimensional de um silicone de adição após um método de desinfecção e esterilização. (Thesis). RCAAP. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:comum.rcaap.pt:10400.26/13828

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

Santos, Sara Lisboa Santos Fonseca. “Estudo da alteração dimensional de um silicone de adição após um método de desinfecção e esterilização.” 2014. Thesis, RCAAP. Accessed January 21, 2021. https://www.rcaap.pt/detail.jsp?id=oai:comum.rcaap.pt:10400.26/13828.

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

MLA Handbook (7th Edition):

Santos, Sara Lisboa Santos Fonseca. “Estudo da alteração dimensional de um silicone de adição após um método de desinfecção e esterilização.” 2014. Web. 21 Jan 2021.

Vancouver:

Santos SLSF. Estudo da alteração dimensional de um silicone de adição após um método de desinfecção e esterilização. [Internet] [Thesis]. RCAAP; 2014. [cited 2021 Jan 21]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:comum.rcaap.pt:10400.26/13828.

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

Council of Science Editors:

Santos SLSF. Estudo da alteração dimensional de um silicone de adição após um método de desinfecção e esterilização. [Thesis]. RCAAP; 2014. Available from: https://www.rcaap.pt/detail.jsp?id=oai:comum.rcaap.pt:10400.26/13828

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


Brno University of Technology

4. Hodes, Vít. Výpočet viditelnosti v 3D bludišti: Visibility Determination in 3D Maze.

Degree: 2019, Brno University of Technology

 This work is about solving the visibility problem in the environment of simple 3D maze by means of BSP tree and PVS computation between leaves.… (more)

Subjects/Keywords: PVS; BSP; portál; potenciální; sada; viditelnosti; binární; dělení; prostoru; OpenGL; bludiště; 3D; uzel; list; strom; PVS; BSP; portal; potential; visibility; set; binary; space; partitioning; OpenGL; maze; 3D; leaf; node; tree

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hodes, V. (2019). Výpočet viditelnosti v 3D bludišti: Visibility Determination in 3D Maze. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/56450

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

Hodes, Vít. “Výpočet viditelnosti v 3D bludišti: Visibility Determination in 3D Maze.” 2019. Thesis, Brno University of Technology. Accessed January 21, 2021. http://hdl.handle.net/11012/56450.

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

MLA Handbook (7th Edition):

Hodes, Vít. “Výpočet viditelnosti v 3D bludišti: Visibility Determination in 3D Maze.” 2019. Web. 21 Jan 2021.

Vancouver:

Hodes V. Výpočet viditelnosti v 3D bludišti: Visibility Determination in 3D Maze. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11012/56450.

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

Council of Science Editors:

Hodes V. Výpočet viditelnosti v 3D bludišti: Visibility Determination in 3D Maze. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/56450

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

5. Gilbert, Frédéric. Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS.

Degree: Docteur es, Mathématiques. Logique et fondements de l'informatique, 2018, Sorbonne Paris Cité

Le système de types de la logique d'ordre supérieur permet d'exclure certaines expressions indésirables telles que l'application d'un prédicat à lui-même. Cependant, il ne suffit… (more)

Subjects/Keywords: Prototype verification system (PVS); Logique d'ordre supérieur; Sous-typage par prédicats; Prototype verification system (PVS); Higher-order logic; Predicate subtyping; Type theory; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gilbert, F. (2018). Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2018USPCC009

Chicago Manual of Style (16th Edition):

Gilbert, Frédéric. “Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS.” 2018. Doctoral Dissertation, Sorbonne Paris Cité. Accessed January 21, 2021. http://www.theses.fr/2018USPCC009.

MLA Handbook (7th Edition):

Gilbert, Frédéric. “Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS.” 2018. Web. 21 Jan 2021.

Vancouver:

Gilbert F. Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2018. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2018USPCC009.

Council of Science Editors:

Gilbert F. Extending higher-order logic with predicate subtyping : application to PVS : Extension de la logique d'ordre supérieur avec le sous-typage par prédicats : application à PVS. [Doctoral Dissertation]. Sorbonne Paris Cité; 2018. Available from: http://www.theses.fr/2018USPCC009


McMaster University

6. Pang, Linna. An Engineering Methodology for the Formal Verification of Function Block Based Systems.

Degree: PhD, 2015, McMaster University

Many industrial control systems use programmable logic controllers (PLCs) since they provide a highly reliable, off-the-shelf hardware platform. On the programming side, function blocks (FBs)… (more)

Subjects/Keywords: Critical systems; Formal specification; Formal verification; Function blocks; Tabular expressions; IEC 61131-3; PVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pang, L. (2015). An Engineering Methodology for the Formal Verification of Function Block Based Systems. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18127

Chicago Manual of Style (16th Edition):

Pang, Linna. “An Engineering Methodology for the Formal Verification of Function Block Based Systems.” 2015. Doctoral Dissertation, McMaster University. Accessed January 21, 2021. http://hdl.handle.net/11375/18127.

MLA Handbook (7th Edition):

Pang, Linna. “An Engineering Methodology for the Formal Verification of Function Block Based Systems.” 2015. Web. 21 Jan 2021.

Vancouver:

Pang L. An Engineering Methodology for the Formal Verification of Function Block Based Systems. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11375/18127.

Council of Science Editors:

Pang L. An Engineering Methodology for the Formal Verification of Function Block Based Systems. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18127


INP Toulouse

7. Aubin, Antoine. Optimisation des opérations de séchage dans la chaîne de fabrication du PVC en poudre. Expérimentation, simulation et modélisation. : Optimization of drying operations in powder PVC production line. Experimentation, simulation and modeling.

Degree: Docteur es, Génie des procédés et de l'environnement, 2014, INP Toulouse

Lors de la production du PVC en poudre, après l’étape de polymérisation en suspension, on obtient une bouillie constituée d’un mélange de grains macroporeux de… (more)

Subjects/Keywords: PVC; Séchage; Fluidisation; Cinétique; Séchoir pneumatique; PVS; Drying; Fluidization; Kinetic; Pneumatic dryer

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aubin, A. (2014). Optimisation des opérations de séchage dans la chaîne de fabrication du PVC en poudre. Expérimentation, simulation et modélisation. : Optimization of drying operations in powder PVC production line. Experimentation, simulation and modeling. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2014INPT0048

Chicago Manual of Style (16th Edition):

Aubin, Antoine. “Optimisation des opérations de séchage dans la chaîne de fabrication du PVC en poudre. Expérimentation, simulation et modélisation. : Optimization of drying operations in powder PVC production line. Experimentation, simulation and modeling.” 2014. Doctoral Dissertation, INP Toulouse. Accessed January 21, 2021. http://www.theses.fr/2014INPT0048.

MLA Handbook (7th Edition):

Aubin, Antoine. “Optimisation des opérations de séchage dans la chaîne de fabrication du PVC en poudre. Expérimentation, simulation et modélisation. : Optimization of drying operations in powder PVC production line. Experimentation, simulation and modeling.” 2014. Web. 21 Jan 2021.

Vancouver:

Aubin A. Optimisation des opérations de séchage dans la chaîne de fabrication du PVC en poudre. Expérimentation, simulation et modélisation. : Optimization of drying operations in powder PVC production line. Experimentation, simulation and modeling. [Internet] [Doctoral dissertation]. INP Toulouse; 2014. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2014INPT0048.

Council of Science Editors:

Aubin A. Optimisation des opérations de séchage dans la chaîne de fabrication du PVC en poudre. Expérimentation, simulation et modélisation. : Optimization of drying operations in powder PVC production line. Experimentation, simulation and modeling. [Doctoral Dissertation]. INP Toulouse; 2014. Available from: http://www.theses.fr/2014INPT0048


McMaster University

8. Deng, Honghan. Formal Verification of FPGA Based Systems.

Degree: MASc, 2011, McMaster University

In design verication, although simulation is still a widely used verication technique in FPGA design, formal verication is obtaining greater acceptance as the complexity… (more)

Subjects/Keywords: Formal method; PVS; Hardware verification; FPGA; HDL.; Digital Circuits; Hardware Systems; Other Computer Engineering; Digital Circuits

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Deng, H. (2011). Formal Verification of FPGA Based Systems. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/11188

Chicago Manual of Style (16th Edition):

Deng, Honghan. “Formal Verification of FPGA Based Systems.” 2011. Masters Thesis, McMaster University. Accessed January 21, 2021. http://hdl.handle.net/11375/11188.

MLA Handbook (7th Edition):

Deng, Honghan. “Formal Verification of FPGA Based Systems.” 2011. Web. 21 Jan 2021.

Vancouver:

Deng H. Formal Verification of FPGA Based Systems. [Internet] [Masters thesis]. McMaster University; 2011. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11375/11188.

Council of Science Editors:

Deng H. Formal Verification of FPGA Based Systems. [Masters Thesis]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11188


University of Colorado

9. Su, Zhenbi. Numerical Evaluating Pulmonary Hemodynamics and RV Afterload in Pulmonary Arterial Hypertension Progression.

Degree: PhD, Mechanical Engineering, 2010, University of Colorado

  Pulmonary arterial hypertension (PAH) is an important determinant of morbidity and mortality in children with congenital heart disease. Previous and current investigations on pulmonary… (more)

Subjects/Keywords: Pulmonary Arterial Hypertension (PAH); pulmonary vascular resistance (PVR); pulmonary vascular stiffness (PVS); right ventricular (RV) power; Vasodilator treatment; Biomechanical Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Su, Z. (2010). Numerical Evaluating Pulmonary Hemodynamics and RV Afterload in Pulmonary Arterial Hypertension Progression. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/mcen_gradetds/10

Chicago Manual of Style (16th Edition):

Su, Zhenbi. “Numerical Evaluating Pulmonary Hemodynamics and RV Afterload in Pulmonary Arterial Hypertension Progression.” 2010. Doctoral Dissertation, University of Colorado. Accessed January 21, 2021. https://scholar.colorado.edu/mcen_gradetds/10.

MLA Handbook (7th Edition):

Su, Zhenbi. “Numerical Evaluating Pulmonary Hemodynamics and RV Afterload in Pulmonary Arterial Hypertension Progression.” 2010. Web. 21 Jan 2021.

Vancouver:

Su Z. Numerical Evaluating Pulmonary Hemodynamics and RV Afterload in Pulmonary Arterial Hypertension Progression. [Internet] [Doctoral dissertation]. University of Colorado; 2010. [cited 2021 Jan 21]. Available from: https://scholar.colorado.edu/mcen_gradetds/10.

Council of Science Editors:

Su Z. Numerical Evaluating Pulmonary Hemodynamics and RV Afterload in Pulmonary Arterial Hypertension Progression. [Doctoral Dissertation]. University of Colorado; 2010. Available from: https://scholar.colorado.edu/mcen_gradetds/10

10. Martinoia, Diego. Proving Correctness within an Access Control Evaluation Framework.

Degree: 2013, University of Illinois – Chicago

 This thesis presents the proofs developed to demonstrate correctness of a case study within the Access Control Evaluation Framework (ACEF). ACEF is a theoretical framework… (more)

Subjects/Keywords: Access Control; Formal Methods; Correctness; PVS; Verification

…study ACEF case studies within the Prototype Verification System (PVS). PVS was… …can easily be translated into other systems. Within PVS I also formalized the intuitive… …using PVS, or another generic theorem prover, to prove ACEF correctness can be challenging: as… …study. After that, I’ll describe the choices taken in the development of the PVS structure and… …details, he can consult the original full paper on ACEF [11] . CHAPTER 3 PVS… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Martinoia, D. (2013). Proving Correctness within an Access Control Evaluation Framework. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/10132

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

Martinoia, Diego. “Proving Correctness within an Access Control Evaluation Framework.” 2013. Thesis, University of Illinois – Chicago. Accessed January 21, 2021. http://hdl.handle.net/10027/10132.

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

MLA Handbook (7th Edition):

Martinoia, Diego. “Proving Correctness within an Access Control Evaluation Framework.” 2013. Web. 21 Jan 2021.

Vancouver:

Martinoia D. Proving Correctness within an Access Control Evaluation Framework. [Internet] [Thesis]. University of Illinois – Chicago; 2013. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/10027/10132.

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

Council of Science Editors:

Martinoia D. Proving Correctness within an Access Control Evaluation Framework. [Thesis]. University of Illinois – Chicago; 2013. Available from: http://hdl.handle.net/10027/10132

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


Halmstad University

11. Holm, Anders. CATIA V5 SOM KONCEPTGENERERINGSVERKTYG.

Degree: Business and Engineering (SET), 2007, Halmstad University

  Att ta fram en ny bilmodell är ett tidskrävande och omfattande arbete där många olika kunskapsområden måste samspela. En del i utvecklingsprocessen som får… (more)

Subjects/Keywords: Catia V5; Imagine and Shape; Volvo personvagnar; PVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Holm, A. (2007). CATIA V5 SOM KONCEPTGENERERINGSVERKTYG. (Thesis). Halmstad University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-771

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

Holm, Anders. “CATIA V5 SOM KONCEPTGENERERINGSVERKTYG.” 2007. Thesis, Halmstad University. Accessed January 21, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-771.

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

MLA Handbook (7th Edition):

Holm, Anders. “CATIA V5 SOM KONCEPTGENERERINGSVERKTYG.” 2007. Web. 21 Jan 2021.

Vancouver:

Holm A. CATIA V5 SOM KONCEPTGENERERINGSVERKTYG. [Internet] [Thesis]. Halmstad University; 2007. [cited 2021 Jan 21]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-771.

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

Council of Science Editors:

Holm A. CATIA V5 SOM KONCEPTGENERERINGSVERKTYG. [Thesis]. Halmstad University; 2007. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-771

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

12. SHI LING. Comparative Studies, Formal Semantics and PVS Encoding of CSP#.

Degree: 2014, National University of Singapore

Subjects/Keywords: Concurrency; Shared Variables; Denotational Semantics; UTP; Encoding; PVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

LING, S. (2014). Comparative Studies, Formal Semantics and PVS Encoding of CSP#. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/113265

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

LING, SHI. “Comparative Studies, Formal Semantics and PVS Encoding of CSP#.” 2014. Thesis, National University of Singapore. Accessed January 21, 2021. http://scholarbank.nus.edu.sg/handle/10635/113265.

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

MLA Handbook (7th Edition):

LING, SHI. “Comparative Studies, Formal Semantics and PVS Encoding of CSP#.” 2014. Web. 21 Jan 2021.

Vancouver:

LING S. Comparative Studies, Formal Semantics and PVS Encoding of CSP#. [Internet] [Thesis]. National University of Singapore; 2014. [cited 2021 Jan 21]. Available from: http://scholarbank.nus.edu.sg/handle/10635/113265.

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

Council of Science Editors:

LING S. Comparative Studies, Formal Semantics and PVS Encoding of CSP#. [Thesis]. National University of Singapore; 2014. Available from: http://scholarbank.nus.edu.sg/handle/10635/113265

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

13. YUAN LING. Generic fault tolerant software architecture: Modeling, customization and verification.

Degree: 2008, National University of Singapore

Subjects/Keywords: GFTSA; Fault Tolerance; Object-Z; XVCL; PVS; ProofLite

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

LING, Y. (2008). Generic fault tolerant software architecture: Modeling, customization and verification. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/13267

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

LING, YUAN. “Generic fault tolerant software architecture: Modeling, customization and verification.” 2008. Thesis, National University of Singapore. Accessed January 21, 2021. http://scholarbank.nus.edu.sg/handle/10635/13267.

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

MLA Handbook (7th Edition):

LING, YUAN. “Generic fault tolerant software architecture: Modeling, customization and verification.” 2008. Web. 21 Jan 2021.

Vancouver:

LING Y. Generic fault tolerant software architecture: Modeling, customization and verification. [Internet] [Thesis]. National University of Singapore; 2008. [cited 2021 Jan 21]. Available from: http://scholarbank.nus.edu.sg/handle/10635/13267.

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

Council of Science Editors:

LING Y. Generic fault tolerant software architecture: Modeling, customization and verification. [Thesis]. National University of Singapore; 2008. Available from: http://scholarbank.nus.edu.sg/handle/10635/13267

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

14. SIVANESAN KAILASH PRABHU. Design of adaptive and hybrid energy & QOS aware heterogeneous multiprocessor scheduling strategies for embedded systems.

Degree: 2009, National University of Singapore

Subjects/Keywords: BSN; PVS; multiprocessor; scheduling; battery; power-aware

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

PRABHU, S. K. (2009). Design of adaptive and hybrid energy & QOS aware heterogeneous multiprocessor scheduling strategies for embedded systems. (Thesis). National University of Singapore. Retrieved from https://scholarbank.nus.edu.sg/handle/10635/16564

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

PRABHU, SIVANESAN KAILASH. “Design of adaptive and hybrid energy & QOS aware heterogeneous multiprocessor scheduling strategies for embedded systems.” 2009. Thesis, National University of Singapore. Accessed January 21, 2021. https://scholarbank.nus.edu.sg/handle/10635/16564.

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

MLA Handbook (7th Edition):

PRABHU, SIVANESAN KAILASH. “Design of adaptive and hybrid energy & QOS aware heterogeneous multiprocessor scheduling strategies for embedded systems.” 2009. Web. 21 Jan 2021.

Vancouver:

PRABHU SK. Design of adaptive and hybrid energy & QOS aware heterogeneous multiprocessor scheduling strategies for embedded systems. [Internet] [Thesis]. National University of Singapore; 2009. [cited 2021 Jan 21]. Available from: https://scholarbank.nus.edu.sg/handle/10635/16564.

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

Council of Science Editors:

PRABHU SK. Design of adaptive and hybrid energy & QOS aware heterogeneous multiprocessor scheduling strategies for embedded systems. [Thesis]. National University of Singapore; 2009. Available from: https://scholarbank.nus.edu.sg/handle/10635/16564

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


Brno University of Technology

15. Havlena, Jan. Modul pro komunikaci s portálem České daňové správy: Module for Electronic Communication with the Czech Tax Administration.

Degree: 2019, Brno University of Technology

 Bachelor thesis "Module for Electronic Communication with the Czech Tax Administration" has aim at the creation of module for electronic communication with the Czech Tax… (more)

Subjects/Keywords: Elektronická komunikace; elektronické podání; protokol pro komunikaci s PVS; mechanizmus elektronického podpisu; certifikát; certifikační autority; jazyk XML; protokol HTTPS; Electronic communication; electronic filing; protocol for communication with PVS; mechanism of electronic signature; certificate; certification authority; language XML; protocol HTTPS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Havlena, J. (2019). Modul pro komunikaci s portálem České daňové správy: Module for Electronic Communication with the Czech Tax Administration. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/55497

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

Havlena, Jan. “Modul pro komunikaci s portálem České daňové správy: Module for Electronic Communication with the Czech Tax Administration.” 2019. Thesis, Brno University of Technology. Accessed January 21, 2021. http://hdl.handle.net/11012/55497.

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

MLA Handbook (7th Edition):

Havlena, Jan. “Modul pro komunikaci s portálem České daňové správy: Module for Electronic Communication with the Czech Tax Administration.” 2019. Web. 21 Jan 2021.

Vancouver:

Havlena J. Modul pro komunikaci s portálem České daňové správy: Module for Electronic Communication with the Czech Tax Administration. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11012/55497.

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

Council of Science Editors:

Havlena J. Modul pro komunikaci s portálem České daňové správy: Module for Electronic Communication with the Czech Tax Administration. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/55497

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

16. Duruisseau, Kévin. Transition énergétique et géographie : le photovoltaïque au sol dans le sud de la France : Energy transition and geography : the photovoltaic ground in the south of France.

Degree: Docteur es, Géographie, 2016, Aix Marseille Université

Amorcée en 2002 avec la mise en place d’un régime financier d’encadrement basé sur un système de tarifs de rachat de l’électricité, la politique photovoltaïque… (more)

Subjects/Keywords: Transition énergétique « bas carbone »; Territorialisation; Photovoltaïque au sol (PVS); Politique publique; Système d’acteurs; Dépendance au sentier; "low carbon" energy transition; Territorialization; Photovoltaic ground; Public policy; System of actors; Path dependency

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Duruisseau, K. (2016). Transition énergétique et géographie : le photovoltaïque au sol dans le sud de la France : Energy transition and geography : the photovoltaic ground in the south of France. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2016AIXM3050

Chicago Manual of Style (16th Edition):

Duruisseau, Kévin. “Transition énergétique et géographie : le photovoltaïque au sol dans le sud de la France : Energy transition and geography : the photovoltaic ground in the south of France.” 2016. Doctoral Dissertation, Aix Marseille Université. Accessed January 21, 2021. http://www.theses.fr/2016AIXM3050.

MLA Handbook (7th Edition):

Duruisseau, Kévin. “Transition énergétique et géographie : le photovoltaïque au sol dans le sud de la France : Energy transition and geography : the photovoltaic ground in the south of France.” 2016. Web. 21 Jan 2021.

Vancouver:

Duruisseau K. Transition énergétique et géographie : le photovoltaïque au sol dans le sud de la France : Energy transition and geography : the photovoltaic ground in the south of France. [Internet] [Doctoral dissertation]. Aix Marseille Université 2016. [cited 2021 Jan 21]. Available from: http://www.theses.fr/2016AIXM3050.

Council of Science Editors:

Duruisseau K. Transition énergétique et géographie : le photovoltaïque au sol dans le sud de la France : Energy transition and geography : the photovoltaic ground in the south of France. [Doctoral Dissertation]. Aix Marseille Université 2016. Available from: http://www.theses.fr/2016AIXM3050


Brno University of Technology

17. Kovaľ, Nikodém. Posouzení návrhu malé fotovoltaické elektrárny pro rodinný dům a zpracování postupu její revize: Assessment of the design of a small photovoltaic power plant for a family house and elaboration of its revision process.

Degree: 2020, Brno University of Technology

 The bachelor's thesis deals with the assessment of a domestic photovoltaic power plant for a family house and the processing of its revision. At the… (more)

Subjects/Keywords: fotovoltaická elektráreň; slnečná energia; fotovoltaický panel; sieťová fotovoltaická elektráreň; revízia FVE; photovoltaic power plant; sun energy; photovoltaic panel; on-grid photovoltaic system; revision of PVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kovaľ, N. (2020). Posouzení návrhu malé fotovoltaické elektrárny pro rodinný dům a zpracování postupu její revize: Assessment of the design of a small photovoltaic power plant for a family house and elaboration of its revision process. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/190390

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

Kovaľ, Nikodém. “Posouzení návrhu malé fotovoltaické elektrárny pro rodinný dům a zpracování postupu její revize: Assessment of the design of a small photovoltaic power plant for a family house and elaboration of its revision process.” 2020. Thesis, Brno University of Technology. Accessed January 21, 2021. http://hdl.handle.net/11012/190390.

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

MLA Handbook (7th Edition):

Kovaľ, Nikodém. “Posouzení návrhu malé fotovoltaické elektrárny pro rodinný dům a zpracování postupu její revize: Assessment of the design of a small photovoltaic power plant for a family house and elaboration of its revision process.” 2020. Web. 21 Jan 2021.

Vancouver:

Kovaľ N. Posouzení návrhu malé fotovoltaické elektrárny pro rodinný dům a zpracování postupu její revize: Assessment of the design of a small photovoltaic power plant for a family house and elaboration of its revision process. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11012/190390.

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

Council of Science Editors:

Kovaľ N. Posouzení návrhu malé fotovoltaické elektrárny pro rodinný dům a zpracování postupu její revize: Assessment of the design of a small photovoltaic power plant for a family house and elaboration of its revision process. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/190390

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


Queensland University of Technology

18. Shahnia, Farhad. Analysis and correction of voltage profile in low voltage distribution networks containing photovoltaic cells and electric vehicles.

Degree: 2011, Queensland University of Technology

 Voltage drop and rise at network peak and off–peak periods along with voltage unbalance are the major power quality problems in low voltage distribution networks.… (more)

Subjects/Keywords: low voltage distribution networks; voltage profile; voltage unbalance; photovoltaic cells; single–phase rooftop PVs; plug–in electric vehicles; micro grid; DSTATCOM; DVR; sensitivity analysis; stochastic evaluation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shahnia, F. (2011). Analysis and correction of voltage profile in low voltage distribution networks containing photovoltaic cells and electric vehicles. (Thesis). Queensland University of Technology. Retrieved from https://eprints.qut.edu.au/50834/

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

Shahnia, Farhad. “Analysis and correction of voltage profile in low voltage distribution networks containing photovoltaic cells and electric vehicles.” 2011. Thesis, Queensland University of Technology. Accessed January 21, 2021. https://eprints.qut.edu.au/50834/.

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

MLA Handbook (7th Edition):

Shahnia, Farhad. “Analysis and correction of voltage profile in low voltage distribution networks containing photovoltaic cells and electric vehicles.” 2011. Web. 21 Jan 2021.

Vancouver:

Shahnia F. Analysis and correction of voltage profile in low voltage distribution networks containing photovoltaic cells and electric vehicles. [Internet] [Thesis]. Queensland University of Technology; 2011. [cited 2021 Jan 21]. Available from: https://eprints.qut.edu.au/50834/.

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

Council of Science Editors:

Shahnia F. Analysis and correction of voltage profile in low voltage distribution networks containing photovoltaic cells and electric vehicles. [Thesis]. Queensland University of Technology; 2011. Available from: https://eprints.qut.edu.au/50834/

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


Università Cattolica del Sacro Cuore

19. GAMA, ISA. Dinamiche Interculturali e Sviluppo: Mozambico e Cooperazione Internazionale Italiana.

Degree: 2011, Università Cattolica del Sacro Cuore

Questo studio tratta dei rapporti della cooperazione internazionale per lo sviluppo che favorisce lo scambio tra culture. Si tratta di una ricerca socio-antropologica sull’orientamento cognitivo… (more)

Subjects/Keywords: M-DEA/01: DISCIPLINE DEMOETNOANTROPOLOGICHE; SPS/07: SOCIOLOGIA GENERALE; Relazioni Culturali, Sviluppo, Cooperazione Internazionale, Pasei in via di Sviluppo(PVS), Cultural Relations, Development, International Cooperation, Developing Countries

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

GAMA, I. (2011). Dinamiche Interculturali e Sviluppo: Mozambico e Cooperazione Internazionale Italiana. (Doctoral Dissertation). Università Cattolica del Sacro Cuore. Retrieved from http://hdl.handle.net/10280/987

Chicago Manual of Style (16th Edition):

GAMA, ISA. “Dinamiche Interculturali e Sviluppo: Mozambico e Cooperazione Internazionale Italiana.” 2011. Doctoral Dissertation, Università Cattolica del Sacro Cuore. Accessed January 21, 2021. http://hdl.handle.net/10280/987.

MLA Handbook (7th Edition):

GAMA, ISA. “Dinamiche Interculturali e Sviluppo: Mozambico e Cooperazione Internazionale Italiana.” 2011. Web. 21 Jan 2021.

Vancouver:

GAMA I. Dinamiche Interculturali e Sviluppo: Mozambico e Cooperazione Internazionale Italiana. [Internet] [Doctoral dissertation]. Università Cattolica del Sacro Cuore; 2011. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/10280/987.

Council of Science Editors:

GAMA I. Dinamiche Interculturali e Sviluppo: Mozambico e Cooperazione Internazionale Italiana. [Doctoral Dissertation]. Università Cattolica del Sacro Cuore; 2011. Available from: http://hdl.handle.net/10280/987

20. CHEN CHUNQING. A verification system for interval-based specification languages with its application to simulink.

Degree: 2009, National University of Singapore

Subjects/Keywords: Real-time computing systems; Interval-based specification languages; Formal verification; PVS; Simulink

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

CHUNQING, C. (2009). A verification system for interval-based specification languages with its application to simulink. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/12960

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

CHUNQING, CHEN. “A verification system for interval-based specification languages with its application to simulink.” 2009. Thesis, National University of Singapore. Accessed January 21, 2021. http://scholarbank.nus.edu.sg/handle/10635/12960.

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

MLA Handbook (7th Edition):

CHUNQING, CHEN. “A verification system for interval-based specification languages with its application to simulink.” 2009. Web. 21 Jan 2021.

Vancouver:

CHUNQING C. A verification system for interval-based specification languages with its application to simulink. [Internet] [Thesis]. National University of Singapore; 2009. [cited 2021 Jan 21]. Available from: http://scholarbank.nus.edu.sg/handle/10635/12960.

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

Council of Science Editors:

CHUNQING C. A verification system for interval-based specification languages with its application to simulink. [Thesis]. National University of Singapore; 2009. Available from: http://scholarbank.nus.edu.sg/handle/10635/12960

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


Brandeis University

21. Cypess, Joshua. Jewish Medical Culture: Case Studies in End-of-Life Decision Making.

Degree: 2015, Brandeis University

 As the technology of medical care has advanced in recent years, the ethical, religious, and legal problems and questions surrounding it have multiplied. This principle… (more)

Subjects/Keywords: Jewish Studies; Sociology; End of Life; Death; Medical Ethics; Medical Sociology; Sociology of Health; Sociology of Religion; Orthodox Judaism; Halakhah; PVS; conjoined twins; Terri Schiavo; brain death

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cypess, J. (2015). Jewish Medical Culture: Case Studies in End-of-Life Decision Making. (Thesis). Brandeis University. Retrieved from http://hdl.handle.net/10192/31050

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

Cypess, Joshua. “Jewish Medical Culture: Case Studies in End-of-Life Decision Making.” 2015. Thesis, Brandeis University. Accessed January 21, 2021. http://hdl.handle.net/10192/31050.

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

MLA Handbook (7th Edition):

Cypess, Joshua. “Jewish Medical Culture: Case Studies in End-of-Life Decision Making.” 2015. Web. 21 Jan 2021.

Vancouver:

Cypess J. Jewish Medical Culture: Case Studies in End-of-Life Decision Making. [Internet] [Thesis]. Brandeis University; 2015. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/10192/31050.

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

Council of Science Editors:

Cypess J. Jewish Medical Culture: Case Studies in End-of-Life Decision Making. [Thesis]. Brandeis University; 2015. Available from: http://hdl.handle.net/10192/31050

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


Brno University of Technology

22. Nohál, Libor. Připojení vyvrtávacích hlav s CNC řízenou U-osou na horizontálních centrech Tajmac-ZPS: Boring and facing head with CNC U-axis interfacing on Horizontal machining centres Tajmac-ZPS.

Degree: 2019, Brno University of Technology

 The subject of this thesis is a suggestion on mechanism for automatic interfacing of boring and facing heads with CNC U-axis on horizontal machining centres… (more)

Subjects/Keywords: Horizontální obráběcí centrum; CNC vyvrtávací hlava; H 80; PVS; modální analýza; Horizontal machining centre; CNC boring and facing head; H 80; FMS; modal analysis.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nohál, L. (2019). Připojení vyvrtávacích hlav s CNC řízenou U-osou na horizontálních centrech Tajmac-ZPS: Boring and facing head with CNC U-axis interfacing on Horizontal machining centres Tajmac-ZPS. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/1671

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

Nohál, Libor. “Připojení vyvrtávacích hlav s CNC řízenou U-osou na horizontálních centrech Tajmac-ZPS: Boring and facing head with CNC U-axis interfacing on Horizontal machining centres Tajmac-ZPS.” 2019. Thesis, Brno University of Technology. Accessed January 21, 2021. http://hdl.handle.net/11012/1671.

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

MLA Handbook (7th Edition):

Nohál, Libor. “Připojení vyvrtávacích hlav s CNC řízenou U-osou na horizontálních centrech Tajmac-ZPS: Boring and facing head with CNC U-axis interfacing on Horizontal machining centres Tajmac-ZPS.” 2019. Web. 21 Jan 2021.

Vancouver:

Nohál L. Připojení vyvrtávacích hlav s CNC řízenou U-osou na horizontálních centrech Tajmac-ZPS: Boring and facing head with CNC U-axis interfacing on Horizontal machining centres Tajmac-ZPS. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11012/1671.

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

Council of Science Editors:

Nohál L. Připojení vyvrtávacích hlav s CNC řízenou U-osou na horizontálních centrech Tajmac-ZPS: Boring and facing head with CNC U-axis interfacing on Horizontal machining centres Tajmac-ZPS. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/1671

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


Queens University

23. Avni, Shachar. Frontier Sets in Large Terrain Environments with Applications to Decentralized Online Games .

Degree: Computing, 2010, Queens University

 In current online games, player positions are synchronized by means of continual broadcasts through the server. This solution is expensive, forcing any server to limit… (more)

Subjects/Keywords: Computer Graphics ; Visibility ; PVS ; Frontier Sets ; Terrains ; Game Programming ; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Avni, S. (2010). Frontier Sets in Large Terrain Environments with Applications to Decentralized Online Games . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/5688

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

Avni, Shachar. “Frontier Sets in Large Terrain Environments with Applications to Decentralized Online Games .” 2010. Thesis, Queens University. Accessed January 21, 2021. http://hdl.handle.net/1974/5688.

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

MLA Handbook (7th Edition):

Avni, Shachar. “Frontier Sets in Large Terrain Environments with Applications to Decentralized Online Games .” 2010. Web. 21 Jan 2021.

Vancouver:

Avni S. Frontier Sets in Large Terrain Environments with Applications to Decentralized Online Games . [Internet] [Thesis]. Queens University; 2010. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/1974/5688.

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

Council of Science Editors:

Avni S. Frontier Sets in Large Terrain Environments with Applications to Decentralized Online Games . [Thesis]. Queens University; 2010. Available from: http://hdl.handle.net/1974/5688

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

24. Marti, Alexander M. Comparison of digital scanning and polyvinyl siloxane impression techniques by DMD students : instructional efficiency and attitudes toward technology.

Degree: MS, 2015, University of Louisville

  The aim of this research was compare the ability of dental students to learn an digital scanner (3M LAVA) and material-based (PVS) impression techniques… (more)

Subjects/Keywords: Lava C.O.S.; digital impression; dental education; PVS; Learning curve; Prosthodontics and Prosthodontology

…scanning (3M ESPE, St. Paul, MN, USA) and polyvinyl siloxane (PVS) (3M… …siloxane [PVS]) dual-tray impression technique and chairside digital scanning… …x28;polyvinyl siloxane [PVS]) dual-tray impression technique and chairside… …polyvinyl siloxane [PVS]) dual-tray technique and chairside digital scanning… …siloxane [PVS]) dual-tray technique and chairside digital scanning technique (… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Marti, A. M. (2015). Comparison of digital scanning and polyvinyl siloxane impression techniques by DMD students : instructional efficiency and attitudes toward technology. (Masters Thesis). University of Louisville. Retrieved from 10.18297/etd/2338 ; https://ir.library.louisville.edu/etd/2338

Chicago Manual of Style (16th Edition):

Marti, Alexander M. “Comparison of digital scanning and polyvinyl siloxane impression techniques by DMD students : instructional efficiency and attitudes toward technology.” 2015. Masters Thesis, University of Louisville. Accessed January 21, 2021. 10.18297/etd/2338 ; https://ir.library.louisville.edu/etd/2338.

MLA Handbook (7th Edition):

Marti, Alexander M. “Comparison of digital scanning and polyvinyl siloxane impression techniques by DMD students : instructional efficiency and attitudes toward technology.” 2015. Web. 21 Jan 2021.

Vancouver:

Marti AM. Comparison of digital scanning and polyvinyl siloxane impression techniques by DMD students : instructional efficiency and attitudes toward technology. [Internet] [Masters thesis]. University of Louisville; 2015. [cited 2021 Jan 21]. Available from: 10.18297/etd/2338 ; https://ir.library.louisville.edu/etd/2338.

Council of Science Editors:

Marti AM. Comparison of digital scanning and polyvinyl siloxane impression techniques by DMD students : instructional efficiency and attitudes toward technology. [Masters Thesis]. University of Louisville; 2015. Available from: 10.18297/etd/2338 ; https://ir.library.louisville.edu/etd/2338


Università Cattolica del Sacro Cuore

25. CONDOSTA, LUCA. MULTINAZIONALI E PAESI IN VIA DI SVILUPPO: LA RILEVANZA STRATEGICA DEL COMMUNITY INVESTMENT.

Degree: 2010, Università Cattolica del Sacro Cuore

La tesi vuole esaminare il fenomeno dei community investment nei PVS da parte delle multinazionali. Dopo aver studiato la letteratura esistente sul tema della CSR… (more)

Subjects/Keywords: SECS-P/08: ECONOMIA E GESTIONE DELLE IMPRESE; SECS-P/07: ECONOMIA AZIENDALE; sostenibilità, bilancio sociale, responsabilità sociale di impresa, paesi in via di sviluppo, corporate social responsibility, CSR, PVS, MNC, strategia sociale, case study, comunità, sviluppo locale

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

CONDOSTA, L. (2010). MULTINAZIONALI E PAESI IN VIA DI SVILUPPO: LA RILEVANZA STRATEGICA DEL COMMUNITY INVESTMENT. (Doctoral Dissertation). Università Cattolica del Sacro Cuore. Retrieved from http://hdl.handle.net/10280/755

Chicago Manual of Style (16th Edition):

CONDOSTA, LUCA. “MULTINAZIONALI E PAESI IN VIA DI SVILUPPO: LA RILEVANZA STRATEGICA DEL COMMUNITY INVESTMENT.” 2010. Doctoral Dissertation, Università Cattolica del Sacro Cuore. Accessed January 21, 2021. http://hdl.handle.net/10280/755.

MLA Handbook (7th Edition):

CONDOSTA, LUCA. “MULTINAZIONALI E PAESI IN VIA DI SVILUPPO: LA RILEVANZA STRATEGICA DEL COMMUNITY INVESTMENT.” 2010. Web. 21 Jan 2021.

Vancouver:

CONDOSTA L. MULTINAZIONALI E PAESI IN VIA DI SVILUPPO: LA RILEVANZA STRATEGICA DEL COMMUNITY INVESTMENT. [Internet] [Doctoral dissertation]. Università Cattolica del Sacro Cuore; 2010. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/10280/755.

Council of Science Editors:

CONDOSTA L. MULTINAZIONALI E PAESI IN VIA DI SVILUPPO: LA RILEVANZA STRATEGICA DEL COMMUNITY INVESTMENT. [Doctoral Dissertation]. Università Cattolica del Sacro Cuore; 2010. Available from: http://hdl.handle.net/10280/755


University of Connecticut

26. Shcherbatov, Polina P. Virtual Three-Dimensional Analysis of Dimensional Accuracy of Dental Master Die Models Created by the iTeroTM Electronic Impression Device and Those Made From a Polyvinyl Siloxane Impression Material.

Degree: Master of Dental Science, Dental Science, 2012, University of Connecticut

Subjects/Keywords: iTero; Digital Scanning; Dental impressions; CAD/CAM; PVS; White Light Scanner; CMM; Coordinate Measuring Machine

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shcherbatov, P. P. (2012). Virtual Three-Dimensional Analysis of Dimensional Accuracy of Dental Master Die Models Created by the iTeroTM Electronic Impression Device and Those Made From a Polyvinyl Siloxane Impression Material. (Masters Thesis). University of Connecticut. Retrieved from https://opencommons.uconn.edu/gs_theses/312

Chicago Manual of Style (16th Edition):

Shcherbatov, Polina P. “Virtual Three-Dimensional Analysis of Dimensional Accuracy of Dental Master Die Models Created by the iTeroTM Electronic Impression Device and Those Made From a Polyvinyl Siloxane Impression Material.” 2012. Masters Thesis, University of Connecticut. Accessed January 21, 2021. https://opencommons.uconn.edu/gs_theses/312.

MLA Handbook (7th Edition):

Shcherbatov, Polina P. “Virtual Three-Dimensional Analysis of Dimensional Accuracy of Dental Master Die Models Created by the iTeroTM Electronic Impression Device and Those Made From a Polyvinyl Siloxane Impression Material.” 2012. Web. 21 Jan 2021.

Vancouver:

Shcherbatov PP. Virtual Three-Dimensional Analysis of Dimensional Accuracy of Dental Master Die Models Created by the iTeroTM Electronic Impression Device and Those Made From a Polyvinyl Siloxane Impression Material. [Internet] [Masters thesis]. University of Connecticut; 2012. [cited 2021 Jan 21]. Available from: https://opencommons.uconn.edu/gs_theses/312.

Council of Science Editors:

Shcherbatov PP. Virtual Three-Dimensional Analysis of Dimensional Accuracy of Dental Master Die Models Created by the iTeroTM Electronic Impression Device and Those Made From a Polyvinyl Siloxane Impression Material. [Masters Thesis]. University of Connecticut; 2012. Available from: https://opencommons.uconn.edu/gs_theses/312


Georgia Southern University

27. Pulos, James G. Principals and the Professional Victim Syndrome.

Degree: Doctor of Education in Education Administration (EdD), Department of Leadership, Technology, and Human Development, 2012, Georgia Southern University

  Principals today are constantly in the public eye. Every decision made subjects him/her to the scrutiny of staff and faculty, students, central office personnel,… (more)

Subjects/Keywords: ETD; Professional Victim Syndrome; PVS; Tenure; Reform; Change Agents; Politics; Zone of Acceptance; Elementary and Middle and Secondary Education Administration; Jack N. Averitt College of Graduate Studies, Electronic Theses & Dissertations, ETDs, Student Research

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pulos, J. G. (2012). Principals and the Professional Victim Syndrome. (Doctoral Dissertation). Georgia Southern University. Retrieved from https://digitalcommons.georgiasouthern.edu/etd/788

Chicago Manual of Style (16th Edition):

Pulos, James G. “Principals and the Professional Victim Syndrome.” 2012. Doctoral Dissertation, Georgia Southern University. Accessed January 21, 2021. https://digitalcommons.georgiasouthern.edu/etd/788.

MLA Handbook (7th Edition):

Pulos, James G. “Principals and the Professional Victim Syndrome.” 2012. Web. 21 Jan 2021.

Vancouver:

Pulos JG. Principals and the Professional Victim Syndrome. [Internet] [Doctoral dissertation]. Georgia Southern University; 2012. [cited 2021 Jan 21]. Available from: https://digitalcommons.georgiasouthern.edu/etd/788.

Council of Science Editors:

Pulos JG. Principals and the Professional Victim Syndrome. [Doctoral Dissertation]. Georgia Southern University; 2012. Available from: https://digitalcommons.georgiasouthern.edu/etd/788


University of Helsinki

28. Chiunga, Evangelista. Viruses occurring in potatoes (Solanum tuberosum) in Mbeya region, Tanzania.

Degree: Department of Agricultural Sciences; Helsingfors universitet, Agrikultur- och forstvetenskapliga fakulteten, Institutionen för lantsbruksvetenskaper, 2013, University of Helsinki

 Potato leaf roll virus (PLRV), Potato virus Y (PVY), Potato virus X (PVX), Potato virus S (PVS), Potato virus A (PVA), and Potato virus M… (more)

Subjects/Keywords: potato; potato virus S (PVS); potato virus X (PVX); potato leafroll virus (PLRV); potato virus M (PVM); potato virus A; potato virus Y (PVY); Solanum tuberosum; DAS-ELISA; RT-PCR; Växtproduktionsvetenskap (växtpatologi / växtvirologi); Plant Production Science (Plant pathology / Plant virology); Kasvintuotantotieteet (kasvipatologia / kasvivirologia)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chiunga, E. (2013). Viruses occurring in potatoes (Solanum tuberosum) in Mbeya region, Tanzania. (Masters Thesis). University of Helsinki. Retrieved from http://hdl.handle.net/10138/39459

Chicago Manual of Style (16th Edition):

Chiunga, Evangelista. “Viruses occurring in potatoes (Solanum tuberosum) in Mbeya region, Tanzania.” 2013. Masters Thesis, University of Helsinki. Accessed January 21, 2021. http://hdl.handle.net/10138/39459.

MLA Handbook (7th Edition):

Chiunga, Evangelista. “Viruses occurring in potatoes (Solanum tuberosum) in Mbeya region, Tanzania.” 2013. Web. 21 Jan 2021.

Vancouver:

Chiunga E. Viruses occurring in potatoes (Solanum tuberosum) in Mbeya region, Tanzania. [Internet] [Masters thesis]. University of Helsinki; 2013. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/10138/39459.

Council of Science Editors:

Chiunga E. Viruses occurring in potatoes (Solanum tuberosum) in Mbeya region, Tanzania. [Masters Thesis]. University of Helsinki; 2013. Available from: http://hdl.handle.net/10138/39459


Arizona State University

29. Arababadi, Reza Arababadi. Operational and Technological Peak Load Shifting Strategies for Residential Buildings.

Degree: Civil Engineering, 2016, Arizona State University

Subjects/Keywords: Energy; Sustainability; Energy efficiency; Energy modeling; Peak load; Pre cooling; Residential building; Solar PVs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arababadi, R. A. (2016). Operational and Technological Peak Load Shifting Strategies for Residential Buildings. (Doctoral Dissertation). Arizona State University. Retrieved from http://repository.asu.edu/items/38800

Chicago Manual of Style (16th Edition):

Arababadi, Reza Arababadi. “Operational and Technological Peak Load Shifting Strategies for Residential Buildings.” 2016. Doctoral Dissertation, Arizona State University. Accessed January 21, 2021. http://repository.asu.edu/items/38800.

MLA Handbook (7th Edition):

Arababadi, Reza Arababadi. “Operational and Technological Peak Load Shifting Strategies for Residential Buildings.” 2016. Web. 21 Jan 2021.

Vancouver:

Arababadi RA. Operational and Technological Peak Load Shifting Strategies for Residential Buildings. [Internet] [Doctoral dissertation]. Arizona State University; 2016. [cited 2021 Jan 21]. Available from: http://repository.asu.edu/items/38800.

Council of Science Editors:

Arababadi RA. Operational and Technological Peak Load Shifting Strategies for Residential Buildings. [Doctoral Dissertation]. Arizona State University; 2016. Available from: http://repository.asu.edu/items/38800


University of Cincinnati

30. TEICA, ELENA. FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS.

Degree: PhD, Engineering : Computer Science and Engineering, 2001, University of Cincinnati

 The work presented in this thesis is concerned with the correctness of the high-level synthesis process. In particular, it addresses transformational derivation (TD) systems. TD… (more)

Subjects/Keywords: RTL Transformations; Formal Synthesis; Correctness Behavior Preserving Completeness; Mechanized in Higher-Order Logics of PVS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

TEICA, E. (2001). FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS. (Doctoral Dissertation). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1001432470

Chicago Manual of Style (16th Edition):

TEICA, ELENA. “FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS.” 2001. Doctoral Dissertation, University of Cincinnati. Accessed January 21, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1001432470.

MLA Handbook (7th Edition):

TEICA, ELENA. “FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS.” 2001. Web. 21 Jan 2021.

Vancouver:

TEICA E. FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS. [Internet] [Doctoral dissertation]. University of Cincinnati; 2001. [cited 2021 Jan 21]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1001432470.

Council of Science Editors:

TEICA E. FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS. [Doctoral Dissertation]. University of Cincinnati; 2001. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1001432470

[1] [2]

.