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

[1] [2] [3] [4] [5] [6] [7] [8] [9]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Reyes Amaro, Alejandro. POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes.

Degree: Docteur es, Informatique et applications, 2017, Nantes

La technologie multi-coeur et les architectures massivement parallèles sont de plus en plus accessibles à tous, à travers des technologies comme le Xeon Phi ou… (more)

Subjects/Keywords: CSP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reyes Amaro, A. (2017). POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes. (Doctoral Dissertation). Nantes. Retrieved from http://www.theses.fr/2017NANT4030

Chicago Manual of Style (16th Edition):

Reyes Amaro, Alejandro. “POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes.” 2017. Doctoral Dissertation, Nantes. Accessed September 27, 2020. http://www.theses.fr/2017NANT4030.

MLA Handbook (7th Edition):

Reyes Amaro, Alejandro. “POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes.” 2017. Web. 27 Sep 2020.

Vancouver:

Reyes Amaro A. POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes. [Internet] [Doctoral dissertation]. Nantes; 2017. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2017NANT4030.

Council of Science Editors:

Reyes Amaro A. POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes. [Doctoral Dissertation]. Nantes; 2017. Available from: http://www.theses.fr/2017NANT4030


California State University – Sacramento

2. Calamateo, Dagoberto. A pre-feasibility study of a small-scale concentrating solar power plant for an industrial application in Sacramento, California.

Degree: MS, Mechanical Engineering, 2014, California State University – Sacramento

 A technical and financial pre-feasibility study of a standalone concentrated solar power (CSP) plant that hasn???t been explored in the Northern Region of the state… (more)

Subjects/Keywords: CSP; Sacramento CSP; Pre-feasibility study

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Calamateo, D. (2014). A pre-feasibility study of a small-scale concentrating solar power plant for an industrial application in Sacramento, California. (Masters Thesis). California State University – Sacramento. Retrieved from http://hdl.handle.net/10211.3/131640

Chicago Manual of Style (16th Edition):

Calamateo, Dagoberto. “A pre-feasibility study of a small-scale concentrating solar power plant for an industrial application in Sacramento, California.” 2014. Masters Thesis, California State University – Sacramento. Accessed September 27, 2020. http://hdl.handle.net/10211.3/131640.

MLA Handbook (7th Edition):

Calamateo, Dagoberto. “A pre-feasibility study of a small-scale concentrating solar power plant for an industrial application in Sacramento, California.” 2014. Web. 27 Sep 2020.

Vancouver:

Calamateo D. A pre-feasibility study of a small-scale concentrating solar power plant for an industrial application in Sacramento, California. [Internet] [Masters thesis]. California State University – Sacramento; 2014. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10211.3/131640.

Council of Science Editors:

Calamateo D. A pre-feasibility study of a small-scale concentrating solar power plant for an industrial application in Sacramento, California. [Masters Thesis]. California State University – Sacramento; 2014. Available from: http://hdl.handle.net/10211.3/131640


KTH

3. Darwish, Mazen. Modular Hybridization of Solar Thermal Power Plants For Developing Nations.

Degree: Heat and Power Technology, 2012, KTH

  The current energy scenario in the developing nations with abundant sun resource (e.g. southern Mediterranean countries of Europe, Middle-East & North Africa) relies mainly… (more)

Subjects/Keywords: Solar; Energy; CSP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Darwish, M. (2012). Modular Hybridization of Solar Thermal Power Plants For Developing Nations. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104456

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

Darwish, Mazen. “Modular Hybridization of Solar Thermal Power Plants For Developing Nations.” 2012. Thesis, KTH. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104456.

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

MLA Handbook (7th Edition):

Darwish, Mazen. “Modular Hybridization of Solar Thermal Power Plants For Developing Nations.” 2012. Web. 27 Sep 2020.

Vancouver:

Darwish M. Modular Hybridization of Solar Thermal Power Plants For Developing Nations. [Internet] [Thesis]. KTH; 2012. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104456.

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

Council of Science Editors:

Darwish M. Modular Hybridization of Solar Thermal Power Plants For Developing Nations. [Thesis]. KTH; 2012. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104456

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

4. Eriksson, Olof. Techno Economic Analysis of Reverse Osmosis Combined with CSP + PV in Kuwait.

Degree: Energy Technology, 2020, Dalarna University

  Seawater desalination plays an important role when fighting the freshwater scarcity that many places around the world are currently facing. The increasing need for… (more)

Subjects/Keywords: Solar Desalination; CSP; PV; RO; CSP+PV; CSP+PV+RO; Energy Engineering; Energiteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Eriksson, O. (2020). Techno Economic Analysis of Reverse Osmosis Combined with CSP + PV in Kuwait. (Thesis). Dalarna University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:du-34521

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

Eriksson, Olof. “Techno Economic Analysis of Reverse Osmosis Combined with CSP + PV in Kuwait.” 2020. Thesis, Dalarna University. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:du-34521.

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

MLA Handbook (7th Edition):

Eriksson, Olof. “Techno Economic Analysis of Reverse Osmosis Combined with CSP + PV in Kuwait.” 2020. Web. 27 Sep 2020.

Vancouver:

Eriksson O. Techno Economic Analysis of Reverse Osmosis Combined with CSP + PV in Kuwait. [Internet] [Thesis]. Dalarna University; 2020. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:du-34521.

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

Council of Science Editors:

Eriksson O. Techno Economic Analysis of Reverse Osmosis Combined with CSP + PV in Kuwait. [Thesis]. Dalarna University; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:du-34521

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

5. Kanso, Hélène. Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions.

Degree: Docteur es, Mathématique et informatique. Informatique, 2017, Aix Marseille Université

L’importance des problèmes CSP, WCSP etCSP est reflétée par la part considérable des travaux, théoriques et pratiques, dont ils font l’objet en intelligence artificielle et… (more)

Subjects/Keywords: Csp; Wcsp; csp; Intelligence artificielle; Décomposition arborescente; Classes traitables; Résolution; Csp; Wcsp; #csp; Artificial intelligence; Tree-Decomposition; Tractable classes; Solving; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kanso, H. (2017). Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2017AIXM0655

Chicago Manual of Style (16th Edition):

Kanso, Hélène. “Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions.” 2017. Doctoral Dissertation, Aix Marseille Université. Accessed September 27, 2020. http://www.theses.fr/2017AIXM0655.

MLA Handbook (7th Edition):

Kanso, Hélène. “Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions.” 2017. Web. 27 Sep 2020.

Vancouver:

Kanso H. Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. [Internet] [Doctoral dissertation]. Aix Marseille Université 2017. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2017AIXM0655.

Council of Science Editors:

Kanso H. Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. [Doctoral Dissertation]. Aix Marseille Université 2017. Available from: http://www.theses.fr/2017AIXM0655


University of Utah

6. Larsen, Mark Raymond. Mechanical fatigue performance of direct-attach, chip-size electronic packages.

Degree: MS;, Mechanical Engineering;, 2008, University of Utah

 Chip Scale Packages (CSPs) are rapidly becoming more widespread with the popularity of portable electronic products. The incentive for adoption of CSP technology is to… (more)

Subjects/Keywords: Chip scale packaging; CSP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Larsen, M. R. (2008). Mechanical fatigue performance of direct-attach, chip-size electronic packages. (Masters Thesis). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1670/rec/740

Chicago Manual of Style (16th Edition):

Larsen, Mark Raymond. “Mechanical fatigue performance of direct-attach, chip-size electronic packages.” 2008. Masters Thesis, University of Utah. Accessed September 27, 2020. http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1670/rec/740.

MLA Handbook (7th Edition):

Larsen, Mark Raymond. “Mechanical fatigue performance of direct-attach, chip-size electronic packages.” 2008. Web. 27 Sep 2020.

Vancouver:

Larsen MR. Mechanical fatigue performance of direct-attach, chip-size electronic packages. [Internet] [Masters thesis]. University of Utah; 2008. [cited 2020 Sep 27]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1670/rec/740.

Council of Science Editors:

Larsen MR. Mechanical fatigue performance of direct-attach, chip-size electronic packages. [Masters Thesis]. University of Utah; 2008. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1670/rec/740


McMaster University

7. Horowitz, Jonah. Results on the Computational Complexity of Linear Idempotent Mal'cev Conditions.

Degree: PhD, 2011, McMaster University

In this thesis we examine the computational complexity of determining the satisfaction of various Mal'cev conditions. First we present a novel classification of linear… (more)

Subjects/Keywords: universal algebra; csp; Algebra; Algebra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Horowitz, J. (2011). Results on the Computational Complexity of Linear Idempotent Mal'cev Conditions. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/11606

Chicago Manual of Style (16th Edition):

Horowitz, Jonah. “Results on the Computational Complexity of Linear Idempotent Mal'cev Conditions.” 2011. Doctoral Dissertation, McMaster University. Accessed September 27, 2020. http://hdl.handle.net/11375/11606.

MLA Handbook (7th Edition):

Horowitz, Jonah. “Results on the Computational Complexity of Linear Idempotent Mal'cev Conditions.” 2011. Web. 27 Sep 2020.

Vancouver:

Horowitz J. Results on the Computational Complexity of Linear Idempotent Mal'cev Conditions. [Internet] [Doctoral dissertation]. McMaster University; 2011. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/11375/11606.

Council of Science Editors:

Horowitz J. Results on the Computational Complexity of Linear Idempotent Mal'cev Conditions. [Doctoral Dissertation]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11606


Open Universiteit Nederland

8. Verheul, J. Adaptive to change? Compositional modelling of Healthcare Insurances using Protocol Modelling .

Degree: 2011, Open Universiteit Nederland

 This report presents the results of research on application of Protocol Modelling in the domain of healthcare insurance claims processing in the Dutch context. The… (more)

Subjects/Keywords: Protocol Modelling; CSP parallel composition

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Verheul, J. (2011). Adaptive to change? Compositional modelling of Healthcare Insurances using Protocol Modelling . (Masters Thesis). Open Universiteit Nederland. Retrieved from http://hdl.handle.net/1820/3731

Chicago Manual of Style (16th Edition):

Verheul, J. “Adaptive to change? Compositional modelling of Healthcare Insurances using Protocol Modelling .” 2011. Masters Thesis, Open Universiteit Nederland. Accessed September 27, 2020. http://hdl.handle.net/1820/3731.

MLA Handbook (7th Edition):

Verheul, J. “Adaptive to change? Compositional modelling of Healthcare Insurances using Protocol Modelling .” 2011. Web. 27 Sep 2020.

Vancouver:

Verheul J. Adaptive to change? Compositional modelling of Healthcare Insurances using Protocol Modelling . [Internet] [Masters thesis]. Open Universiteit Nederland; 2011. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/1820/3731.

