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

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


University of British Columbia

1. Schactman, Chuck Seymour. The effectiveness of logical reasoning on the solution of value problems .

Degree: 1976, University of British Columbia

 Certain values education programs have been recently developed which emphasize teaching students to gain ability in critical, deductive reasoning. The major contention of this paper… (more)

Subjects/Keywords: Many-valued logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schactman, C. S. (1976). The effectiveness of logical reasoning on the solution of value problems . (Thesis). University of British Columbia. Retrieved from http://hdl.handle.net/2429/19976

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

Schactman, Chuck Seymour. “The effectiveness of logical reasoning on the solution of value problems .” 1976. Thesis, University of British Columbia. Accessed August 22, 2019. http://hdl.handle.net/2429/19976.

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

MLA Handbook (7th Edition):

Schactman, Chuck Seymour. “The effectiveness of logical reasoning on the solution of value problems .” 1976. Web. 22 Aug 2019.

Vancouver:

Schactman CS. The effectiveness of logical reasoning on the solution of value problems . [Internet] [Thesis]. University of British Columbia; 1976. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/2429/19976.

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

Council of Science Editors:

Schactman CS. The effectiveness of logical reasoning on the solution of value problems . [Thesis]. University of British Columbia; 1976. Available from: http://hdl.handle.net/2429/19976

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


Virginia Tech

2. Johnson, Cory. Suggestions for Deontic Logicians.

Degree: MA, Philosophy, 2013, Virginia Tech

 The purpose of this paper is to make a suggestion to deontic logic: Respect Hume\'s Law, the answer to the is-ought problem that says that… (more)

Subjects/Keywords: Deontic Logic; Hume's Law; Is-Ought Problem; Many-Valued Logics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Johnson, C. (2013). Suggestions for Deontic Logicians. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/19221

Chicago Manual of Style (16th Edition):

Johnson, Cory. “Suggestions for Deontic Logicians.” 2013. Masters Thesis, Virginia Tech. Accessed August 22, 2019. http://hdl.handle.net/10919/19221.

MLA Handbook (7th Edition):

Johnson, Cory. “Suggestions for Deontic Logicians.” 2013. Web. 22 Aug 2019.

Vancouver:

Johnson C. Suggestions for Deontic Logicians. [Internet] [Masters thesis]. Virginia Tech; 2013. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/10919/19221.

Council of Science Editors:

Johnson C. Suggestions for Deontic Logicians. [Masters Thesis]. Virginia Tech; 2013. Available from: http://hdl.handle.net/10919/19221


University of Ottawa

3. Lu, Weiyun. Topics in Many-valued and Quantum Algebraic Logic .

Degree: 2016, University of Ottawa

 Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Łukasiewicz) logics what boolean algebras are to two-valued logic. More recently, effect algebras… (more)

Subjects/Keywords: mv algebra; effect algebra; many valued-logic; quantum logic; algebraic logic; mathematical logic; category theory; categorical logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lu, W. (2016). Topics in Many-valued and Quantum Algebraic Logic . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/35173

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

Lu, Weiyun. “Topics in Many-valued and Quantum Algebraic Logic .” 2016. Thesis, University of Ottawa. Accessed August 22, 2019. http://hdl.handle.net/10393/35173.

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

MLA Handbook (7th Edition):

Lu, Weiyun. “Topics in Many-valued and Quantum Algebraic Logic .” 2016. Web. 22 Aug 2019.

Vancouver:

Lu W. Topics in Many-valued and Quantum Algebraic Logic . [Internet] [Thesis]. University of Ottawa; 2016. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/10393/35173.

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

Council of Science Editors:

Lu W. Topics in Many-valued and Quantum Algebraic Logic . [Thesis]. University of Ottawa; 2016. Available from: http://hdl.handle.net/10393/35173

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


University of Lethbridge

4. Rahman, Md. Raqibur. Online testing in ternary reversible logic .

Degree: 2011, University of Lethbridge

 In recent years ternary reversible logic has caught the attention of researchers because of its enormous potential in different fields, in particular quantum computing. It… (more)

Subjects/Keywords: Many-valued logic; Electric circuits; Logic design  – Data processing; Logic circuits; Quantum logic; Computer logic; Dissertations, Academic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rahman, M. R. (2011). Online testing in ternary reversible logic . (Thesis). University of Lethbridge. Retrieved from http://hdl.handle.net/10133/3208

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

Rahman, Md Raqibur. “Online testing in ternary reversible logic .” 2011. Thesis, University of Lethbridge. Accessed August 22, 2019. http://hdl.handle.net/10133/3208.

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

MLA Handbook (7th Edition):

Rahman, Md Raqibur. “Online testing in ternary reversible logic .” 2011. Web. 22 Aug 2019.

Vancouver:

Rahman MR. Online testing in ternary reversible logic . [Internet] [Thesis]. University of Lethbridge; 2011. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/10133/3208.

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

Council of Science Editors:

Rahman MR. Online testing in ternary reversible logic . [Thesis]. University of Lethbridge; 2011. Available from: http://hdl.handle.net/10133/3208

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


Portland State University

5. Fiszer, Robert Adrian. Synthesis of Irreversible Incompletely Specified Multi-Output Functions to Reversible EOSOPS Circuits with PSE Gates.

Degree: MS(M.S.) in Electrical and Computer Engineering, Electrical and Computer Engineering, 2014, Portland State University

  As quantum computers edge closer to viability, it becomes necessary to create logic synthesis and minimization algorithms that take into account the particular aspects… (more)

Subjects/Keywords: Quantum computing; Algebra; Boolean; Logic circuits; Many-valued logic; Electrical and Computer Engineering; Other Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fiszer, R. A. (2014). Synthesis of Irreversible Incompletely Specified Multi-Output Functions to Reversible EOSOPS Circuits with PSE Gates. (Masters Thesis). Portland State University. Retrieved from https://pdxscholar.library.pdx.edu/open_access_etds/2109

