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:(Metric interval based temporal logic). Showing records 1 – 30 of 33093 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Languages

Country

▼ Search Limiters

1. Yousef Sanati, Morteza. A Metric Interval-based Temporal Description Logic.

Degree: PhD, 2015, McMaster University

Because of the importance of undecidability and the concern with the high complexity of automated reasoning, a few interval-based temporal description logics (ITDLs) have been… (more)

Subjects/Keywords: Metric interval-based temporal logic; Temporal Description Logic; Tableau-based satisfiability checking; Guideline Modeling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yousef Sanati, M. (2015). A Metric Interval-based Temporal Description Logic. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/16783

Chicago Manual of Style (16th Edition):

Yousef Sanati, Morteza. “A Metric Interval-based Temporal Description Logic.” 2015. Doctoral Dissertation, McMaster University. Accessed June 25, 2019. http://hdl.handle.net/11375/16783.

MLA Handbook (7th Edition):

Yousef Sanati, Morteza. “A Metric Interval-based Temporal Description Logic.” 2015. Web. 25 Jun 2019.

Vancouver:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/11375/16783.

Council of Science Editors:

Yousef Sanati M. A Metric Interval-based Temporal Description Logic. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/16783


Delft University of Technology

2. Nagaki, K. Reward system design for incorporating control performance:.

Degree: 2015, Delft University of Technology

 Reinforcement learning (RL) is a machine learning technique whereby the controller learns the control law by optimizing the received cumulative amount of reward. A reward… (more)

Subjects/Keywords: Reinforcement Learning; Reward function; Petri net; Metric Interval Temporal Logic; MSc thesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nagaki, K. (2015). Reward system design for incorporating control performance:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:fb784b70-bad4-46be-adfc-fcf1b013e27f

Chicago Manual of Style (16th Edition):

Nagaki, K. “Reward system design for incorporating control performance:.” 2015. Masters Thesis, Delft University of Technology. Accessed June 25, 2019. http://resolver.tudelft.nl/uuid:fb784b70-bad4-46be-adfc-fcf1b013e27f.

MLA Handbook (7th Edition):

Nagaki, K. “Reward system design for incorporating control performance:.” 2015. Web. 25 Jun 2019.

Vancouver:

Nagaki K. Reward system design for incorporating control performance:. [Internet] [Masters thesis]. Delft University of Technology; 2015. [cited 2019 Jun 25]. Available from: http://resolver.tudelft.nl/uuid:fb784b70-bad4-46be-adfc-fcf1b013e27f.

Council of Science Editors:

Nagaki K. Reward system design for incorporating control performance:. [Masters Thesis]. Delft University of Technology; 2015. Available from: http://resolver.tudelft.nl/uuid:fb784b70-bad4-46be-adfc-fcf1b013e27f


De Montfort University

3. Al Amro, Sulaiman. Behaviour-based virus analysis and detection.

Degree: PhD, 2013, De Montfort University

 Every day, the growing number of viruses causes major damage to computer systems, which many antivirus products have been developed to protect. Regrettably, existing antivirus… (more)

Subjects/Keywords: 005.1; computer viruses; virus behaviour; API calls; Interval Temporal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al Amro, S. (2013). Behaviour-based virus analysis and detection. (Doctoral Dissertation). De Montfort University. Retrieved from http://hdl.handle.net/2086/9488

Chicago Manual of Style (16th Edition):

Al Amro, Sulaiman. “Behaviour-based virus analysis and detection.” 2013. Doctoral Dissertation, De Montfort University. Accessed June 25, 2019. http://hdl.handle.net/2086/9488.

MLA Handbook (7th Edition):

Al Amro, Sulaiman. “Behaviour-based virus analysis and detection.” 2013. Web. 25 Jun 2019.

Vancouver:

Al Amro S. Behaviour-based virus analysis and detection. [Internet] [Doctoral dissertation]. De Montfort University; 2013. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2086/9488.

Council of Science Editors:

Al Amro S. Behaviour-based virus analysis and detection. [Doctoral Dissertation]. De Montfort University; 2013. Available from: http://hdl.handle.net/2086/9488

4. Waldecir Pereira Junior. Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos.

Degree: 2007, Federal University of Uberlândia

Discovering frequent patterns in databases is an important problem for knowledge discovery and its importance is justified by the diversity of areas where it can… (more)

Subjects/Keywords: CIENCIA DA COMPUTACAO; Banco de dados; Mineração de dados (Computação); Mineração baseada em restrições e padrões seqüenciais; Mineração de dados temporais; Lógica temporal de intervalos; Constraint-based mining and sequential patterns; Temporal data mining; Interval temporal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Junior, W. P. (2007). Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos. (Thesis). Federal University of Uberlândia. Retrieved from http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1546

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

Junior, Waldecir Pereira. “Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos.” 2007. Thesis, Federal University of Uberlândia. Accessed June 25, 2019. http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1546.

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

MLA Handbook (7th Edition):

Junior, Waldecir Pereira. “Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos.” 2007. Web. 25 Jun 2019.

Vancouver:

Junior WP. Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos. [Internet] [Thesis]. Federal University of Uberlândia; 2007. [cited 2019 Jun 25]. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1546.

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

Council of Science Editors:

Junior WP. Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos. [Thesis]. Federal University of Uberlândia; 2007. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1546

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