Council of Science Editors:

Verheul J. Adaptive to change? Compositional modelling of Healthcare Insurances using Protocol Modelling . [Masters Thesis]. Open Universiteit Nederland; 2011. Available from: http://hdl.handle.net/1820/3731

9. Monier, Pierre. DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD).

Degree: Docteur es, Informatique, 2012, Valenciennes

Le formalisme CSP (Problème de Satisfaction de Contraintes) permet de représenter de nombreux problèmes de manière simple et efficace. Cependant, une partie de ces problèmes… (more)

Subjects/Keywords: Système multi-agent; Agent; Csp; CSP distribué; Session; Contrainte; Multi-agent system; Agent; Csp; Distributed CSP; Session; Constraint

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Monier, P. (2012). DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD). (Doctoral Dissertation). Valenciennes. Retrieved from http://www.theses.fr/2012VALE0012

Chicago Manual of Style (16th Edition):

Monier, Pierre. “DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD).” 2012. Doctoral Dissertation, Valenciennes. Accessed September 27, 2020. http://www.theses.fr/2012VALE0012.

MLA Handbook (7th Edition):

Monier, Pierre. “DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD).” 2012. Web. 27 Sep 2020.

Vancouver:

Monier P. DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD). [Internet] [Doctoral dissertation]. Valenciennes; 2012. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2012VALE0012.

Council of Science Editors:

Monier P. DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD). [Doctoral Dissertation]. Valenciennes; 2012. Available from: http://www.theses.fr/2012VALE0012


University of Arizona

10. Buss, Nicole. Genetic Modifiers of Adult-Onset Neuronal Ceroid Lipofuscinosis (ANCL) .

Degree: 2018, University of Arizona

 Cysteine-string protein α (CSPα) is a molecular co-chaperone located at the synapse that functions to promote vesicle fusion. Two mutations in the cysteine-string domain (CSD)… (more)

Subjects/Keywords: ANCL; CSP; Hip14; Hsp110; Hsp40

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Buss, N. (2018). Genetic Modifiers of Adult-Onset Neuronal Ceroid Lipofuscinosis (ANCL) . (Masters Thesis). University of Arizona. Retrieved from http://hdl.handle.net/10150/628100

Chicago Manual of Style (16th Edition):

Buss, Nicole. “Genetic Modifiers of Adult-Onset Neuronal Ceroid Lipofuscinosis (ANCL) .” 2018. Masters Thesis, University of Arizona. Accessed September 27, 2020. http://hdl.handle.net/10150/628100.

MLA Handbook (7th Edition):

Buss, Nicole. “Genetic Modifiers of Adult-Onset Neuronal Ceroid Lipofuscinosis (ANCL) .” 2018. Web. 27 Sep 2020.

Vancouver:

Buss N. Genetic Modifiers of Adult-Onset Neuronal Ceroid Lipofuscinosis (ANCL) . [Internet] [Masters thesis]. University of Arizona; 2018. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10150/628100.

Council of Science Editors:

Buss N. Genetic Modifiers of Adult-Onset Neuronal Ceroid Lipofuscinosis (ANCL) . [Masters Thesis]. University of Arizona; 2018. Available from: http://hdl.handle.net/10150/628100


Wright State University

11. Adikarapatti, Vikramvarun Kannan. OPTIMAL EEG CHANNELS AND RHYTHM SELECTION FOR TASK CLASSIFICATION.

Degree: MSEgr, Biomedical Engineering, 2007, Wright State University

 The Primary Objective of this research is to implement an automatic method for selecting the most optimal EEG channels for task classification purposes. The secondary… (more)

Subjects/Keywords: Engineering, Biomedical; EEG; sf; Optimal Channels; CSP; CHANNELS; CSP Method; Separability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Adikarapatti, V. K. (2007). OPTIMAL EEG CHANNELS AND RHYTHM SELECTION FOR TASK CLASSIFICATION. (Masters Thesis). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1176482808

Chicago Manual of Style (16th Edition):

Adikarapatti, Vikramvarun Kannan. “OPTIMAL EEG CHANNELS AND RHYTHM SELECTION FOR TASK CLASSIFICATION.” 2007. Masters Thesis, Wright State University. Accessed September 27, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=wright1176482808.

MLA Handbook (7th Edition):

Adikarapatti, Vikramvarun Kannan. “OPTIMAL EEG CHANNELS AND RHYTHM SELECTION FOR TASK CLASSIFICATION.” 2007. Web. 27 Sep 2020.

Vancouver:

Adikarapatti VK. OPTIMAL EEG CHANNELS AND RHYTHM SELECTION FOR TASK CLASSIFICATION. [Internet] [Masters thesis]. Wright State University; 2007. [cited 2020 Sep 27]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1176482808.

Council of Science Editors:

Adikarapatti VK. OPTIMAL EEG CHANNELS AND RHYTHM SELECTION FOR TASK CLASSIFICATION. [Masters Thesis]. Wright State University; 2007. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1176482808

12. LIMA, Lucas Albertins de. Formalisation of SysML design models and an analysis strategy using refinement .

Degree: 2016, Universidade Federal de Pernambuco

 The increasing complexity of systems has led to increasing difficulty in design. Thestandard approach to development, based on trial and error, with testing used at… (more)

Subjects/Keywords: Álgebra de processos; CML; CSP; refinamento. automação; SysML; semântica; Process algebra; CML; CSP; CSP; refinement. Automation; SysML; Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

