Log in

Relevant bibliographies by topics / Logic vector

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers

Academic literature on the topic 'Logic vector'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logic vector.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logic vector"

1

Gharibi, W., A. Hahanova, V. Hahanov, S. Chumachenko, E. Litvinova, and I. Hahanov. "Vector-deductive Memory-based Transactions for Fault-as-address Simulation." Èlektronnoe modelirovanie 45, no. 1 (2023): 3–26. http://dx.doi.org/10.15407/emodel.45.01.003.

Full text

Abstract:

The main idea is to create logic-free vector computing, using only read-write transactions on address memory. The strategic goal is to create a deterministic vector-quantum computing using photons for read-write transactions on stable subatomic memory elements. The main task is to implement new vector computing models and methods based on primitive read-write transactions in vector flexible interpretive fault modeling and simulation technology, where data is used as addresses for processing the data itself. The essence of vector computing is read-write transactions on vector data structures in

APA, Harvard, Vancouver, ISO, and other styles

2

Hahanov, V. I., S. V. Chumachenko, E. I. Lytvynova, et al. "VECTOR-LOGIC FAULT SIMULATION." Radio Electronics, Computer Science, Control, no. 4 (December 26, 2024): 185–94. https://doi.org/10.15588/1607-3274-2024-4-18.

Full text

Abstract:

Context. The technological trends of Design&Test computing for the IT industry and academic science are determined by the following directions: in-memory computing, immersive computing, AI computing, focused on energy saving and reduction of computing time when providing services. A mechanism for simulating faults as addresses on smart data structures is proposed, which eliminates the algorithm for simulating input test sets to obtain a test map for logic functionality. The proposed mechanism is focused on the service of SoC IP-cores under the control of the IEEE 1500 standard, which can b

APA, Harvard, Vancouver, ISO, and other styles

3

Mizraji, Eduardo. "Modalities in vector logic." Notre Dame Journal of Formal Logic 35, no. 2 (1994): 272–83. http://dx.doi.org/10.1305/ndjfl/1094061864.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hahanov, V., S. Chumachenko, Y. Litvinova, et al. "VECTOR-LOGICAL FAULT SIMULATION." Radio Electronics, Computer Science, Control, no. 2 (June 29, 2023): 37. http://dx.doi.org/10.15588/1607-3274-2023-2-5.

Full text

Abstract:

Context. The main idea is the creation of vector-logical in-memory computing (VLC), which uses only read-write transactions on the address memory for faults-as-addresses simulation. There is no traditional logic. VLC is free from processor commands and ALU for computing organization and is therefore focused on implementation in SoC and FPGA. A vector-logical method of deductive matrix synthesis for the transportation of input faults, which has a quadratic computational complexity, is proposed. An inmemory simulator-automata for vector-deductive faults-as-addresses simulation, which based on re

APA, Harvard, Vancouver, ISO, and other styles

5

Gharibi, Wajeb, Vladimir Hahanov, Svetlana Chumachenko, Eugenia Litvinova, Ivan Hahanov, and Irina Hahanova. "Vector-logic computing for faults-as-address deductive simulation." IAES International Journal of Robotics and Automation (IJRA) 12, no. 3 (2023): 274. http://dx.doi.org/10.11591/ijra.v12i3.pp274-288.

Full text

Abstract:

The aim of the research is to create logic-free vector computing, leveraging read-write transactions in memory, to solve the problems of modeling and simulation stuck-at-fault combinations for complex logic elements and digital structures. At the same time, the problem of creating smart data structures based on logical vectors, truth tables, and deductive matrices is considered to simplify algorithms for parallel stuck-at-fault simulation. Vector computing is a computational process based on read-write transactions on bits of a binary vector of functionality, where the input data and faults ar

APA, Harvard, Vancouver, ISO, and other styles

6

Wajeb, Gharibi, Hahanov Vladimir, Chumachenko Svetlana, Litvinova Eugenia, Hahanov Ivan, and Hahanova Irina. "Vector-logic computing for faults-as-address deductive simulation." IAES International Journal of Robotics and Automation (IJRA) 12, no. 3 (2023): 274–88. https://doi.org/10.11591/ijra.v12i3.pp274-288.

Full text

Abstract:

The aim of the research is to create logic-free vector computing, leveraging read-write transactions in memory, to solve the problems of modeling and simulation stuck-at-fault combinations for complex logic elements and digital structures. At the same time, the problem of creating smart data structures based on logical vectors, truth tables, and deductive matrices is considered to simplify algorithms for parallel stuck-at-fault simulation. Vector computing is a computational process based on read-write transactions on bits of a binary vector of functionality, where the input data and faults ar

APA, Harvard, Vancouver, ISO, and other styles

