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

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


Université de Grenoble

1. Belhadj Amor, Zeineb. Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL.

Degree: Docteur es, Micro et nanoélectronique, 2014, Université de Grenoble

Cette thèse se situe dans le contexte de la vérification fonctionnelle des circuits intégrés complexes. L’objectif de ce travail est de créer un flot de… (more)

Subjects/Keywords: ABV; Vérification; Raffinement; SystemC; TLM; RTL; PSL; ABV; Vérification; Refinement; SystemC; TLM; RTL; PSL; 620

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Belhadj Amor, Z. (2014). Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2014GRENT083

Chicago Manual of Style (16th Edition):

Belhadj Amor, Zeineb. “Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL.” 2014. Doctoral Dissertation, Université de Grenoble. Accessed June 19, 2019. http://www.theses.fr/2014GRENT083.

MLA Handbook (7th Edition):

Belhadj Amor, Zeineb. “Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL.” 2014. Web. 19 Jun 2019.

Vancouver:

Belhadj Amor Z. Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL. [Internet] [Doctoral dissertation]. Université de Grenoble; 2014. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2014GRENT083.

Council of Science Editors:

Belhadj Amor Z. Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres : Validation of complex systems on a chip, from TLM level to RTL. [Doctoral Dissertation]. Université de Grenoble; 2014. Available from: http://www.theses.fr/2014GRENT083


University of Guelph

2. Rocker, Adam. Zebrafish as a tool to assess Pseudomonas aeruginosa microcolony formation in vivo .

Degree: 2014, University of Guelph

 P. aeruginosa is commonly associated with infections in individuals with compromised host-defenses. Critical to persistence within the hostile host environment is the ability to form… (more)

Subjects/Keywords: microcolony; biofilm; pseudomonas aeruginosa; PAO1; zebrafish; exopolysaccharide; psl

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rocker, A. (2014). Zebrafish as a tool to assess Pseudomonas aeruginosa microcolony formation in vivo . (Thesis). University of Guelph. Retrieved from https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8477

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

Rocker, Adam. “Zebrafish as a tool to assess Pseudomonas aeruginosa microcolony formation in vivo .” 2014. Thesis, University of Guelph. Accessed June 19, 2019. https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8477.

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

MLA Handbook (7th Edition):

Rocker, Adam. “Zebrafish as a tool to assess Pseudomonas aeruginosa microcolony formation in vivo .” 2014. Web. 19 Jun 2019.

Vancouver:

Rocker A. Zebrafish as a tool to assess Pseudomonas aeruginosa microcolony formation in vivo . [Internet] [Thesis]. University of Guelph; 2014. [cited 2019 Jun 19]. Available from: https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8477.

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

Council of Science Editors:

Rocker A. Zebrafish as a tool to assess Pseudomonas aeruginosa microcolony formation in vivo . [Thesis]. University of Guelph; 2014. Available from: https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8477

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


University of Cincinnati

3. Singh, Chandan. Fixing Power Bugs at RTL Stage using PSL Assertions.

Degree: MS, Engineering and Applied Science: Electrical Engineering, 2013, University of Cincinnati

 Power dissipation has now become the most critical design constraint. Up till now, in the design flow of any SoC, power estimation and analysis came… (more)

Subjects/Keywords: Electrical Engineering; Power Analysis; RTL Stage; PSL Assertion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Singh, C. (2013). Fixing Power Bugs at RTL Stage using PSL Assertions. (Masters Thesis). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1384426036

Chicago Manual of Style (16th Edition):

Singh, Chandan. “Fixing Power Bugs at RTL Stage using PSL Assertions.” 2013. Masters Thesis, University of Cincinnati. Accessed June 19, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1384426036.

MLA Handbook (7th Edition):

Singh, Chandan. “Fixing Power Bugs at RTL Stage using PSL Assertions.” 2013. Web. 19 Jun 2019.

Vancouver:

Singh C. Fixing Power Bugs at RTL Stage using PSL Assertions. [Internet] [Masters thesis]. University of Cincinnati; 2013. [cited 2019 Jun 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1384426036.

Council of Science Editors:

Singh C. Fixing Power Bugs at RTL Stage using PSL Assertions. [Masters Thesis]. University of Cincinnati; 2013. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1384426036


University of Manchester

4. Chen, Zhejun. Selective Mono-Acylation of Pipera-zine Derivatives with Pseudomonas Stutzeri lipase (PSL).

Degree: 2016, University of Manchester

 In modern pharmaceutical industry, N-acylation reactions are one of the most frequently used chem-ical reaction. The chemical synthesis of amide bonds has some limitations, such… (more)

Subjects/Keywords: PSL; green chemistry; amine; ester; Mono-Acylation; piperazine; enzyme; Biocatalyst

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, Z. (2016). Selective Mono-Acylation of Pipera-zine Derivatives with Pseudomonas Stutzeri lipase (PSL). (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:303270

Chicago Manual of Style (16th Edition):

Chen, Zhejun. “Selective Mono-Acylation of Pipera-zine Derivatives with Pseudomonas Stutzeri lipase (PSL).” 2016. Doctoral Dissertation, University of Manchester. Accessed June 19, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:303270.

MLA Handbook (7th Edition):

Chen, Zhejun. “Selective Mono-Acylation of Pipera-zine Derivatives with Pseudomonas Stutzeri lipase (PSL).” 2016. Web. 19 Jun 2019.

Vancouver:

Chen Z. Selective Mono-Acylation of Pipera-zine Derivatives with Pseudomonas Stutzeri lipase (PSL). [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Jun 19]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:303270.

Council of Science Editors:

Chen Z. Selective Mono-Acylation of Pipera-zine Derivatives with Pseudomonas Stutzeri lipase (PSL). [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:303270

5. Javaheri, Fatemeh Negin. Synthèse automatique de circuits numériques à partir de spécifications temporelles : Automatic synthesis of digital circuits from temporal specifications.

Degree: Docteur es, Nanoélectronique et nanotechnologie, 2015, Grenoble Alpes

Les travaux présentés dans cette thèse visent à produire automatiquement des prototypes de circuits de communication et de contrôle à partir de spécifications temporelles déclaratives.… (more)

Subjects/Keywords: PSL; Conception basée sur les assertions; Module réactif; Synthèse automatique; Graphe de dépendance; Annotation; Résolution; Solveur; PSL; Assertion-based design; Reactant; Automatic synthesis; Dependency graph; Annotation; Resolution; Solver; 620

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Javaheri, F. N. (2015). Synthèse automatique de circuits numériques à partir de spécifications temporelles : Automatic synthesis of digital circuits from temporal specifications. (Doctoral Dissertation). Grenoble Alpes. Retrieved from http://www.theses.fr/2015GREAT083

Chicago Manual of Style (16th Edition):

Javaheri, Fatemeh Negin. “Synthèse automatique de circuits numériques à partir de spécifications temporelles : Automatic synthesis of digital circuits from temporal specifications.” 2015. Doctoral Dissertation, Grenoble Alpes. Accessed June 19, 2019. http://www.theses.fr/2015GREAT083.

MLA Handbook (7th Edition):

Javaheri, Fatemeh Negin. “Synthèse automatique de circuits numériques à partir de spécifications temporelles : Automatic synthesis of digital circuits from temporal specifications.” 2015. Web. 19 Jun 2019.

Vancouver:

Javaheri FN. Synthèse automatique de circuits numériques à partir de spécifications temporelles : Automatic synthesis of digital circuits from temporal specifications. [Internet] [Doctoral dissertation]. Grenoble Alpes; 2015. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2015GREAT083.

Council of Science Editors:

Javaheri FN. Synthèse automatique de circuits numériques à partir de spécifications temporelles : Automatic synthesis of digital circuits from temporal specifications. [Doctoral Dissertation]. Grenoble Alpes; 2015. Available from: http://www.theses.fr/2015GREAT083

6. Chaari, Habib. Rendre opérationnel le développement durable : de la stratégie à la concrétisation des projets chez un prestataire de services logistiques : Putting sustainable development into practice : from strategy to project implementation for Third Party Logistics Provider.

Degree: Docteur es, Sciences de gestion, 2014, Paris, ENMP

Si le développement durable continue à connaitre un véritable essor, sa déclinaison dans les opérations reste une mission complexe pour les entreprises. En particulier dans… (more)

Subjects/Keywords: Chaîne Logistique; Optimisation; Projets; Développement Durable; PSL; Supply Chain; Optimization; Projects; Sustainable Development; 3PL; 650

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chaari, H. (2014). Rendre opérationnel le développement durable : de la stratégie à la concrétisation des projets chez un prestataire de services logistiques : Putting sustainable development into practice : from strategy to project implementation for Third Party Logistics Provider. (Doctoral Dissertation). Paris, ENMP. Retrieved from http://www.theses.fr/2014ENMP0036

Chicago Manual of Style (16th Edition):

Chaari, Habib. “Rendre opérationnel le développement durable : de la stratégie à la concrétisation des projets chez un prestataire de services logistiques : Putting sustainable development into practice : from strategy to project implementation for Third Party Logistics Provider.” 2014. Doctoral Dissertation, Paris, ENMP. Accessed June 19, 2019. http://www.theses.fr/2014ENMP0036.

MLA Handbook (7th Edition):

Chaari, Habib. “Rendre opérationnel le développement durable : de la stratégie à la concrétisation des projets chez un prestataire de services logistiques : Putting sustainable development into practice : from strategy to project implementation for Third Party Logistics Provider.” 2014. Web. 19 Jun 2019.

Vancouver:

Chaari H. Rendre opérationnel le développement durable : de la stratégie à la concrétisation des projets chez un prestataire de services logistiques : Putting sustainable development into practice : from strategy to project implementation for Third Party Logistics Provider. [Internet] [Doctoral dissertation]. Paris, ENMP; 2014. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2014ENMP0036.

Council of Science Editors:

Chaari H. Rendre opérationnel le développement durable : de la stratégie à la concrétisation des projets chez un prestataire de services logistiques : Putting sustainable development into practice : from strategy to project implementation for Third Party Logistics Provider. [Doctoral Dissertation]. Paris, ENMP; 2014. Available from: http://www.theses.fr/2014ENMP0036


University of South Africa

7. Maponya, Vincent Mahlatse. Project management maturity of football sports club in South Africa - the case of PSL football clubs .

Degree: 2012, University of South Africa

 Organizations are seen as custodians of portfolio of projects and are increasingly delivering their businesses through multiple complex programs. To be successful in delivering their… (more)

Subjects/Keywords: Project management maturity; Professional football; PSL soccer clubs; Sport clubs; Premier Soccer League; Soccer

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Maponya, V. M. (2012). Project management maturity of football sports club in South Africa - the case of PSL football clubs . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/6124

Chicago Manual of Style (16th Edition):

Maponya, Vincent Mahlatse. “Project management maturity of football sports club in South Africa - the case of PSL football clubs .” 2012. Doctoral Dissertation, University of South Africa. Accessed June 19, 2019. http://hdl.handle.net/10500/6124.

MLA Handbook (7th Edition):

Maponya, Vincent Mahlatse. “Project management maturity of football sports club in South Africa - the case of PSL football clubs .” 2012. Web. 19 Jun 2019.

Vancouver:

Maponya VM. Project management maturity of football sports club in South Africa - the case of PSL football clubs . [Internet] [Doctoral dissertation]. University of South Africa; 2012. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/10500/6124.

Council of Science Editors:

Maponya VM. Project management maturity of football sports club in South Africa - the case of PSL football clubs . [Doctoral Dissertation]. University of South Africa; 2012. Available from: http://hdl.handle.net/10500/6124

8. Beltagy, Islam Kamel Ahmed. Natural language semantics using probabilistic logic.

Degree: Computer Sciences, 2016, University of Texas – Austin

 With better natural language semantic representations, computers can do more applications more efficiently as a result of better understanding of natural text. However, no single… (more)

Subjects/Keywords: NLP; Machine learning; Probabilistic logic; MLNs; PSL; Markov Logic Network; QA; RTE; STS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Beltagy, I. K. A. (2016). Natural language semantics using probabilistic logic. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/46617

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

Beltagy, Islam Kamel Ahmed. “Natural language semantics using probabilistic logic.” 2016. Thesis, University of Texas – Austin. Accessed June 19, 2019. http://hdl.handle.net/2152/46617.

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

MLA Handbook (7th Edition):

Beltagy, Islam Kamel Ahmed. “Natural language semantics using probabilistic logic.” 2016. Web. 19 Jun 2019.

Vancouver:

Beltagy IKA. Natural language semantics using probabilistic logic. [Internet] [Thesis]. University of Texas – Austin; 2016. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/2152/46617.

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

Council of Science Editors:

Beltagy IKA. Natural language semantics using probabilistic logic. [Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/46617

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

9. Winans, Russell S. Measurement and Computational Modeling of the Mechanical Properties of Parallel Strand Lumber.

Degree: MS, Civil Engineering, 2008, University of Massachusetts

 Wood products tend to have a very large variability resulting in over design of engineered products. A relatively new structural composite wood material, Parallel Strand… (more)

Subjects/Keywords: Lumber Spatial Correlation Modeling Computational PSL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Winans, R. S. (2008). Measurement and Computational Modeling of the Mechanical Properties of Parallel Strand Lumber. (Masters Thesis). University of Massachusetts. Retrieved from https://scholarworks.umass.edu/theses/168

Chicago Manual of Style (16th Edition):

Winans, Russell S. “Measurement and Computational Modeling of the Mechanical Properties of Parallel Strand Lumber.” 2008. Masters Thesis, University of Massachusetts. Accessed June 19, 2019. https://scholarworks.umass.edu/theses/168.

MLA Handbook (7th Edition):

Winans, Russell S. “Measurement and Computational Modeling of the Mechanical Properties of Parallel Strand Lumber.” 2008. Web. 19 Jun 2019.

Vancouver:

Winans RS. Measurement and Computational Modeling of the Mechanical Properties of Parallel Strand Lumber. [Internet] [Masters thesis]. University of Massachusetts; 2008. [cited 2019 Jun 19]. Available from: https://scholarworks.umass.edu/theses/168.

Council of Science Editors:

Winans RS. Measurement and Computational Modeling of the Mechanical Properties of Parallel Strand Lumber. [Masters Thesis]. University of Massachusetts; 2008. Available from: https://scholarworks.umass.edu/theses/168

10. Almeida, Oscar. P2VSIM: A SIMULATION AND VISUALIZATION TOOL FOR THE P2V COMPILER.

Degree: 2010, Texas A&M University

 The Property Specification Language (PSL) is an IEEE standard which allows developers to specify precise behavioral properties of hardware designs. PSL assertions can be embedded… (more)

Subjects/Keywords: PSL; P2V; assertion-based verification; GUI

…54 vii LIST OF FIGURES FIGURE Page 1 Timing diagram for the PSL property next_e… …violated PSL properties....................... 7 3 Timing diagram for the PSL property next_e… …nested temporal PSL properties.......................... 10 5 Timing diagram for the PSL… …PSL property next_e [12:17] (next_a [2:4] T and next_a [3:6… …12 7 Example timing diagram for PSL properties with logical siblings ............ 13 8… 

Page 1 Page 2 Page 3 Page 4 Page 5

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Almeida, O. (2010). P2VSIM: A SIMULATION AND VISUALIZATION TOOL FOR THE P2V COMPILER. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/ETD-TAMU-2009-05-606

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

Almeida, Oscar. “P2VSIM: A SIMULATION AND VISUALIZATION TOOL FOR THE P2V COMPILER.” 2010. Thesis, Texas A&M University. Accessed June 19, 2019. http://hdl.handle.net/1969.1/ETD-TAMU-2009-05-606.

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

MLA Handbook (7th Edition):

Almeida, Oscar. “P2VSIM: A SIMULATION AND VISUALIZATION TOOL FOR THE P2V COMPILER.” 2010. Web. 19 Jun 2019.

Vancouver:

Almeida O. P2VSIM: A SIMULATION AND VISUALIZATION TOOL FOR THE P2V COMPILER. [Internet] [Thesis]. Texas A&M University; 2010. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-2009-05-606.

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

Council of Science Editors:

Almeida O. P2VSIM: A SIMULATION AND VISUALIZATION TOOL FOR THE P2V COMPILER. [Thesis]. Texas A&M University; 2010. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-2009-05-606

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


North-West University

11. Shezi, Nkosinamandla Erasmus. Team identification and African Generation Y students’ perceived brand personality of Premier Soccer League teams .

Degree: 2016, North-West University

 There has been a significant amount of growth in soccer game attendance and media coverage since the Premier Soccer League (PSL) in South Africa was… (more)

Subjects/Keywords: Premier Soccer League (PSL); Team identification; Fan identification; Brand personality; African Generation Y students; South Africa

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shezi, N. E. (2016). Team identification and African Generation Y students’ perceived brand personality of Premier Soccer League teams . (Thesis). North-West University. Retrieved from http://hdl.handle.net/10394/17044

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

Shezi, Nkosinamandla Erasmus. “Team identification and African Generation Y students’ perceived brand personality of Premier Soccer League teams .” 2016. Thesis, North-West University. Accessed June 19, 2019. http://hdl.handle.net/10394/17044.

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

MLA Handbook (7th Edition):

Shezi, Nkosinamandla Erasmus. “Team identification and African Generation Y students’ perceived brand personality of Premier Soccer League teams .” 2016. Web. 19 Jun 2019.

Vancouver:

Shezi NE. Team identification and African Generation Y students’ perceived brand personality of Premier Soccer League teams . [Internet] [Thesis]. North-West University; 2016. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/10394/17044.

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

Council of Science Editors:

Shezi NE. Team identification and African Generation Y students’ perceived brand personality of Premier Soccer League teams . [Thesis]. North-West University; 2016. Available from: http://hdl.handle.net/10394/17044

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


Brno University of Technology

12. Roháček, Peter. Reballing BGA pouzder na zařízení PACE TF2700 .

Degree: 2016, Brno University of Technology

 Diplomová práca je zameraná na reballing BGA (Ball Grid Array) puzdier pomocou zariadenia PACE TF 2700. Popisuje všeobecné druhy BGA puzdier, ich defekty, dôležitosť teplotného… (more)

Subjects/Keywords: BGA; DPS; defekty; teplotný management; teplotný profil; spájkovanie; reballing; ESD; MSD; PSL; matrice; PACE TF 2700; X-ray; prípravok.; BGA; PCB; defects; thermal management; thermal profile; soldering; reballing; ESD; MSD; PSL; stencils; PACE TF 2700; X-ray; template.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roháček, P. (2016). Reballing BGA pouzder na zařízení PACE TF2700 . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/60931

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

Roháček, Peter. “Reballing BGA pouzder na zařízení PACE TF2700 .” 2016. Thesis, Brno University of Technology. Accessed June 19, 2019. http://hdl.handle.net/11012/60931.

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

MLA Handbook (7th Edition):

Roháček, Peter. “Reballing BGA pouzder na zařízení PACE TF2700 .” 2016. Web. 19 Jun 2019.

Vancouver:

Roháček P. Reballing BGA pouzder na zařízení PACE TF2700 . [Internet] [Thesis]. Brno University of Technology; 2016. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/11012/60931.

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

Council of Science Editors:

Roháček P. Reballing BGA pouzder na zařízení PACE TF2700 . [Thesis]. Brno University of Technology; 2016. Available from: http://hdl.handle.net/11012/60931

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

13. Marcelo Tadeu dos Santos. Sistema de gestão em projetos com aplicação do guia PMBOK para processos intralogísticos em indústrias de grande porte : pesquisa exploratória.

Degree: 2009, Universidade de Taubaté

Este trabalho tem como finalidade desenvolver uma proposta de gestão de processos em projetos de serviços de intralogística, com base nas práticas de gerenciamento da… (more)

Subjects/Keywords: PSL; gerenciamento de projeto; Guia PMBok; intralogística; project management; PMBok Guide; intralogistic; prestação de serviços logísticos; GERENCIA DO PROJETO E DO PRODUTO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santos, M. T. d. (2009). Sistema de gestão em projetos com aplicação do guia PMBOK para processos intralogísticos em indústrias de grande porte : pesquisa exploratória. (Thesis). Universidade de Taubaté. Retrieved from http://www.bdtd.unitau.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=336

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, Marcelo Tadeu dos. “Sistema de gestão em projetos com aplicação do guia PMBOK para processos intralogísticos em indústrias de grande porte : pesquisa exploratória.” 2009. Thesis, Universidade de Taubaté. Accessed June 19, 2019. http://www.bdtd.unitau.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=336.

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

MLA Handbook (7th Edition):

Santos, Marcelo Tadeu dos. “Sistema de gestão em projetos com aplicação do guia PMBOK para processos intralogísticos em indústrias de grande porte : pesquisa exploratória.” 2009. Web. 19 Jun 2019.

Vancouver:

Santos MTd. Sistema de gestão em projetos com aplicação do guia PMBOK para processos intralogísticos em indústrias de grande porte : pesquisa exploratória. [Internet] [Thesis]. Universidade de Taubaté; 2009. [cited 2019 Jun 19]. Available from: http://www.bdtd.unitau.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=336.

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

Council of Science Editors:

Santos MTd. Sistema de gestão em projetos com aplicação do guia PMBOK para processos intralogísticos em indústrias de grande porte : pesquisa exploratória. [Thesis]. Universidade de Taubaté; 2009. Available from: http://www.bdtd.unitau.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=336

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


Université de Grenoble

14. Porcher, Alexandre. Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones : Asynchronous monitors synthesis from temporal assertions for the robust observation of synchronous circuits.

Degree: Docteur es, Sciences et technologie industrielles, 2012, Université de Grenoble

Avec l'avènement des systèmes intégrés complexes, la vérification par assertions(Assertion Based Verification ou ABV) s'est imposée comme une solution pour la vérification semi-formelle des circuits.… (more)

Subjects/Keywords: Circuits asynchrones; Vérification basée sur les assertions; Property Specification Language; Moniteurs asynchrones; Quasi Insensibilité au Delais; Robustesse; Asynchronous circuits; Assertion Based Verification; PSL; Asynchronous monitors; Quasi Delay Insensitivity; Robustness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Porcher, A. (2012). Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones : Asynchronous monitors synthesis from temporal assertions for the robust observation of synchronous circuits. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2012GRENT004

Chicago Manual of Style (16th Edition):

Porcher, Alexandre. “Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones : Asynchronous monitors synthesis from temporal assertions for the robust observation of synchronous circuits.” 2012. Doctoral Dissertation, Université de Grenoble. Accessed June 19, 2019. http://www.theses.fr/2012GRENT004.

MLA Handbook (7th Edition):

Porcher, Alexandre. “Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones : Asynchronous monitors synthesis from temporal assertions for the robust observation of synchronous circuits.” 2012. Web. 19 Jun 2019.

Vancouver:

Porcher A. Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones : Asynchronous monitors synthesis from temporal assertions for the robust observation of synchronous circuits. [Internet] [Doctoral dissertation]. Université de Grenoble; 2012. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2012GRENT004.

Council of Science Editors:

Porcher A. Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones : Asynchronous monitors synthesis from temporal assertions for the robust observation of synchronous circuits. [Doctoral Dissertation]. Université de Grenoble; 2012. Available from: http://www.theses.fr/2012GRENT004


University of Toronto

15. Chui, Carmen. Axiomatized Relationships between Ontologies.

Degree: 2013, University of Toronto

This work focuses on the axiomatized relationships between different ontologies of varying levels of expressivity. Motivated by experiences in the decomposition of first-order logic ontologies,… (more)

Subjects/Keywords: ontology; ontologies; axiomatization; modularization; first-order logic; dolce; cimosa; psl; verification; ontology mapping; ontology decomposition; ontology composition; semantic augmentation; automated reasoning; 0546

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chui, C. (2013). Axiomatized Relationships between Ontologies. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/42747

Chicago Manual of Style (16th Edition):

Chui, Carmen. “Axiomatized Relationships between Ontologies.” 2013. Masters Thesis, University of Toronto. Accessed June 19, 2019. http://hdl.handle.net/1807/42747.

MLA Handbook (7th Edition):

Chui, Carmen. “Axiomatized Relationships between Ontologies.” 2013. Web. 19 Jun 2019.

Vancouver:

Chui C. Axiomatized Relationships between Ontologies. [Internet] [Masters thesis]. University of Toronto; 2013. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/1807/42747.

Council of Science Editors:

Chui C. Axiomatized Relationships between Ontologies. [Masters Thesis]. University of Toronto; 2013. Available from: http://hdl.handle.net/1807/42747

16. Allegre, Thierry. La maîtrise de la chaîne logistique comme support au développement des réseaux de franchise : approches stratégiques, organisationnelles et sociétales : Supply Chain control as a support to the development of franchise networks : strategic, organizational and societal approaches.

Degree: Docteur es, Sciences de Gestion, 2017, Aix Marseille Université

Notre recherche doctorale a pour objet d’apporter un éclairage novateur sur la chaîne logistique dans le contexte des réseaux de franchise en s’appuyant sur la… (more)

Subjects/Keywords: Avantage compétitif; Logistique urbaine; Maîtrise de la chaîne logistique; Prestataire de services logistiques (PSL); Réseau de franchise; Competitive advantage; Franchise network; Logistics service provider (LSP); Supply chain control; Urban logistics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Allegre, T. (2017). La maîtrise de la chaîne logistique comme support au développement des réseaux de franchise : approches stratégiques, organisationnelles et sociétales : Supply Chain control as a support to the development of franchise networks : strategic, organizational and societal approaches. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2017AIXM0316

Chicago Manual of Style (16th Edition):

Allegre, Thierry. “La maîtrise de la chaîne logistique comme support au développement des réseaux de franchise : approches stratégiques, organisationnelles et sociétales : Supply Chain control as a support to the development of franchise networks : strategic, organizational and societal approaches.” 2017. Doctoral Dissertation, Aix Marseille Université. Accessed June 19, 2019. http://www.theses.fr/2017AIXM0316.

MLA Handbook (7th Edition):

Allegre, Thierry. “La maîtrise de la chaîne logistique comme support au développement des réseaux de franchise : approches stratégiques, organisationnelles et sociétales : Supply Chain control as a support to the development of franchise networks : strategic, organizational and societal approaches.” 2017. Web. 19 Jun 2019.

Vancouver:

Allegre T. La maîtrise de la chaîne logistique comme support au développement des réseaux de franchise : approches stratégiques, organisationnelles et sociétales : Supply Chain control as a support to the development of franchise networks : strategic, organizational and societal approaches. [Internet] [Doctoral dissertation]. Aix Marseille Université 2017. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2017AIXM0316.

Council of Science Editors:

Allegre T. La maîtrise de la chaîne logistique comme support au développement des réseaux de franchise : approches stratégiques, organisationnelles et sociétales : Supply Chain control as a support to the development of franchise networks : strategic, organizational and societal approaches. [Doctoral Dissertation]. Aix Marseille Université 2017. Available from: http://www.theses.fr/2017AIXM0316


University of Florida

17. Dhakar, Nagendra S. Route Choice Modeling Using GPS Data.

Degree: PhD, Civil Engineering - Civil and Coastal Engineering, 2012, University of Florida

 The advent of GPS-based travel surveys offers an opportunity to develop empirically-rich route-choice models. However, the GPS traces must first be mapped to the roadway… (more)

Subjects/Keywords: Genetic mapping; Global positioning systems; Modeling; Observed choices; Roads; Route choice; Transportation; Travel; Travel time; Travelers; bfs-le  – choice  – forecasting  – gis  – gps  – map-matching  – modeling  – psl  – route

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dhakar, N. S. (2012). Route Choice Modeling Using GPS Data. (Doctoral Dissertation). University of Florida. Retrieved from http://ufdc.ufl.edu/UFE0044933

Chicago Manual of Style (16th Edition):

Dhakar, Nagendra S. “Route Choice Modeling Using GPS Data.” 2012. Doctoral Dissertation, University of Florida. Accessed June 19, 2019. http://ufdc.ufl.edu/UFE0044933.

MLA Handbook (7th Edition):

Dhakar, Nagendra S. “Route Choice Modeling Using GPS Data.” 2012. Web. 19 Jun 2019.

Vancouver:

Dhakar NS. Route Choice Modeling Using GPS Data. [Internet] [Doctoral dissertation]. University of Florida; 2012. [cited 2019 Jun 19]. Available from: http://ufdc.ufl.edu/UFE0044933.

Council of Science Editors:

Dhakar NS. Route Choice Modeling Using GPS Data. [Doctoral Dissertation]. University of Florida; 2012. Available from: http://ufdc.ufl.edu/UFE0044933


Queensland University of Technology

18. Malekzadeh, Ali. Measurement of transit network accessibility based on access stop choice behaviour.

Degree: 2015, Queensland University of Technology

 This research improved the measurement of public transport accessibility by capturing; travellers' behaviour; diversity of public transport mode; and the subjectivity of travellers' decision in… (more)

Subjects/Keywords: Discrete Choice Modelling; Logit Logsum; Nested Logit model (NL); Path Size Logit model (PSL); Policy Analysis Application; Transit Access Stop Choice; Transit Network Accessibility; Travellers’ Behaviour Analysis; Travellers’ Subjectivity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Malekzadeh, A. (2015). Measurement of transit network accessibility based on access stop choice behaviour. (Thesis). Queensland University of Technology. Retrieved from https://eprints.qut.edu.au/89767/

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

Malekzadeh, Ali. “Measurement of transit network accessibility based on access stop choice behaviour.” 2015. Thesis, Queensland University of Technology. Accessed June 19, 2019. https://eprints.qut.edu.au/89767/.

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

MLA Handbook (7th Edition):

Malekzadeh, Ali. “Measurement of transit network accessibility based on access stop choice behaviour.” 2015. Web. 19 Jun 2019.

Vancouver:

Malekzadeh A. Measurement of transit network accessibility based on access stop choice behaviour. [Internet] [Thesis]. Queensland University of Technology; 2015. [cited 2019 Jun 19]. Available from: https://eprints.qut.edu.au/89767/.

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

Council of Science Editors:

Malekzadeh A. Measurement of transit network accessibility based on access stop choice behaviour. [Thesis]. Queensland University of Technology; 2015. Available from: https://eprints.qut.edu.au/89767/

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


Kansas State University

19. Hajek, Francis B. An implementation of a subset of PSL/PSA.

Degree: 1984, Kansas State University

Subjects/Keywords: Electronic data processing – Computer-assisted instruction; PSL (Computer program); PSA (Computer program)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hajek, F. B. (1984). An implementation of a subset of PSL/PSA. (Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/9739

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

Hajek, Francis B. “An implementation of a subset of PSL/PSA.” 1984. Thesis, Kansas State University. Accessed June 19, 2019. http://hdl.handle.net/2097/9739.

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

MLA Handbook (7th Edition):

Hajek, Francis B. “An implementation of a subset of PSL/PSA.” 1984. Web. 19 Jun 2019.

Vancouver:

Hajek FB. An implementation of a subset of PSL/PSA. [Internet] [Thesis]. Kansas State University; 1984. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/2097/9739.

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

Council of Science Editors:

Hajek FB. An implementation of a subset of PSL/PSA. [Thesis]. Kansas State University; 1984. Available from: http://hdl.handle.net/2097/9739

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

20. Chebil, Latifa. Acylation des flavonoides par les llipases de Candida antarctica et Pseudomonas cepacia : études cinétique, structurale et conformationnelle : Enzymatic acylation of flavonoids by Candida antarctica and Pseudomonas cepacia lipases : kinetic, structural and conformationnal studies.

Degree: Docteur es, Procédés biotechnologiques et alimentaires, 2006, Lorraine INP

Ce travail a pour objectif d'étudier les perfomances et la régiosélectivité de deux lipases lors de l'acylation de flavonoïdes en milieu organique. Cette étude a… (more)

Subjects/Keywords: Flavonoïdes; Acylation; Cal-b; Psl-c; Solubilité; Structure; Activité anti-radicalaire; Modélisation moléculaire; Flanonoids; Acylation; Cal-b; Psl-c; Solubility; Structure; Anti-radical activity; Molecular modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chebil, L. (2006). Acylation des flavonoides par les llipases de Candida antarctica et Pseudomonas cepacia : études cinétique, structurale et conformationnelle : Enzymatic acylation of flavonoids by Candida antarctica and Pseudomonas cepacia lipases : kinetic, structural and conformationnal studies. (Doctoral Dissertation). Lorraine INP. Retrieved from http://www.theses.fr/2006INPL097N

Chicago Manual of Style (16th Edition):

Chebil, Latifa. “Acylation des flavonoides par les llipases de Candida antarctica et Pseudomonas cepacia : études cinétique, structurale et conformationnelle : Enzymatic acylation of flavonoids by Candida antarctica and Pseudomonas cepacia lipases : kinetic, structural and conformationnal studies.” 2006. Doctoral Dissertation, Lorraine INP. Accessed June 19, 2019. http://www.theses.fr/2006INPL097N.

MLA Handbook (7th Edition):

Chebil, Latifa. “Acylation des flavonoides par les llipases de Candida antarctica et Pseudomonas cepacia : études cinétique, structurale et conformationnelle : Enzymatic acylation of flavonoids by Candida antarctica and Pseudomonas cepacia lipases : kinetic, structural and conformationnal studies.” 2006. Web. 19 Jun 2019.

Vancouver:

Chebil L. Acylation des flavonoides par les llipases de Candida antarctica et Pseudomonas cepacia : études cinétique, structurale et conformationnelle : Enzymatic acylation of flavonoids by Candida antarctica and Pseudomonas cepacia lipases : kinetic, structural and conformationnal studies. [Internet] [Doctoral dissertation]. Lorraine INP; 2006. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2006INPL097N.

Council of Science Editors:

Chebil L. Acylation des flavonoides par les llipases de Candida antarctica et Pseudomonas cepacia : études cinétique, structurale et conformationnelle : Enzymatic acylation of flavonoids by Candida antarctica and Pseudomonas cepacia lipases : kinetic, structural and conformationnal studies. [Doctoral Dissertation]. Lorraine INP; 2006. Available from: http://www.theses.fr/2006INPL097N


Indian Institute of Science

21. Roy, Debasish. New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators.

Degree: 1995, Indian Institute of Science

Subjects/Keywords: Oscillators (Engineering); Non-linear Systems - Oscillations; Non-linear Mechanics; Nonlinear Oscillators; Nonlinear Mechanics; Chaos; Phase Space Linearisation (PSL); Structural Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roy, D. (1995). New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators. (Thesis). Indian Institute of Science. Retrieved from http://hdl.handle.net/2005/2088

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

Roy, Debasish. “New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators.” 1995. Thesis, Indian Institute of Science. Accessed June 19, 2019. http://hdl.handle.net/2005/2088.

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

MLA Handbook (7th Edition):

Roy, Debasish. “New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators.” 1995. Web. 19 Jun 2019.

Vancouver:

Roy D. New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators. [Internet] [Thesis]. Indian Institute of Science; 1995. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/2005/2088.

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

Council of Science Editors:

Roy D. New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators. [Thesis]. Indian Institute of Science; 1995. Available from: http://hdl.handle.net/2005/2088

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

22. Nomura, Gustavo Massami. Análise da pronúncia de aprendizes japoneses no Brasil: produção das estruturas silábicas CVC e CCV.

Degree: Mestrado, Filologia e Língua Portuguesa, 2013, University of São Paulo

Apesar de o Brasil ser o país com a maior comunidade japonesa fora do Japão, ainda há poucos estudos sobre a aquisição e aprendizagem do… (more)

Subjects/Keywords: Análise de erros; Aquisição/aprendizagem de segunda língua (L2); Error analysis; Fonologia; Japanese language; Língua japonesa; Phonology; Português como segunda língua (PL2); Portuguese as a second language (PSL); Second language acquisition (SLA)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nomura, G. M. (2013). Análise da pronúncia de aprendizes japoneses no Brasil: produção das estruturas silábicas CVC e CCV. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/8/8142/tde-13092013-121329/ ;

Chicago Manual of Style (16th Edition):

Nomura, Gustavo Massami. “Análise da pronúncia de aprendizes japoneses no Brasil: produção das estruturas silábicas CVC e CCV.” 2013. Masters Thesis, University of São Paulo. Accessed June 19, 2019. http://www.teses.usp.br/teses/disponiveis/8/8142/tde-13092013-121329/ ;.

MLA Handbook (7th Edition):

Nomura, Gustavo Massami. “Análise da pronúncia de aprendizes japoneses no Brasil: produção das estruturas silábicas CVC e CCV.” 2013. Web. 19 Jun 2019.

Vancouver:

Nomura GM. Análise da pronúncia de aprendizes japoneses no Brasil: produção das estruturas silábicas CVC e CCV. [Internet] [Masters thesis]. University of São Paulo; 2013. [cited 2019 Jun 19]. Available from: http://www.teses.usp.br/teses/disponiveis/8/8142/tde-13092013-121329/ ;.

Council of Science Editors:

Nomura GM. Análise da pronúncia de aprendizes japoneses no Brasil: produção das estruturas silábicas CVC e CCV. [Masters Thesis]. University of São Paulo; 2013. Available from: http://www.teses.usp.br/teses/disponiveis/8/8142/tde-13092013-121329/ ;


Indian Institute of Science

23. Roy, Debasish. New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators.

Degree: 1995, Indian Institute of Science

Subjects/Keywords: Oscillators (Engineering); Non-linear Systems - Oscillations; Non-linear Mechanics; Nonlinear Oscillators; Nonlinear Mechanics; Chaos; Phase Space Linearisation (PSL); Structural Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roy, D. (1995). New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators. (Thesis). Indian Institute of Science. Retrieved from http://etd.iisc.ernet.in/handle/2005/2088 ; http://etd.ncsi.iisc.ernet.in/abstracts/2689/G14071-Abs.pdf

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

Roy, Debasish. “New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators.” 1995. Thesis, Indian Institute of Science. Accessed June 19, 2019. http://etd.iisc.ernet.in/handle/2005/2088 ; http://etd.ncsi.iisc.ernet.in/abstracts/2689/G14071-Abs.pdf.

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

MLA Handbook (7th Edition):

Roy, Debasish. “New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators.” 1995. Web. 19 Jun 2019.

Vancouver:

Roy D. New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators. [Internet] [Thesis]. Indian Institute of Science; 1995. [cited 2019 Jun 19]. Available from: http://etd.iisc.ernet.in/handle/2005/2088 ; http://etd.ncsi.iisc.ernet.in/abstracts/2689/G14071-Abs.pdf.

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

Council of Science Editors:

Roy D. New Analytical And Numerical Methods For The Study Of Nonlinear Oscillators. [Thesis]. Indian Institute of Science; 1995. Available from: http://etd.iisc.ernet.in/handle/2005/2088 ; http://etd.ncsi.iisc.ernet.in/abstracts/2689/G14071-Abs.pdf

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

24. Duong, Huu Tuyen. Impact du recours à un prestataire de services logistiques sur la perception de la performance logistique : le cas des industries alimentaires au Vietnam : Impact of recourse of logistics service provider on the perception of logistics performance : the cas of food industry in Vietnam.

Degree: Docteur es, Sciences de Gestion, 2014, Aix Marseille Université

La théorie des ressources et compétences est appliquée à de multiples champs et terrains, dont le management des chaînes logistiques. La thèse s'interroge sur la… (more)

Subjects/Keywords: Coordination et partage de ressources; Intégration informationnelle; Industrie alimentaire; Intégration relationnelle; Innovation; Performance logistique; Intégration de la chaîne logistique; Psl; Coordination and sharing of resources; Informational integration; Food Industry; Relational integration; Innovation; Performance Logistics; Supply Chain Integration; Lsp

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Duong, H. T. (2014). Impact du recours à un prestataire de services logistiques sur la perception de la performance logistique : le cas des industries alimentaires au Vietnam : Impact of recourse of logistics service provider on the perception of logistics performance : the cas of food industry in Vietnam. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2014AIXM2001

Chicago Manual of Style (16th Edition):

Duong, Huu Tuyen. “Impact du recours à un prestataire de services logistiques sur la perception de la performance logistique : le cas des industries alimentaires au Vietnam : Impact of recourse of logistics service provider on the perception of logistics performance : the cas of food industry in Vietnam.” 2014. Doctoral Dissertation, Aix Marseille Université. Accessed June 19, 2019. http://www.theses.fr/2014AIXM2001.

MLA Handbook (7th Edition):

Duong, Huu Tuyen. “Impact du recours à un prestataire de services logistiques sur la perception de la performance logistique : le cas des industries alimentaires au Vietnam : Impact of recourse of logistics service provider on the perception of logistics performance : the cas of food industry in Vietnam.” 2014. Web. 19 Jun 2019.

Vancouver:

Duong HT. Impact du recours à un prestataire de services logistiques sur la perception de la performance logistique : le cas des industries alimentaires au Vietnam : Impact of recourse of logistics service provider on the perception of logistics performance : the cas of food industry in Vietnam. [Internet] [Doctoral dissertation]. Aix Marseille Université 2014. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2014AIXM2001.

Council of Science Editors:

Duong HT. Impact du recours à un prestataire de services logistiques sur la perception de la performance logistique : le cas des industries alimentaires au Vietnam : Impact of recourse of logistics service provider on the perception of logistics performance : the cas of food industry in Vietnam. [Doctoral Dissertation]. Aix Marseille Université 2014. Available from: http://www.theses.fr/2014AIXM2001

25. Roveillo, Gérard. Approche béhavioriste de l'intermédiation logistique : le rôle dynamisant du prestataire de services logistiques (PSL) : Behavioral approach of logistical intermediation : the dynamic role of logistics service provider (LSP).

Degree: Docteur es, Sciences de Gestion, 2015, Aix Marseille Université

La recherche souligne, selon une perspective béhavioriste, l’importance grandissante de l’intermédiation logistique à travers le rôle dynamisant du PSL au sein des chaînes logistiques multi-acteurs.… (more)

Subjects/Keywords: Béhaviorisme; Interfaces; Intermédiation logistique; Management logistique; Management stratégique; Prestataire de services logistiques (PSL); Supply chain management (SCM); Behaviorism; Interfaces; Logistical intermediation; Logistical management; Logistics service provider (LSP); Strategic management; Supply chain management (SCM)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roveillo, G. (2015). Approche béhavioriste de l'intermédiation logistique : le rôle dynamisant du prestataire de services logistiques (PSL) : Behavioral approach of logistical intermediation : the dynamic role of logistics service provider (LSP). (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2015AIXM2008

Chicago Manual of Style (16th Edition):

Roveillo, Gérard. “Approche béhavioriste de l'intermédiation logistique : le rôle dynamisant du prestataire de services logistiques (PSL) : Behavioral approach of logistical intermediation : the dynamic role of logistics service provider (LSP).” 2015. Doctoral Dissertation, Aix Marseille Université. Accessed June 19, 2019. http://www.theses.fr/2015AIXM2008.

MLA Handbook (7th Edition):

Roveillo, Gérard. “Approche béhavioriste de l'intermédiation logistique : le rôle dynamisant du prestataire de services logistiques (PSL) : Behavioral approach of logistical intermediation : the dynamic role of logistics service provider (LSP).” 2015. Web. 19 Jun 2019.

Vancouver:

Roveillo G. Approche béhavioriste de l'intermédiation logistique : le rôle dynamisant du prestataire de services logistiques (PSL) : Behavioral approach of logistical intermediation : the dynamic role of logistics service provider (LSP). [Internet] [Doctoral dissertation]. Aix Marseille Université 2015. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2015AIXM2008.

Council of Science Editors:

Roveillo G. Approche béhavioriste de l'intermédiation logistique : le rôle dynamisant du prestataire de services logistiques (PSL) : Behavioral approach of logistical intermediation : the dynamic role of logistics service provider (LSP). [Doctoral Dissertation]. Aix Marseille Université 2015. Available from: http://www.theses.fr/2015AIXM2008


McMaster University

26. Goossen, John Werner. An Examination of Computer Supported Analysis and Documentation Tools and Their Application to Systems Development Techniques.

Degree: MSc, 1981, McMaster University

The development of a "good" information system relies heavily on the designer's (or project leader's) understanding of the system's boundaries and environment within the organization,… (more)

Subjects/Keywords: computation; computer supported analysis; documentation tool; information; systems development technique; organizational theory; PSL/PSA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Goossen, J. W. (1981). An Examination of Computer Supported Analysis and Documentation Tools and Their Application to Systems Development Techniques. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/17853

Chicago Manual of Style (16th Edition):

Goossen, John Werner. “An Examination of Computer Supported Analysis and Documentation Tools and Their Application to Systems Development Techniques.” 1981. Masters Thesis, McMaster University. Accessed June 19, 2019. http://hdl.handle.net/11375/17853.

MLA Handbook (7th Edition):

Goossen, John Werner. “An Examination of Computer Supported Analysis and Documentation Tools and Their Application to Systems Development Techniques.” 1981. Web. 19 Jun 2019.

Vancouver:

Goossen JW. An Examination of Computer Supported Analysis and Documentation Tools and Their Application to Systems Development Techniques. [Internet] [Masters thesis]. McMaster University; 1981. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/11375/17853.

Council of Science Editors:

Goossen JW. An Examination of Computer Supported Analysis and Documentation Tools and Their Application to Systems Development Techniques. [Masters Thesis]. McMaster University; 1981. Available from: http://hdl.handle.net/11375/17853


Université Paris-Sud – Paris XI

27. Ould Hamouda, Hassina. Impact de la qualité des protéines et des lipides du régime de renutrition sur la composition en acides gras, la réponse hépatique à l'insuline, la régulation de l'homéostasie énergétique et l'inflammation, chez les rats âgés Wistar souffrant de malnutrition : Impact of quality proteins and lipids of refeeding diet on the fatty acid composition, hepatic insulin response, regulation of energy homeostasis and inflammation in aged rats Wistar malnourished.

Degree: Docteur es, Sciences de la vie et de la santé, 2015, Université Paris-Sud – Paris XI

 La malnutrition liée au vieillissement est souvent accompagnée de nombreux dérèglements et dysfonctionnements métaboliques, notamment la perturbation de l'homéostasie énergétique (installation de l’insulinorésistance), la fragilité,… (more)

Subjects/Keywords: Homéostasie énergétique; Prise alimentaire; Insulinorésistance; Statut inflammatoire; Acide arachidonique (ARA); Protéines solubles de lait (PSL); Matière grasse laitière (MGLA); Colza; DHA; Vitamine D; Energy homeostasis; Food intake; Insulin resistance; Inflammatory status; Arachidonic acid (ARA); Milk soluble proteins (MSP); Fat dairy; Rapeseed; DHA; Vitamin D

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ould Hamouda, H. (2015). Impact de la qualité des protéines et des lipides du régime de renutrition sur la composition en acides gras, la réponse hépatique à l'insuline, la régulation de l'homéostasie énergétique et l'inflammation, chez les rats âgés Wistar souffrant de malnutrition : Impact of quality proteins and lipids of refeeding diet on the fatty acid composition, hepatic insulin response, regulation of energy homeostasis and inflammation in aged rats Wistar malnourished. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2015PA11T019

Chicago Manual of Style (16th Edition):

Ould Hamouda, Hassina. “Impact de la qualité des protéines et des lipides du régime de renutrition sur la composition en acides gras, la réponse hépatique à l'insuline, la régulation de l'homéostasie énergétique et l'inflammation, chez les rats âgés Wistar souffrant de malnutrition : Impact of quality proteins and lipids of refeeding diet on the fatty acid composition, hepatic insulin response, regulation of energy homeostasis and inflammation in aged rats Wistar malnourished.” 2015. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed June 19, 2019. http://www.theses.fr/2015PA11T019.

MLA Handbook (7th Edition):

Ould Hamouda, Hassina. “Impact de la qualité des protéines et des lipides du régime de renutrition sur la composition en acides gras, la réponse hépatique à l'insuline, la régulation de l'homéostasie énergétique et l'inflammation, chez les rats âgés Wistar souffrant de malnutrition : Impact of quality proteins and lipids of refeeding diet on the fatty acid composition, hepatic insulin response, regulation of energy homeostasis and inflammation in aged rats Wistar malnourished.” 2015. Web. 19 Jun 2019.

Vancouver:

Ould Hamouda H. Impact de la qualité des protéines et des lipides du régime de renutrition sur la composition en acides gras, la réponse hépatique à l'insuline, la régulation de l'homéostasie énergétique et l'inflammation, chez les rats âgés Wistar souffrant de malnutrition : Impact of quality proteins and lipids of refeeding diet on the fatty acid composition, hepatic insulin response, regulation of energy homeostasis and inflammation in aged rats Wistar malnourished. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2015. [cited 2019 Jun 19]. Available from: http://www.theses.fr/2015PA11T019.

Council of Science Editors:

Ould Hamouda H. Impact de la qualité des protéines et des lipides du régime de renutrition sur la composition en acides gras, la réponse hépatique à l'insuline, la régulation de l'homéostasie énergétique et l'inflammation, chez les rats âgés Wistar souffrant de malnutrition : Impact of quality proteins and lipids of refeeding diet on the fatty acid composition, hepatic insulin response, regulation of energy homeostasis and inflammation in aged rats Wistar malnourished. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2015. Available from: http://www.theses.fr/2015PA11T019

28. Amini, Alireza. Mesostructural Characterization and Probabilistic Modeling of the Design Limit States of Parallel Strand Lumber.

Degree: PhD, Civil Engineering, 2013, U of Massachusetts : PhD

  Over recent decades, the public tendency toward using the structural composite lumber (SCL), a common composite of wood made of wood strands or veneers… (more)

Subjects/Keywords: Constitutive Modeling; Finite Element Modeling; Material Characterization; Mechanics of Materials; Parallel Strand Lumber (PSL); Probabilistic Mechanics; Civil and Environmental Engineering

…of PSL for the purpose of investigating the sensitivity of strength to the void structure… …in order to simulate PSL and investigate the possible effects of the void distribution on… …Species PSL billets. As expected, most of the voids lie on the longitudinal direction of the… …mesostructure of PSL was generated. In this study, the simulation of PSL material is based on two… …carefully defined (in mesostructural aspect) PSL models can be the first step of… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Amini, A. (2013). Mesostructural Characterization and Probabilistic Modeling of the Design Limit States of Parallel Strand Lumber. (Doctoral Dissertation). U of Massachusetts : PhD. Retrieved from https://scholarworks.umass.edu/open_access_dissertations/677

Chicago Manual of Style (16th Edition):

Amini, Alireza. “Mesostructural Characterization and Probabilistic Modeling of the Design Limit States of Parallel Strand Lumber.” 2013. Doctoral Dissertation, U of Massachusetts : PhD. Accessed June 19, 2019. https://scholarworks.umass.edu/open_access_dissertations/677.

MLA Handbook (7th Edition):

Amini, Alireza. “Mesostructural Characterization and Probabilistic Modeling of the Design Limit States of Parallel Strand Lumber.” 2013. Web. 19 Jun 2019.

Vancouver:

Amini A. Mesostructural Characterization and Probabilistic Modeling of the Design Limit States of Parallel Strand Lumber. [Internet] [Doctoral dissertation]. U of Massachusetts : PhD; 2013. [cited 2019 Jun 19]. Available from: https://scholarworks.umass.edu/open_access_dissertations/677.

Council of Science Editors:

Amini A. Mesostructural Characterization and Probabilistic Modeling of the Design Limit States of Parallel Strand Lumber. [Doctoral Dissertation]. U of Massachusetts : PhD; 2013. Available from: https://scholarworks.umass.edu/open_access_dissertations/677

29. Cholewa, Andrew Russel. Maude-PSL: a new input language for Maude-NPA.

Degree: MS, Computer Science, 2015, University of Illinois – Urbana-Champaign

 Maude-NPA is a narrowing-based model checker for analysing cryptographic protocols in the Dolev-Yao model modulo equations. Maude-NPA is a powerful analyzer that is sound and… (more)

Subjects/Keywords: rewriting logic; cryptography; Maude-NRL Protocol Analyzer (Maude-NPA); domain specific programming languages; Maude; cryptographic protocol analysis; formal specification; Maude Protocol Specification Language (Maude-PSL)

…called the Maude Protocol Specification Language (Maude-PSL) for Maude-NPA. Rather… …than using strands, the Maude-PSL uses an extension of the Alice and Bob notation. This… …attacks are not affected by modifications to the protocol. The Maude-PSL also introduces… …detect errors as possible. The Maude-PSL is implemented on top of Maude-NPA by using the… …PSL specification to the corresponding Maude-NPA specification is implemented using a… 

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cholewa, A. R. (2015). Maude-PSL: a new input language for Maude-NPA. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/78502

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

Cholewa, Andrew Russel. “Maude-PSL: a new input language for Maude-NPA.” 2015. Thesis, University of Illinois – Urbana-Champaign. Accessed June 19, 2019. http://hdl.handle.net/2142/78502.

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

MLA Handbook (7th Edition):

Cholewa, Andrew Russel. “Maude-PSL: a new input language for Maude-NPA.” 2015. Web. 19 Jun 2019.

Vancouver:

Cholewa AR. Maude-PSL: a new input language for Maude-NPA. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Jun 19]. Available from: http://hdl.handle.net/2142/78502.

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

Council of Science Editors:

Cholewa AR. Maude-PSL: a new input language for Maude-NPA. [Thesis]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/78502

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


University of Florida

30. Chen, Mingsong. Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications.

Degree: PhD, Computer Engineering - Computer and Information Science and Engineering, 2010, University of Florida

Subjects/Keywords: Architectural design; Architectural models; Counterexamples; Heuristics; Learning; Learning modalities; Modeling; Simulations; Software; Standardized tests; assertion, clustering, decomposition, formal, learning, modeling, property, psl, reuse, smv, soc, specification, sva, systemc, testing, tlm, uml, validation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, M. (2010). Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications. (Doctoral Dissertation). University of Florida. Retrieved from http://ufdc.ufl.edu/UFE0041877

Chicago Manual of Style (16th Edition):

Chen, Mingsong. “Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications.” 2010. Doctoral Dissertation, University of Florida. Accessed June 19, 2019. http://ufdc.ufl.edu/UFE0041877.

MLA Handbook (7th Edition):

Chen, Mingsong. “Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications.” 2010. Web. 19 Jun 2019.

Vancouver:

Chen M. Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications. [Internet] [Doctoral dissertation]. University of Florida; 2010. [cited 2019 Jun 19]. Available from: http://ufdc.ufl.edu/UFE0041877.

Council of Science Editors:

Chen M. Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications. [Doctoral Dissertation]. University of Florida; 2010. Available from: http://ufdc.ufl.edu/UFE0041877

.