LIMA, L. A. d. (2016). Formalisation of SysML design models and an analysis strategy using refinement . (Doctoral Dissertation). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/17636

Chicago Manual of Style (16th Edition):

LIMA, Lucas Albertins de. “Formalisation of SysML design models and an analysis strategy using refinement .” 2016. Doctoral Dissertation, Universidade Federal de Pernambuco. Accessed September 27, 2020. https://repositorio.ufpe.br/handle/123456789/17636.

MLA Handbook (7th Edition):

LIMA, Lucas Albertins de. “Formalisation of SysML design models and an analysis strategy using refinement .” 2016. Web. 27 Sep 2020.

Vancouver:

LIMA LAd. Formalisation of SysML design models and an analysis strategy using refinement . [Internet] [Doctoral dissertation]. Universidade Federal de Pernambuco; 2016. [cited 2020 Sep 27]. Available from: https://repositorio.ufpe.br/handle/123456789/17636.

Council of Science Editors:

LIMA LAd. Formalisation of SysML design models and an analysis strategy using refinement . [Doctoral Dissertation]. Universidade Federal de Pernambuco; 2016. Available from: https://repositorio.ufpe.br/handle/123456789/17636


University of North Texas

13. Orudzheva, Leyla. The Trident of Corporate Corruption Control: Implications and Effects.

Degree: 2018, University of North Texas

 Corporate corruption is a widespread phenomenon that persists in the functioning of both public and private companies of differing size, performance, industry, and national origin.… (more)

Subjects/Keywords: corporate corruption; corruption control; csp; corruption recidivism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Orudzheva, L. (2018). The Trident of Corporate Corruption Control: Implications and Effects. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc1404540/

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

Orudzheva, Leyla. “The Trident of Corporate Corruption Control: Implications and Effects.” 2018. Thesis, University of North Texas. Accessed September 27, 2020. https://digital.library.unt.edu/ark:/67531/metadc1404540/.

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

MLA Handbook (7th Edition):

Orudzheva, Leyla. “The Trident of Corporate Corruption Control: Implications and Effects.” 2018. Web. 27 Sep 2020.

Vancouver:

Orudzheva L. The Trident of Corporate Corruption Control: Implications and Effects. [Internet] [Thesis]. University of North Texas; 2018. [cited 2020 Sep 27]. Available from: https://digital.library.unt.edu/ark:/67531/metadc1404540/.

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

Council of Science Editors:

Orudzheva L. The Trident of Corporate Corruption Control: Implications and Effects. [Thesis]. University of North Texas; 2018. Available from: https://digital.library.unt.edu/ark:/67531/metadc1404540/

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

14. Elias Queiroga da Costa Araújo, José. ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java .

Degree: 2011, Universidade Federal de Pernambuco

 Com o advento de processadores multicore, a programação concorrente ganhou importância e tem se tornado um dos grandes desafios da área de engenharia de software.… (more)

Subjects/Keywords: JCSP; CSP; Java Threads; Paralelismo; Concorrência

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Elias Queiroga da Costa Araújo, J. (2011). ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/2834

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

Elias Queiroga da Costa Araújo, José. “ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java .” 2011. Thesis, Universidade Federal de Pernambuco. Accessed September 27, 2020. http://repositorio.ufpe.br/handle/123456789/2834.

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

MLA Handbook (7th Edition):

Elias Queiroga da Costa Araújo, José. “ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java .” 2011. Web. 27 Sep 2020.

Vancouver:

Elias Queiroga da Costa Araújo J. ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2020 Sep 27]. Available from: http://repositorio.ufpe.br/handle/123456789/2834.

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

Council of Science Editors:

Elias Queiroga da Costa Araújo J. ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java . [Thesis]. Universidade Federal de Pernambuco; 2011. Available from: http://repositorio.ufpe.br/handle/123456789/2834

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

15. Saad, Belaïd. Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances : Integrating the pattern of secure distributed constraint satisfaction problems in expert systems.

Degree: Docteur es, Informatique, 2010, Metz

Une large gamme de problèmes pratiques nécessite une diversité de représentation et de modélisation des données et de développer des modèles dans lesquels les différentes… (more)

Subjects/Keywords: Ddcsp; Communication; Csp

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Saad, B. (2010). Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances : Integrating the pattern of secure distributed constraint satisfaction problems in expert systems. (Doctoral Dissertation). Metz. Retrieved from http://www.theses.fr/2010METZ012S

Chicago Manual of Style (16th Edition):

Saad, Belaïd. “Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances : Integrating the pattern of secure distributed constraint satisfaction problems in expert systems.” 2010. Doctoral Dissertation, Metz. Accessed September 27, 2020. http://www.theses.fr/2010METZ012S.

MLA Handbook (7th Edition):

Saad, Belaïd. “Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances : Integrating the pattern of secure distributed constraint satisfaction problems in expert systems.” 2010. Web. 27 Sep 2020.

Vancouver:

Saad B. Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances : Integrating the pattern of secure distributed constraint satisfaction problems in expert systems. [Internet] [Doctoral dissertation]. Metz; 2010. [cited 2020 Sep 27]. Available from: http://www.theses.fr/2010METZ012S.

Council of Science Editors:

Saad B. Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances : Integrating the pattern of secure distributed constraint satisfaction problems in expert systems. [Doctoral Dissertation]. Metz; 2010. Available from: http://www.theses.fr/2010METZ012S