7

Westphal, Jonathan, and Jim Hardy. "Logic as a Vector System." Journal of Logic and Computation 15, no. 5 (2005): 751–65. http://dx.doi.org/10.1093/logcom/exi040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Mizraji, Eduardo. "The Operators of Vector Logic." Mathematical Logic Quarterly 42, no. 1 (1996): 27–40. http://dx.doi.org/10.1002/malq.19960420104.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kuzichev, Andrey A. "ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38, no. 1 (1992): 575–77. http://dx.doi.org/10.1002/malq.19920380155.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Baltag, Alexandru, and Johan van Benthem. "A Simple Logic of Functional Dependence." Journal of Philosophical Logic 50, no. 5 (2021): 939–1005. http://dx.doi.org/10.1007/s10992-020-09588-z.

Full text

Abstract:

AbstractThis paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: cont

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Logic vector"

1

Zhang, Jianming. "Fuzzy logic control of a DQ-domain vector mapped three-phase inverter." Thesis, Queensland University of Technology, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Lee, Bong-ha. "Active power system compensator with fuzzy vector controller." Thesis, Queensland University of Technology, 2002. https://eprints.qut.edu.au/36152/1/36152_Lee_2002.pdf.

Full text

Abstract:

Active power compensation of reactive power and harmonic distortion caused by non-linear loads can be achieved by using a current controlled, voltage-source inverter based compensator. The compensation technique used injected waveform control along with vector control based on instantaneous power theory allows a general purpose inverter based compensator to perform full compensation of var, power factor and harmonic distortion and other non-linear components. Dr. Keith Hoffman has developed an instantaneous control algorithm capable of eliminating harmonics and calculating the in-phase fund

APA, Harvard, Vancouver, ISO, and other styles

3

Butt, Casey Benjamin. "Simplified fuzzy logic controller based vector control of an interior permanent magnet motor /." Internet access available to MUN users only, 2003. http://collections.mun.ca/u?/theses,155545.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Draier, Benny. "Test vector generation and compaction for easily testable PLAs." Thesis, McGill University, 1988. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63970.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ju, Wen. "Novel Application of Neutrosophic Logic in Classifiers Evaluated under Region-Based Image Categorization System." DigitalCommons@USU, 2011. https://digitalcommons.usu.edu/etd/887.

Full text

Abstract:

Neutrosophic logic is a relatively new logic that is a generalization of fuzzy logic. In this dissertation, for the first time, neutrosophic logic is applied to the field of classifiers where a support vector machine (SVM) is adopted as the example to validate the feasibility and effectiveness of neutrosophic logic. The proposed neutrosophic set is integrated into a reformulated SVM, and the performance of the achieved classifier N-SVM is evaluated under an image categorization system. Image categorization is an important yet challenging research topic in computer vision. In this dissertation,

APA, Harvard, Vancouver, ISO, and other styles

6

Morillas, Gómez Samuel. "Fuzzy metrics and fuzzy logic for colour image filtering." Doctoral thesis, Universitat Politècnica de València, 2008. http://hdl.handle.net/10251/1879.

Full text

Abstract:

El filtrado de imagen es una tarea fundamental para la mayoría de los sistemas de visión por computador cuando las imágenes se usan para análisis automático o, incluso, para inspección humana. De hecho, la presencia de ruido en una imagen puede ser un grave impedimento para las sucesivas tareas de procesamiento de imagen como, por ejemplo, la detección de bordes o el reconocimiento de patrones u objetos y, por lo tanto, el ruido debe ser reducido. En los últimos años el interés por utilizar imágenes en color se ha visto incrementado de forma significativa en una gran variedad de aplicacion

APA, Harvard, Vancouver, ISO, and other styles

7

Karanayil, Baburaj Electrical Engineering &amp Telecommunications Faculty of Engineering UNSW. "Parameter identification for vector contolled induction motor drives using artificial neural networks and fuzzy principles." Awarded by:University of New South Wales. Electrical Engineering and Telecommunications, 2005. http://handle.unsw.edu.au/1959.4/21999.

Full text

Abstract:

This thesis analyses, develops and implements a very fast on-line parameter identification algorithm for both rotor and stator resistances of a rotor flux oriented induction motor drive, with the best possible convergence results using artificial neural networks and fuzzy logic systems. The thesis focuses mainly on identifying the rotor resistance, which is the most critical parameter for RFOC. Limitations of PI and fuzzy logic based estimators were identified. Artificial neural network based estimators were found to track the rotor and stator resistances of the drive accurately and fast. The

APA, Harvard, Vancouver, ISO, and other styles

8

Azcue, Puma José Luis 1981. "Estratégias de controle direto de torque para motores de indução trifásicos usando controladores fuzzy tipo Takagi-Sugeno e controladores por modos deslizantes." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260745.

