Log in

Relevant bibliographies by topics / Common Boolean Logic (CBL) / Journal articles

To see the other types of publications on this topic, follow the link: Common Boolean Logic (CBL).

Journal articles on the topic 'Common Boolean Logic (CBL)'

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 top 50 journal articles for your research on the topic 'Common Boolean Logic (CBL).'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

PinnikaVenkateswarlu and Kalpana Ragutla. "An Efficient SQRT Architecture of Carry Select Adder Design by HA and Common Boolean Logic." SSRG International Journal of Electronics and Communication Engineering 1, no. 8 (2014): 36–41. https://doi.org/10.5281/zenodo.33082.

Full text

Abstract:

As we are aware that carry select adder is the fastest one amongdata processing element, on the other hand due to having pairs of ripple carry adder structure traditional carry select adder consumes more area. So proposed scheme is to developa low power and low area half adder based (CSLA) using simple using common Boolean logic (CBL), where it employs one half adders to perform the summation operation for the common Boolean logic (CBL) and carry zero respectively. Half adder and CBL have to be designed where half adder requires one XOR gate, one AND gate where CBL requires only one NOT as wel

APA, Harvard, Vancouver, ISO, and other styles

2

Priya, Meshram, Mahendra Mithilesh, and Jawarkar Parag. "Designed Implementation of Modified Area Efficient Enhanced Square Root Carry Select Adder." International Journal for Research in Emerging Science and Technology 2, no. 5 (2015): 96–99. https://doi.org/10.5281/zenodo.33092.

Full text

Abstract:

In the design of Integrated Circuits, area occupancy plays a vital role because of increasing the necessity of portable systems. Carry Select Adder (CSLA) is one of the fastest adders used in many data-processing processors to perform fast arithmetic functions. In this paper, an area-efficient carry select adder by sharing the common Boolean logic term (CBL) with BEC is proposed. After logic simplification and sharing partial circuit, only one XOR gate and one inverter gate in each summation operation as well as one AND gate and one inverter gate in each carry-out operation are needed. Based o

APA, Harvard, Vancouver, ISO, and other styles

3

Syed, Mustafaa M., M. Sathish, S. Nivedha, Magribatul Noora A. K. Mohammed, and Sifana T. Safrin. "Design of Carry Select Adder using BEC and Common Boolean Logic." Indian Journal of VLSI Design (IJVLSID) 1, no. 3 (2022): 5–9. https://doi.org/10.54105/ijvlsid.C1205.031322.

Full text

Abstract:

Carry Select Adder (CSLA) is known to be the fastest adder among the conventional adder structure, which uses multiple narrow adders. CSLA has a great scope of reducing area, power consumption, speed and delay. From the structure of regular CSLA using RCA, it consumes large area and power. This proposed work uses a simple and dynamic Gate Level Implementation which reduces the area, delay, power and speed of the regular CSLA. Based on a modified CSLA using BEC the implementation of 8-b, 16-b, 32-b square root CSLA (SQRT CSLA) architecture have been developed. In order to reduce the area and po

APA, Harvard, Vancouver, ISO, and other styles

4

Priya, Meshram, and Sarode Prof.Mamta. "Designing of Modified Area Efficient Square Root Carry Select Adder(SQRT CSLA)." Journal of Emerging Technologies and Innovative Research 2, no. 3 (2015): 530–33. https://doi.org/10.5281/zenodo.33087.

Full text

Abstract:

In the design of Integrated Circuits, The necessity of portable systems is increasing an area occupancy plays a vital role. Square Root Carry Select Adder (SQRT CSLA) is one of the fastest adders which is used in this data-processing processor to perform fast arithmetic functions. In this paper, an area-efficient square root carry select adder(SQRT CSLA design) by sharing Common Boolean logic term (CBL) is proposed The modified architecture has been developed using Binary to Excess-1 converter (BEC). Based on this modification 8-, 16-, 32-, and 64-b square-root CSLA (SQRT CSLA) architecture ha

APA, Harvard, Vancouver, ISO, and other styles

5

Priya, Meshram, and Sarode Prof.Mamta. "Design of Modified Area Efficient Square Root Carry Select Adder (SQRT CSLA)." International Journal of Industrial Electronics and Electrical Engineering, no. 4 (June 17, 2015): 216–19. https://doi.org/10.5281/zenodo.33098.

Full text

Abstract:

In the design of Integrated Circuits, The necessity of portable systems is increasing an area occupancy plays a vital role. Square Root Carry Select Adder (SQRT CSLA) is one of the fastest adders which is used in this data-processing processor to perform fast arithmetic functions. In this paper, an area-efficient square root carry select adder(SQRT CSLA design) by sharing Common Boolean logic term (CBL) is proposed The modified architecture has been developed using Binary to Excess-1 converter (BEC). Based on this modification 8-, 16-, 32-, and 64-b square-root CSLA (SQRT CSLA) architecture ha

APA, Harvard, Vancouver, ISO, and other styles

6

A., Mounika, and Srinivasa Reddy K. "Designing and Performance Evaluation of Carry Select Adder." International Journal of VLSI System Design and Communication systems 3, no. 5 (2015): 0754–57. https://doi.org/10.5281/zenodo.48670.