Chicago Manual of Style (16th Edition):

Fiszer, Robert Adrian. “Synthesis of Irreversible Incompletely Specified Multi-Output Functions to Reversible EOSOPS Circuits with PSE Gates.” 2014. Masters Thesis, Portland State University. Accessed August 22, 2019. https://pdxscholar.library.pdx.edu/open_access_etds/2109.

MLA Handbook (7th Edition):

Fiszer, Robert Adrian. “Synthesis of Irreversible Incompletely Specified Multi-Output Functions to Reversible EOSOPS Circuits with PSE Gates.” 2014. Web. 22 Aug 2019.

Vancouver:

Fiszer RA. Synthesis of Irreversible Incompletely Specified Multi-Output Functions to Reversible EOSOPS Circuits with PSE Gates. [Internet] [Masters thesis]. Portland State University; 2014. [cited 2019 Aug 22]. Available from: https://pdxscholar.library.pdx.edu/open_access_etds/2109.

Council of Science Editors:

Fiszer RA. Synthesis of Irreversible Incompletely Specified Multi-Output Functions to Reversible EOSOPS Circuits with PSE Gates. [Masters Thesis]. Portland State University; 2014. Available from: https://pdxscholar.library.pdx.edu/open_access_etds/2109


Portland State University

6. Hawash, Maher Mofeid. Methods for Efficient Synthesis of Large Reversible Binary and Ternary Quantum Circuits and Applications of Linear Nearest Neighbor Model.

Degree: PhD, Electrical and Computer Engineering, 2013, Portland State University

  This dissertation describes the development of automated synthesis algorithms that construct reversible quantum circuits for reversible functions with large number of variables. Specifically, the… (more)

Subjects/Keywords: Quantum computers  – Research; Many-valued logic; Reversible computing; Nearest neighbor analysis (Statistics); Other Electrical and Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hawash, M. M. (2013). Methods for Efficient Synthesis of Large Reversible Binary and Ternary Quantum Circuits and Applications of Linear Nearest Neighbor Model. (Doctoral Dissertation). Portland State University. Retrieved from http://pdxscholar.library.pdx.edu/open_access_etds/1090

Chicago Manual of Style (16th Edition):

Hawash, Maher Mofeid. “Methods for Efficient Synthesis of Large Reversible Binary and Ternary Quantum Circuits and Applications of Linear Nearest Neighbor Model.” 2013. Doctoral Dissertation, Portland State University. Accessed August 22, 2019. http://pdxscholar.library.pdx.edu/open_access_etds/1090.

MLA Handbook (7th Edition):

Hawash, Maher Mofeid. “Methods for Efficient Synthesis of Large Reversible Binary and Ternary Quantum Circuits and Applications of Linear Nearest Neighbor Model.” 2013. Web. 22 Aug 2019.

Vancouver:

Hawash MM. Methods for Efficient Synthesis of Large Reversible Binary and Ternary Quantum Circuits and Applications of Linear Nearest Neighbor Model. [Internet] [Doctoral dissertation]. Portland State University; 2013. [cited 2019 Aug 22]. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/1090.

Council of Science Editors:

Hawash MM. Methods for Efficient Synthesis of Large Reversible Binary and Ternary Quantum Circuits and Applications of Linear Nearest Neighbor Model. [Doctoral Dissertation]. Portland State University; 2013. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/1090


Portland State University

7. Falkowski, Bogdan Jaroslaw. Spectral Methods for Boolean and Multiple-Valued Input Logic Functions.

Degree: PhD, Electrical and Computer Engineering, 1991, Portland State University

  Spectral techniques in digital logic design have been known for more than thirty years. They have been used for Boolean function classification, disjoint decomposition,… (more)

Subjects/Keywords: Spectral theory (Mathematics); Boolean Algebra; Many-valued logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Falkowski, B. J. (1991). Spectral Methods for Boolean and Multiple-Valued Input Logic Functions. (Doctoral Dissertation). Portland State University. Retrieved from http://pdxscholar.library.pdx.edu/open_access_etds/1152

Chicago Manual of Style (16th Edition):

Falkowski, Bogdan Jaroslaw. “Spectral Methods for Boolean and Multiple-Valued Input Logic Functions.” 1991. Doctoral Dissertation, Portland State University. Accessed August 22, 2019. http://pdxscholar.library.pdx.edu/open_access_etds/1152.

MLA Handbook (7th Edition):

Falkowski, Bogdan Jaroslaw. “Spectral Methods for Boolean and Multiple-Valued Input Logic Functions.” 1991. Web. 22 Aug 2019.

Vancouver:

Falkowski BJ. Spectral Methods for Boolean and Multiple-Valued Input Logic Functions. [Internet] [Doctoral dissertation]. Portland State University; 1991. [cited 2019 Aug 22]. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/1152.

Council of Science Editors:

Falkowski BJ. Spectral Methods for Boolean and Multiple-Valued Input Logic Functions. [Doctoral Dissertation]. Portland State University; 1991. Available from: http://pdxscholar.library.pdx.edu/open_access_etds/1152


Univerzitet u Beogradu

8. Boričić, Marija, 1987-. Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији.

Degree: Matematički fakultet, 2017, Univerzitet u Beogradu

Математика - Математичка логика / Mathematics - Mathematical logic

После кратког уводног прегледа, рад је подељен на два дела. Први део се бави присуством вероватноће… (more)

Subjects/Keywords: probability logic; sequent calculus; model; soundness; completeness; non–classical logics; fuzzy logics; cut–elimination; classical two–valued propositional logic; many– valued propositional logics; Lindenbaum–Tarski algebra; partition; logical system; uncertainty measurement; entropy; classification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Boričić, Marija, 1. (2017). Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:15313/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):