Universitat Autònoma de Barcelona

16. Enrech López, Raquel. Síntesis y estudio de nuevos agentes de solvatación quiral polifuncionales.

Degree: Departament de Química, 2011, Universitat Autònoma de Barcelona

 This thesis focuses on the enantioselective separation, developing new chiral solvating agents (CSA) and new chiral stationary phases (CSP). In the first part of the… (more)

Subjects/Keywords: CSA; CSP; Quiralitat; Ciències Experimentals; 547

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Enrech López, R. (2011). Síntesis y estudio de nuevos agentes de solvatación quiral polifuncionales. (Thesis). Universitat Autònoma de Barcelona. Retrieved from http://hdl.handle.net/10803/83970

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

Enrech López, Raquel. “Síntesis y estudio de nuevos agentes de solvatación quiral polifuncionales.” 2011. Thesis, Universitat Autònoma de Barcelona. Accessed September 27, 2020. http://hdl.handle.net/10803/83970.

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

MLA Handbook (7th Edition):

Enrech López, Raquel. “Síntesis y estudio de nuevos agentes de solvatación quiral polifuncionales.” 2011. Web. 27 Sep 2020.

Vancouver:

Enrech López R. Síntesis y estudio de nuevos agentes de solvatación quiral polifuncionales. [Internet] [Thesis]. Universitat Autònoma de Barcelona; 2011. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10803/83970.

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

Council of Science Editors:

Enrech López R. Síntesis y estudio de nuevos agentes de solvatación quiral polifuncionales. [Thesis]. Universitat Autònoma de Barcelona; 2011. Available from: http://hdl.handle.net/10803/83970

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


KTH

17. Ottosson, Simon. Optimization of Cavity Receiver Geometry with regards to Radiation Heat Loss.

Degree: Industrial Ecology, 2016, KTH

  In order to maximize the e ciency of power generation in concentrated solar power systems (CSP) it is de- sired to achieve as high… (more)

Subjects/Keywords: Cavity receiver; CSP; Radiation heat loss

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ottosson, S. (2016). Optimization of Cavity Receiver Geometry with regards to Radiation Heat Loss. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-189133

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

Ottosson, Simon. “Optimization of Cavity Receiver Geometry with regards to Radiation Heat Loss.” 2016. Thesis, KTH. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-189133.

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

MLA Handbook (7th Edition):

Ottosson, Simon. “Optimization of Cavity Receiver Geometry with regards to Radiation Heat Loss.” 2016. Web. 27 Sep 2020.

Vancouver:

Ottosson S. Optimization of Cavity Receiver Geometry with regards to Radiation Heat Loss. [Internet] [Thesis]. KTH; 2016. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-189133.

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

Council of Science Editors:

Ottosson S. Optimization of Cavity Receiver Geometry with regards to Radiation Heat Loss. [Thesis]. KTH; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-189133

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


Linköping University

18. Stockman, Peter. Upper Bounds on the Time Complexity of Temporal CSPs.

Degree: Computer and Information Science, 2016, Linköping University

  The temporal constraint satisfaction problem (CSP) offers a formalized way to reason about in which order tasks should be accomplished. Using this we can… (more)

Subjects/Keywords: CSP; Algorithms; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Stockman, P. (2016). Upper Bounds on the Time Complexity of Temporal CSPs. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-129778

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

Stockman, Peter. “Upper Bounds on the Time Complexity of Temporal CSPs.” 2016. Thesis, Linköping University. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-129778.

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

MLA Handbook (7th Edition):

Stockman, Peter. “Upper Bounds on the Time Complexity of Temporal CSPs.” 2016. Web. 27 Sep 2020.

Vancouver:

Stockman P. Upper Bounds on the Time Complexity of Temporal CSPs. [Internet] [Thesis]. Linköping University; 2016. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-129778.

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

Council of Science Editors:

Stockman P. Upper Bounds on the Time Complexity of Temporal CSPs. [Thesis]. Linköping University; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-129778

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


Linköping University

19. Eriksson, Leif. Solving Temporal CSPs via Enumeration and SAT Compilation.

Degree: Computer and Information Science, 2019, Linköping University

  The constraint satisfaction problem (CSP) is a powerful framework used in theoretical computer science for formulating a  multitude of problems. The CSP over a… (more)

Subjects/Keywords: CSP; Algorithms; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Eriksson, L. (2019). Solving Temporal CSPs via Enumeration and SAT Compilation. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162482

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

Eriksson, Leif. “Solving Temporal CSPs via Enumeration and SAT Compilation.” 2019. Thesis, Linköping University. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162482.

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

MLA Handbook (7th Edition):

Eriksson, Leif. “Solving Temporal CSPs via Enumeration and SAT Compilation.” 2019. Web. 27 Sep 2020.

Vancouver:

Eriksson L. Solving Temporal CSPs via Enumeration and SAT Compilation. [Internet] [Thesis]. Linköping University; 2019. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162482.

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

Council of Science Editors:

Eriksson L. Solving Temporal CSPs via Enumeration and SAT Compilation. [Thesis]. Linköping University; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162482

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


University of Toronto

20. Yung, Chun Kong. Resolution Complexity of Random Constraint Satisfaction Problems.

Degree: PhD, 2016, University of Toronto

 The resolution complexity of random constraint satisfaction problems is a widely studied topic. This line of research started with a seminal paper by Chvátal and… (more)