Full text

Abstract:

In electronics, adder is a digital circuit that performs addition of numbers. To perform fast arithmetic operations, carry select adder (CSA) is one of the fastest adder in processor architectures. This paper presents a modified carry select adder(CSA) that operates at low power and proves more area and delay efficient. Validation of the logic is done through extensive simulations for measuring the power and delay. Simple and efficient gate level modification is used in order to reduce the area, delay and power of CSA.The result analysis shows that the proposed structure(CSA CBL) is better tha

APA, Harvard, Vancouver, ISO, and other styles

7

Saini, Vikas K., Shamim Akhter, and Tanuj Chauhan. "Implementation, Test Pattern Generation, and Comparative Analysis of Different Adder Circuits." VLSI Design 2016 (June 8, 2016): 1–8. http://dx.doi.org/10.1155/2016/1260879.

Full text

Abstract:

Addition usually affects the overall performance of digital systems and an arithmetic function. Adders are most widely used in applications like multipliers, DSP (i.e., FFT, FIR, and IIR). In digital adders, the speed of addition is constrained by the time required to propagate a carry through the adder. Various techniques have been proposed to design fast adders. We have derived architectures for carry-select adder (CSA), Common Boolean Logic (CBL) based adders, ripple carry adder (RCA), and Carry Look-Ahead Adder (CLA) for 8-, 16-, 32-, and 64-bit length. In this work we have done comparativ

APA, Harvard, Vancouver, ISO, and other styles

8

Wright, Adam, Skye Aaron, Allison B. McCoy, et al. "Algorithmic Detection of Boolean Logic Errors in Clinical Decision Support Statements." Applied Clinical Informatics 12, no. 01 (2021): 182–89. http://dx.doi.org/10.1055/s-0041-1722918.

Full text

Abstract:

Abstract Objective Clinical decision support (CDS) can contribute to quality and safety. Prior work has shown that errors in CDS systems are common and can lead to unintended consequences. Many CDS systems use Boolean logic, which can be difficult for CDS analysts to specify accurately. We set out to determine the prevalence of certain types of Boolean logic errors in CDS statements. Methods Nine health care organizations extracted Boolean logic statements from their Epic electronic health record (EHR). We developed an open-source software tool, which implemented the Espresso logic minimizatio

APA, Harvard, Vancouver, ISO, and other styles

9

De Nijs, Roderick Sebastiaan, Christian Landsiedel, Dirk Wollherr, and Martin Buss. "Quadratization and Roof Duality of Markov Logic Networks." Journal of Artificial Intelligence Research 55 (March 25, 2016): 685–714. http://dx.doi.org/10.1613/jair.5023.

Full text

Abstract:

This article discusses the quadratization of Markov Logic Networks, which enables efficient approximate MAP computation by means of maximum flows. The procedure relies on a pseudo-Boolean representation of the model, and allows handling models of any order. The employed pseudo-Boolean representation can be used to identify problems that are guaranteed to be solvable in low polynomial-time. Results on common benchmark problems show that the proposed approach finds optimal assignments for most variables in excellent computational time and approximate solutions that match the quality of ILP-based

APA, Harvard, Vancouver, ISO, and other styles

10

Nandam, Krishna Sravani, K. Jamal, Anil Kumar Budati, Kiran Mannem, and Manchalla O. V. P. Kumar. "Design and analysis of Dadda multiplier with Common Boolean Logic." Materials Today: Proceedings 33 (2020): 4833–36. http://dx.doi.org/10.1016/j.matpr.2020.08.392.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Jain, Nikita, Jitendra Jain, and Krishna Kant. "Area Efficient High Speed Vedic Multiplier using Common Boolean Logic." International Journal of Computer Applications 132, no. 2 (2015): 46–48. http://dx.doi.org/10.5120/ijca2015907308.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

McElhaney, Kevin W. "Activities for Students: Demonstrating Boolean Logic Using Simple Electrical Circuits." Mathematics Teacher 97, no. 2 (2004): 126–34. http://dx.doi.org/10.5951/mt.97.2.0126.

Full text

Abstract:

The honors geometry classes at parkway North High School in Creve Coeur, Missouri, typically do a unit on Boolean logic operators as a precursor to the formal thinking required for geometric proofs. To provide a more direct and tangible connection of logic with a real-world application, I developed this enrichment activity. The activity uses simple electric circuits to model the basic logic operators AND and OR, thus allowing students to physically visualize the true-or-false patterns of compound logic statements, make conceptual connections between logical operators and the physics of electri

APA, Harvard, Vancouver, ISO, and other styles

13

S., Nithin, and Ramesh K.B. "Design of High Speed Carry Select Adder Using Kogge-Stone and Carry-Lookahead Adders." Recent Trends in Analog Design and Digital Devices 7, no. 3 (2024): 23–33. https://doi.org/10.5281/zenodo.13709580.

Full text

Abstract:

<em>The adder is acknowledged as the fundamental component in various arithmetic and logical operations. In efforts to enhance operational efficiency, the Carry Select Adder (CSLA) has been devised. By integrating multiple high-speed adder logics within a conventional CSLA framework, operational speed is further enhanced. This study presents the design of a hybrid CSLA that amalgamates the advantages of both Kogge Stone Adder and Look Ahead Adder (CLA) methodologies to achieve superior performance. Kogge Stone Adder, distinguished for its rapid carry generation, is incorporated to bolster spee

APA, Harvard, Vancouver, ISO, and other styles

14

M, Syed Mustafaa, Sathish M, Nivedha S, Magribatul Noora A K, and Safrin Sifana T. "Design of Carry Select Adder using BEC and Common Boolean Logic." Indian Journal of VLSI Design 1, no. 3 (2022): 5–9. http://dx.doi.org/10.54105/ijvlsid.c1205.031322.

Full text

Abstract:

Carry Select Adder (CSLA) is known to be the fastest adder among the conventional adder structure, which uses multiple narrow adders. CSLA has a great scope of reducing area, power consumption, speed and delay. From the structure of regular CSLA using RCA, it consumes large area and power. This proposed work uses a simple and dynamic Gate Level Implementation which reduces the area, delay, power and speed of the regular CSLA. Based on a modified CSLA using BEC the implementation of 8-b, 16-b, 32-b square root CSLA (SQRT CSLA) architecture have been developed. In order to reduce the area and po

APA, Harvard, Vancouver, ISO, and other styles

15

Zhang, Jinjin, Xiaoxia Zhou, Yan Zhang, and Lixing Tan. "Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes." Mathematics 13, no. 7 (2025): 1105. https://doi.org/10.3390/math13071105.

Full text

Abstract:

In traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common. This study proposes an extension of the logic of doxastic attitudes to a fuzzy setting, representing beliefs or knowledge as continuous values in the interval [0, 1] rather than binary Boolean values. This approach offers a more nuanced and realistic modeling of belief states, capturing the inherent uncertainty and vagueness in human reasoning. We in

APA, Harvard, Vancouver, ISO, and other styles

16

Yi, Xueli. "Application of CBL Teaching Method in Clinical Microbiology Laboratory Training for Residents." Contemporary Education Frontiers 3, no. 3 (2025): 75–79. https://doi.org/10.18063/cef.v3i3.802.

Full text

Abstract:

Clinical microbiology laboratory training for residents has long faced the limitations of traditional Lecture-Based Learning (LBL), which is characterized by an overemphasis on technical operations, inadequate cultivation of clinical thinking, and a disconnection between testing and diagnosis, and treatment. In this study, a case-sharing teaching model based on Case-Based Learning (CBL) was introduced, and a hierarchical and progressive teaching framework was constructed. Using common clinical infection cases as a carrier, the study implemented case screening, data collection, analysis, and re

APA, Harvard, Vancouver, ISO, and other styles

17

PEARCE, DAVID, HANS TOMPITS, and STEFAN WOLTRAN. "Characterising equilibrium logic and nested logic programs: Reductions and complexity,." Theory and Practice of Logic Programming 9, no. 05 (2009): 565–616. http://dx.doi.org/10.1017/s147106840999010x.

Full text

Abstract:

AbstractEquilibrium logic is an approach to non-monotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case ofnested logic programs, where arbitrary Boolean combinations are permitted in heads and bodies of rules, as special kinds of theories. In this paper, we present polynomial reductions of the main reasoning tasks associated with equilibrium logic and nested logic programs intoquantified propositional logic, an extension of classical propositional logic where quantifications over atomic formulas are permitted. T

APA, Harvard, Vancouver, ISO, and other styles

18

Chajda, Ivan, and Helmut Länger. "Basic semirings." Mathematica Slovaca 69, no. 3 (2019): 533–40. http://dx.doi.org/10.1515/ms-2017-0245.

Full text

Abstract:

Abstract Basic algebras were introduced by Chajda, Halaš and Kühr as a common generalization of MV-algebras and orthomodular lattices, i.e. algebras used for formalization of non-classical logics, in particular the logic of quantum mechanics. These algebras were represented by means of lattices with section involutions. On the other hand, classical logic was formalized by means of Boolean algebras which can be converted into Boolean rings. A natural question arises if a similar representation exists also for basic algebras. Several attempts were already realized by the authors, see the referen

APA, Harvard, Vancouver, ISO, and other styles

19

Peterson, Douglas. "Cardinal functions on ultra products of Boolean algebras." Journal of Symbolic Logic 62, no. 1 (1997): 43–59. http://dx.doi.org/10.2307/2275731.

Full text

Abstract:

This article is concerned with functions k assigning a cardinal number to each infinite Boolean algebra (BA), and the behaviour of such functions under ultraproducts. For some common functions k we havefor others we have ≤ instead, under suitable assumptions. For the function π character we go into more detail. More specifically, ≥ holds when F is regular, for cellularity, length, irredundance, spread, and incomparability. ≤ holds for π. ≥ holds under GCH for F regular, for depth, π, πχ, χ, h-cof, tightness, hL, and hd. These results show that ≥ can consistently hold in ZFC since if V = L hold

APA, Harvard, Vancouver, ISO, and other styles