Boričić, Marija, 1987-. “Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији.” 2017. Thesis, Univerzitet u Beogradu. Accessed August 22, 2019. https://fedorabg.bg.ac.rs/fedora/get/o:15313/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):

Boričić, Marija, 1987-. “Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији.” 2017. Web. 22 Aug 2019.

Vancouver:

Boričić, Marija 1. Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији. [Internet] [Thesis]. Univerzitet u Beogradu; 2017. [cited 2019 Aug 22]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:15313/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:

Boričić, Marija 1. Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији. [Thesis]. Univerzitet u Beogradu; 2017. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:15313/bdef:Content/get

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

9. Rajapandian, Sankara Narayanan. Multi-Valued Majority Logic Circuits Using Spin Waves.

Degree: MS, Electrical & Computer Engineering, 2013, University of Massachusetts

  With increasing data sets for processing, there is a requirement to build faster and smaller arithmetic circuits. One of the ways to improve the… (more)

Subjects/Keywords: Spin Wave; Multi-valued logic; Majority logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rajapandian, S. N. (2013). Multi-Valued Majority Logic Circuits Using Spin Waves. (Masters Thesis). University of Massachusetts. Retrieved from https://scholarworks.umass.edu/theses/1151

Chicago Manual of Style (16th Edition):

Rajapandian, Sankara Narayanan. “Multi-Valued Majority Logic Circuits Using Spin Waves.” 2013. Masters Thesis, University of Massachusetts. Accessed August 22, 2019. https://scholarworks.umass.edu/theses/1151.

MLA Handbook (7th Edition):

Rajapandian, Sankara Narayanan. “Multi-Valued Majority Logic Circuits Using Spin Waves.” 2013. Web. 22 Aug 2019.

Vancouver:

Rajapandian SN. Multi-Valued Majority Logic Circuits Using Spin Waves. [Internet] [Masters thesis]. University of Massachusetts; 2013. [cited 2019 Aug 22]. Available from: https://scholarworks.umass.edu/theses/1151.

Council of Science Editors:

Rajapandian SN. Multi-Valued Majority Logic Circuits Using Spin Waves. [Masters Thesis]. University of Massachusetts; 2013. Available from: https://scholarworks.umass.edu/theses/1151

10. M. Bianchi. ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE.

Degree: 2010, Università degli Studi di Milano

 The scientific area this thesis belongs to are many-valued logics: in particular, the logic MTL and some of its extensions, in the propositional and in… (more)

Subjects/Keywords: many-valued logics; basic logic; universal algebra; residuated lattices; monoidal t-norm based logic; first-order logics; nilpotent minimum logic; n-contractive logics; computational complexity; arithmetical complexity; Settore MAT/01 - Logica Matematica; Settore MAT/02 - Algebra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bianchi, M. (2010). ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE. (Thesis). Università degli Studi di Milano. Retrieved from http://hdl.handle.net/2434/150078

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

Bianchi, M.. “ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE.” 2010. Thesis, Università degli Studi di Milano. Accessed August 22, 2019. http://hdl.handle.net/2434/150078.

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

MLA Handbook (7th Edition):

Bianchi, M.. “ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE.” 2010. Web. 22 Aug 2019.

Vancouver:

Bianchi M. ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE. [Internet] [Thesis]. Università degli Studi di Milano; 2010. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/2434/150078.

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

Council of Science Editors:

Bianchi M. ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE. [Thesis]. Università degli Studi di Milano; 2010. Available from: http://hdl.handle.net/2434/150078

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

11. D. Valota. DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM.

Degree: 2012, Università degli Studi di Milano

 In this thesis we study particular subclasses of WNM algebras. The variety of WNM algebras forms the algebraic semantics of the WNM logic, a propositional… (more)

Subjects/Keywords: many-valued logics; triangular norms; weak negation functions; weak nilpotent minimum t-norm; revised drastic product t-norm; NMG t-norm; t-norms based logics; MTL; WNM logic; RDP logic; NMG logic; Godel logic; NM logic; MTL algebras; WNM algebras; RDP algebras; NMG algebras; finite algebras; free algebras; duality theory; posets; trees; forests; coproducts; normal forms; interpolation; equational unification; Settore INF/01 - Informatica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Valota, D. (2012). DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM. (Thesis). Università degli Studi di Milano. Retrieved from http://hdl.handle.net/2434/172442

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

Valota, D.. “DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM.” 2012. Thesis, Università degli Studi di Milano. Accessed August 22, 2019. http://hdl.handle.net/2434/172442.

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

MLA Handbook (7th Edition):

Valota, D.. “DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM.” 2012. Web. 22 Aug 2019.

Vancouver:

Valota D. DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM. [Internet] [Thesis]. Università degli Studi di Milano; 2012. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/2434/172442.

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

Council of Science Editors:

Valota D. DUALITIES AND REPRESENTATIONS FOR MANY-VALUED LOGICS IN THE HIERARCHY OF WEAK NILPOTENT MINIMUM. [Thesis]. Università degli Studi di Milano; 2012. Available from: http://hdl.handle.net/2434/172442

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


Université du Luxembourg

12. Teheux, Bruno. Algebraic approach to modal extensions of Łukasiewicz logics.

Degree: 2009, Université du Luxembourg

Subjects/Keywords: modal logic; many-valued logic; relational semantic; Physical, chemical, mathematical & earth Sciences :: Mathematics [G03]; Physique, chimie, mathématiques & sciences de la terre :: Mathématiques [G03]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Teheux, B. (2009). Algebraic approach to modal extensions of Łukasiewicz logics. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/7569

Chicago Manual of Style (16th Edition):