Subjects/Keywords: Proof Complexity; Random CSP; Resolution; 0984

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yung, C. K. (2016). Resolution Complexity of Random Constraint Satisfaction Problems. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/73210

Chicago Manual of Style (16th Edition):

Yung, Chun Kong. “Resolution Complexity of Random Constraint Satisfaction Problems.” 2016. Doctoral Dissertation, University of Toronto. Accessed September 27, 2020. http://hdl.handle.net/1807/73210.

MLA Handbook (7th Edition):

Yung, Chun Kong. “Resolution Complexity of Random Constraint Satisfaction Problems.” 2016. Web. 27 Sep 2020.

Vancouver:

Yung CK. Resolution Complexity of Random Constraint Satisfaction Problems. [Internet] [Doctoral dissertation]. University of Toronto; 2016. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/1807/73210.

Council of Science Editors:

Yung CK. Resolution Complexity of Random Constraint Satisfaction Problems. [Doctoral Dissertation]. University of Toronto; 2016. Available from: http://hdl.handle.net/1807/73210

21. Lieb, Christopher. Concurrent Programming in Education: Time for a Change.

Degree: MS, 2011, Worcester Polytechnic Institute

  Writing concurrent programs using shared memory causes many programmers much trouble, due primarily to unsafe semantics. Memory corruption, race conditions, deadlocks, and even livelocks… (more)

Subjects/Keywords: study; actors; channels; education; concurrency; csp

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lieb, C. (2011). Concurrent Programming in Education: Time for a Change. (Thesis). Worcester Polytechnic Institute. Retrieved from etd-042611-112809 ; https://digitalcommons.wpi.edu/etd-theses/329

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

Lieb, Christopher. “Concurrent Programming in Education: Time for a Change.” 2011. Thesis, Worcester Polytechnic Institute. Accessed September 27, 2020. etd-042611-112809 ; https://digitalcommons.wpi.edu/etd-theses/329.

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

MLA Handbook (7th Edition):

Lieb, Christopher. “Concurrent Programming in Education: Time for a Change.” 2011. Web. 27 Sep 2020.

Vancouver:

Lieb C. Concurrent Programming in Education: Time for a Change. [Internet] [Thesis]. Worcester Polytechnic Institute; 2011. [cited 2020 Sep 27]. Available from: etd-042611-112809 ; https://digitalcommons.wpi.edu/etd-theses/329.

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

Council of Science Editors:

Lieb C. Concurrent Programming in Education: Time for a Change. [Thesis]. Worcester Polytechnic Institute; 2011. Available from: etd-042611-112809 ; https://digitalcommons.wpi.edu/etd-theses/329

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


University of Waterloo

22. Li, Zijie. Backdoors in Satisfiability Problems.

Degree: 2009, University of Waterloo

 Although satisfiability problems (SAT) are NP-complete, state-of-the-art SAT solvers are able to solve large practical instances. The notion of backdoors has been introduced to capture… (more)

Subjects/Keywords: CSP; SAT; Backdoors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, Z. (2009). Backdoors in Satisfiability Problems. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4810

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

Li, Zijie. “Backdoors in Satisfiability Problems.” 2009. Thesis, University of Waterloo. Accessed September 27, 2020. http://hdl.handle.net/10012/4810.

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

MLA Handbook (7th Edition):

Li, Zijie. “Backdoors in Satisfiability Problems.” 2009. Web. 27 Sep 2020.

Vancouver:

Li Z. Backdoors in Satisfiability Problems. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/10012/4810.

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

Council of Science Editors:

Li Z. Backdoors in Satisfiability Problems. [Thesis]. University of Waterloo; 2009. Available from: http://hdl.handle.net/10012/4810

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

23. Boman, Josefin. Lönar sig socialt ansvarstagande? : En kvantitativ studie på 211 företag noterade på Stockholmsbörsen.

Degree: Business and Economic Studies, 2016, University of Gävle

Syfte: Det föreligger ett lagförslag som kan komma att ställa krav på omkring 2000 svenska företag vad det gäller redovisning inom Corporate Social Responsibility… (more)

Subjects/Keywords: CSR; CSP; sustainability; financial performance; ROA; ROE; CSR; CSP; hållbarhet; finansiell prestation; ROA; ROE

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Boman, J. (2016). Lönar sig socialt ansvarstagande? : En kvantitativ studie på 211 företag noterade på Stockholmsbörsen. (Thesis). University of Gävle. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-21663

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

Boman, Josefin. “Lönar sig socialt ansvarstagande? : En kvantitativ studie på 211 företag noterade på Stockholmsbörsen.” 2016. Thesis, University of Gävle. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-21663.

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

MLA Handbook (7th Edition):

Boman, Josefin. “Lönar sig socialt ansvarstagande? : En kvantitativ studie på 211 företag noterade på Stockholmsbörsen.” 2016. Web. 27 Sep 2020.

Vancouver:

Boman J. Lönar sig socialt ansvarstagande? : En kvantitativ studie på 211 företag noterade på Stockholmsbörsen. [Internet] [Thesis]. University of Gävle; 2016. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-21663.

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

Council of Science Editors:

Boman J. Lönar sig socialt ansvarstagande? : En kvantitativ studie på 211 företag noterade på Stockholmsbörsen. [Thesis]. University of Gävle; 2016. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-21663

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


Uppsala University

24. Bergquist, Gustav. Är det lönsamt att investera i CSR? : Förhållandet mellan Corporate Social Performance och Corporate Financial Performance.

