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

[1] [2]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


University of Texas – Austin

1. Swords, Sol Otis. A verified framework for symbolic execution in the ACL2 theorem prover.

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

 Mechanized theorem proving is a promising means of formally establishing facts about complex systems. However, in applying theorem proving methodologies to industrial-scale hardware and software… (more)

Subjects/Keywords: Formal verification; Hardware verification; Formal methods; Symbolic execution; Symbolic simulation; Theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Swords, S. O. (2010). A verified framework for symbolic execution in the ACL2 theorem prover. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-12-2210

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

Swords, Sol Otis. “A verified framework for symbolic execution in the ACL2 theorem prover.” 2010. Thesis, University of Texas – Austin. Accessed August 23, 2019. http://hdl.handle.net/2152/ETD-UT-2010-12-2210.

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

MLA Handbook (7th Edition):

Swords, Sol Otis. “A verified framework for symbolic execution in the ACL2 theorem prover.” 2010. Web. 23 Aug 2019.

Vancouver:

Swords SO. A verified framework for symbolic execution in the ACL2 theorem prover. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Aug 23]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2210.

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

Council of Science Editors:

Swords SO. A verified framework for symbolic execution in the ACL2 theorem prover. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-12-2210

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


McMaster University

2. Simonetto, Deana. The Football Wife: Developing a Courtesy Identity.

Degree: PhD, 2016, McMaster University

Virtually the entire body of scholarly literature on professional sport focuses on athletes themselves, rarely directly considering the impact of sport on the significant others… (more)

Subjects/Keywords: Symbolic Interaction, qualitative methods, identity; families; gender; professional sport; athletes' wives

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Simonetto, D. (2016). The Football Wife: Developing a Courtesy Identity. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/20882

Chicago Manual of Style (16th Edition):

Simonetto, Deana. “The Football Wife: Developing a Courtesy Identity.” 2016. Doctoral Dissertation, McMaster University. Accessed August 23, 2019. http://hdl.handle.net/11375/20882.

MLA Handbook (7th Edition):

Simonetto, Deana. “The Football Wife: Developing a Courtesy Identity.” 2016. Web. 23 Aug 2019.

Vancouver:

Simonetto D. The Football Wife: Developing a Courtesy Identity. [Internet] [Doctoral dissertation]. McMaster University; 2016. [cited 2019 Aug 23]. Available from: http://hdl.handle.net/11375/20882.

Council of Science Editors:

Simonetto D. The Football Wife: Developing a Courtesy Identity. [Doctoral Dissertation]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/20882

3. Jussila, Toni. On Bounded Model Checking of Asynchronous Systems.

Degree: 2005, Helsinki University of Technology

This dissertation studies the verification of reachability properties of concurrent systems where the components of the system are Labeled Transition Systems (LTSs) using a symbolic(more)

Subjects/Keywords: verification; symbolic methods; bounded model checking; labeled transition systems; partial order methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jussila, T. (2005). On Bounded Model Checking of Asynchronous Systems. (Thesis). Helsinki University of Technology. Retrieved from http://lib.tkk.fi/Diss/2005/isbn9512279045/

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

Jussila, Toni. “On Bounded Model Checking of Asynchronous Systems.” 2005. Thesis, Helsinki University of Technology. Accessed August 23, 2019. http://lib.tkk.fi/Diss/2005/isbn9512279045/.

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

MLA Handbook (7th Edition):

Jussila, Toni. “On Bounded Model Checking of Asynchronous Systems.” 2005. Web. 23 Aug 2019.

Vancouver:

Jussila T. On Bounded Model Checking of Asynchronous Systems. [Internet] [Thesis]. Helsinki University of Technology; 2005. [cited 2019 Aug 23]. Available from: http://lib.tkk.fi/Diss/2005/isbn9512279045/.

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

Council of Science Editors:

Jussila T. On Bounded Model Checking of Asynchronous Systems. [Thesis]. Helsinki University of Technology; 2005. Available from: http://lib.tkk.fi/Diss/2005/isbn9512279045/

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


University of Cincinnati

4. Headley, Marcia Gail. What is Symbolic Mathematics Language Literacy? A Multilevel Mixed Methods Study of Adolescents in a Middle School.

Degree: PhD, Education, Criminal Justice, and Human Services: Educational Studies, 2016, University of Cincinnati

 The language of mathematics may be the most influential language ever codified in a writing system. Despite the ubiquity of the language, literacy for mathematics… (more)

Subjects/Keywords: Mathematics Education; Symbolic Mathematics Language Literacy; multilevel research design; mixed methods; mathematics education; disciplinary literacy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Headley, M. G. (2016). What is Symbolic Mathematics Language Literacy? A Multilevel Mixed Methods Study of Adolescents in a Middle School. (Doctoral Dissertation). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1470045155

Chicago Manual of Style (16th Edition):

Headley, Marcia Gail. “What is Symbolic Mathematics Language Literacy? A Multilevel Mixed Methods Study of Adolescents in a Middle School.” 2016. Doctoral Dissertation, University of Cincinnati. Accessed August 23, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1470045155.

MLA Handbook (7th Edition):

Headley, Marcia Gail. “What is Symbolic Mathematics Language Literacy? A Multilevel Mixed Methods Study of Adolescents in a Middle School.” 2016. Web. 23 Aug 2019.

Vancouver:

Headley MG. What is Symbolic Mathematics Language Literacy? A Multilevel Mixed Methods Study of Adolescents in a Middle School. [Internet] [Doctoral dissertation]. University of Cincinnati; 2016. [cited 2019 Aug 23]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1470045155.

Council of Science Editors:

Headley MG. What is Symbolic Mathematics Language Literacy? A Multilevel Mixed Methods Study of Adolescents in a Middle School. [Doctoral Dissertation]. University of Cincinnati; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1470045155


Université de Lorraine

5. Xiao, Chunyang. Neural-Symbolic Learning for Semantic Parsing : Analyse sémantique avec apprentissage neuro-symbolique.

Degree: Docteur es, Informatique, 2017, Université de Lorraine

Notre but dans cette thèse est de construire un système qui réponde à une question en langue naturelle (NL) en représentant sa sémantique comme une… (more)