Teheux, Bruno. “Algebraic approach to modal extensions of Łukasiewicz logics.” 2009. Doctoral Dissertation, Université du Luxembourg. Accessed August 22, 2019. http://orbilu.uni.lu/handle/10993/7569.

MLA Handbook (7th Edition):

Teheux, Bruno. “Algebraic approach to modal extensions of Łukasiewicz logics.” 2009. Web. 22 Aug 2019.

Vancouver:

Teheux B. Algebraic approach to modal extensions of Łukasiewicz logics. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2009. [cited 2019 Aug 22]. Available from: http://orbilu.uni.lu/handle/10993/7569.

Council of Science Editors:

Teheux B. Algebraic approach to modal extensions of Łukasiewicz logics. [Doctoral Dissertation]. Université du Luxembourg; 2009. Available from: http://orbilu.uni.lu/handle/10993/7569

13. Lehmke, Stephan. Logics which allow Degrees of Truth and Degrees of Validity.

Degree: 2001, Universität Dortmund

In dieser Dissertation werden Semantiken logischer Systeme, die sowohl Vagheit (im Sinne gradueller Wahrheitsbewertung logischer Formeln) als auch Unsicherheit (im Sinne gradueller Vertrauensbewertung logischer Formeln)… (more)

Subjects/Keywords: Degrees of trust; Degrees of truth; Fuzzy logic; Fuzzy-Logik; Lattice logic; Many-valued logic; Mehrwertige Logik; Modelltheorie; Model theory; Possibilistic logic; Possibilistische Logik; Refutation; Verbandslogik; Vertrauensgrade; Wahrheitswerte; Widerlegung; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lehmke, S. (2001). Logics which allow Degrees of Truth and Degrees of Validity. (Thesis). Universität Dortmund. Retrieved from http://hdl.handle.net/2003/20169

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

Lehmke, Stephan. “Logics which allow Degrees of Truth and Degrees of Validity.” 2001. Thesis, Universität Dortmund. Accessed August 22, 2019. http://hdl.handle.net/2003/20169.

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

MLA Handbook (7th Edition):

Lehmke, Stephan. “Logics which allow Degrees of Truth and Degrees of Validity.” 2001. Web. 22 Aug 2019.

Vancouver:

Lehmke S. Logics which allow Degrees of Truth and Degrees of Validity. [Internet] [Thesis]. Universität Dortmund; 2001. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/2003/20169.

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

Council of Science Editors:

Lehmke S. Logics which allow Degrees of Truth and Degrees of Validity. [Thesis]. Universität Dortmund; 2001. Available from: http://hdl.handle.net/2003/20169

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


Univerzitet u Beogradu

14. Dragović, Ivana T., 1977-. Конзистентан неуро-фази систем закључивања.

Degree: Fakultet organizacionih nauka, 2016, Univerzitet u Beogradu

Техничке науке - Управљање системима / Technical sciences - System control

Велики број аутора сматра да велике могућности експертских система леже у хибридним моделима, што… (more)

Subjects/Keywords: fuzzy logic; consistent real-valued [0; 1] logic; fuzzy inference systems; neural networks; neuro-fuzzy systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dragović, Ivana T., 1. (2016). Конзистентан неуро-фази систем закључивања. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:13657/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):

Dragović, Ivana T., 1977-. “Конзистентан неуро-фази систем закључивања.” 2016. Thesis, Univerzitet u Beogradu. Accessed August 22, 2019. https://fedorabg.bg.ac.rs/fedora/get/o:13657/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):

Dragović, Ivana T., 1977-. “Конзистентан неуро-фази систем закључивања.” 2016. Web. 22 Aug 2019.

Vancouver:

Dragović, Ivana T. 1. Конзистентан неуро-фази систем закључивања. [Internet] [Thesis]. Univerzitet u Beogradu; 2016. [cited 2019 Aug 22]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:13657/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:

Dragović, Ivana T. 1. Конзистентан неуро-фази систем закључивања. [Thesis]. Univerzitet u Beogradu; 2016. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:13657/bdef:Content/get

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


University of Windsor

15. Li, Lin. DESIGN OF MULTI-VALUED LOGIC CELLS USING SINGLE-ELECTRON DEVICES.

Degree: MA, Electrical and Computer Engineering, 2016, University of Windsor

 This thesis proposes a new single-electron tunneling based NDC block and develops an analytical model which can be used for related circuit designs and/or their… (more)

Subjects/Keywords: Coulomb blockade; Multiple-valued logic; Negative Differential Conductance; Single-electron transistor

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, L. (2016). DESIGN OF MULTI-VALUED LOGIC CELLS USING SINGLE-ELECTRON DEVICES. (Masters Thesis). University of Windsor. Retrieved from https://scholar.uwindsor.ca/etd/5743

Chicago Manual of Style (16th Edition):

Li, Lin. “DESIGN OF MULTI-VALUED LOGIC CELLS USING SINGLE-ELECTRON DEVICES.” 2016. Masters Thesis, University of Windsor. Accessed August 22, 2019. https://scholar.uwindsor.ca/etd/5743.

MLA Handbook (7th Edition):

Li, Lin. “DESIGN OF MULTI-VALUED LOGIC CELLS USING SINGLE-ELECTRON DEVICES.” 2016. Web. 22 Aug 2019.

Vancouver:

Li L. DESIGN OF MULTI-VALUED LOGIC CELLS USING SINGLE-ELECTRON DEVICES. [Internet] [Masters thesis]. University of Windsor; 2016. [cited 2019 Aug 22]. Available from: https://scholar.uwindsor.ca/etd/5743.

Council of Science Editors:

Li L. DESIGN OF MULTI-VALUED LOGIC CELLS USING SINGLE-ELECTRON DEVICES. [Masters Thesis]. University of Windsor; 2016. Available from: https://scholar.uwindsor.ca/etd/5743