Full text

Abstract:

Orientador: Ernesto Ruppert Filho, Alfeu Joãozinho Sguarezi Filho<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação<br>Made available in DSpace on 2018-08-22T11:09:49Z (GMT). No. of bitstreams: 1 AzcuePuma_JoseLuis_D.pdf: 5829554 bytes, checksum: 6f4467c529a778cc79e42550a272a6b3 (MD5) Previous issue date: 2013<br>Resumo: Na presente tese de doutorado propõe estratégias de controle por orientação direta de campo (FOC direto) e de controle direto de torque (CDT) com emprego de controladores fuzzy do tipo Takagi-Sugeno (fuzzy T-S). Propõe-

APA, Harvard, Vancouver, ISO, and other styles

9

Azcue, Puma José Luis 1981. "Controle direto de torque do motor de indução trifásico usando controlador Fuzzy tipo PI autoajustável." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/258996.

Full text

Abstract:

Orientador: Ernesto Ruppert Filho<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação<br>Made available in DSpace on 2018-08-16T21:19:34Z (GMT). No. of bitstreams: 1 AzcuePuma_JoseLuis_M.pdf: 8979349 bytes, checksum: a4b6502489a503823c332031a587452b (MD5) Previous issue date: 2010<br>Resumo: Neste trabalho apresenta-se o desempenho de um controlador fuzzy tipo PI autoajustável (FPIA) para o uso no esquema de controle direto de torque com modulação por vetores espaciais apresentado por J. Rodriguez e outros em 2004. Apresenta-se tamb

APA, Harvard, Vancouver, ISO, and other styles

10

Chen, Xiujuan. "Computational Intelligence Based Classifier Fusion Models for Biomedical Classification Applications." Digital Archive @ GSU, 2007. http://digitalarchive.gsu.edu/cs_diss/26.

Full text

Abstract:

The generalization abilities of machine learning algorithms often depend on the algorithms’ initialization, parameter settings, training sets, or feature selections. For instance, SVM classifier performance largely relies on whether the selected kernel functions are suitable for real application data. To enhance the performance of individual classifiers, this dissertation proposes classifier fusion models using computational intelligence knowledge to combine different classifiers. The first fusion model called T1FFSVM combines multiple SVM classifiers through constructing a fuzzy logic system.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Logic vector"

1

Kutateladze, S. S. Nonstandard Analysis and Vector Lattices. Springer Netherlands, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Robyns, Benoit. Vector Control of Induction Machines: Desensitisation and Optimisation Through Fuzzy Logic. Springer London, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Büning, H. Kleine. Projections of vector addition system reachability sets are semilinear. Dept. of Computer Science, Stanford University, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Kusraev, Anatoly G. Dominated Operators. Springer Netherlands, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hasso, Ezideen Ali. An investigation of real-time generation of test vectors for ASIC logic verification. University of Manchester, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Daydé, Michel. High Performance Computing for Computational Science - VECPAR 2012: 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers. Springer Berlin Heidelberg, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Degobert, Philippe, Benoit Robyns, Bruno Francois, and Jean-Paul Hautier. Vector Control of Induction Machines: Desensitisation and Optimisation Through Fuzzy Logic. Springer, 2014.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Degobert, Philippe, Benoit Robyns, and Bruno Francois. Vector Control of Induction Machines: Desensitisation and Optimisation Through Fuzzy Logic. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Vector Control Of Induction Machines Desensitisation And Optimisation Through Fuzzy Logic. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Kecman, Vojislav. Learning and Soft Computing: Support Vector Machines, Neural Networks, and Fuzzy Logic Models. MIT Press, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Logic vector"

1

Amer, Mustafa A., and Nehad N. Morsi. "Bounded Linear Transformations Between Probabilistic Normed Vector Spaces." In Fuzzy Logic. Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-2014-2_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Muggleton, Stephen, Huma Lodhi, Ata Amini, and Michael J. E. Sternberg. "Support Vector Inductive Logic Programming." In Discovery Science. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11563983_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Masulli, Francesco, and Stefano Rovetta. "Fuzzy Concepts in Vector Quantization Training." In Fuzzy Logic and Applications. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/10983652_34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Palmigiano, Alessandra, Mattia Panettiere, and Ni Wayan Switrayni. "Correspondence Theory on Vector Spaces." In Logic, Language, Information, and Computation. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-62687-6_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Sadiki, H., Said Melliani, I. Bakhadach, and L. S. Chadli. "On Intuitionistic Fuzzy Vector Spaces." In Recent Advances in Intuitionistic Fuzzy Logic Systems. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02155-9_23.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kroening, Daniel, and Natasha Sharygina. "Approximating Predicate Images for Bit-Vector Logic." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11691372_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Takemura, Akihiro, and Katsumi Inoue. "Gradient-Based Supported Model Computation in Vector Spaces." In Logic Programming and Nonmonotonic Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15707-3_26.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Malchiodi, Dario, and Witold Pedrycz. "Learning Membership Functions for Fuzzy Sets through Modified Support Vector Clustering." In Fuzzy Logic and Applications. Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03200-9_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Barkati, Karim, Haisheng Wang, and Pierre Jouvelot. "Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing." In Functional and Logic Programming. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07151-0_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Niemetz, Aina, Mathias Preiner, and Yoni Zohar. "Scalable Bit-Blasting with Abstractions." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65627-9_9.