5. Alouffi, Bader. Run time verifcation of hybrid systems.

Degree: PhD, 2016, De Montfort University

 The growing use of computers in modern control systems has led to the develop- ment of complex dynamic systems known as hybrid systems, which integrates… (more)

Subjects/Keywords: 004.2; Hybrid System; ITL; interval Temporal Logic; Run Time Verification; formal Methods

Page 1 Page 2 Page 3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alouffi, B. (2016). Run time verifcation of hybrid systems. (Doctoral Dissertation). De Montfort University. Retrieved from http://hdl.handle.net/2086/12490

Chicago Manual of Style (16th Edition):

Alouffi, Bader. “Run time verifcation of hybrid systems.” 2016. Doctoral Dissertation, De Montfort University. Accessed June 25, 2019. http://hdl.handle.net/2086/12490.

MLA Handbook (7th Edition):

Alouffi, Bader. “Run time verifcation of hybrid systems.” 2016. Web. 25 Jun 2019.

Vancouver:

Alouffi B. Run time verifcation of hybrid systems. [Internet] [Doctoral dissertation]. De Montfort University; 2016. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2086/12490.

Council of Science Editors:

Alouffi B. Run time verifcation of hybrid systems. [Doctoral Dissertation]. De Montfort University; 2016. Available from: http://hdl.handle.net/2086/12490


De Montfort University

6. El-kustaban, Amin Mohammed Ahmed. Studying and analysing transactional memory using interval temporal logic and AnaTempura.

Degree: PhD, 2012, De Montfort University

 Transactional memory (TM) is a promising lock-free synchronisation technique which offers a high-level abstract parallel programming model for future chip multiprocessor (CMP) systems. Moreover, it… (more)

Subjects/Keywords: 005.1; transactional memory; Interval Temporal Logic; AnaTempura; Formal Verification of Transactional Memory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

El-kustaban, A. M. A. (2012). Studying and analysing transactional memory using interval temporal logic and AnaTempura. (Doctoral Dissertation). De Montfort University. Retrieved from http://hdl.handle.net/2086/6900

Chicago Manual of Style (16th Edition):

El-kustaban, Amin Mohammed Ahmed. “Studying and analysing transactional memory using interval temporal logic and AnaTempura.” 2012. Doctoral Dissertation, De Montfort University. Accessed June 25, 2019. http://hdl.handle.net/2086/6900.

MLA Handbook (7th Edition):

El-kustaban, Amin Mohammed Ahmed. “Studying and analysing transactional memory using interval temporal logic and AnaTempura.” 2012. Web. 25 Jun 2019.

Vancouver:

El-kustaban AMA. Studying and analysing transactional memory using interval temporal logic and AnaTempura. [Internet] [Doctoral dissertation]. De Montfort University; 2012. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2086/6900.

Council of Science Editors:

El-kustaban AMA. Studying and analysing transactional memory using interval temporal logic and AnaTempura. [Doctoral Dissertation]. De Montfort University; 2012. Available from: http://hdl.handle.net/2086/6900

7. Bueno, Renato. Tratamento de tempo e dinamicidade em dados representados em espaços métricos.

Degree: PhD, Ciências de Computação e Matemática Computacional, 2009, University of São Paulo

Os Sistemas de Gerenciamento de Bases de Dados devem atualmente ser capazes de gerenciar dados complexos, como dados multimídia, sequências genéticas, séries temporais, além dos… (more)

Subjects/Keywords: Consultas por similaridade; Content-based retrieval; Evolução temporal de dados métricos; Recuperação por conteúdo; Similarity search; Temporal evolution of metric data

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bueno, R. (2009). Tratamento de tempo e dinamicidade em dados representados em espaços métricos. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-142105/ ;

Chicago Manual of Style (16th Edition):

Bueno, Renato. “Tratamento de tempo e dinamicidade em dados representados em espaços métricos.” 2009. Doctoral Dissertation, University of São Paulo. Accessed June 25, 2019. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-142105/ ;.

MLA Handbook (7th Edition):

Bueno, Renato. “Tratamento de tempo e dinamicidade em dados representados em espaços métricos.” 2009. Web. 25 Jun 2019.

Vancouver:

Bueno R. Tratamento de tempo e dinamicidade em dados representados em espaços métricos. [Internet] [Doctoral dissertation]. University of São Paulo; 2009. [cited 2019 Jun 25]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-142105/ ;.

Council of Science Editors:

Bueno R. Tratamento de tempo e dinamicidade em dados representados em espaços métricos. [Doctoral Dissertation]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-142105/ ;


University of South Africa

8. Horne, Tertia. Temporal logics.

Degree: 1999, University of South Africa

 We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct… (more)