Subjects/Keywords: Parsing sémantique; Réseaux neuronaux; Méthodes symboliques; Semantic parsing; Deep learning; Symbolic methods; 006.35

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xiao, C. (2017). Neural-Symbolic Learning for Semantic Parsing : Analyse sémantique avec apprentissage neuro-symbolique. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2017LORR0268

Chicago Manual of Style (16th Edition):

Xiao, Chunyang. “Neural-Symbolic Learning for Semantic Parsing : Analyse sémantique avec apprentissage neuro-symbolique.” 2017. Doctoral Dissertation, Université de Lorraine. Accessed August 23, 2019. http://www.theses.fr/2017LORR0268.

MLA Handbook (7th Edition):

Xiao, Chunyang. “Neural-Symbolic Learning for Semantic Parsing : Analyse sémantique avec apprentissage neuro-symbolique.” 2017. Web. 23 Aug 2019.

Vancouver:

Xiao C. Neural-Symbolic Learning for Semantic Parsing : Analyse sémantique avec apprentissage neuro-symbolique. [Internet] [Doctoral dissertation]. Université de Lorraine; 2017. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2017LORR0268.

Council of Science Editors:

Xiao C. Neural-Symbolic Learning for Semantic Parsing : Analyse sémantique avec apprentissage neuro-symbolique. [Doctoral Dissertation]. Université de Lorraine; 2017. Available from: http://www.theses.fr/2017LORR0268


Loughborough University

6. Santamaria, Laura. From good to great : using cultural codes to improve the design and value proposition of sustainable product-service system innovations.

Degree: PhD, 2017, Loughborough University

 Modern lifestyles in the developed regions of the world operate beyond our planet's resource capacity. Over-consumption has not only proven detrimental for the environment, but… (more)

Subjects/Keywords: 658.5; Sustainability; Symbolic consumption; Product service systems; Design and PSS adoption; Aesthetics; Applied semiotic methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santamaria, L. (2017). From good to great : using cultural codes to improve the design and value proposition of sustainable product-service system innovations. (Doctoral Dissertation). Loughborough University. Retrieved from https://dspace.lboro.ac.uk/2134/26968 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727689

Chicago Manual of Style (16th Edition):

Santamaria, Laura. “From good to great : using cultural codes to improve the design and value proposition of sustainable product-service system innovations.” 2017. Doctoral Dissertation, Loughborough University. Accessed August 23, 2019. https://dspace.lboro.ac.uk/2134/26968 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727689.

MLA Handbook (7th Edition):

Santamaria, Laura. “From good to great : using cultural codes to improve the design and value proposition of sustainable product-service system innovations.” 2017. Web. 23 Aug 2019.

Vancouver:

Santamaria L. From good to great : using cultural codes to improve the design and value proposition of sustainable product-service system innovations. [Internet] [Doctoral dissertation]. Loughborough University; 2017. [cited 2019 Aug 23]. Available from: https://dspace.lboro.ac.uk/2134/26968 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727689.

Council of Science Editors:

Santamaria L. From good to great : using cultural codes to improve the design and value proposition of sustainable product-service system innovations. [Doctoral Dissertation]. Loughborough University; 2017. Available from: https://dspace.lboro.ac.uk/2134/26968 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727689

7. Dallon, Antoine. Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques : Verification of indistinguishability properties for cryptographic protocols.

Degree: Docteur es, Informatique, 2018, Paris Saclay

Cette thèse s'inscrit dans le domaine de la vérification de protocoles cryptographiques dans le modèle symbolique. Plus précisément, il s'agit de s'assurer à l'aide de… (more)

Subjects/Keywords: Protocoles cryptographiques; Méthodes formelles; Modèle symbolique; Cryptographic protocols; Formal methods; Symbolic model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dallon, A. (2018). Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques : Verification of indistinguishability properties for cryptographic protocols. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2018SACLN044

Chicago Manual of Style (16th Edition):

Dallon, Antoine. “Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques : Verification of indistinguishability properties for cryptographic protocols.” 2018. Doctoral Dissertation, Paris Saclay. Accessed August 23, 2019. http://www.theses.fr/2018SACLN044.

MLA Handbook (7th Edition):

Dallon, Antoine. “Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques : Verification of indistinguishability properties for cryptographic protocols.” 2018. Web. 23 Aug 2019.

Vancouver:

Dallon A. Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques : Verification of indistinguishability properties for cryptographic protocols. [Internet] [Doctoral dissertation]. Paris Saclay; 2018. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2018SACLN044.

Council of Science Editors:

Dallon A. Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques : Verification of indistinguishability properties for cryptographic protocols. [Doctoral Dissertation]. Paris Saclay; 2018. Available from: http://www.theses.fr/2018SACLN044


University of Sydney

8. Bolt, Reuben. Urban Aboriginal identity construction in Australia: an Aboriginal perspective utilising multi-method qualitative analysis .

Degree: 2010, University of Sydney

 ABSTRACT Background: Since British arrival, Aboriginal people have experienced marginalisation and extreme disadvantage within Australian society. Urban-based Aboriginal people, even more than those living in… (more)

Subjects/Keywords: Urban Aboriginal identity; Narrative identity; Qualitative methods; Identity construction; Symbolic interactionism; Microsociology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bolt, R. (2010). Urban Aboriginal identity construction in Australia: an Aboriginal perspective utilising multi-method qualitative analysis . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/6626

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

Bolt, Reuben. “Urban Aboriginal identity construction in Australia: an Aboriginal perspective utilising multi-method qualitative analysis .” 2010. Thesis, University of Sydney. Accessed August 23, 2019. http://hdl.handle.net/2123/6626.

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

MLA Handbook (7th Edition):

Bolt, Reuben. “Urban Aboriginal identity construction in Australia: an Aboriginal perspective utilising multi-method qualitative analysis .” 2010. Web. 23 Aug 2019.

Vancouver:

Bolt R. Urban Aboriginal identity construction in Australia: an Aboriginal perspective utilising multi-method qualitative analysis . [Internet] [Thesis]. University of Sydney; 2010. [cited 2019 Aug 23]. Available from: http://hdl.handle.net/2123/6626.

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

Council of Science Editors:

Bolt R. Urban Aboriginal identity construction in Australia: an Aboriginal perspective utilising multi-method qualitative analysis . [Thesis]. University of Sydney; 2010. Available from: http://hdl.handle.net/2123/6626

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


Univerzitet u Beogradu