20

Solomko, Mykhailo. "Development of a non-standard system for simplifying boolean functions." Mathematics and Cybernetics - applied aspects 3, no. 4 (129) (2024): 6–34. http://dx.doi.org/10.15587/1729-4061.2024.305826.

Full text

Abstract:

The object of this study is models of low-power digital logic circuits. The problem being solved is the effectiveness of the technique for simplifying Boolean functions to obtain optimal structures of logic circuits. A new theorem of a non-standard system of simplification of Boolean functions has been formulated, according to which in order to obtain a minimal function it will suffice to perform all non-redundant operations of simple and/or super-gluing of variables, which ultimately provides a minimal function in the main basis without using an implicant table. Thus, the problem of simplifyi

APA, Harvard, Vancouver, ISO, and other styles

21

Zia, Razia, Muzaffar Rao, Arshad Aziz, and Pervez Akhtar. "Efficient Utilization of FPGA Using LUT-6 Architecture." Applied Mechanics and Materials 241-244 (December 2012): 2548–54. http://dx.doi.org/10.4028/www.scientific.net/amm.241-244.2548.

Full text

Abstract:

Field Programmable gate array (FPGA) technology is continuously gaining market share and becoming essential part of the today’s modern embedded systems. The most common FPGA architecture consists of an array of logic blocks called Configurable Logic Block (CLB), I/O pads, and routing channels. In general, a logic block (CLB) consists of logical cells called Slices and other dedicated resources. A typical cell consists of LUTs (Look up table). In modern FPGAs, there are 6-input LUTs instead of 4-input LUTs. In this paper we present the use of 6-input LUT architecture for some Boolean functions

APA, Harvard, Vancouver, ISO, and other styles

22

Chajda, Ivan. "Basic algebras, logics, trends and applications." Asian-European Journal of Mathematics 08, no. 03 (2015): 1550040. http://dx.doi.org/10.1142/s1793557115500400.

Full text

Abstract:

The classical logic was axiomatized algebraically by means of Boolean algebras in 19th century by George Boole. Similar attempts went on 20th century for algebraic axiomatization of non-classical logics, e.g. intuitionistic logics (Brouwer and Heyting algebras), many-valued logics (Łukasiewicz, Chang’s MV-algebras, Post algebras), the logic of quantum mechanics (orthomodular lattices and posets) and fuzzy logics (residuated lattices). In this paper, we are focused in a common generalization of MV-algebras and orthomodular lattices. The resulting algebras, called basic algebras, have surprising

APA, Harvard, Vancouver, ISO, and other styles

23

Kowalski, Tomasz, Francesco Paoli, and Matthew Spinks. "Quasi-subtractive varieties." Journal of Symbolic Logic 76, no. 4 (2011): 1261–86. http://dx.doi.org/10.2178/jsl/1318338848.

Full text

Abstract:

AbstractVarieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras. Abstract algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety the lattice of congruences of A is isomorphic to the lattice of deductive filters on A of the τ-assertional logic of . Moreover, if has a constant 1 in its type an

APA, Harvard, Vancouver, ISO, and other styles

24

Ou, Qiao-Feng, Bang-Shu Xiong, Lei Yu, Jing Wen, Lei Wang, and Yi Tong. "In-Memory Logic Operations and Neuromorphic Computing in Non-Volatile Random Access Memory." Materials 13, no. 16 (2020): 3532. http://dx.doi.org/10.3390/ma13163532.

Full text

Abstract:

Recent progress in the development of artificial intelligence technologies, aided by deep learning algorithms, has led to an unprecedented revolution in neuromorphic circuits, bringing us ever closer to brain-like computers. However, the vast majority of advanced algorithms still have to run on conventional computers. Thus, their capacities are limited by what is known as the von-Neumann bottleneck, where the central processing unit for data computation and the main memory for data storage are separated. Emerging forms of non-volatile random access memory, such as ferroelectric random access m

APA, Harvard, Vancouver, ISO, and other styles

25

Eliawa, Ali i. "Using Geological and Topographic Maps in Site Selection of Solid Waste Disposal." Al-Mukhtar Journal of Sciences 37, no. 1 (2022): 29–40. http://dx.doi.org/10.54172/mjsc.v37i1.446.

Full text

Abstract:

Currently, land shortage for solid waste in most urban areas is a significant and growing potential problem. Although some efforts are made to decrease and recover the waste, landfill is still the most common process for waste disposal. Site selection of solid waste dumping in urban areas is a serious subject because of its huge effect on the economy, ecology, and environmental health. Consequently, several criteria must be created because of the difficulty of the parameters to select the process for combination in social, environmental and technical parameters. In this research, the most appr

APA, Harvard, Vancouver, ISO, and other styles

26

Daeuk, Kim, Nessie Sobina Chiang Yu Maria, Rhay Vicerra Ryan, N.G. Naguib Raouf, and Concepcion II Ronnie. "Mathematical realization of diagnosing COVID-19 using Boolean Algebra on an array of colds-related symptoms." International Research Journal of Science, Technology, Education, and Management 2, no. 1 (2022): 1–14. https://doi.org/10.5281/zenodo.6496731.