Subjects/Keywords: Temporal logic; Temporal reasoning; Time structures; Interval logic; Axiomatisation; Causality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Horne, T. (1999). Temporal logics. (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/16966

Chicago Manual of Style (16th Edition):

Horne, Tertia. “Temporal logics.” 1999. Masters Thesis, University of South Africa. Accessed June 25, 2019. http://hdl.handle.net/10500/16966.

MLA Handbook (7th Edition):

Horne, Tertia. “Temporal logics.” 1999. Web. 25 Jun 2019.

Vancouver:

Horne T. Temporal logics. [Internet] [Masters thesis]. University of South Africa; 1999. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10500/16966.

Council of Science Editors:

Horne T. Temporal logics. [Masters Thesis]. University of South Africa; 1999. Available from: http://hdl.handle.net/10500/16966


University of Oxford

9. Jenkins, Mark Daniel. Synthesis and alternating automata over real time.

Degree: PhD, 2012, University of Oxford

 Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role,… (more)

Subjects/Keywords: 004; Computing; Theory and automated verification; Mathematical logic and foundations; Computer science (mathematics); Alternating Timed Automata; Real-time verification; Church Synthesis; Metric Temporal Logic; Channel Machines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jenkins, M. D. (2012). Synthesis and alternating automata over real time. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018

Chicago Manual of Style (16th Edition):

Jenkins, Mark Daniel. “Synthesis and alternating automata over real time.” 2012. Doctoral Dissertation, University of Oxford. Accessed June 25, 2019. http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018.

MLA Handbook (7th Edition):

Jenkins, Mark Daniel. “Synthesis and alternating automata over real time.” 2012. Web. 25 Jun 2019.

Vancouver:

Jenkins MD. Synthesis and alternating automata over real time. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2019 Jun 25]. Available from: http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018.

Council of Science Editors:

Jenkins MD. Synthesis and alternating automata over real time. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:f37ccc5f-8ed6-4b00-b9e3-28c4bb4ec60a ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581018


University of Texas – Austin

10. -2427-9523. Hybrid control and model-based assertions for autonomous intersection management system as a cyber-physical system.

Degree: Mechanical Engineering, 2016, University of Texas – Austin

 A cyber-physical system (CPS) consists of multiple physical components that collab- orate through a network during real-time operation according to system-level commands. A hybrid control,… (more)

Subjects/Keywords: Cyber-physical system; AIMS; Hybrid control; Linear temporal logic; Model-based assertions; Sliding-mode control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-2427-9523. (2016). Hybrid control and model-based assertions for autonomous intersection management system as a cyber-physical system. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/39042

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

Chicago Manual of Style (16th Edition):

-2427-9523. “Hybrid control and model-based assertions for autonomous intersection management system as a cyber-physical system.” 2016. Thesis, University of Texas – Austin. Accessed June 25, 2019. http://hdl.handle.net/2152/39042.

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

MLA Handbook (7th Edition):

-2427-9523. “Hybrid control and model-based assertions for autonomous intersection management system as a cyber-physical system.” 2016. Web. 25 Jun 2019.

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

Vancouver:

-2427-9523. Hybrid control and model-based assertions for autonomous intersection management system as a cyber-physical system. [Internet] [Thesis]. University of Texas – Austin; 2016. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2152/39042.

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

Council of Science Editors:

-2427-9523. Hybrid control and model-based assertions for autonomous intersection management system as a cyber-physical system. [Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/39042

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


Boston University

11. Vasile, Cristian-Ioan. Motion planning and control: a formal methods approach.

Degree: PhD, Systems Engineering, 2016, Boston University

 Control of complex systems satisfying rich temporal specification has become an increasingly important research area in fields such as robotics, control, automotive, and manufacturing. Popular… (more)

Subjects/Keywords: Systems science; Formal methods; Motion planning; Sampling-based algorithms; Temporal logic; Temporal relaxation; Vehicle routing problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vasile, C. (2016). Motion planning and control: a formal methods approach. (Doctoral Dissertation). Boston University. Retrieved from http://hdl.handle.net/2144/17081

Chicago Manual of Style (16th Edition):

Vasile, Cristian-Ioan. “Motion planning and control: a formal methods approach.” 2016. Doctoral Dissertation, Boston University. Accessed June 25, 2019. http://hdl.handle.net/2144/17081.

MLA Handbook (7th Edition):

Vasile, Cristian-Ioan. “Motion planning and control: a formal methods approach.” 2016. Web. 25 Jun 2019.

Vancouver:

Vasile C. Motion planning and control: a formal methods approach. [Internet] [Doctoral dissertation]. Boston University; 2016. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2144/17081.

Council of Science Editors:

Vasile C. Motion planning and control: a formal methods approach. [Doctoral Dissertation]. Boston University; 2016. Available from: http://hdl.handle.net/2144/17081

12. Yang, Hengyi. Dynamic Programming algorithm for Computing Temporal Logic Robustness.

Degree: MS, Computer Science, 2013, Arizona State University

 In this thesis we deal with the problem of temporal logic robustness estimation. We present a dynamic programming algorithm for the robust estimation problem of… (more)

Subjects/Keywords: Computer science; Dynamic Programming; Linear &; Metric Temporal Logic; Robustness

…introduced a framework based on discrete time analysis for testing Metric Interval Temporal Logic… …mainly focus on Metric Temporal Logic (MTL) [3] which provides the ability… …background and fundamentals of the work including Metric Temporal Logic, definition of robustness… …T-TALIRO. 6 Chapter 2 BACKGROUND AND FUNDAMENTALS 2.1 Metric Temporal Logic First, we… …recap the syntax and semantics of Metric Temporal Logic (MTL) here. MTL is… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, H. (2013). Dynamic Programming algorithm for Computing Temporal Logic Robustness. (Masters Thesis). Arizona State University. Retrieved from http://repository.asu.edu/items/18026

Chicago Manual of Style (16th Edition):

Yang, Hengyi. “Dynamic Programming algorithm for Computing Temporal Logic Robustness.” 2013. Masters Thesis, Arizona State University. Accessed June 25, 2019. http://repository.asu.edu/items/18026.

MLA Handbook (7th Edition):

Yang, Hengyi. “Dynamic Programming algorithm for Computing Temporal Logic Robustness.” 2013. Web. 25 Jun 2019.

Vancouver:

Yang H. Dynamic Programming algorithm for Computing Temporal Logic Robustness. [Internet] [Masters thesis]. Arizona State University; 2013. [cited 2019 Jun 25]. Available from: http://repository.asu.edu/items/18026.

Council of Science Editors:

Yang H. Dynamic Programming algorithm for Computing Temporal Logic Robustness. [Masters Thesis]. Arizona State University; 2013. Available from: http://repository.asu.edu/items/18026

13. Shafie, Emad. Runtime detection and prevention for Structure Query Language injection attacks.

Degree: PhD, 2013, De Montfort University

 The use of Internet services and web applications has grown rapidly because of user demand. At the same time, the number of web application vulnerabilities… (more)

Subjects/Keywords: 005.1; QL injection; Interval Temporal logic; Runtime verification

based on ITL (Interval Temporal Logic) and will use the Anatempura runtime… …51 3.3. Interval Temporal Logic… …program interface ITL Interval Temporal Logic CTL Computation Tree Logic CTPL Computation… …Tree Predicate Logic LTL Linear Temporal Logic MOFTL Metric First Order Temporal Logic… …50 3.2. Temporal Logic Background… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shafie, E. (2013). Runtime detection and prevention for Structure Query Language injection attacks. (Doctoral Dissertation). De Montfort University. Retrieved from http://hdl.handle.net/2086/10076

Chicago Manual of Style (16th Edition):

Shafie, Emad. “Runtime detection and prevention for Structure Query Language injection attacks.” 2013. Doctoral Dissertation, De Montfort University. Accessed June 25, 2019. http://hdl.handle.net/2086/10076.

MLA Handbook (7th Edition):

Shafie, Emad. “Runtime detection and prevention for Structure Query Language injection attacks.” 2013. Web. 25 Jun 2019.

Vancouver:

Shafie E. Runtime detection and prevention for Structure Query Language injection attacks. [Internet] [Doctoral dissertation]. De Montfort University; 2013. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2086/10076.

Council of Science Editors:

Shafie E. Runtime detection and prevention for Structure Query Language injection attacks. [Doctoral Dissertation]. De Montfort University; 2013. Available from: http://hdl.handle.net/2086/10076


UCLA

14. Walsberg, Erik. Metric Geometry in a Tame Setting.

Degree: Mathematics, 2015, UCLA

We prove basic results about the topology and metric geometry of metric spaces which are definable in o-minimal expansions of ordered fields.

Subjects/Keywords: Mathematics; Logic; Metric; o-minimal; semialgebraic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Walsberg, E. (2015). Metric Geometry in a Tame Setting. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/9z92f967

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

Walsberg, Erik. “Metric Geometry in a Tame Setting.” 2015. Thesis, UCLA. Accessed June 25, 2019. http://www.escholarship.org/uc/item/9z92f967.

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

MLA Handbook (7th Edition):

Walsberg, Erik. “Metric Geometry in a Tame Setting.” 2015. Web. 25 Jun 2019.

Vancouver:

Walsberg E. Metric Geometry in a Tame Setting. [Internet] [Thesis]. UCLA; 2015. [cited 2019 Jun 25]. Available from: http://www.escholarship.org/uc/item/9z92f967.

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

Council of Science Editors:

Walsberg E. Metric Geometry in a Tame Setting. [Thesis]. UCLA; 2015. Available from: http://www.escholarship.org/uc/item/9z92f967

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


University of Illinois – Urbana-Champaign

15. Duggirala, Parasara Sridhar. Dynamic analysis of Cyber-Physical Systems.

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

 With the recent advances in communication and computation technologies, integration of software into the sensing, actuation, and control is common. This has lead to a… (more)

Subjects/Keywords: Formal Methods; Verification; Cyber-Physical Systems; Hybrid Systems; Safety Verification; Reachable Set; Over-approximations; Dynamic Analysis; Discrepancy Function; Control Theory; Contraction Metric; Incremental Stability; Incremental Lyapunov Function; Adjacent Landing Alerting System (ALAS); Temporal Precedence Properties; Powertrain Control System; Signal Temporal Logic; Distributed Predicates; Parallel Landing Protocol

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Duggirala, P. S. (2015). Dynamic analysis of Cyber-Physical Systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/89104

Chicago Manual of Style (16th Edition):

Duggirala, Parasara Sridhar. “Dynamic analysis of Cyber-Physical Systems.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed June 25, 2019. http://hdl.handle.net/2142/89104.

MLA Handbook (7th Edition):

Duggirala, Parasara Sridhar. “Dynamic analysis of Cyber-Physical Systems.” 2015. Web. 25 Jun 2019.

Vancouver:

Duggirala PS. Dynamic analysis of Cyber-Physical Systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2142/89104.

Council of Science Editors:

Duggirala PS. Dynamic analysis of Cyber-Physical Systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/89104


Wesleyan University

16. Karker, Mary Leah. Two Applications of Topology to the Study of Non-Classical Logics.

Degree: Mathematics, 2016, Wesleyan University

  This thesis consists of two separate chapters, each exploring a different connection between logic and topology. Chapter 1 concerns product constructions within the continuous-logic(more)

Subjects/Keywords: model theory; continuous logic; metric structures; intuitionistic logic; Scott's model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Karker, M. L. (2016). Two Applications of Topology to the Study of Non-Classical Logics. (Doctoral Dissertation). Wesleyan University. Retrieved from https://wesscholar.wesleyan.edu/etd_diss/63

Chicago Manual of Style (16th Edition):

Karker, Mary Leah. “Two Applications of Topology to the Study of Non-Classical Logics.” 2016. Doctoral Dissertation, Wesleyan University. Accessed June 25, 2019. https://wesscholar.wesleyan.edu/etd_diss/63.

MLA Handbook (7th Edition):

Karker, Mary Leah. “Two Applications of Topology to the Study of Non-Classical Logics.” 2016. Web. 25 Jun 2019.

Vancouver:

Karker ML. Two Applications of Topology to the Study of Non-Classical Logics. [Internet] [Doctoral dissertation]. Wesleyan University; 2016. [cited 2019 Jun 25]. Available from: https://wesscholar.wesleyan.edu/etd_diss/63.

Council of Science Editors:

Karker ML. Two Applications of Topology to the Study of Non-Classical Logics. [Doctoral Dissertation]. Wesleyan University; 2016. Available from: https://wesscholar.wesleyan.edu/etd_diss/63


University of Guelph

17. Fairholm, William. Annotation of Temporal Relations Using Markov Logic Networks and Temporal Centering .

Degree: 2015, University of Guelph

 In recent years, annotating temporal relations has been a focus for many researchers in the area of Temporal Information Processing. By labelling these relations within… (more)

Subjects/Keywords: Markov Logic Network; TempEval; Temporal Centering; Temporal Information Processing; Temporal Relation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fairholm, W. (2015). Annotation of Temporal Relations Using Markov Logic Networks and Temporal Centering . (Thesis). University of Guelph. Retrieved from https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8641

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

Fairholm, William. “Annotation of Temporal Relations Using Markov Logic Networks and Temporal Centering .” 2015. Thesis, University of Guelph. Accessed June 25, 2019. https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8641.

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

MLA Handbook (7th Edition):

Fairholm, William. “Annotation of Temporal Relations Using Markov Logic Networks and Temporal Centering .” 2015. Web. 25 Jun 2019.

Vancouver:

Fairholm W. Annotation of Temporal Relations Using Markov Logic Networks and Temporal Centering . [Internet] [Thesis]. University of Guelph; 2015. [cited 2019 Jun 25]. Available from: https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8641.

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

Council of Science Editors:

Fairholm W. Annotation of Temporal Relations Using Markov Logic Networks and Temporal Centering . [Thesis]. University of Guelph; 2015. Available from: https://atrium.lib.uoguelph.ca/xmlui/handle/10214/8641

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


Université de Neuchâtel

18. Cotofrei, Paul. Methodology for mining meta rules from sequential data.

Degree: 2005, Université de Neuchâtel

 The purpose of this thesis is to respond to an actual necessity - the need to discover knowledge from huge data collection comprising multiple sequences… (more)

Subjects/Keywords: probabilistic temporal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cotofrei, P. (2005). Methodology for mining meta rules from sequential data. (Thesis). Université de Neuchâtel. Retrieved from http://doc.rero.ch/record/4850

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

Cotofrei, Paul. “Methodology for mining meta rules from sequential data.” 2005. Thesis, Université de Neuchâtel. Accessed June 25, 2019. http://doc.rero.ch/record/4850.

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

MLA Handbook (7th Edition):

Cotofrei, Paul. “Methodology for mining meta rules from sequential data.” 2005. Web. 25 Jun 2019.

Vancouver:

Cotofrei P. Methodology for mining meta rules from sequential data. [Internet] [Thesis]. Université de Neuchâtel; 2005. [cited 2019 Jun 25]. Available from: http://doc.rero.ch/record/4850.

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

Council of Science Editors:

Cotofrei P. Methodology for mining meta rules from sequential data. [Thesis]. Université de Neuchâtel; 2005. Available from: http://doc.rero.ch/record/4850

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


University of Toronto

19. Wei, Ou. Abstraction for Verification and Refutation in Model Checking.

Degree: 2009, University of Toronto

Model checking is an automated technique for deciding whether a computer program satisfies a temporal property. Abstraction is the key to scaling model checking to… (more)

Subjects/Keywords: Model Checking; Abstraction; Verification; Temporal Logic; 0984

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wei, O. (2009). Abstraction for Verification and Refutation in Model Checking. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/24330

Chicago Manual of Style (16th Edition):

Wei, Ou. “Abstraction for Verification and Refutation in Model Checking.” 2009. Doctoral Dissertation, University of Toronto. Accessed June 25, 2019. http://hdl.handle.net/1807/24330.

MLA Handbook (7th Edition):

Wei, Ou. “Abstraction for Verification and Refutation in Model Checking.” 2009. Web. 25 Jun 2019.

Vancouver:

Wei O. Abstraction for Verification and Refutation in Model Checking. [Internet] [Doctoral dissertation]. University of Toronto; 2009. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/1807/24330.

Council of Science Editors:

Wei O. Abstraction for Verification and Refutation in Model Checking. [Doctoral Dissertation]. University of Toronto; 2009. Available from: http://hdl.handle.net/1807/24330


University of Waterloo

20. Khan, Waleed. RuSTL: Runtime Verification using Signal Temporal Logic.

Degree: 2019, University of Waterloo

 A system is classified to be a safety-critical system if its failure and/or malfunction of these devices may result in severe injuries or in extreme… (more)

Subjects/Keywords: Signal Temporal Logic; STL; runtime verification; RV; runtime monitoring; temporal logic; structured English text

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khan, W. (2019). RuSTL: Runtime Verification using Signal Temporal Logic. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14552

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

Khan, Waleed. “RuSTL: Runtime Verification using Signal Temporal Logic.” 2019. Thesis, University of Waterloo. Accessed June 25, 2019. http://hdl.handle.net/10012/14552.

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

MLA Handbook (7th Edition):

Khan, Waleed. “RuSTL: Runtime Verification using Signal Temporal Logic.” 2019. Web. 25 Jun 2019.

Vancouver:

Khan W. RuSTL: Runtime Verification using Signal Temporal Logic. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10012/14552.

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

Council of Science Editors:

Khan W. RuSTL: Runtime Verification using Signal Temporal Logic. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14552

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


Penn State University

21. Doebler, William. The Minimum Number of Ground Measurements Required for Narrow Sonic Boom Metric 90% Confidence Intervals.

Degree: 2017, Penn State University

 For subsonic aircraft noise certification, the value of the effective perceived noise level EPNL must be known within an adequately narrow 90% confidence interval at… (more)

Subjects/Keywords: sonic boom; SCAMP; NASA; FAA; ICAO; confidence interval; metric; certification; noise; sound; supersonic; 90% confidence interval

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Doebler, W. (2017). The Minimum Number of Ground Measurements Required for Narrow Sonic Boom Metric 90% Confidence Intervals. (Thesis). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/14826wfd5057

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

Doebler, William. “The Minimum Number of Ground Measurements Required for Narrow Sonic Boom Metric 90% Confidence Intervals.” 2017. Thesis, Penn State University. Accessed June 25, 2019. https://etda.libraries.psu.edu/catalog/14826wfd5057.

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

MLA Handbook (7th Edition):

Doebler, William. “The Minimum Number of Ground Measurements Required for Narrow Sonic Boom Metric 90% Confidence Intervals.” 2017. Web. 25 Jun 2019.

Vancouver:

Doebler W. The Minimum Number of Ground Measurements Required for Narrow Sonic Boom Metric 90% Confidence Intervals. [Internet] [Thesis]. Penn State University; 2017. [cited 2019 Jun 25]. Available from: https://etda.libraries.psu.edu/catalog/14826wfd5057.

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

Council of Science Editors:

Doebler W. The Minimum Number of Ground Measurements Required for Narrow Sonic Boom Metric 90% Confidence Intervals. [Thesis]. Penn State University; 2017. Available from: https://etda.libraries.psu.edu/catalog/14826wfd5057

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


Iowa State University

22. Park, Jungmin. Secure hardware design against side-channel attacks.

Degree: 2016, Iowa State University

 Embedded systems such as smart card or IoT devices should be protected from side-channel analysis (SCA) attacks. For the secure hardware implementation, SCA security metrics… (more)

Subjects/Keywords: hardware security; private logic; secure logic style; security metric; side-channel attack; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Park, J. (2016). Secure hardware design against side-channel attacks. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/15786

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

Park, Jungmin. “Secure hardware design against side-channel attacks.” 2016. Thesis, Iowa State University. Accessed June 25, 2019. https://lib.dr.iastate.edu/etd/15786.

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

MLA Handbook (7th Edition):

Park, Jungmin. “Secure hardware design against side-channel attacks.” 2016. Web. 25 Jun 2019.

Vancouver:

Park J. Secure hardware design against side-channel attacks. [Internet] [Thesis]. Iowa State University; 2016. [cited 2019 Jun 25]. Available from: https://lib.dr.iastate.edu/etd/15786.

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

Council of Science Editors:

Park J. Secure hardware design against side-channel attacks. [Thesis]. Iowa State University; 2016. Available from: https://lib.dr.iastate.edu/etd/15786

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


University of Illinois – Urbana-Champaign

23. Tellez, Hernando. Contributions to model theory of metric structures.

Degree: PhD, 0439, 2010, University of Illinois – Urbana-Champaign

 Two Banach spaces X and Y are said to be almost isometric if for every ?? > 1 there exists a ??-isomorphism f : X… (more)

Subjects/Keywords: Continuous logic; Metric structures; Model theory; Perturbations; Banach spaces; Algebraic closure

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tellez, H. (2010). Contributions to model theory of metric structures. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/16109

Chicago Manual of Style (16th Edition):

Tellez, Hernando. “Contributions to model theory of metric structures.” 2010. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed June 25, 2019. http://hdl.handle.net/2142/16109.

MLA Handbook (7th Edition):

Tellez, Hernando. “Contributions to model theory of metric structures.” 2010. Web. 25 Jun 2019.

Vancouver:

Tellez H. Contributions to model theory of metric structures. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2010. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/2142/16109.

Council of Science Editors:

Tellez H. Contributions to model theory of metric structures. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/16109


Texas A&M University

24. Drake, Kristin Marie. Demystification: An Identity Focused Revision to Logic-based Therapy.

Degree: PhD, Philosophy, 2017, Texas A&M University

 This project aims to contribute to Logic-Based Therapy, the only fully formed methodology in the area of philosophical counseling. It proposes an identity-focused approach to… (more)

Subjects/Keywords: Beauvoir; Logic-based Therapy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Drake, K. M. (2017). Demystification: An Identity Focused Revision to Logic-based Therapy. (Doctoral Dissertation). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/165876

Chicago Manual of Style (16th Edition):

Drake, Kristin Marie. “Demystification: An Identity Focused Revision to Logic-based Therapy.” 2017. Doctoral Dissertation, Texas A&M University. Accessed June 25, 2019. http://hdl.handle.net/1969.1/165876.

MLA Handbook (7th Edition):

Drake, Kristin Marie. “Demystification: An Identity Focused Revision to Logic-based Therapy.” 2017. Web. 25 Jun 2019.

Vancouver:

Drake KM. Demystification: An Identity Focused Revision to Logic-based Therapy. [Internet] [Doctoral dissertation]. Texas A&M University; 2017. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/1969.1/165876.

Council of Science Editors:

Drake KM. Demystification: An Identity Focused Revision to Logic-based Therapy. [Doctoral Dissertation]. Texas A&M University; 2017. Available from: http://hdl.handle.net/1969.1/165876

25. 김, 지은. Role of rat medial prefrontal cortex in time interval estimation.

Degree: 2013, Ajou University

Several lines of evidence suggest the involvement of prefrontal cortex in time interval estimation. The underlying neural processes are poorly understood, however, in part because… (more)

Subjects/Keywords: interval timing; temporal bisection; muscimol; prefrontal cortex; Rat; Time perception

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

김, . (2013). Role of rat medial prefrontal cortex in time interval estimation. (Thesis). Ajou University. Retrieved from http://repository.ajou.ac.kr/handle/201003/8640 ; http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000013825

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

김, 지은. “Role of rat medial prefrontal cortex in time interval estimation.” 2013. Thesis, Ajou University. Accessed June 25, 2019. http://repository.ajou.ac.kr/handle/201003/8640 ; http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000013825.

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

MLA Handbook (7th Edition):

김, 지은. “Role of rat medial prefrontal cortex in time interval estimation.” 2013. Web. 25 Jun 2019.

Vancouver:

김 . Role of rat medial prefrontal cortex in time interval estimation. [Internet] [Thesis]. Ajou University; 2013. [cited 2019 Jun 25]. Available from: http://repository.ajou.ac.kr/handle/201003/8640 ; http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000013825.

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

Council of Science Editors:

김 . Role of rat medial prefrontal cortex in time interval estimation. [Thesis]. Ajou University; 2013. Available from: http://repository.ajou.ac.kr/handle/201003/8640 ; http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000013825

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


Texas A&M University

26. Hong, Yizhi. Application of Fuzzy Logic to Quantify the Uncertainty in Layer of Protection Analysis.

Degree: 2017, Texas A&M University

 Layer of Protection Analysis (LOPA) is a widely used semi-quantitative risk assessment method. LOPA includes both frequency and consequence expressed in an order of magnitude… (more)

Subjects/Keywords: Risk Assessment; Layer of protection analysis; fuzzy logic; interval type-2 fuzzy logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hong, Y. (2017). Application of Fuzzy Logic to Quantify the Uncertainty in Layer of Protection Analysis. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/161293

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

Hong, Yizhi. “Application of Fuzzy Logic to Quantify the Uncertainty in Layer of Protection Analysis.” 2017. Thesis, Texas A&M University. Accessed June 25, 2019. http://hdl.handle.net/1969.1/161293.

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

MLA Handbook (7th Edition):

Hong, Yizhi. “Application of Fuzzy Logic to Quantify the Uncertainty in Layer of Protection Analysis.” 2017. Web. 25 Jun 2019.

Vancouver:

Hong Y. Application of Fuzzy Logic to Quantify the Uncertainty in Layer of Protection Analysis. [Internet] [Thesis]. Texas A&M University; 2017. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/1969.1/161293.

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

Council of Science Editors:

Hong Y. Application of Fuzzy Logic to Quantify the Uncertainty in Layer of Protection Analysis. [Thesis]. Texas A&M University; 2017. Available from: http://hdl.handle.net/1969.1/161293

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

27. Murugeswari P. Certain analysis of interval type 2 Fuzzy logic for image Processing applications;.

Degree: Certain analysis of interval type 2 Fuzzy logic for image Processing applications, 2015, Anna University

Domain knowledge of real life problems are often uncertain newlineimprecise and vague therefore that creates difficulty in decision making newlinewhile solving by conventional approaches Among… (more)

Subjects/Keywords: Interval Type 2 Fuzzy Logic; Type 1 Fuzzy Sets; Type 2 Fuzzy Logic System

Page 1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

P, M. (2015). Certain analysis of interval type 2 Fuzzy logic for image Processing applications;. (Thesis). Anna University. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/38578

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

P, Murugeswari. “Certain analysis of interval type 2 Fuzzy logic for image Processing applications;.” 2015. Thesis, Anna University. Accessed June 25, 2019. http://shodhganga.inflibnet.ac.in/handle/10603/38578.

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

MLA Handbook (7th Edition):

P, Murugeswari. “Certain analysis of interval type 2 Fuzzy logic for image Processing applications;.” 2015. Web. 25 Jun 2019.

Vancouver:

P M. Certain analysis of interval type 2 Fuzzy logic for image Processing applications;. [Internet] [Thesis]. Anna University; 2015. [cited 2019 Jun 25]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/38578.

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

Council of Science Editors:

P M. Certain analysis of interval type 2 Fuzzy logic for image Processing applications;. [Thesis]. Anna University; 2015. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/38578

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


University of Johannesburg

28. Robinson, Claudette. On metric interval temporal languages.

Degree: 2011, University of Johannesburg

M.Sc.

Subjects/Keywords: Modality (Logic); Interval analysis (Mathematics)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Robinson, C. (2011). On metric interval temporal languages. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/3705

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

Robinson, Claudette. “On metric interval temporal languages.” 2011. Thesis, University of Johannesburg. Accessed June 25, 2019. http://hdl.handle.net/10210/3705.

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

MLA Handbook (7th Edition):

Robinson, Claudette. “On metric interval temporal languages.” 2011. Web. 25 Jun 2019.

Vancouver:

Robinson C. On metric interval temporal languages. [Internet] [Thesis]. University of Johannesburg; 2011. [cited 2019 Jun 25]. Available from: http://hdl.handle.net/10210/3705.

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

Council of Science Editors:

Robinson C. On metric interval temporal languages. [Thesis]. University of Johannesburg; 2011. Available from: http://hdl.handle.net/10210/3705

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

29. Gesner Antônio Azevedo dos Reis. Coimplicações Fuzzy Valoradas Intervalarmente.

Degree: 2010, Universidade Catolica de Pelotas

Traditional digital logic deals with variables assuming only two possible states: false and true. But for a large number of real world modeling, we want… (more)

Subjects/Keywords: Interval Fuzzy Logic; utomorfismo Intervalar; Automorphisms; Fuzzy; Coimplicações Intervalares; Fuzzy Coimplications; Logica Fuzzy Intervalar; lógica Fuzzy, Coimplicações; Automorfismos; Interval Coimplications; Interval Automorphisms; Fuzzy Logic; CIENCIA DA COMPUTACAO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reis, G. A. A. d. (2010). Coimplicações Fuzzy Valoradas Intervalarmente. (Thesis). Universidade Catolica de Pelotas. Retrieved from http://biblioteca.ucpel.tche.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=370

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

Reis, Gesner Antônio Azevedo dos. “Coimplicações Fuzzy Valoradas Intervalarmente.” 2010. Thesis, Universidade Catolica de Pelotas. Accessed June 25, 2019. http://biblioteca.ucpel.tche.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=370.

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

MLA Handbook (7th Edition):

Reis, Gesner Antônio Azevedo dos. “Coimplicações Fuzzy Valoradas Intervalarmente.” 2010. Web. 25 Jun 2019.

Vancouver:

Reis GAAd. Coimplicações Fuzzy Valoradas Intervalarmente. [Internet] [Thesis]. Universidade Catolica de Pelotas; 2010. [cited 2019 Jun 25]. Available from: http://biblioteca.ucpel.tche.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=370.

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

Council of Science Editors:

Reis GAAd. Coimplicações Fuzzy Valoradas Intervalarmente. [Thesis]. Universidade Catolica de Pelotas; 2010. Available from: http://biblioteca.ucpel.tche.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=370

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

30. Nogueira, Vitor Beires. Temporal reasoning in a logic programming language with modularity.

Degree: 2008, Universidade de Évora

 Actualmente os Sistemas de Informação Organizacionais (SIO) lidam cada vez mais com informação que tem dependências temporais. Neste trabalho concebemos um ambiente de trabalho para… (more)

Subjects/Keywords: Temporal reasoning in AI; Model of time; Temporal databases; Modular logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nogueira, V. B. (2008). Temporal reasoning in a logic programming language with modularity. (Thesis). Universidade de Évora. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11138

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

Chicago Manual of Style (16th Edition):

Nogueira, Vitor Beires. “Temporal reasoning in a logic programming language with modularity.” 2008. Thesis, Universidade de Évora. Accessed June 25, 2019. http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11138.

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

MLA Handbook (7th Edition):

Nogueira, Vitor Beires. “Temporal reasoning in a logic programming language with modularity.” 2008. Web. 25 Jun 2019.

Vancouver:

Nogueira VB. Temporal reasoning in a logic programming language with modularity. [Internet] [Thesis]. Universidade de Évora; 2008. [cited 2019 Jun 25]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11138.

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

Council of Science Editors:

Nogueira VB. Temporal reasoning in a logic programming language with modularity. [Thesis]. Universidade de Évora; 2008. Available from: http://www.rcaap.pt/detail.jsp?id=oai:dspace.uevora.pt:10174/11138

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

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

.