McMaster University

16. Hong, Jizhan. Immediate expansions by valuation of fields.

Degree: PhD, 2013, McMaster University

The main subject of investigation is the so-called "immediate expansion'' phenomenon in various first-order valued-field structures over the corresponding underlying field structures. In particular,… (more)

Subjects/Keywords: valuation; definable; immediate expansions; separably closed valued fields; valued o-minimal fields; algebraically closed valued fields; intermediate structures; Algebra; Algebraic Geometry; Logic and Foundations; Algebra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hong, J. (2013). Immediate expansions by valuation of fields. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/13278

Chicago Manual of Style (16th Edition):

Hong, Jizhan. “Immediate expansions by valuation of fields.” 2013. Doctoral Dissertation, McMaster University. Accessed August 22, 2019. http://hdl.handle.net/11375/13278.

MLA Handbook (7th Edition):

Hong, Jizhan. “Immediate expansions by valuation of fields.” 2013. Web. 22 Aug 2019.

Vancouver:

Hong J. Immediate expansions by valuation of fields. [Internet] [Doctoral dissertation]. McMaster University; 2013. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/11375/13278.

Council of Science Editors:

Hong J. Immediate expansions by valuation of fields. [Doctoral Dissertation]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13278


Georgia Tech

17. Zhang, Jiheng. Limited processor sharing queues and multi-server queues.

Degree: PhD, Industrial and Systems Engineering, 2009, Georgia Tech

 We study two classes of stochastic systems, the limited processor sharing system and the multi-server system. They share the common feature that multiple jobs/customers are… (more)

Subjects/Keywords: Invariant manifold; State space collapse; Measure valued process; Pimited processor pharing; Many server queue; Stochastic systems; Queuing theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, J. (2009). Limited processor sharing queues and multi-server queues. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/34825

Chicago Manual of Style (16th Edition):

Zhang, Jiheng. “Limited processor sharing queues and multi-server queues.” 2009. Doctoral Dissertation, Georgia Tech. Accessed August 22, 2019. http://hdl.handle.net/1853/34825.

MLA Handbook (7th Edition):

Zhang, Jiheng. “Limited processor sharing queues and multi-server queues.” 2009. Web. 22 Aug 2019.

Vancouver:

Zhang J. Limited processor sharing queues and multi-server queues. [Internet] [Doctoral dissertation]. Georgia Tech; 2009. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/1853/34825.

Council of Science Editors:

Zhang J. Limited processor sharing queues and multi-server queues. [Doctoral Dissertation]. Georgia Tech; 2009. Available from: http://hdl.handle.net/1853/34825


Universitat Autònoma de Barcelona

18. Béjar Torres, Ramón. Systematic and local search algorithms for regular-SAT.

Degree: Departament d'Informàtica, 2000, Universitat Autònoma de Barcelona

Subjects/Keywords: Many-valued logics; Automated deduction; Satisfiabiliy; Ciències Experimentals; 510

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Béjar Torres, R. (2000). Systematic and local search algorithms for regular-SAT. (Thesis). Universitat Autònoma de Barcelona. Retrieved from http://hdl.handle.net/10803/3018

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

Béjar Torres, Ramón. “Systematic and local search algorithms for regular-SAT.” 2000. Thesis, Universitat Autònoma de Barcelona. Accessed August 22, 2019. http://hdl.handle.net/10803/3018.

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

MLA Handbook (7th Edition):

Béjar Torres, Ramón. “Systematic and local search algorithms for regular-SAT.” 2000. Web. 22 Aug 2019.

Vancouver:

Béjar Torres R. Systematic and local search algorithms for regular-SAT. [Internet] [Thesis]. Universitat Autònoma de Barcelona; 2000. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/10803/3018.

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

Council of Science Editors:

Béjar Torres R. Systematic and local search algorithms for regular-SAT. [Thesis]. Universitat Autònoma de Barcelona; 2000. Available from: http://hdl.handle.net/10803/3018

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

19. Novak, Ashley. Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications.

Degree: MA, Electrical and Computer Engineering, 2012, National Library of Canada

 Due to the ubiquity of electronic communication systems in consumers' lives, it is necessary to ensure that the sensitive information being transmitted is not accessible… (more)

Subjects/Keywords: Applied sciences; Constant power; Cryptography; Current-mode logic; Hardware; Multiple-valued adder; Power analysis attack

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Novak, A. (2012). Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications. (Masters Thesis). National Library of Canada. Retrieved from http://scholar.uwindsor.ca/etd/4833

Chicago Manual of Style (16th Edition):

Novak, Ashley. “Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications.” 2012. Masters Thesis, National Library of Canada. Accessed August 22, 2019. http://scholar.uwindsor.ca/etd/4833.

MLA Handbook (7th Edition):

Novak, Ashley. “Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications.” 2012. Web. 22 Aug 2019.

Vancouver:

Novak A. Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications. [Internet] [Masters thesis]. National Library of Canada; 2012. [cited 2019 Aug 22]. Available from: http://scholar.uwindsor.ca/etd/4833.

Council of Science Editors:

Novak A. Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications. [Masters Thesis]. National Library of Canada; 2012. Available from: http://scholar.uwindsor.ca/etd/4833


University of California – San Diego

20. Moroto, Robert Hiroshi. Leveraging Prior Knowledge for Performance Improvement in Control, Estimation, and Identification.

Degree: Engineering Sciences (Mechanical Engineering), 2017, University of California – San Diego

 In many practical engineering applications, a significant portion of the available information is excluded from the design process due to a lack of obvious mechanisms… (more)

Subjects/Keywords: Engineering; a priori information; feedforward; forecast; gas turbine; logic-valued; system identification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moroto, R. H. (2017). Leveraging Prior Knowledge for Performance Improvement in Control, Estimation, and Identification. (Thesis). University of California – San Diego. Retrieved from http://www.escholarship.org/uc/item/1b43j359

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