9. Vranić, Ivana I., 1967-. Procena efektivnosti neinvazivnih dijagnostičkih metoda u ranom otkrivanju aritmogene displazije desne komore.

Degree: Medicinski fakultet, 2015, Univerzitet u Beogradu

interna medicina - kardiologija / Internal medicine /- Cardiology

Vekovima unazad, misteriozna smrt vrhunskih sportista, zaokuplja pažnju medija i lekara, posebno zbog toga što preminuli… (more)

Subjects/Keywords: arrhythmogenic right ventricular cardiomiopathy /dysplasia; sudden cardiac death; autonomous nervous system; methods of symbolic dynamics; heart rate variability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vranić, Ivana I., 1. (2015). Procena efektivnosti neinvazivnih dijagnostičkih metoda u ranom otkrivanju aritmogene displazije desne komore. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:7785/bdef:Content/get

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

Vranić, Ivana I., 1967-. “Procena efektivnosti neinvazivnih dijagnostičkih metoda u ranom otkrivanju aritmogene displazije desne komore.” 2015. Thesis, Univerzitet u Beogradu. Accessed August 23, 2019. https://fedorabg.bg.ac.rs/fedora/get/o:7785/bdef:Content/get.

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

MLA Handbook (7th Edition):

Vranić, Ivana I., 1967-. “Procena efektivnosti neinvazivnih dijagnostičkih metoda u ranom otkrivanju aritmogene displazije desne komore.” 2015. Web. 23 Aug 2019.

Vancouver:

Vranić, Ivana I. 1. Procena efektivnosti neinvazivnih dijagnostičkih metoda u ranom otkrivanju aritmogene displazije desne komore. [Internet] [Thesis]. Univerzitet u Beogradu; 2015. [cited 2019 Aug 23]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:7785/bdef:Content/get.

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

Council of Science Editors:

Vranić, Ivana I. 1. Procena efektivnosti neinvazivnih dijagnostičkih metoda u ranom otkrivanju aritmogene displazije desne komore. [Thesis]. Univerzitet u Beogradu; 2015. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:7785/bdef:Content/get

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


Queensland University of Technology

10. Brown, Douglas Graeme. Formal network behaviour analysis using model checking.

Degree: 2016, Queensland University of Technology

 In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining… (more)

Subjects/Keywords: Formal Methods; Model Checking; Network; SELinux; Mandatory Access Controls; Information-flow; Multi-Category Security; CIPSO; Symbolic Analysis Laboratory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brown, D. G. (2016). Formal network behaviour analysis using model checking. (Thesis). Queensland University of Technology. Retrieved from http://eprints.qut.edu.au/93693/

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

Brown, Douglas Graeme. “Formal network behaviour analysis using model checking.” 2016. Thesis, Queensland University of Technology. Accessed August 23, 2019. http://eprints.qut.edu.au/93693/.

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

MLA Handbook (7th Edition):

Brown, Douglas Graeme. “Formal network behaviour analysis using model checking.” 2016. Web. 23 Aug 2019.

Vancouver:

Brown DG. Formal network behaviour analysis using model checking. [Internet] [Thesis]. Queensland University of Technology; 2016. [cited 2019 Aug 23]. Available from: http://eprints.qut.edu.au/93693/.

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

Council of Science Editors:

Brown DG. Formal network behaviour analysis using model checking. [Thesis]. Queensland University of Technology; 2016. Available from: http://eprints.qut.edu.au/93693/

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


Virginia Tech

11. Puri, Prateek. Design Validation of RTL Circuits using Binary Particle Swarm Optimization and Symbolic Execution.

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

 Over the last two decades, chip design has been conducted at the register transfer (RT) Level using Hardware Descriptive Languages (HDL), such as VHDL and… (more)

Subjects/Keywords: Design Verification; Particle Swarm Optimization; Static Analysis; Symbolic Backward Execution; Satisfiability Modulo Theory; Pattern Search Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Puri, P. (2015). Design Validation of RTL Circuits using Binary Particle Swarm Optimization and Symbolic Execution. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/55815

Chicago Manual of Style (16th Edition):

Puri, Prateek. “Design Validation of RTL Circuits using Binary Particle Swarm Optimization and Symbolic Execution.” 2015. Masters Thesis, Virginia Tech. Accessed August 23, 2019. http://hdl.handle.net/10919/55815.

MLA Handbook (7th Edition):

Puri, Prateek. “Design Validation of RTL Circuits using Binary Particle Swarm Optimization and Symbolic Execution.” 2015. Web. 23 Aug 2019.

Vancouver:

Puri P. Design Validation of RTL Circuits using Binary Particle Swarm Optimization and Symbolic Execution. [Internet] [Masters thesis]. Virginia Tech; 2015. [cited 2019 Aug 23]. Available from: http://hdl.handle.net/10919/55815.

Council of Science Editors:

Puri P. Design Validation of RTL Circuits using Binary Particle Swarm Optimization and Symbolic Execution. [Masters Thesis]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/55815


Université de Lorraine

12. David, Robin. Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes : Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés.

Degree: Docteur es, Informatique, 2017, Université de Lorraine

L’analyse de codes malveillants est un domaine de recherche en pleine expansion de par la criticité des infrastructures touchées et les coûts impliqués de plus… (more)

Subjects/Keywords: Codes malveillants; Désobfuscation; Méthodes formelles; Exécution Symbolique; Rétro-Ingénierie; Malware; Deobfuscation; Formal Methods; Symbolic Execution; Reverse-Engineering; 005.8

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

David, R. (2017). Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes : Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2017LORR0013

Chicago Manual of Style (16th Edition):

David, Robin. “Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes : Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés.” 2017. Doctoral Dissertation, Université de Lorraine. Accessed August 23, 2019. http://www.theses.fr/2017LORR0013.

MLA Handbook (7th Edition):

David, Robin. “Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes : Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés.” 2017. Web. 23 Aug 2019.

Vancouver:

David R. Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes : Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés. [Internet] [Doctoral dissertation]. Université de Lorraine; 2017. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2017LORR0013.

Council of Science Editors:

David R. Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes : Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés. [Doctoral Dissertation]. Université de Lorraine; 2017. Available from: http://www.theses.fr/2017LORR0013

13. Aïssat, Romain. Infeasible Path Detection : a Formal Model and an Algorithm : Détection de chemins infaisables : un modèle formel et un algorithme.