Degree: Business Studies, 2018, Uppsala University

  Denna studie undersöker det finansiella värdeskapandet av CSR-aktiviteter genom att studera förhållandet mellan Corporate Social Performance (CSP) och Corporate Financial Performance (CFP). I enlighet… (more)

Subjects/Keywords: CSR; CSP; CFP; Sustainable Brand Index; Konsumenter; The CSP-CFP multilevel framework; Business Administration; Företagsekonomi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bergquist, G. (2018). Är det lönsamt att investera i CSR? : Förhållandet mellan Corporate Social Performance och Corporate Financial Performance. (Thesis). Uppsala University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-355085

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

Bergquist, Gustav. “Är det lönsamt att investera i CSR? : Förhållandet mellan Corporate Social Performance och Corporate Financial Performance.” 2018. Thesis, Uppsala University. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-355085.

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

MLA Handbook (7th Edition):

Bergquist, Gustav. “Är det lönsamt att investera i CSR? : Förhållandet mellan Corporate Social Performance och Corporate Financial Performance.” 2018. Web. 27 Sep 2020.

Vancouver:

Bergquist G. Är det lönsamt att investera i CSR? : Förhållandet mellan Corporate Social Performance och Corporate Financial Performance. [Internet] [Thesis]. Uppsala University; 2018. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-355085.

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

Council of Science Editors:

Bergquist G. Är det lönsamt att investera i CSR? : Förhållandet mellan Corporate Social Performance och Corporate Financial Performance. [Thesis]. Uppsala University; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-355085

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


Brno University of Technology

25. Truneček, Petr. Kryptografické protokoly v praxi: Cryptographic protocols in practice.

Degree: 2019, Brno University of Technology

 The purpose of this work was first to describe the requirements for cryptographic protocols. Furthermore, the classification of these protocols should have been made with… (more)

Subjects/Keywords: Kryptografie; Kryptografické protokoly; CSP; FDR; Yahalom; Cryptography; Cryptographic protocols; CSP; FDR; Yahalom

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Truneček, P. (2019). Kryptografické protokoly v praxi: Cryptographic protocols in practice. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/11034

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

Truneček, Petr. “Kryptografické protokoly v praxi: Cryptographic protocols in practice.” 2019. Thesis, Brno University of Technology. Accessed September 27, 2020. http://hdl.handle.net/11012/11034.

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

MLA Handbook (7th Edition):

Truneček, Petr. “Kryptografické protokoly v praxi: Cryptographic protocols in practice.” 2019. Web. 27 Sep 2020.

Vancouver:

Truneček P. Kryptografické protokoly v praxi: Cryptographic protocols in practice. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/11012/11034.

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

Council of Science Editors:

Truneček P. Kryptografické protokoly v praxi: Cryptographic protocols in practice. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/11034

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


Brno University of Technology

26. Saliba, Walaa. Klasifikační systémy v nemocnicích: Classification systems in the hospitals.

Degree: 2019, Brno University of Technology

 The aim of this thesis is to study the issue of classification systems in hospitals, pursuing primarily economic demands of hospitalization, after that design and… (more)

Subjects/Keywords: DRG; IR-DRG; MDC; HIS; CLINICOM; CSP; DRG; IR-DRG; MDC; HIS; CLINICOM; CSP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Saliba, W. (2019). Klasifikační systémy v nemocnicích: Classification systems in the hospitals. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/25941

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

Saliba, Walaa. “Klasifikační systémy v nemocnicích: Classification systems in the hospitals.” 2019. Thesis, Brno University of Technology. Accessed September 27, 2020. http://hdl.handle.net/11012/25941.

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

MLA Handbook (7th Edition):

Saliba, Walaa. “Klasifikační systémy v nemocnicích: Classification systems in the hospitals.” 2019. Web. 27 Sep 2020.

Vancouver:

Saliba W. Klasifikační systémy v nemocnicích: Classification systems in the hospitals. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/11012/25941.

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

Council of Science Editors:

Saliba W. Klasifikační systémy v nemocnicích: Classification systems in the hospitals. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/25941

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

27. Asklöf, Anders. Hållbarhet, lönsamhet och det eventuella sambandet däremellan : En kvantitativ studie om hållbarhetsredovisningens effekt på lönsamhet.

Degree: Business Studies, 2019, Södertörn University

Denna studie syftar till att undersöka sambandet mellan börsnoterade företags hållbarhetsarbete och deras lönsamhet, vilket undersöktes genom att först använda sig av en korrelationsmatris… (more)

Subjects/Keywords: CFP; CSP; ROA; ROE; Net profit margin; CFP; CSP; ROA; ROE; Vinstmarginal; Business Administration; Företagsekonomi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Asklöf, A. (2019). Hållbarhet, lönsamhet och det eventuella sambandet däremellan : En kvantitativ studie om hållbarhetsredovisningens effekt på lönsamhet. (Thesis). Södertörn University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-40415

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

Asklöf, Anders. “Hållbarhet, lönsamhet och det eventuella sambandet däremellan : En kvantitativ studie om hållbarhetsredovisningens effekt på lönsamhet.” 2019. Thesis, Södertörn University. Accessed September 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-40415.

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

MLA Handbook (7th Edition):

Asklöf, Anders. “Hållbarhet, lönsamhet och det eventuella sambandet däremellan : En kvantitativ studie om hållbarhetsredovisningens effekt på lönsamhet.” 2019. Web. 27 Sep 2020.