Moroto, Robert Hiroshi. “Leveraging Prior Knowledge for Performance Improvement in Control, Estimation, and Identification.” 2017. Thesis, University of California – San Diego. Accessed August 22, 2019. http://www.escholarship.org/uc/item/1b43j359.

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

MLA Handbook (7th Edition):

Moroto, Robert Hiroshi. “Leveraging Prior Knowledge for Performance Improvement in Control, Estimation, and Identification.” 2017. Web. 22 Aug 2019.

Vancouver:

Moroto RH. Leveraging Prior Knowledge for Performance Improvement in Control, Estimation, and Identification. [Internet] [Thesis]. University of California – San Diego; 2017. [cited 2019 Aug 22]. Available from: http://www.escholarship.org/uc/item/1b43j359.

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

Council of Science Editors:

Moroto RH. Leveraging Prior Knowledge for Performance Improvement in Control, Estimation, and Identification. [Thesis]. University of California – San Diego; 2017. Available from: http://www.escholarship.org/uc/item/1b43j359

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


University of Windsor

21. Novak, Ashley. Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications.

Degree: MA, Electrical and Computer Engineering, 2012, University of Windsor

 Due to the ubiquity of electronic communication systems in consumers' lives, it is necessary to ensure that the sensitive information being transmitted is not accessible… (more)

Subjects/Keywords: Applied sciences; Constant power; Cryptography; Current-mode logic; Hardware; Multiple-valued adder; Power analysis attack

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Novak, A. (2012). Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications. (Masters Thesis). University of Windsor. Retrieved from https://scholar.uwindsor.ca/etd/4833

Chicago Manual of Style (16th Edition):

Novak, Ashley. “Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications.” 2012. Masters Thesis, University of Windsor. Accessed August 22, 2019. https://scholar.uwindsor.ca/etd/4833.

MLA Handbook (7th Edition):

Novak, Ashley. “Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications.” 2012. Web. 22 Aug 2019.

Vancouver:

Novak A. Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications. [Internet] [Masters thesis]. University of Windsor; 2012. [cited 2019 Aug 22]. Available from: https://scholar.uwindsor.ca/etd/4833.

Council of Science Editors:

Novak A. Mixed-Signal Carry Look-Ahead Adder with Constant Power for Cryptographic Applications. [Masters Thesis]. University of Windsor; 2012. Available from: https://scholar.uwindsor.ca/etd/4833


University of Southern California

22. Saifhashemi, Arash. Power optimization of asynchronous pipelines using conditioning and reconditioning based on a three-valued logic model.

Degree: PhD, Electrical Engineering, 2012, University of Southern California

 Asynchronous circuit design has long been considered a suitable alternative to synchronous design due to its potential for achieving lower power consumption, higher robustness to… (more)

Subjects/Keywords: asynchronous circuit; three-valued logic; 3VL; reconditioning; conditioning; operand isolation; formal verification; logic equivalence; Proteus; SystemVerilogCSP; SVC; SVC2RTL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Saifhashemi, A. (2012). Power optimization of asynchronous pipelines using conditioning and reconditioning based on a three-valued logic model. (Doctoral Dissertation). University of Southern California. Retrieved from http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/123889/rec/5148

Chicago Manual of Style (16th Edition):

Saifhashemi, Arash. “Power optimization of asynchronous pipelines using conditioning and reconditioning based on a three-valued logic model.” 2012. Doctoral Dissertation, University of Southern California. Accessed August 22, 2019. http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/123889/rec/5148.

MLA Handbook (7th Edition):

Saifhashemi, Arash. “Power optimization of asynchronous pipelines using conditioning and reconditioning based on a three-valued logic model.” 2012. Web. 22 Aug 2019.

Vancouver:

Saifhashemi A. Power optimization of asynchronous pipelines using conditioning and reconditioning based on a three-valued logic model. [Internet] [Doctoral dissertation]. University of Southern California; 2012. [cited 2019 Aug 22]. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/123889/rec/5148.

Council of Science Editors:

Saifhashemi A. Power optimization of asynchronous pipelines using conditioning and reconditioning based on a three-valued logic model. [Doctoral Dissertation]. University of Southern California; 2012. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/123889/rec/5148


University of Windsor

23. Bird, Peter D. The application of multi-valued logic to the implementation of Residue Number System Hardware.

Degree: MS, Electrical and Computer Engineering, 1987, University of Windsor

Subjects/Keywords: APPLICATION; HARDWARE; IMPLEMENTATION; LOGIC; MULTI; NUMBER; RESIDUE; SYSTEM; VALUED

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bird, P. D. (1987). The application of multi-valued logic to the implementation of Residue Number System Hardware. (Masters Thesis). University of Windsor. Retrieved from https://scholar.uwindsor.ca/etd/6805

Chicago Manual of Style (16th Edition):

Bird, Peter D. “The application of multi-valued logic to the implementation of Residue Number System Hardware.” 1987. Masters Thesis, University of Windsor. Accessed August 22, 2019. https://scholar.uwindsor.ca/etd/6805.

MLA Handbook (7th Edition):

Bird, Peter D. “The application of multi-valued logic to the implementation of Residue Number System Hardware.” 1987. Web. 22 Aug 2019.

Vancouver:

Bird PD. The application of multi-valued logic to the implementation of Residue Number System Hardware. [Internet] [Masters thesis]. University of Windsor; 1987. [cited 2019 Aug 22]. Available from: https://scholar.uwindsor.ca/etd/6805.

Council of Science Editors:

Bird PD. The application of multi-valued logic to the implementation of Residue Number System Hardware. [Masters Thesis]. University of Windsor; 1987. Available from: https://scholar.uwindsor.ca/etd/6805