Degree: Docteur es, Informatique, 2017, Paris Saclay

 Le test boîte blanche basé sur les chemins est largement utilisé pour la validation de programmes. A partir du graphe de flot de contrôle (CFG)… (more)

Subjects/Keywords: Test; Génération aléatoire; Chemins infaisables; Exécution symbolique; Méthodes formelles; Testing; Random generation; Infeasible paths; Symbolic execution; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aïssat, R. (2017). Infeasible Path Detection : a Formal Model and an Algorithm : Détection de chemins infaisables : un modèle formel et un algorithme. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2017SACLS036

Chicago Manual of Style (16th Edition):

Aïssat, Romain. “Infeasible Path Detection : a Formal Model and an Algorithm : Détection de chemins infaisables : un modèle formel et un algorithme.” 2017. Doctoral Dissertation, Paris Saclay. Accessed August 23, 2019. http://www.theses.fr/2017SACLS036.

MLA Handbook (7th Edition):

Aïssat, Romain. “Infeasible Path Detection : a Formal Model and an Algorithm : Détection de chemins infaisables : un modèle formel et un algorithme.” 2017. Web. 23 Aug 2019.

Vancouver:

Aïssat R. Infeasible Path Detection : a Formal Model and an Algorithm : Détection de chemins infaisables : un modèle formel et un algorithme. [Internet] [Doctoral dissertation]. Paris Saclay; 2017. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2017SACLS036.

Council of Science Editors:

Aïssat R. Infeasible Path Detection : a Formal Model and an Algorithm : Détection de chemins infaisables : un modèle formel et un algorithme. [Doctoral Dissertation]. Paris Saclay; 2017. Available from: http://www.theses.fr/2017SACLS036

14. Vogrin, Rok. Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST.

Degree: 2018, Univerza v Mariboru

