Advanced search options

Sorted by: relevance · author · university · date | New search

You searched for `subject:( many valued logic)`

.
Showing records 1 – 30 of
5341 total matches.

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

Search Limiters

Dates

- 2015 – 2019 (1623)
- 2010 – 2014 (2034)
- 2005 – 2009 (1005)
- 2000 – 2004 (315)
- 1995 – 1999 (181)
- 1990 – 1994 (120)
- 1985 – 1989 (124)
- 1980 – 1984 (66)
- 1975 – 1979 (60)
- 1970 – 1974 (57)

Universities

- Brno University of Technology (253)
- University of São Paulo (115)
- ETH Zürich (90)
- Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学 (70)
- University of Oxford (69)
- The Ohio State University (67)
- Uppsala University (66)
- Pontifical Catholic University of Rio de Janeiro (64)
- Universidade do Rio Grande do Norte (64)
- Virginia Tech (62)
- National University of Singapore (61)
- Universidade do Rio Grande do Sul (59)
- University of Illinois – Urbana-Champaign (55)
- University of Canterbury (49)
- University of Waterloo (49)

Department

- Electrical and Computer Engineering (126)
- Informatique (112)
- Electrical Engineering (109)
- Computer Science (108)
- Mathematics (82)
- Philosophy (54)
- Physics (43)
- Mechanical Engineering (36)
- Algebra and Geometry (31)
- Computer Engineering (31)
- Computer Science and Engineering (27)
- Business Studies (26)
- Computer Science & Engineering (25)
- Philosophie (24)
- Department of Computer Science (21)

Degrees

- PhD (1001)
- Docteur es (359)
- MS (320)
- Master (80)
- MA (69)
- Mestrado (55)
- MS(M.S.) in Electrical and Computer Engineering (13)
- M. Phil. (10)

Levels

- doctoral (1838)
- masters (816)
- thesis (57)
- doctor of philosophy ph.d. (14)

Languages

Country

- US (1542)
- Brazil (503)
- Canada (434)
- France (359)
- UK (344)
- Sweden (281)
- Czech Republic (254)
- Greece (192)
- Australia (179)
- Netherlands (138)
- Switzerland (108)
- Japan (107)
- Spain (104)
- New Zealand (98)
- South Africa (96)

▼ 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

URL: http://hdl.handle.net/2429/19976

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Virginia Tech

2. Johnson, Cory. Suggestions for Deontic Logicians.

Degree: MA, Philosophy, 2013, Virginia Tech

URL: http://hdl.handle.net/10919/19221

► 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Chicago Manual of Style (16^{th} Edition):

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

MLA Handbook (7^{th} 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

URL: http://hdl.handle.net/10393/35173

► 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/10133/3208

► 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://pdxscholar.library.pdx.edu/open_access_etds/2109

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://pdxscholar.library.pdx.edu/open_access_etds/1090

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://pdxscholar.library.pdx.edu/open_access_etds/1152

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://fedorabg.bg.ac.rs/fedora/get/o:15313/bdef:Content/get

►

Математика - Математичка логика / 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 Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://scholarworks.umass.edu/theses/1151

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/2434/150078

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://hdl.handle.net/2434/172442

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://orbilu.uni.lu/handle/10993/7569

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/2003/20169

►

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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

Not specified: Masters Thesis or Doctoral Dissertation

Univerzitet u Beogradu

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

Degree: Fakultet organizacionih nauka, 2016, Univerzitet u Beogradu

URL: https://fedorabg.bg.ac.rs/fedora/get/o:13657/bdef:Content/get

►

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

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

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://scholar.uwindsor.ca/etd/5743

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/11375/13278

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/1853/34825

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10803/3018

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

Record Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://scholar.uwindsor.ca/etd/4833

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://www.escholarship.org/uc/item/1b43j359

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://scholar.uwindsor.ca/etd/4833

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/123889/rec/5148

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: https://scholar.uwindsor.ca/etd/6805

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

Record Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/1887/12099

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/10183/13121

►

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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: https://scholarworks.gsu.edu/cs_theses/22

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

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

URL: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/ ;

►

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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: etd-1113102-222139 ; https://digitalcommons.lsu.edu/gradschool_theses/2548

► 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 Details Similar Records

❌

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

APA (6^{th} 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 (16^{th} 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 (7^{th} 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

URL: http://hdl.handle.net/2005/373

► 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 Details Similar Records

❌

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

APA (6^{th} 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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

Not specified: Masters Thesis or Doctoral Dissertation

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

Degree: 2010, Ghent University

URL: http://hdl.handle.net/1854/LU-1025259

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

Record Details Similar Records

❌

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

APA (6^{th} Edition):

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

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} 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.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} 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.

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

Not specified: Masters Thesis or Doctoral Dissertation