24. Rückert, Helge. Dialogues as a dynamic framework for logic.

Degree: 2007, Department of Philosophy, Leiden University

 Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations.… (more)

Subjects/Keywords: Dialogical Logic; Non-Classical Logic; Game-Theoretical Semantics; Free Logic; Modal Logic; Relevance Logic; Connexive Logic; Linear Logic; Multi-valued Logic; Dialogical Logic; Non-Classical Logic; Game-Theoretical Semantics; Free Logic; Modal Logic; Relevance Logic; Connexive Logic; Linear Logic; Multi-valued Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rückert, H. (2007). Dialogues as a dynamic framework for logic. (Doctoral Dissertation). Department of Philosophy, Leiden University. Retrieved from http://hdl.handle.net/1887/12099

Chicago Manual of Style (16th Edition):

Rückert, Helge. “Dialogues as a dynamic framework for logic.” 2007. Doctoral Dissertation, Department of Philosophy, Leiden University. Accessed August 22, 2019. http://hdl.handle.net/1887/12099.

MLA Handbook (7th Edition):

Rückert, Helge. “Dialogues as a dynamic framework for logic.” 2007. Web. 22 Aug 2019.

Vancouver:

Rückert H. Dialogues as a dynamic framework for logic. [Internet] [Doctoral dissertation]. Department of Philosophy, Leiden University; 2007. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/1887/12099.

Council of Science Editors:

Rückert H. Dialogues as a dynamic framework for logic. [Doctoral Dissertation]. Department of Philosophy, Leiden University; 2007. Available from: http://hdl.handle.net/1887/12099


Universidade do Rio Grande do Sul

25. Silva, Ricardo Cunha Gonçalves da. Lógica quaternária de alto desempenho e baixo consumo para circuitos VLSI.

Degree: 2007, Universidade do Rio Grande do Sul

Desde a década de 60, o aprimoramento das técnicas de fabricação de circuitos integrados que usam lógica binária tem levado ao aumento exponencial na densidade… (more)

Subjects/Keywords: Multiple valued logic; Microeletrônica; Vlsi; Quaternary logic; Desempenho : Circuitos integrados; VLSI circuits; FPGA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, R. C. G. d. (2007). Lógica quaternária de alto desempenho e baixo consumo para circuitos VLSI. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/13121

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

Silva, Ricardo Cunha Gonçalves da. “Lógica quaternária de alto desempenho e baixo consumo para circuitos VLSI.” 2007. Thesis, Universidade do Rio Grande do Sul. Accessed August 22, 2019. http://hdl.handle.net/10183/13121.

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

MLA Handbook (7th Edition):

Silva, Ricardo Cunha Gonçalves da. “Lógica quaternária de alto desempenho e baixo consumo para circuitos VLSI.” 2007. Web. 22 Aug 2019.

Vancouver:

Silva RCGd. Lógica quaternária de alto desempenho e baixo consumo para circuitos VLSI. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2007. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/10183/13121.

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

Council of Science Editors:

Silva RCGd. Lógica quaternária de alto desempenho e baixo consumo para circuitos VLSI. [Thesis]. Universidade do Rio Grande do Sul; 2007. Available from: http://hdl.handle.net/10183/13121

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


Georgia State University

26. Qiu, Yu. Statistical Genetic Interval-Valued Type-2 Fuzzy System and its Application.

Degree: MS, Computer Science, 2006, Georgia State University

 In recent years, the type-2 fuzzy sets theory has been used to model and minimize the effects of uncertainties in rule-base fuzzy logic system. In… (more)

Subjects/Keywords: statistical interval-valued fuzzy reasoning; type-2 fuzzy logic; Interval-valued fuzzy logic; fuzzy control; genetic algorithm; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qiu, Y. (2006). Statistical Genetic Interval-Valued Type-2 Fuzzy System and its Application. (Thesis). Georgia State University. Retrieved from https://scholarworks.gsu.edu/cs_theses/22

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

Qiu, Yu. “Statistical Genetic Interval-Valued Type-2 Fuzzy System and its Application.” 2006. Thesis, Georgia State University. Accessed August 22, 2019. https://scholarworks.gsu.edu/cs_theses/22.

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

MLA Handbook (7th Edition):

Qiu, Yu. “Statistical Genetic Interval-Valued Type-2 Fuzzy System and its Application.” 2006. Web. 22 Aug 2019.

Vancouver:

Qiu Y. Statistical Genetic Interval-Valued Type-2 Fuzzy System and its Application. [Internet] [Thesis]. Georgia State University; 2006. [cited 2019 Aug 22]. Available from: https://scholarworks.gsu.edu/cs_theses/22.

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

Council of Science Editors:

Qiu Y. Statistical Genetic Interval-Valued Type-2 Fuzzy System and its Application. [Thesis]. Georgia State University; 2006. Available from: https://scholarworks.gsu.edu/cs_theses/22

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

27. Morais, Eduardo Menezes de. Answer set programming probabilístico.

Degree: Mestrado, Ciência da Computação, 2012, University of São Paulo

Este trabalho introduz uma técnica chamada Answer Set Programming Probabilístico (PASP), que permite a modelagem de teorias complexas e a verificação de sua consistência em… (more)

Subjects/Keywords: answer set programming (ASP); answer set programming (ASP); logic programming; lógica probabilística; many-to-one reduction; probabilistic logic; probabilistic satisfiability (PSAT); programação lógica; redução muitos-para-um; satisfazibilidade probabilística (PSAT)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Morais, E. M. d. (2012). Answer set programming probabilístico. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/ ;

Chicago Manual of Style (16th Edition):

Morais, Eduardo Menezes de. “Answer set programming probabilístico.” 2012. Masters Thesis, University of São Paulo. Accessed August 22, 2019. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/ ;.