Vancouver:

Asklöf A. Hållbarhet, lönsamhet och det eventuella sambandet däremellan : En kvantitativ studie om hållbarhetsredovisningens effekt på lönsamhet. [Internet] [Thesis]. Södertörn University; 2019. [cited 2020 Sep 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-40415.

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

Council of Science Editors:

Asklöf A. Hållbarhet, lönsamhet och det eventuella sambandet däremellan : En kvantitativ studie om hållbarhetsredovisningens effekt på lönsamhet. [Thesis]. Södertörn University; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-40415

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


Brno University of Technology

28. Inhliziian, Bohdan. Testování vlivu aplikace hlavičky Content-Security-Policy na kód vložený rozšířeními prohlížeče Firefox: Impact of the Application of the Content-Security-Policy Header on Firefox Webextensions.

Degree: 2020, Brno University of Technology

 A four-year-old bug in official Firefox's Bugzilla reported that the Content-Security-Policy response header affects the behavior of browser extensions. The goal of this thesis is… (more)

Subjects/Keywords: Testování rozšíření prohlížeče; rozšíření Firefoxu; chyba ve Firefoxu; CSP hlavička; chyba CSP ve rozšířeních; chyby CSP; testování rozšíření pomoci Selenium.; Browser extension testing; Firefox extensions; bug in Firefox; CSP header; extensions CSP error; CSP reports; Selenium extensions testing.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Inhliziian, B. (2020). Testování vlivu aplikace hlavičky Content-Security-Policy na kód vložený rozšířeními prohlížeče Firefox: Impact of the Application of the Content-Security-Policy Header on Firefox Webextensions. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/191437

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

Inhliziian, Bohdan. “Testování vlivu aplikace hlavičky Content-Security-Policy na kód vložený rozšířeními prohlížeče Firefox: Impact of the Application of the Content-Security-Policy Header on Firefox Webextensions.” 2020. Thesis, Brno University of Technology. Accessed September 27, 2020. http://hdl.handle.net/11012/191437.

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

MLA Handbook (7th Edition):

Inhliziian, Bohdan. “Testování vlivu aplikace hlavičky Content-Security-Policy na kód vložený rozšířeními prohlížeče Firefox: Impact of the Application of the Content-Security-Policy Header on Firefox Webextensions.” 2020. Web. 27 Sep 2020.

Vancouver:

Inhliziian B. Testování vlivu aplikace hlavičky Content-Security-Policy na kód vložený rozšířeními prohlížeče Firefox: Impact of the Application of the Content-Security-Policy Header on Firefox Webextensions. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2020 Sep 27]. Available from: http://hdl.handle.net/11012/191437.

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

Council of Science Editors:

Inhliziian B. Testování vlivu aplikace hlavičky Content-Security-Policy na kód vložený rozšířeními prohlížeče Firefox: Impact of the Application of the Content-Security-Policy Header on Firefox Webextensions. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/191437

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


Universidade do Rio Grande do Norte

29. Medeiros Junior, Ivan Soares de. Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução .

Degree: 2012, Universidade do Rio Grande do Norte

 Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the… (more)

Subjects/Keywords: métodos formais; CSP; handel-C; ferramentas; geração de código; formal methods; CSP; handel-C; tools; code generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Medeiros Junior, I. S. d. (2012). Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução . (Masters Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/18052

Chicago Manual of Style (16th Edition):

Medeiros Junior, Ivan Soares de. “Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução .” 2012. Masters Thesis, Universidade do Rio Grande do Norte. Accessed September 27, 2020. http://repositorio.ufrn.br/handle/123456789/18052.

MLA Handbook (7th Edition):

Medeiros Junior, Ivan Soares de. “Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução .” 2012. Web. 27 Sep 2020.

Vancouver:

Medeiros Junior ISd. Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução . [Internet] [Masters thesis]. Universidade do Rio Grande do Norte; 2012. [cited 2020 Sep 27]. Available from: http://repositorio.ufrn.br/handle/123456789/18052.

Council of Science Editors:

Medeiros Junior ISd. Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução . [Masters Thesis]. Universidade do Rio Grande do Norte; 2012. Available from: http://repositorio.ufrn.br/handle/123456789/18052


Universidade do Rio Grande do Norte

30. Medeiros Junior, Ivan Soares de. Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução .

Degree: 2012, Universidade do Rio Grande do Norte

 Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the… (more)

Subjects/Keywords: métodos formais; CSP; handel-C; ferramentas; geração de código; formal methods; CSP; handel-C; tools; code generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Medeiros Junior, I. S. d. (2012). Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução . (Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/18052

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

Medeiros Junior, Ivan Soares de. “Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução .” 2012. Thesis, Universidade do Rio Grande do Norte. Accessed September 27, 2020. http://repositorio.ufrn.br/handle/123456789/18052.

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

MLA Handbook (7th Edition):

Medeiros Junior, Ivan Soares de. “Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução .” 2012. Web. 27 Sep 2020.

Vancouver:

Medeiros Junior ISd. Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2012. [cited 2020 Sep 27]. Available from: http://repositorio.ufrn.br/handle/123456789/18052.

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

Council of Science Editors:

Medeiros Junior ISd. Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução . [Thesis]. Universidade do Rio Grande do Norte; 2012. Available from: http://repositorio.ufrn.br/handle/123456789/18052

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

[1] [2] [3] [4] [5] [6] [7] [8] [9]

.