Full text

Abstract:

AbstractThe dominant state-of-the-art approach for solving bit-vector formulas in Satisfiability Modulo Theories (SMT) is bit-blasting, an eager reduction to propositional logic. Bit-blasting is surprisingly efficient in practice but does not generally scale well with increasing bit-widths, especially when bit-vector arithmetic is present. In this paper, we present a novel CEGAR-style abstraction-refinement procedure for the theory of fixed-size bit-vectors that significantly improves the scalability of bit-blasting. We provide lemma schemes for various arithmetic bit-vector operators and an a

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logic vector"

1

Aspis, Yaniv, Krysia Broda, Alessandra Russo, and Jorge Lobo. "Stable and Supported Semantics in Continuous Vector Spaces." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/7.

Full text

Abstract:

We introduce a novel approach for the computation of stable and supported models of normal logic programs in continuous vector spaces by a gradient-based search method. Specifically, the application of the immediate consequence operator of a program reduct can be computed in a vector space. To do this, Herbrand interpretations of a propositional program are embedded as 0-1 vectors in $\mathbb{R}^N$ and program reducts are represented as matrices in $\mathbb{R}^{N \times N}$. Using these representations we prove that the underlying semantics of a normal logic program is captured through matrix

APA, Harvard, Vancouver, ISO, and other styles

2

Krishnamurthy, A. K., S. A. Collins, S. C. Ahalt, and D. Stewart. "Optical unit for performing closest-vector selection for application to neural networks." In OSA Annual Meeting. Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.mjj4.

Full text

Abstract:

Selecting a closest or "distinguished" vector from a set of vectors is a fundamental operation in many applications, including self-organizing neural networks. The closest-vector-selection (CVS) operation determines the exemplar vector (drawn from a set of vectors) that is closest to an arbitrary input vector presented to the system. CVS systems are useful in a number of applications, such as self-organizing neural networks for vector quantization. Applications include communication and radar target identification. We present the design of an optical system that performs the CVS operation. The

APA, Harvard, Vancouver, ISO, and other styles

3

Hahanov, V., Wajeb Gharibi, S. Chumachenko, and E. Litvinova. "Vector logic analysis of associative matrices." In Test Symposium (EWDTS). IEEE, 2010. http://dx.doi.org/10.1109/ewdts.2010.5742126.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Vladimir, Hahanov, Chumachenko Svetlana, and Litvinova Eugenia. "Logic vector analysis of associative tables." In 2010 XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD). IEEE, 2010. http://dx.doi.org/10.1109/sm2acd.2010.5672300.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hacimahmud, Abdullayev Vugar, Hanna Khakhanova, and Eugenia Litvinova. "Vector Logic Analysis of Big Data." In 2023 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2023. http://dx.doi.org/10.1109/ewdts59469.2023.10297032.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Botella, Guillermo, Antonio Garcia, Uwe Meyer-Baese, Manuel Rodriguez, M. Carmen Molina, and Luis Parrilla. "Enhanced gradient-based motion vector coprocessor." In 2009 International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2009. http://dx.doi.org/10.1109/fpl.2009.5272369.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

de Groote, P., B. Guillaume, and S. Salvati. "Vector addition tree automata." In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. IEEE, 2004. http://dx.doi.org/10.1109/lics.2004.1319601.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Shashidhara H. R. "Test vector Generation using different logic regression method." In 2016 2nd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT). IEEE, 2016. http://dx.doi.org/10.1109/icatcct.2016.7912097.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ozguner, F., C. Aykanat, and O. Khalid. "Logic fault simulation on a vector hypercube multiprocessor." In the third conference. ACM Press, 1988. http://dx.doi.org/10.1145/63047.63064.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hahanov, Vladimir, Alexander Mishchenko, and Vitaliy Varetsa. "Metrics of vector logic algebra for cyber space." In Test Symposium (EWDTS). IEEE, 2010. http://dx.doi.org/10.1109/ewdts.2010.5742149.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!