MLA Handbook (7th Edition):

Morais, Eduardo Menezes de. “Answer set programming probabilístico.” 2012. Web. 22 Aug 2019.

Vancouver:

Morais EMd. Answer set programming probabilístico. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2019 Aug 22]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/ ;.

Council of Science Editors:

Morais EMd. Answer set programming probabilístico. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/ ;


Louisiana State University

28. Venkata, Harish N. Ternary and quaternary logic to binary bit conversion CMOS integrated circuit design using multiple input floating gate MOSFETs.

Degree: MSEE, Electrical and Computer Engineering, 2002, Louisiana State University

 Multiple-input floating gate MOSFETs and floating gate potential diagrams have been used for conversion of ternary-valued input and quaternary-valued input into corresponding binary-valued output in… (more)

Subjects/Keywords: floating gate potential diagrams; multi-valued logic; quaternary logic; ternary logic; multiple input floating gate MOSFETs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Venkata, H. N. (2002). Ternary and quaternary logic to binary bit conversion CMOS integrated circuit design using multiple input floating gate MOSFETs. (Masters Thesis). Louisiana State University. Retrieved from etd-1113102-222139 ; https://digitalcommons.lsu.edu/gradschool_theses/2548

Chicago Manual of Style (16th Edition):

Venkata, Harish N. “Ternary and quaternary logic to binary bit conversion CMOS integrated circuit design using multiple input floating gate MOSFETs.” 2002. Masters Thesis, Louisiana State University. Accessed August 22, 2019. etd-1113102-222139 ; https://digitalcommons.lsu.edu/gradschool_theses/2548.

MLA Handbook (7th Edition):

Venkata, Harish N. “Ternary and quaternary logic to binary bit conversion CMOS integrated circuit design using multiple input floating gate MOSFETs.” 2002. Web. 22 Aug 2019.

Vancouver:

Venkata HN. Ternary and quaternary logic to binary bit conversion CMOS integrated circuit design using multiple input floating gate MOSFETs. [Internet] [Masters thesis]. Louisiana State University; 2002. [cited 2019 Aug 22]. Available from: etd-1113102-222139 ; https://digitalcommons.lsu.edu/gradschool_theses/2548.

Council of Science Editors:

Venkata HN. Ternary and quaternary logic to binary bit conversion CMOS integrated circuit design using multiple input floating gate MOSFETs. [Masters Thesis]. Louisiana State University; 2002. Available from: etd-1113102-222139 ; https://digitalcommons.lsu.edu/gradschool_theses/2548


Indian Institute of Science

29. Bhat, Shankaranarayana M. Current-Mode Techniques In The Synthesis And Applications Of Analog And Multi-Valued Logic In Mixed Signal Design.

Degree: 2006, Indian Institute of Science

 The development of modern integration technologies is normally driven by the needs of digital CMOS circuit design. Rapid progress in silicon VLSI technologies has made… (more)

Subjects/Keywords: Signal Processing - Digital Techniques; Multiple-Valued Logic (MVL); CMOS Design; Complementary Metal Oxide Semiconductors; Genetic Algorithm; Current-Mode Circuits; Circuit Design; Current-Mode Signaling; Communication Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bhat, S. M. (2006). Current-Mode Techniques In The Synthesis And Applications Of Analog And Multi-Valued Logic In Mixed Signal Design. (Thesis). Indian Institute of Science. Retrieved from http://hdl.handle.net/2005/373

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

Bhat, Shankaranarayana M. “Current-Mode Techniques In The Synthesis And Applications Of Analog And Multi-Valued Logic In Mixed Signal Design.” 2006. Thesis, Indian Institute of Science. Accessed August 22, 2019. http://hdl.handle.net/2005/373.

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

MLA Handbook (7th Edition):

Bhat, Shankaranarayana M. “Current-Mode Techniques In The Synthesis And Applications Of Analog And Multi-Valued Logic In Mixed Signal Design.” 2006. Web. 22 Aug 2019.

Vancouver:

Bhat SM. Current-Mode Techniques In The Synthesis And Applications Of Analog And Multi-Valued Logic In Mixed Signal Design. [Internet] [Thesis]. Indian Institute of Science; 2006. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/2005/373.

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

Council of Science Editors:

Bhat SM. Current-Mode Techniques In The Synthesis And Applications Of Analog And Multi-Valued Logic In Mixed Signal Design. [Thesis]. Indian Institute of Science; 2006. Available from: http://hdl.handle.net/2005/373

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

30. Van Gasse, Bart. Interval-valued algebras and fuzzy logics.

Degree: 2010, Ghent University

Subjects/Keywords: Mathematics and Statistics; fuzzy logic; algebra; Interval-valued structures; residuated lattices; filters

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van Gasse, B. (2010). Interval-valued algebras and fuzzy logics. (Thesis). Ghent University. Retrieved from http://hdl.handle.net/1854/LU-1025259

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

Van Gasse, Bart. “Interval-valued algebras and fuzzy logics.” 2010. Thesis, Ghent University. Accessed August 22, 2019. http://hdl.handle.net/1854/LU-1025259.

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

MLA Handbook (7th Edition):

Van Gasse, Bart. “Interval-valued algebras and fuzzy logics.” 2010. Web. 22 Aug 2019.

Vancouver:

Van Gasse B. Interval-valued algebras and fuzzy logics. [Internet] [Thesis]. Ghent University; 2010. [cited 2019 Aug 22]. Available from: http://hdl.handle.net/1854/LU-1025259.

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

Council of Science Editors:

Van Gasse B. Interval-valued algebras and fuzzy logics. [Thesis]. Ghent University; 2010. Available from: http://hdl.handle.net/1854/LU-1025259

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

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

.