Full text

Abstract:

COVID-19 has caused countless deaths across the globe. In developing countries like the Philippines, limited access to health services like ICU beds and PCR tests contributed more to COVID-19 related deaths. It is for this reason that the researchers developed a simple COVID-19 diagnostic tool using basic logic gates to determine whether one has COVID-19 or other related illnesses like flu, colds, and allergy. The researchers first collected information regarding the common symptoms of COVID-19 and similar diseases. The identified symptoms cough, fever, fatigue, loss of taste, and smell were u

APA, Harvard, Vancouver, ISO, and other styles

27

Fraser, C. J., and J. R. Thorpe. "Spreadsheet Applications for Modelling and Analysis in Mechanical Engineering." International Journal of Mechanical Engineering Education 24, no. 2 (1996): 124–36. http://dx.doi.org/10.1177/030641909602400206.

Full text

Abstract:

This paper outlines a number of different applications of spreadsheet solutions to mechanical engineering problems involving ideal fluid flow, two-dimensional heat transfer, plate bending and torsion of non-circular sections. The general utility of a spreadsheet in handling finite difference equations is further illustrated in an application to simulate the dynamic response of a DC voltage controlled servo-motor. Finally, since most spreadsheets also incorporate the common logical operators then any arbitrary Boolean function can be manipulated with any range of input logic states. Details are

APA, Harvard, Vancouver, ISO, and other styles

28

Michael, Emmett Brady. "Keynes, a Connoisseur of Boolean uncertainty and the limits of precise numbers." ISRG Journal of Economics, Business & Management (ISRGJEBM) II, no. I (2024): 62–66. https://doi.org/10.5281/zenodo.10653731.

Full text

Abstract:

<em>Unfortunately, Jackson Lears’ June, 2023 article and 2023 book on Keynes’s applications  and assessment of uncertainty and animal spirits, respectively, are based on the  erroneous  work of the Post Keynesian school of economics  on uncertainty and animal spirits ,the foundation of which is the severely deficient work of F P Ramsey, I J  Good ,R .Skidelsky ,G L S Shackle and Terrence Hutchison’s  Pseudo Keynesians(Joan Robinson ,Austin Robinson, Richard  Kahn, Roy Harrod). The many, many errors in Ramsey’s two reviews of 1922 and 1

APA, Harvard, Vancouver, ISO, and other styles

29

Manuj, P., and B. Ramesh K. "Analysis of an Efficient Approach to Tolerate Soft Errors in Combinational Circuits." Journal of Control System and its Recent Developments 4, no. 3 (2022): 1–14. https://doi.org/10.5281/zenodo.6347706.

Full text

Abstract:

<em>In recent years, soft errors happen in the combinational logic circuits that genuinely impact the action of digital frameworks. Hence, the soft error has ended up a matter of great concern for unwavering quality issues at show. To extend the soft error tolerance, this paper proposes a modern method that will diminish the failure rate of the combinational circuits. A method has been introduced which is able discover out the foremost common minterms of Boolean polynomial math. And these minterms are secured by different cubes to maximize the logical veiling probability, which reduces the fai

APA, Harvard, Vancouver, ISO, and other styles

30

Toffano, Zeno, and François Dubois. "Interpolating Binary and Multivalued Logical Quantum Gates." Proceedings 2, no. 4 (2017): 152. http://dx.doi.org/10.3390/ecea-4-05006.

Full text

Abstract:

A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one obtains for arity-one a complete family of logical operators corresponding to all the one-argument logical connectives. Scaling-up to n-arity gates is obtained by using the Kronecker product and unitary transformations. The quantum version of the Fourier transform of Boolean functions is presented and a Reed-Muller decomposition for quantum logical gates is de

APA, Harvard, Vancouver, ISO, and other styles

31

Artale, A., D. Calvanese, R. Kontchakov, and M. Zakharyaschev. "The DL-Lite Family and Relations." Journal of Artificial Intelligence Research 36 (October 15, 2009): 1–69. http://dx.doi.org/10.1613/jair.2820.

Full text

Abstract:

The recently introduced series of description logics under the common moniker `DL-Lite' has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms, on the other. The main aim of this article is to carry out a thorough and systematic investigation of inference in extensions of the original DL-Lite logics along five axes: by (i) adding the Boolean connectives and (ii) number restrictions to concept constructs, (iii) allowing role hierarchies, (iv)

APA, Harvard, Vancouver, ISO, and other styles

32

Khan, Wilayat, Farrukh Aslam Khan, Abdelouahid Derhab, and Adi Alhudhaif. "CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover." Complexity 2021 (May 25, 2021): 1–12. http://dx.doi.org/10.1155/2021/5525539.

Full text

Abstract:

Checking the equivalence of two Boolean functions, or combinational circuits modeled as Boolean functions, is often desired when reliable and correct hardware components are required. The most common approaches to equivalence checking are based on simulation and model checking, which are constrained due to the popular memory and state explosion problems. Furthermore, such tools are often not user-friendly, thereby making it tedious to check the equivalence of large formulas or circuits. An alternative is to use mathematical tools, called interactive theorem provers, to prove the equivalence of

APA, Harvard, Vancouver, ISO, and other styles

33

Liu, Jianxin, Yijun Li, Yongwei Yang, and Juntao Wang. "On Implicative Derivations of MTL-Algebras." Axioms 11, no. 7 (2022): 340. http://dx.doi.org/10.3390/axioms11070340.

Full text

Abstract:

This paper introduces the implicative derivations and gives some of their characterizations on MTL-algebras. Furthermore, we provide some representation of MTL-algebras by implicative derivations and obtain some representation of Boolean algebra via the algebra of all implicative derivations. Finally, we explore the relationship between implicative derivation and other operators on MTL-algebras and show that there exists a bijection between the sets of multiplier and implicative derivations on IMTL-algebras. The results of this paper can provide the common properties of implicative derivations

APA, Harvard, Vancouver, ISO, and other styles

34

Cantone, Domenico, Marianna Nicolosi-Asmundo та Daniele Francesco Santamaria. "A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×". Fundamenta Informaticae 176, № 3-4 (2020): 349–84. http://dx.doi.org/10.3233/fi-2020-1977.

Full text

Abstract:

In this paper we consider the most common TBox and ABox reasoning services for the description logic 𝒟ℒ〈4LQSR,x〉(D) ( 𝒟 ℒ D 4,× , for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment 4LQSR. 𝒟 ℒ D 4,× is a very expressive description logic. It combines the high scalability and efficiency of rule languages such as the SemanticWeb Rule Language (SWRL) with the expressivity of description logics. In fact, among other features, it supports Boolean operations on concepts and roles, role constructs such as the product of concepts and rol

APA, Harvard, Vancouver, ISO, and other styles

35

Douglas, Joy W., Jeannine C. Lawrence, and Adam P. Knowlden. "The use of fortified foods to treat malnutrition among older adults: a systematic review." Quality in Ageing and Older Adults 18, no. 2 (2017): 104–19. http://dx.doi.org/10.1108/qaoa-05-2016-0018.

Full text

Abstract:

Purpose Food fortification with common kitchen ingredients has been suggested to improve nutritional intake. The purpose of this paper was to systematically review the efficacy of food fortification on calorie and protein intake among older adults. Design/methodology/approach A systematic search was conducted using Boolean search logic and seven research databases to identify interventions using fortified foods to increase calorie and protein intake among older adults. Ten studies published in English since 1996 were eligible for inclusion. Study quality was evaluated using an adapted Modified

APA, Harvard, Vancouver, ISO, and other styles

36

Duží, Marie. "Negation and presupposition, truth and falsity." Studies in Logic, Grammar and Rhetoric 54, no. 1 (2018): 15–46. http://dx.doi.org/10.2478/slgr-2018-0014.

Full text

Abstract:

Abstract There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a complete list, nor to analyse all of them. Rather, I am going to deal with negation of

APA, Harvard, Vancouver, ISO, and other styles

37

Mengistu, Dechasa Adare, Addisu Alemu, Abdi Amin Abdukadir, Ahmed Mohammed Husen, Fila Ahmed, and Baredin Mohammed. "Incidence of Urinary Tract Infection Among Patients: Systematic Review and Meta-Analysis." INQUIRY: The Journal of Health Care Organization, Provision, and Financing 60 (January 2023): 004695802311687. http://dx.doi.org/10.1177/00469580231168746.

Full text

Abstract:

Healthcare-associated infection is one of the most common and severe threats to patients’ health and remains a significant challenge for healthcare providers. Among healthcare-associated infections, urinary tract infection (UTI) is one of the most common infections. This study aimed to determine the global incidence of UTI among patients. The Preferred Reporting Items for Systematic Reviews and Meta-Analysis (PRISMA) guideline was used to perform this systematic review and meta-analysis. The articles were searched from April 4 to August 5, 2022, from electronic databases (Scopus, PubMed, Web o

APA, Harvard, Vancouver, ISO, and other styles

38

Grulke, Christopher M., Michael-Rock Goldsmith, and Daniel A. Vallero. "Toward a Blended Ontology: Applying Knowledge Systems to Compare Therapeutic and Toxicological Nanoscale Domains." Journal of Biomedicine and Biotechnology 2012 (2012): 1–9. http://dx.doi.org/10.1155/2012/308381.

Full text

Abstract:

Bionanomedicine and environmental research share need common terms and ontologies. This study applied knowledge systems, data mining, and bibliometrics used in nano-scale ADME research from 1991 to 2011. The prominence of nano-ADME in environmental research began to exceed the publication rate in medical research in 2006. That trend appears to continue as a result of the growing products in commerce using nanotechnology, that is, 5-fold growth in number of countries with nanomaterials research centers. Funding for this research virtually did not exist prior to 2002, whereas today both medical

APA, Harvard, Vancouver, ISO, and other styles

39

Ye, Qing, and Nancy Lan Guo. "Inferencing Bulk Tumor and Single-Cell Multi-Omics Regulatory Networks for Discovery of Biomarkers and Therapeutic Targets." Cells 12, no. 1 (2022): 101. http://dx.doi.org/10.3390/cells12010101.

Full text

Abstract:

There are insufficient accurate biomarkers and effective therapeutic targets in current cancer treatment. Multi-omics regulatory networks in patient bulk tumors and single cells can shed light on molecular disease mechanisms. Integration of multi-omics data with large-scale patient electronic medical records (EMRs) can lead to the discovery of biomarkers and therapeutic targets. In this review, multi-omics data harmonization methods were introduced, and common approaches to molecular network inference were summarized. Our Prediction Logic Boolean Implication Networks (PLBINs) have advantages o

APA, Harvard, Vancouver, ISO, and other styles

40

Kanyepi, Morley, and Abubaker Qutieshat Dr. "A Brief Literature Review Paper on the Effect of Corporate Governance and Corporate Social Responsibility on Firm Performance." A Brief Literature Review Paper on the Effect of Corporate Governance and Corporate Social Responsibility on Firm Performance 9, no. 1 (2024): 10. https://doi.org/10.5281/zenodo.10521669.

Full text

Abstract:

The purpose of the paper is to review and critically analyse existing literature on the effect of corporate governance (CG) and corporate social responsibility (CSR) on firm performance. A rigorous electronic search of the Google Scholar engine was conducted using the application of Boolean logic to search for relevant articles from 2013–2023. The literature included peer reviewed journals for reliability, abstracts ,articles that studied the relationship between CG, CSR, and firm performance, and research papers that discussed the effect of either CG or CSR on performance. Findings esta

APA, Harvard, Vancouver, ISO, and other styles

41

Kokilavani, V., K. Preethi, and P. Balasubramanian. "FPGA-Based Synthesis of High-Speed Hybrid Carry Select Adders." Advances in Electronics 2015 (May 27, 2015): 1–13. http://dx.doi.org/10.1155/2015/713843.

Full text

Abstract:

Carry select adder is a square-root time high-speed adder. In this paper, FPGA-based synthesis of conventional and hybrid carry select adders are described with a focus on high speed. Conventionally, carry select adders are realized using the following: (i) full adders and 2 : 1 multiplexers, (ii) full adders, binary to excess 1 code converters, and 2 : 1 multiplexers, and (iii) sharing of common Boolean logic. On the other hand, hybrid carry select adders involve a combination of carry select and carry lookahead adders with/without the use of binary to excess 1 code converters. In this work,

APA, Harvard, Vancouver, ISO, and other styles

42

Kepning, Ngoruw, Sr Sajitha Moothedan, and Sherin Susan Thomas. "Adherence to Exercise among COPD (Chronic Obstructive Pulmonary Disease) Patient- Barriers and Facilitators." International Journal of Science and Healthcare Research 9, no. 1 (2024): 136–42. http://dx.doi.org/10.52403/ijshr.20240118.

Full text

Abstract:

Chronic obstructive pulmonary disease is a common inflammatory lung disease characterized by persistent respiratory symptoms and airflow limitation. There is compelling evidence that regular exercise can lower the chance of developing several chronic diseases. Although it helps in reducing COPD symptoms and improve quality of life, which is highly beneficial for COPD patients, there are still several reasons for barriers to adherence to exercise in COPD patients which further affects their health. Most COPD patients are typically compelled to minimize exercise and adopt sedentary lifestyles du

APA, Harvard, Vancouver, ISO, and other styles

43

Kloda, Lorie Andrea. "Undergraduate students do not understand some library jargon typically used in library instruction." Evidence Based Library and Information Practice 1, no. 1 (2006): 83. http://dx.doi.org/10.18438/b8qp4p.

Full text

Abstract:

A review of:   Hutcherson, Norman B. “Library Jargon: Student Recognition of Terms and Concepts Commonly Used by Librarians in the Classroom.” College and Research Libraries 65.4 (July 2004): 349-54.  Objective – To determine students’ level of recognition for 28 commonly used terms in library instruction.  Design – Survey, multiple-choice questionnaire.  Setting – Large state university library in the United States (this is assumed from the author’s current affiliation).  Subjects – 300 first- and second-year university students enro

APA, Harvard, Vancouver, ISO, and other styles

44

Mengistu, Dechasa Adare, Sina Temesgen Tolera, and Yohannes Mulugeta Demmu. "Worldwide Prevalence of Occupational Exposure to Needle Stick Injury among Healthcare Workers: A Systematic Review and Meta-Analysis." Canadian Journal of Infectious Diseases and Medical Microbiology 2021 (January 29, 2021): 1–10. http://dx.doi.org/10.1155/2021/9019534.

Full text

Abstract:

Background. Healthcare workers are at high risk of occupational exposure to needle stick injury worldwide. Occupational exposure to needle stick injury represents the most common sources of infection such as hepatitis B virus, hepatitis C virus, and human immunodeficiency virus. Thus, this review aimed to determine the career time and previous one-year global pooled prevalence of occupational exposure to needle stick injury among healthcare workers. Methods. The review considered articles written in English language and published from 2012 to 2020. The articles were searched using nine electro

APA, Harvard, Vancouver, ISO, and other styles

45

Ovsyak, V. K., O. V. Ovsyak, and J. V. Petruszka. "ORDER AND ORDERING IN DISCRETE MATHEMATICS AND INFORMATICS." Ukrainian Journal of Information Technology 3, no. 1 (2021): 37–43. http://dx.doi.org/10.23939/ujit2021.03.037.

Full text

Abstract:

The available means of ordering and sorting in some important sections of discrete mathematics and computer science are studied, namely: in the set theory, classical mathematical logic, proof theory, graph theory, POST method, system of algorithmic algebras, algorithmic languages of object-oriented and assembly programming. The Cartesian product of sets, ordered pairs and ordered n-s, the description by means of set theory of an ordered pair, which are performed by Wiener, Hausdorff and Kuratowski, are presented. The requirements as for the relations that order sets are described. The importan

APA, Harvard, Vancouver, ISO, and other styles

46

Azlia, Demara, Yedhi, Laily Annisa Kusumastuti, and Daffa Abhista Wicaksana. "GLYCOLYTIC 2-DEOXY-D-GLUCOSE PERIOCULAR INHIBITOR SEBAGAI TERAPI ADJUVANT PADA RETINOBLASTOMA." Al-Iqra Medical Journal : Jurnal Berkala Ilmiah Kedokteran 1, no. 2 (2018): 48–54. http://dx.doi.org/10.26618/aimj.v1i2.2750.

Full text

Abstract:

Retinoblastoma is the most common intraocular tumor in children. Retinoblastoma tumors consist of areas with high angiogenic activity and other areas with low oxygen pressure conditions. Tumor cells that survive in this hypoxic region have been shown to be resistant to chemotherapy and radiation, namely standard retinoblastoma therapy which selectively targets rapidly dividing cell populations, so that therapy is needed that can reach up to the hypoxic cells. 2-deoxy-D-glucose (2-DG) has been shown to be effective in reducing hypoxic areas in tumors, reducing tumor buds, and inhibiting angioge

APA, Harvard, Vancouver, ISO, and other styles

47

Traversa, Fabio L., Pietro Cicotti, Forrest Sheldon, and Massimiliano Di Ventra. "Evidence of Exponential Speed-Up in the Solution of Hard Optimization Problems." Complexity 2018 (July 3, 2018): 1–13. http://dx.doi.org/10.1155/2018/7982851.

Full text

Abstract:

Optimization problems pervade essentially every scientific discipline and industry. A common form requires identifying a solution satisfying the maximum number among a set of many conflicting constraints. Often, these problems are particularly difficult to solve, requiring resources that grow exponentially with the size of the problem. Over the past decades, research has focused on developing heuristic approaches that attempt to find an approximation to the solution. However, despite numerous research efforts, in many cases even approximations to the optimal solution are hard to find, as the c

APA, Harvard, Vancouver, ISO, and other styles

48

Cracknell, M. J., and A. L. Cowood. "Construction and analysis of Hydrogeological Landscape units using Self-Organising Maps." Soil Research 54, no. 3 (2016): 328. http://dx.doi.org/10.1071/sr15016.

Full text

Abstract:

The Hydrogeological Landscape (HGL) framework divides geographic space into regions with similar landscape characteristics. HGL regions or units are used to facilitate appropriate management actions tailored to individual HGL units for specific applications such as dryland salinity and climate-change hazard assessment. HGL units are typically constructed by integrating data including geology, regolith, soils, rainfall, vegetation and landscape morphology, and manually defining boundaries in a GIS environment. In this study, we automatically construct spatially contiguous regions from standard

APA, Harvard, Vancouver, ISO, and other styles

49

Березіна, С. І., О. І. Солонець, Кювон Лі, and М. В. Борцова. "An information technique for segmentation of military assets in conditions of uncertainty of initial data." Системи обробки інформації, no. 4(167) (December 26, 2021): 6–18. http://dx.doi.org/10.30748/soi.2021.167.01.

Full text

Abstract:

To solve the applied task of detecting military assets in aerospace images the presented paper investigates the processes of constructing segmented maps of the images. The goal is to develop an information technique for detecting military assets in conditions of uncertainty of initial data. To achieve the goal, the following tasks were formulated: 1) to analyze usability of the existing segmentation methods for automatic detection of military assets in the images; 2) if the existing methods are inapplicable, to develop a new algorithm to solve the problem. In the paper the following methods ar

APA, Harvard, Vancouver, ISO, and other styles

50

Penchalaiah, U., and Siva Kumar VG. "Survey: Performance Analysis of FIR Filter Design Using Modified Truncation Multiplier with SQRT based Carry Select Adder." International Journal of Engineering & Technology 7, no. 2.32 (2018): 243. http://dx.doi.org/10.14419/ijet.v7i2.32.13519.

Full text

Abstract:

A recent years of technology development in Signal processing application a FIR (Finite impulse response) filter design will have a highly compactable with high performance and low power in all digital signal processing application, such as audio processing, signal processing, software define radio and so on. Now a days in our environment will have more signal noises, and fluctuation due to technology development, here the Filter design is mainly configuring the priority to reduce the signal noises and fluctuation in all type of gadgets. In this project, the design contains Transpose form of h

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!