Magistrsko delo obravnava tvorjenje avtomatov linearnih končnih prič veljavnosti formul akcijske logike dreves izvajanj z operatorjem unless (ACTLW  – Action-based Computation Tree Logic with Unless… (more)

Subjects/Keywords: formalne metode; preverjanje modelov; temporalna logika; avtomati prič; simbolične metode; formal methods; model checking; temporal logic; witness automata; symbolic methods; info:eu-repo/classification/udc/004.8:621.395(043.2)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vogrin, R. (2018). Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST. (Masters Thesis). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=72041 ; https://dk.um.si/Dokument.php?id=129013&dn= ; https://plus.si.cobiss.net/opac7/bib/21776406?lang=sl

Chicago Manual of Style (16th Edition):

Vogrin, Rok. “Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST.” 2018. Masters Thesis, Univerza v Mariboru. Accessed August 23, 2019. https://dk.um.si/IzpisGradiva.php?id=72041 ; https://dk.um.si/Dokument.php?id=129013&dn= ; https://plus.si.cobiss.net/opac7/bib/21776406?lang=sl.

MLA Handbook (7th Edition):

Vogrin, Rok. “Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST.” 2018. Web. 23 Aug 2019.

Vancouver:

Vogrin R. Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST. [Internet] [Masters thesis]. Univerza v Mariboru; 2018. [cited 2019 Aug 23]. Available from: https://dk.um.si/IzpisGradiva.php?id=72041 ; https://dk.um.si/Dokument.php?id=129013&dn= ; https://plus.si.cobiss.net/opac7/bib/21776406?lang=sl.

Council of Science Editors:

Vogrin R. Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST. [Masters Thesis]. Univerza v Mariboru; 2018. Available from: https://dk.um.si/IzpisGradiva.php?id=72041 ; https://dk.um.si/Dokument.php?id=129013&dn= ; https://plus.si.cobiss.net/opac7/bib/21776406?lang=sl

15. Arponen, Teijo. Numerical Solution and Structural Analysis of Differential-Algebraic Equations.

Degree: 2002, Helsinki University of Technology

In the last two decades differential-algebraic equations (DAEs) have become an important branch in numerical analysis. In this Thesis we study them from a new,… (more)

Subjects/Keywords: symbolic computation; Runge-Kutta methods; index reduction; overdetermined differential equations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arponen, T. (2002). Numerical Solution and Structural Analysis of Differential-Algebraic Equations. (Thesis). Helsinki University of Technology. Retrieved from http://lib.tkk.fi/Diss/2002/isbn9512259095/

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

Arponen, Teijo. “Numerical Solution and Structural Analysis of Differential-Algebraic Equations.” 2002. Thesis, Helsinki University of Technology. Accessed August 23, 2019. http://lib.tkk.fi/Diss/2002/isbn9512259095/.

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

MLA Handbook (7th Edition):

Arponen, Teijo. “Numerical Solution and Structural Analysis of Differential-Algebraic Equations.” 2002. Web. 23 Aug 2019.

Vancouver:

Arponen T. Numerical Solution and Structural Analysis of Differential-Algebraic Equations. [Internet] [Thesis]. Helsinki University of Technology; 2002. [cited 2019 Aug 23]. Available from: http://lib.tkk.fi/Diss/2002/isbn9512259095/.

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

Council of Science Editors:

Arponen T. Numerical Solution and Structural Analysis of Differential-Algebraic Equations. [Thesis]. Helsinki University of Technology; 2002. Available from: http://lib.tkk.fi/Diss/2002/isbn9512259095/

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


Liberty University

16. Butler, Jonathan. A Qualitative Phenomenological Study of First-Year College Students’ Perceptions of Direct and Symbolic Inputs Influencing Sense of Identity.

Degree: 2017, Liberty University

 The research describes a qualitative, transcendental phenomenological investigation of students’ perceptions of the reflected appraisals they receive from the college community regarding their behaviors. The… (more)

Subjects/Keywords: Identity Theory; Perception; Phenomenology; Symbolic Interactionism; Curriculum and Instruction; Curriculum and Social Inquiry; Education; Educational Assessment, Evaluation, and Research; Educational Methods; Educational Psychology; Other Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Butler, J. (2017). A Qualitative Phenomenological Study of First-Year College Students’ Perceptions of Direct and Symbolic Inputs Influencing Sense of Identity. (Doctoral Dissertation). Liberty University. Retrieved from http://digitalcommons.liberty.edu/doctoral/1420

Chicago Manual of Style (16th Edition):

Butler, Jonathan. “A Qualitative Phenomenological Study of First-Year College Students’ Perceptions of Direct and Symbolic Inputs Influencing Sense of Identity.” 2017. Doctoral Dissertation, Liberty University. Accessed August 23, 2019. http://digitalcommons.liberty.edu/doctoral/1420.

MLA Handbook (7th Edition):

Butler, Jonathan. “A Qualitative Phenomenological Study of First-Year College Students’ Perceptions of Direct and Symbolic Inputs Influencing Sense of Identity.” 2017. Web. 23 Aug 2019.

Vancouver:

Butler J. A Qualitative Phenomenological Study of First-Year College Students’ Perceptions of Direct and Symbolic Inputs Influencing Sense of Identity. [Internet] [Doctoral dissertation]. Liberty University; 2017. [cited 2019 Aug 23]. Available from: http://digitalcommons.liberty.edu/doctoral/1420.

Council of Science Editors:

Butler J. A Qualitative Phenomenological Study of First-Year College Students’ Perceptions of Direct and Symbolic Inputs Influencing Sense of Identity. [Doctoral Dissertation]. Liberty University; 2017. Available from: http://digitalcommons.liberty.edu/doctoral/1420


University of Western Australia

17. Raffah, Bahaaudin Mohammodnoor. Quantum dynamics computation of nanowire transport properties.

Degree: PhD, 2013, University of Western Australia

With the rapid increase in the development and modelling of nanodevices, efficient, accurate and general computation of transport properties is required. Research has led to… (more)

Subjects/Keywords: Wigner-Eisenbud functions; Cylindrical nanowaires; Modified direct method; Discrete cosine transform (DCT); Computer algebra; Chebyshev polynomials; Semiconductor heterostructures; Hybrid symbolic-numeric computation; Quantum transport; R-matrix methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Raffah, B. M. (2013). Quantum dynamics computation of nanowire transport properties. (Doctoral Dissertation). University of Western Australia. Retrieved from http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=40126&local_base=GEN01-INS01

Chicago Manual of Style (16th Edition):

Raffah, Bahaaudin Mohammodnoor. “Quantum dynamics computation of nanowire transport properties.” 2013. Doctoral Dissertation, University of Western Australia. Accessed August 23, 2019. http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=40126&local_base=GEN01-INS01.

MLA Handbook (7th Edition):

Raffah, Bahaaudin Mohammodnoor. “Quantum dynamics computation of nanowire transport properties.” 2013. Web. 23 Aug 2019.

Vancouver:

Raffah BM. Quantum dynamics computation of nanowire transport properties. [Internet] [Doctoral dissertation]. University of Western Australia; 2013. [cited 2019 Aug 23]. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=40126&local_base=GEN01-INS01.

Council of Science Editors:

Raffah BM. Quantum dynamics computation of nanowire transport properties. [Doctoral Dissertation]. University of Western Australia; 2013. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=40126&local_base=GEN01-INS01

18. Dodds, Joey. Computation Improves Interactive Symbolic Execution .

Degree: PhD, 2015, Princeton University

 As it becomes more prevalent throughout our lives, correct software is more important than it has ever been before. Verifiable C is an expressive Hoare… (more)

Subjects/Keywords: Coq; Formal Methods; Foundational; Programming Languages; Symbolic Execution; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dodds, J. (2015). Computation Improves Interactive Symbolic Execution . (Doctoral Dissertation). Princeton University. Retrieved from http://arks.princeton.edu/ark:/88435/dsp0108612q910

Chicago Manual of Style (16th Edition):

Dodds, Joey. “Computation Improves Interactive Symbolic Execution .” 2015. Doctoral Dissertation, Princeton University. Accessed August 23, 2019. http://arks.princeton.edu/ark:/88435/dsp0108612q910.

MLA Handbook (7th Edition):

Dodds, Joey. “Computation Improves Interactive Symbolic Execution .” 2015. Web. 23 Aug 2019.

Vancouver:

Dodds J. Computation Improves Interactive Symbolic Execution . [Internet] [Doctoral dissertation]. Princeton University; 2015. [cited 2019 Aug 23]. Available from: http://arks.princeton.edu/ark:/88435/dsp0108612q910.

Council of Science Editors:

Dodds J. Computation Improves Interactive Symbolic Execution . [Doctoral Dissertation]. Princeton University; 2015. Available from: http://arks.princeton.edu/ark:/88435/dsp0108612q910

19. Heljanko, Keijo. Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets.

Degree: 2002, Helsinki University of Technology

In this work, methods are presented for model checking finite state asynchronous systems, more specifically 1-safe Petri nets, with the aim of alleviating the state… (more)

Subjects/Keywords: verification; model checking; Petri nets; complete finite prefixes; partial order methods; symbolic methods; bounded model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heljanko, K. (2002). Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets. (Thesis). Helsinki University of Technology. Retrieved from http://lib.tkk.fi/Diss/2002/isbn9512258935/

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

Heljanko, Keijo. “Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets.” 2002. Thesis, Helsinki University of Technology. Accessed August 23, 2019. http://lib.tkk.fi/Diss/2002/isbn9512258935/.

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

MLA Handbook (7th Edition):

Heljanko, Keijo. “Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets.” 2002. Web. 23 Aug 2019.

Vancouver:

Heljanko K. Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets. [Internet] [Thesis]. Helsinki University of Technology; 2002. [cited 2019 Aug 23]. Available from: http://lib.tkk.fi/Diss/2002/isbn9512258935/.

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

Council of Science Editors:

Heljanko K. Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets. [Thesis]. Helsinki University of Technology; 2002. Available from: http://lib.tkk.fi/Diss/2002/isbn9512258935/

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


Université de Grenoble

20. Benhamamouch, Bilel. Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles : Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture.

Degree: Docteur es, Informatique, 2011, Université de Grenoble

Afin de garantir qu'un programme respectera toutes ses contraintes temporelles, nous devons être capable de calculer une estimation fiable de son temps d'exécution au pire… (more)

Subjects/Keywords: Pire temps d'exécution; Exécution symbolique; Méthode formelles; Construction d'arbre; Fusion d'états; Validation de systèmes temps réels; Worst case execution time; Symbolic execution; Formal methods; Tree building; Merging methods; Real time system validation; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Benhamamouch, B. (2011). Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles : Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2011GRENM014

Chicago Manual of Style (16th Edition):

Benhamamouch, Bilel. “Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles : Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture.” 2011. Doctoral Dissertation, Université de Grenoble. Accessed August 23, 2019. http://www.theses.fr/2011GRENM014.

MLA Handbook (7th Edition):

Benhamamouch, Bilel. “Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles : Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture.” 2011. Web. 23 Aug 2019.

Vancouver:

Benhamamouch B. Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles : Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture. [Internet] [Doctoral dissertation]. Université de Grenoble; 2011. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2011GRENM014.

Council of Science Editors:

Benhamamouch B. Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles : Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture. [Doctoral Dissertation]. Université de Grenoble; 2011. Available from: http://www.theses.fr/2011GRENM014

21. Rance, Guillaume. Commande H∞ paramétrique et application aux viseurs gyrostabilisés : Parametric H∞ control and its application to gyrostabilized sights.

Degree: Docteur es, Automatique, 2018, Paris Saclay

Cette thèse porte sur la commande H∞ par loop-shaping pour les systèmes linéaires à temps invariant d'ordre faible avec ou sans retard et dépendant de… (more)

Subjects/Keywords: Commande H∞ par loop-shaping; Paramètres de modèles et paramètres inconnus; Équations de Riccati algébriques; Méthodes de calcul formel (systèmes polynomiaux, symbolique-numérique); Systèmes à retard; Viseurs; Commande adaptative; Géométrie algébrique réelle; H∞ loop-shaping control; Model parameters and unknown parameters; Algebraic Riccati equations; Symbolic computation methods (polynomial systems, symbolic-numeric); Time-delay systems; Sights; Adaptative control; Real algebraic geometry

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rance, G. (2018). Commande H∞ paramétrique et application aux viseurs gyrostabilisés : Parametric H∞ control and its application to gyrostabilized sights. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2018SACLS152

Chicago Manual of Style (16th Edition):

Rance, Guillaume. “Commande H∞ paramétrique et application aux viseurs gyrostabilisés : Parametric H∞ control and its application to gyrostabilized sights.” 2018. Doctoral Dissertation, Paris Saclay. Accessed August 23, 2019. http://www.theses.fr/2018SACLS152.

MLA Handbook (7th Edition):

Rance, Guillaume. “Commande H∞ paramétrique et application aux viseurs gyrostabilisés : Parametric H∞ control and its application to gyrostabilized sights.” 2018. Web. 23 Aug 2019.

Vancouver:

Rance G. Commande H∞ paramétrique et application aux viseurs gyrostabilisés : Parametric H∞ control and its application to gyrostabilized sights. [Internet] [Doctoral dissertation]. Paris Saclay; 2018. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2018SACLS152.

Council of Science Editors:

Rance G. Commande H∞ paramétrique et application aux viseurs gyrostabilisés : Parametric H∞ control and its application to gyrostabilized sights. [Doctoral Dissertation]. Paris Saclay; 2018. Available from: http://www.theses.fr/2018SACLS152

22. Harrath, Nesrine. A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level : Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles.

Degree: Docteur es, Informatique, 2014, Paris, CNAM

Les systèmes embarqués sont de plus en plus intégrés dans les applications temps réel actuelles. Ils sont généralement constitués de composants matériels et logiciels profondément… (more)

Subjects/Keywords: SystemC; Méthodes Formelles; Vérification des systèmes matériels et logiciels; Abstraction des prédicats; Exécution Symbolique; Automates; Sémantiques des langages; SystemC; Formal Methods; Verification of Hardware Software sytems; Predicate Abstraction; Symbolic Execution; Automata; Model Checking; 005.1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harrath, N. (2014). A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level : Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles. (Doctoral Dissertation). Paris, CNAM. Retrieved from http://www.theses.fr/2014CNAM0957

Chicago Manual of Style (16th Edition):

Harrath, Nesrine. “A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level : Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles.” 2014. Doctoral Dissertation, Paris, CNAM. Accessed August 23, 2019. http://www.theses.fr/2014CNAM0957.

MLA Handbook (7th Edition):

Harrath, Nesrine. “A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level : Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles.” 2014. Web. 23 Aug 2019.

Vancouver:

Harrath N. A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level : Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles. [Internet] [Doctoral dissertation]. Paris, CNAM; 2014. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2014CNAM0957.

Council of Science Editors:

Harrath N. A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level : Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles. [Doctoral Dissertation]. Paris, CNAM; 2014. Available from: http://www.theses.fr/2014CNAM0957


Swedish University of Agricultural Sciences

23. Kågström, Jonas. Today's perfect - tomorrow's standard.

Degree: 2011, Swedish University of Agricultural Sciences

 In this study the mechanisms influencing recycling rates around the system maximum are deliberated. On the one hand, Policies, System design and how Citizens understand… (more)

Subjects/Keywords: recycling; policies; consumers; decision making; consumer behaviour; social participation; marketing; statistical methods; economic theories; philosophy; Recycling; Social marketing; Public marketing; Communitarianism; Austrian Economics; Praxeology; Decision making; Symbolic Regression; Compliance; Self Determination Theory; SDT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kågström, J. (2011). Today's perfect - tomorrow's standard. (Doctoral Dissertation). Swedish University of Agricultural Sciences. Retrieved from http://pub.epsilon.slu.se/8120/

Chicago Manual of Style (16th Edition):

Kågström, Jonas. “Today's perfect - tomorrow's standard.” 2011. Doctoral Dissertation, Swedish University of Agricultural Sciences. Accessed August 23, 2019. http://pub.epsilon.slu.se/8120/.

MLA Handbook (7th Edition):

Kågström, Jonas. “Today's perfect - tomorrow's standard.” 2011. Web. 23 Aug 2019.

Vancouver:

Kågström J. Today's perfect - tomorrow's standard. [Internet] [Doctoral dissertation]. Swedish University of Agricultural Sciences; 2011. [cited 2019 Aug 23]. Available from: http://pub.epsilon.slu.se/8120/.

Council of Science Editors:

Kågström J. Today's perfect - tomorrow's standard. [Doctoral Dissertation]. Swedish University of Agricultural Sciences; 2011. Available from: http://pub.epsilon.slu.se/8120/

24. Harrath, Nesrine. Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level.

Degree: Docteur es, Informatique, 2014, Paris, CNAM

Les systèmes embarqués sont de plus en plus intégrés dans les applications temps réel actuelles. Ils sont généralement constitués de composants matériels et logiciels profondément… (more)

Subjects/Keywords: SystemC; Méthodes Formelles; Vérification des systèmes matériels et logiciels; Abstraction des prédicats; Exécution Symbolique; Automates; Sémantiques des langages; SystemC; Formal Methods; Verification of Hardware Software sytems; Predicate Abstraction; Symbolic Execution; Automata; Model Checking; 005.1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harrath, N. (2014). Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. (Doctoral Dissertation). Paris, CNAM. Retrieved from http://www.theses.fr/2015CNAM0957

Chicago Manual of Style (16th Edition):

Harrath, Nesrine. “Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level.” 2014. Doctoral Dissertation, Paris, CNAM. Accessed August 23, 2019. http://www.theses.fr/2015CNAM0957.

MLA Handbook (7th Edition):

Harrath, Nesrine. “Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level.” 2014. Web. 23 Aug 2019.

Vancouver:

Harrath N. Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. [Internet] [Doctoral dissertation]. Paris, CNAM; 2014. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2015CNAM0957.

Council of Science Editors:

Harrath N. Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles : A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. [Doctoral Dissertation]. Paris, CNAM; 2014. Available from: http://www.theses.fr/2015CNAM0957

25. Lippolis, Domenico. How well can one resolve the state space of a chaotic map?.

Degree: PhD, Physics, 2010, Georgia Tech

 All physical systems are affected by some noise that limits the resolution that can be attained in partitioning their state space. For chaotic, locally hyperbolic… (more)

Subjects/Keywords: Symbolic dynamics; Noise; Chaos; Periodic orbits.; State-space methods; Dynamics; Partitions (Mathematics); Stochastic analysis

…surprisingly, there is no end to this process, and the resolution of the symbolic space turns out to… …be infinite, just like that of the phase space. Still, the symbolic dynamics helps find or… …system in the presence of noise. More precisely, they 3 define the most efficient symbolic… …review of symbolic analysis of experimental data up to 2001 [17]. More recently… …maximizes the correlation between distances in the state space and in the symbolic space. Once… 

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lippolis, D. (2010). How well can one resolve the state space of a chaotic map?. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/33841

Chicago Manual of Style (16th Edition):

Lippolis, Domenico. “How well can one resolve the state space of a chaotic map?.” 2010. Doctoral Dissertation, Georgia Tech. Accessed August 23, 2019. http://hdl.handle.net/1853/33841.

MLA Handbook (7th Edition):

Lippolis, Domenico. “How well can one resolve the state space of a chaotic map?.” 2010. Web. 23 Aug 2019.

Vancouver:

Lippolis D. How well can one resolve the state space of a chaotic map?. [Internet] [Doctoral dissertation]. Georgia Tech; 2010. [cited 2019 Aug 23]. Available from: http://hdl.handle.net/1853/33841.

Council of Science Editors:

Lippolis D. How well can one resolve the state space of a chaotic map?. [Doctoral Dissertation]. Georgia Tech; 2010. Available from: http://hdl.handle.net/1853/33841

26. Eriksson, Louise. Bedömningssamtal inom Barn- och Ungdomspsykiatrin.

Degree: Health Sciences and Social Work, 2009, Växjö University

  The purpose of this study was to gain an understanding of the structured and evidence-based assessment tool/method The Brief Child and Family Phone Interview… (more)

Subjects/Keywords: child psychiatry; conversation; participation; evidence-based methods; BCFPI; symbolic interactionism; Social work; Socialt arbete

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Eriksson, L. (2009). Bedömningssamtal inom Barn- och Ungdomspsykiatrin. (Thesis). Växjö University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2564

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, Louise. “Bedömningssamtal inom Barn- och Ungdomspsykiatrin.” 2009. Thesis, Växjö University. Accessed August 23, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2564.

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

MLA Handbook (7th Edition):

Eriksson, Louise. “Bedömningssamtal inom Barn- och Ungdomspsykiatrin.” 2009. Web. 23 Aug 2019.

Vancouver:

Eriksson L. Bedömningssamtal inom Barn- och Ungdomspsykiatrin. [Internet] [Thesis]. Växjö University; 2009. [cited 2019 Aug 23]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2564.

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. Bedömningssamtal inom Barn- och Ungdomspsykiatrin. [Thesis]. Växjö University; 2009. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2564

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


Université de Lorraine

27. Pompigne, Florent. Modélisation logique de la langue et grammaires catégorielles abstraites : Logic modeling of language and Abstract Categorial Grammars.

Degree: Docteur es, Informatique, 2013, Université de Lorraine

Cette thèse s'intéresse à la modélisation de la syntaxe et de l'interface syntaxe-sémantique de la phrase, et explore la possibilité de contrôler au niveau des… (more)

Subjects/Keywords: Traitement Automatique de la Langue; Méthodes symboliques; Grammaires catégorielles; Systèmes de typage; Dépendances à distance; Lambda-calcul; Natural Language Processing; Symbolic methods; Categorial grammars; Type systems; Linguistics movements; Lambda-calculus; 006.35

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pompigne, F. (2013). Modélisation logique de la langue et grammaires catégorielles abstraites : Logic modeling of language and Abstract Categorial Grammars. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2013LORR0283

Chicago Manual of Style (16th Edition):

Pompigne, Florent. “Modélisation logique de la langue et grammaires catégorielles abstraites : Logic modeling of language and Abstract Categorial Grammars.” 2013. Doctoral Dissertation, Université de Lorraine. Accessed August 23, 2019. http://www.theses.fr/2013LORR0283.

MLA Handbook (7th Edition):

Pompigne, Florent. “Modélisation logique de la langue et grammaires catégorielles abstraites : Logic modeling of language and Abstract Categorial Grammars.” 2013. Web. 23 Aug 2019.

Vancouver:

Pompigne F. Modélisation logique de la langue et grammaires catégorielles abstraites : Logic modeling of language and Abstract Categorial Grammars. [Internet] [Doctoral dissertation]. Université de Lorraine; 2013. [cited 2019 Aug 23]. Available from: http://www.theses.fr/2013LORR0283.

Council of Science Editors:

Pompigne F. Modélisation logique de la langue et grammaires catégorielles abstraites : Logic modeling of language and Abstract Categorial Grammars. [Doctoral Dissertation]. Université de Lorraine; 2013. Available from: http://www.theses.fr/2013LORR0283

28. Rannou, Annamarie M. Ethnic Xenophobia as Symbolic Politics: A Cross-National Study of Anti-Migrant Activism from Brussels to Beirut.

Degree: 2017, University of Kentucky

 Xenophobia is examined almost exclusively as a prejudice of advanced western nations. I argue that the field of study of xenophobia must be re-conceptualized in… (more)

Subjects/Keywords: Xenophobia; Refugees; Immigration; Ethnic Conflict; Symbolic Politics; Comparative Politics; International Relations; Models and Methods; Social Statistics

…understandings of statehood. Considerations of sovereignty and symbolic ideological or national… …gain. I draw on the work of Stuart J. Kaufman to argue that elites use the symbolic politics… …methods and estimators used to examine the causal determinants and structures of ethnic… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rannou, A. M. (2017). Ethnic Xenophobia as Symbolic Politics: A Cross-National Study of Anti-Migrant Activism from Brussels to Beirut. (Doctoral Dissertation). University of Kentucky. Retrieved from https://uknowledge.uky.edu/polysci_etds/20

Chicago Manual of Style (16th Edition):

Rannou, Annamarie M. “Ethnic Xenophobia as Symbolic Politics: A Cross-National Study of Anti-Migrant Activism from Brussels to Beirut.” 2017. Doctoral Dissertation, University of Kentucky. Accessed August 23, 2019. https://uknowledge.uky.edu/polysci_etds/20.

MLA Handbook (7th Edition):

Rannou, Annamarie M. “Ethnic Xenophobia as Symbolic Politics: A Cross-National Study of Anti-Migrant Activism from Brussels to Beirut.” 2017. Web. 23 Aug 2019.

Vancouver:

Rannou AM. Ethnic Xenophobia as Symbolic Politics: A Cross-National Study of Anti-Migrant Activism from Brussels to Beirut. [Internet] [Doctoral dissertation]. University of Kentucky; 2017. [cited 2019 Aug 23]. Available from: https://uknowledge.uky.edu/polysci_etds/20.

Council of Science Editors:

Rannou AM. Ethnic Xenophobia as Symbolic Politics: A Cross-National Study of Anti-Migrant Activism from Brussels to Beirut. [Doctoral Dissertation]. University of Kentucky; 2017. Available from: https://uknowledge.uky.edu/polysci_etds/20


University of Vienna

29. Marent, Anna-Lina. Szenische Interaktionen der Generationen.

Degree: 2017, University of Vienna

Eine häufige Ursache von Konflikten innerhalb von Familien sind Generationenkonflikte. Die Filmtrilogie ,Father-Knows-Best‘ von Ang Lee zeigt zusätzlich Konflikte, besonders im Kontext des Aufeinandertreffens verschiedener… (more)

Subjects/Keywords: 18.90 Chinesische Sprache und Literatur; 24.37 Film: Sonstiges; 71.21 Familie, Verwandtschaft; 17.10 Sprache in Beziehung zu anderen Bereichen der Wissenschaft und Kultur; Prosodie / Symbolischer Interaktionismus / Sequenzanalyse / Filmanalyse / Ang Lee / ,Father-Knows-Best‘-Trilogie / Konfuzianismus / Mixed-Method; prosody / Symbolic Interactionism / sequence analysis / film analysis / Ang Lee / ,Father-Knows-Best‘-trilogy / Confucianism / mixed-methods approach

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Marent, A. (2017). Szenische Interaktionen der Generationen. (Thesis). University of Vienna. Retrieved from http://othes.univie.ac.at/50016/

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

Marent, Anna-Lina. “Szenische Interaktionen der Generationen.” 2017. Thesis, University of Vienna. Accessed August 23, 2019. http://othes.univie.ac.at/50016/.

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

MLA Handbook (7th Edition):

Marent, Anna-Lina. “Szenische Interaktionen der Generationen.” 2017. Web. 23 Aug 2019.

Vancouver:

Marent A. Szenische Interaktionen der Generationen. [Internet] [Thesis]. University of Vienna; 2017. [cited 2019 Aug 23]. Available from: http://othes.univie.ac.at/50016/.

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

Council of Science Editors:

Marent A. Szenische Interaktionen der Generationen. [Thesis]. University of Vienna; 2017. Available from: http://othes.univie.ac.at/50016/

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

30. Andersson, Daniel. Vad gör lärare när elever ”går bananas” i klassrummet? : Fem förstelärares metoder för att skapa ordning i klassrummet.

Degree: Education, 2014, Linnaeus University

Idag är skolan ofta föremål för debatt i massmedia. Ett vanligt förekommande ämne är den bristande ordningen i klassrummen och hur den leder till… (more)

Subjects/Keywords: discipline; disciplinary methods; establishing of assurance; symbolic interactionism; leadership; “förstelärare”; vignette; disciplin; disciplinära åtgärder; trygghetsskapande; symbolisk interaktionism; ledarskap; förstelärare; vinjett

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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Andersson, D. (2014). Vad gör lärare när elever ”går bananas” i klassrummet? : Fem förstelärares metoder för att skapa ordning i klassrummet. (Thesis). Linnaeus University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-31637

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

Andersson, Daniel. “Vad gör lärare när elever ”går bananas” i klassrummet? : Fem förstelärares metoder för att skapa ordning i klassrummet.” 2014. Thesis, Linnaeus University. Accessed August 23, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-31637.

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

MLA Handbook (7th Edition):

Andersson, Daniel. “Vad gör lärare när elever ”går bananas” i klassrummet? : Fem förstelärares metoder för att skapa ordning i klassrummet.” 2014. Web. 23 Aug 2019.

Vancouver:

Andersson D. Vad gör lärare när elever ”går bananas” i klassrummet? : Fem förstelärares metoder för att skapa ordning i klassrummet. [Internet] [Thesis]. Linnaeus University; 2014. [cited 2019 Aug 23]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-31637.

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

Council of Science Editors:

Andersson D. Vad gör lärare när elever ”går bananas” i klassrummet? : Fem förstelärares metoder för att skapa ordning i klassrummet. [Thesis]. Linnaeus University; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-31637

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

[1] [2]

.