Log in

Relevant bibliographies by topics / Logic expression / Journal articles

To see the other types of publications on this topic, follow the link: Logic expression.

Journal articles on the topic 'Logic expression'

Author: Grafiati

Published: 5 June 2025

Last updated: 15 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 'Logic expression.'

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

Rönnedal, Daniel. "Boulesic-Doxastic Logic." Australasian Journal of Logic 16, no. 3 (2019): 83. http://dx.doi.org/10.26686/ajl.v16i3.4158.

Full text

Abstract:

In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part. By ‘boulesic logic’ I mean ‘the logic of the will’, and by ‘doxastic logic’ I mean ‘the logic of belief’. The first part deals with ‘boulesic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be the case that’ and ‘individual x accepts that it is the case that’. The second part deals with ‘doxastic’ co

APA, Harvard, Vancouver, ISO, and other styles

2

Sain, Barbara K. "Expression in the Theo-Logic." Philosophy and Theology 19, no. 1 (2007): 301–22. http://dx.doi.org/10.5840/philtheol2007191/216.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Mora-Martinez, Carlos. "Expression pattern determines regulatory logic." PLOS ONE 16, no. 1 (2021): e0244864. http://dx.doi.org/10.1371/journal.pone.0244864.

Full text

Abstract:

Large amounts of effort have been invested in trying to understand how a single genome is able to specify the identity of hundreds of cell types. Inspired by some aspects of Caenorhabditis elegans biology, we implemented an in silico evolutionary strategy to produce gene regulatory networks (GRNs) that drive cell-specific gene expression patterns, mimicking the process of terminal cell differentiation. Dynamics of the gene regulatory networks are governed by a thermodynamic model of gene expression, which uses DNA sequences and transcription factor degenerate position weight matrixes as input.

APA, Harvard, Vancouver, ISO, and other styles

4

Scott, Joseph, Maysum Panju, and Vijay Ganesh. "LGML: Logic Guided Machine Learning (Student Abstract)." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 10 (2020): 13909–10. http://dx.doi.org/10.1609/aaai.v34i10.7227.

Full text

Abstract:

We introduce Logic Guided Machine Learning (LGML), a novel approach that symbiotically combines machine learning (ML) and logic solvers to learn mathematical functions from data. LGML consists of two phases, namely a learning-phase and a logic-phase with a corrective feedback loop, such that, the learning-phase learns symbolic expressions from input data, and the logic-phase cross verifies the consistency of the learned expression with known auxiliary truths. If inconsistent, the logic-phase feeds back "counterexamples" to the learning-phase. This process is repeated until the learned expressi

APA, Harvard, Vancouver, ISO, and other styles

5

GOVERNATORI, GUIDO, and MICHAEL J. MAHER. "Annotated defeasible logic." Theory and Practice of Logic Programming 17, no. 5-6 (2017): 819–36. http://dx.doi.org/10.1017/s1471068417000266.

Full text

Abstract:

AbstractDefeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning. However, the logics can only combine in trivial ways. This limits their usefulness in contexts where different intuitions are at play in different aspects of a problem. In particular, in some legal settings, different actors have different burdens of proof, which might be expressed as reasoning in different defeasible logics. In this paper, we introduce annotated defeasible logic

APA, Harvard, Vancouver, ISO, and other styles

6

Schilstra, Maria J., and Chrystopher L. Nehaniv. "Bio-Logic: Gene Expression and the Laws of Combinatorial Logic." Artificial Life 14, no. 1 (2008): 121–33. http://dx.doi.org/10.1162/artl.2008.14.1.121.

Full text

Abstract:

At the heart of the development of fertilized eggs into fully formed organisms and the adaptation of cells to changed conditions are genetic regulatory networks (GRNs). In higher multicellular organisms, signal selection and multiplexing are performed at the cis-regulatory domains of genes, where combinations of transcription factors (TFs) regulate the rates at which the genes are transcribed into mRNA. To be able to act as activators or repressors of gene transcription, TFs must first bind to target sequences on the regulatory domains. Two TFs that act in concert may bind entirely independent

APA, Harvard, Vancouver, ISO, and other styles

7

Welles, James. "A Limit on Logic." Journal of Clinical Research and Reports 8, no. 3 (2021): 01. http://dx.doi.org/10.31579/2690-1919/176.

Full text

Abstract:

One of the problems with logic is that it cannot be self-refuting–if it is, it is not logical. This make logic its own sacred cow. It likewise makes the expression “By logical extension” irrelevant or at least suspect in a curved universe. One may extend logic, but even after one step, its use is dubious at best.

APA, Harvard, Vancouver, ISO, and other styles

8

Spies, Simon, Niklas Mück, Haoyi Zeng, et al. "Destabilizing Iris." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 848–73. https://doi.org/10.1145/3729284.

Full text

Abstract:

The separation logic framework Iris has been built on the premise that all assertions are stable , meaning they unconditionally enjoy the famous frame rule . This gives Iris—and the numerous program logics that build on it—very modular reasoning principles. But stability also comes at a cost. It excludes a core feature of the Viper verifier family, heap-dependent expression assertions , which lift program expressions to the assertion level in order to reduce redundancy between code and specifications and better facilitate SMT-based automation. In this paper, we bring heap-dependent expression

APA, Harvard, Vancouver, ISO, and other styles

9

Cheng, Daizhan, and Zhiqiang Li. "Solving logic equation via matrix expression." Frontiers of Electrical and Electronic Engineering in China 4, no. 3 (2009): 259–69. http://dx.doi.org/10.1007/s11460-009-0040-z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Cheng, Guang Zhen, and Yuan Bo Cheng. "Electrical Control System Designing Based on Logic Relation Chart." Advanced Materials Research 201-203 (February 2011): 2338–42. http://dx.doi.org/10.4028/www.scientific.net/amr.201-203.2338.

Full text

Abstract:

Based on working flow and control demand for figuration machine of the grinding material, a work process sketch map is drawn. According to the logic design method and step of electrical control circuitry, a logic relation chart can be finished. Considering basic logic adaptable condition of relay expression, operation component work zone must be arranged reasonably and operation component logic expression must be expressed clearly and then the operation component logic expression can be ultimately converted into equivalent electrical control circuit diagram so as to realize control requirement

APA, Harvard, Vancouver, ISO, and other styles

11

Jiang, Yaozhi. "Dialectical Logic and Boolean Algebra." Journal of Mathematics Research 11, no. 2 (2019): 92. http://dx.doi.org/10.5539/jmr.v11n2p92.

Full text

Abstract:

Dialectical logic was founded by German famous philosopher F. Hegel, but it has not been laid on mathematics for a long time. In this paper author explains the dialectical logic pure mathematically, and shows that the classic formal logic, its mathematical expression is Boolean algebra(includes multiple value system), is a special case from dialectical logic, and the true-valued function for dialectical logic is a continuous function valued on closed interval &nbsp;and defined on time-space axes system. The Aristotle three laws of formal logic are expanded into expression of dialectical lo

APA, Harvard, Vancouver, ISO, and other styles

12

READ, STEPHEN. "HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY." Review of Symbolic Logic 9, no. 2 (2016): 408–20. http://dx.doi.org/10.1017/s1755020316000010.

Full text

Abstract:

AbstractInferentialism claims that the rules for the use of an expression express its meaning without any need to invoke meanings or denotations for them. Logical inferentialism endorses inferentialism specifically for the logical constants. Harmonic inferentialism, as the term is introduced here, usually but not necessarily a subbranch of logical inferentialism, follows Gentzen in proposing that it is the introduction-rules which give expressions their meaning and the elimination-rules should accord harmoniously with the meaning so given. It is proposed here that the logical expressions are t

APA, Harvard, Vancouver, ISO, and other styles

13

Blikle, Andrzej. "Three-Valued Predicates for Software Specification and Validation." Fundamenta Informaticae 14, no. 4 (1991): 387–410. http://dx.doi.org/10.3233/fi-1991-14402.

Full text

Abstract:

Partial functions, hence also partial predicates, cannot be avoided in algorithms. However, in spite of the fact that partial functions have been formally introduced into the theory of software very early, partial predicates are still not quite commonly recognized. In many programming- and software-specification languages partial Boolean expressions are treated in a rather simplistic way: the evaluation of a Boolean sub-expression to an error leads to the evaluation of the hosting Boolean expression to an error and, in the consequence, to the abortion of the whole program. This technique is kn

APA, Harvard, Vancouver, ISO, and other styles

14

JACINTO, BRUNO. "STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS." Review of Symbolic Logic 10, no. 3 (2017): 397–454. http://dx.doi.org/10.1017/s1755020317000119.

Full text

Abstract:

AbstractThe most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of the Barcan and Converse Barcan formulae as theorems, nor of their

APA, Harvard, Vancouver, ISO, and other styles

15

Al-Ghanimi, Oday Ahmed, and Hussein K. Khafaji. "A new logic circuits optimization algorithm using bipartite graph." Indonesian Journal of Electrical Engineering and Computer Science 28, no. 3 (2022): 1621–32. https://doi.org/10.11591/ijeecs.v28.i3.pp1621-1632.

Full text

Abstract:

Designing a logic circuit from the scratch requires its description in logical expression, (e.g. sum of products), and then the expression should be optimized to diminish the cost and complexity of the circuit by reducing the number of literals, the number of logical terms, and/or logical operations. Karnaugh map, K-Map, is the most popular method in the optimization process, but it suffers from many drawbacks such as its inefficiency or the inability to be used in minimizing logical expression containing more than four literals, in addition to the complexity of implementing it as a program. I

APA, Harvard, Vancouver, ISO, and other styles

16

Qureshi, Kashif. "Analysing expression data using fuzzy logic algorithm." Asian Journal of Multidimensional Research 10, no. 10 (2021): 444–50. http://dx.doi.org/10.5958/2278-4853.2021.00874.0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Delbare, Sofie Y. N., and Andrew G. Clark. "Allele-specific expression elucidates cis-regulatory logic." PLOS Genetics 14, no. 11 (2018): e1007690. http://dx.doi.org/10.1371/journal.pgen.1007690.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Du, P., J. Gong, E. SyrkinWurtele, and J. A. Dickerson. "Modeling Gene Expression Networks Using Fuzzy Logic." IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics) 35, no. 6 (2005): 1351–59. http://dx.doi.org/10.1109/tsmcb.2005.855590.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Kadirkulova, Fatima. "LANGUAGE EXPRESSION OF THE CATEGORY OF LOGIC." Alatoo Academic Studies 19, no. 2 (2019): 94–98. http://dx.doi.org/10.17015/aas.2019.192.11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Bulashevska, S., and R. Eils. "Inferring genetic regulatory logic from expression data." Bioinformatics 21, no. 11 (2005): 2706–13. http://dx.doi.org/10.1093/bioinformatics/bti388.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Wang, Li Qin, Gui Qiang Chen, and Hong Hai Zhao. "Construction of Regulatory Boolean Networks Based on Expression Profiles Data Noise." Advanced Materials Research 588-589 (November 2012): 2046–50. http://dx.doi.org/10.4028/www.scientific.net/amr.588-589.2046.

Full text

Abstract:

After while the “Human Genome Project” proposes, the people complete measures the foreword plan after the multi-gene genome team, also starts to change to these genes and their reciprocity function understanding research. Varieties of gene regulation Boolean networks algorithms have been proposed of the gene expression profiles, however, the problem of noise could always be found in creating a Boolean network. Due to gene expression data are always noisy. In this paper, it show that after the Boolean networks logic function are learned from noisy data, some noise in the Boolean function could

APA, Harvard, Vancouver, ISO, and other styles

22

Guo, Cheng Qing, and Jun Feng Xu. "Regular Expression Matching Algorithm Based on FPGA Circuit." Applied Mechanics and Materials 556-562 (May 2014): 1730–36. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.1730.

Full text

Abstract:

With the rapid development of network bandwidth, the matching-performance of regular expression is gradually of crucial importance for networking security. There are many hardware acceleration designs of regular expression matching on the basis of NFA and DFA, of which NFA designs require more logic circuit resources while the DFA designs more memory resources. However, because there are too many states and transition edges in DFA, the performance of DFA is much inferior to the performance of NFA. In this paper we designed a DFA regular expression matching algorithm fully based on FPGA logic c

APA, Harvard, Vancouver, ISO, and other styles

23

Jia, Yu Jing, Yuan Bo Cheng, and Yan Yan Han. "Electricity Control System of Semi-Automatic Figuration Machine of the Grind Material." Advanced Materials Research 228-229 (April 2011): 744–48. http://dx.doi.org/10.4028/www.scientific.net/amr.228-229.744.

Full text

Abstract:

Firstly introduce compose structure of semi-automatic figuration machine of the grind material,and the motion it must be realized.Based on working demand of pneumatic actuator,analysing input and output signals of electricity control equipments,drawing a work process sketch map.According to the logic design method and step of electricity control circuitry,draw a logic relation chart.Reasonable dispose operation component work zone and write out operation component logic expression,then change the operation component logic expression to electricity control circuit diagram,finally point out the

APA, Harvard, Vancouver, ISO, and other styles

24

Dhanush, K., and B. Ramesh K. "Design and Development of Boolean Logic Simplifying Calculator." Advancement and Research in Instrumentation Engineering 4, no. 3 (2022): 1–5. https://doi.org/10.5281/zenodo.6348491.

Full text

Abstract:

<em>In this paper, I recommend a calculator that can limit Boolean expressions (up to four variables) in your simple logical expression in the Product Total (Sop) form. Boolean simplicity is important in reducing the number of words, allowing a little more complex rotation to be used in a more practical way. Work introduced the ARDUINO NANO processor functions. The circuitry is built into the PCB board of the composite form element. The algorithm used follows the Karnaugh-map (k-map) opening process. this is one of the most important ways to reduce any Boolean expression. within the digital el

APA, Harvard, Vancouver, ISO, and other styles

25

Lonsdale, D. W., C. Tustison, C. G. Parker, and D. W. Embley. "Assessing clinical trial eligibility with logic expression queries." Data & Knowledge Engineering 66, no. 1 (2008): 3–17. http://dx.doi.org/10.1016/j.datak.2007.07.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Ohno-Machado, Lucila, Staal Vinterbo, and Griffin Weber. "Classification of gene expression data using fuzzy logic." Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology 12, no. 1 (2002): 19–24. https://doi.org/10.3233/ifs-2002-00163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

DOWEK, GILLES, THERESE HARDIN та CLAUDE KIRCHNER. "HOL-λσ: an intentional first-order expression of higher-order logic". Mathematical Structures in Computer Science 11, № 1 (2001): 21–45. http://dx.doi.org/10.1017/s0960129500003236.

Full text

Abstract:

We give a first-order presentation of higher-order logic based on explicit substitutions. This presentation is intentionally equivalent to the usual presentation of higher-order logic based on λ-calculus, that is, a proposition can be proved without the extensionality axioms in one theory if and only if it can be in the other. We show that the Extended Narrowing and Resolution first-order proof-search method can be applied to this theory. In this way we get a step-by-step simulation of higher-order resolution. Hence, expressing higher-order logic as a first-order theory and applying a first-or

APA, Harvard, Vancouver, ISO, and other styles

28

Zhang, Qiang, Zhe Wu, Jingtao Shen, Suxiao Cui, and Yanping Cui. "Research on Kinematics and Efficiency Calculation of Binary Logic Planetary Gearbox Based on Graph Theory." Applied Sciences 14, no. 5 (2024): 1773. http://dx.doi.org/10.3390/app14051773.

Full text

Abstract:

In this paper, the graph theory model of the kinematics of the double internal meshing planetary gear is established by splitting the k value of the planetary gear, the system matrix of the dual-state logic planetary gear transmission is assembled, the logic characteristics of the dual-state logic planetary gear transmission control are analyzed, the logic characteristic table of the 32-gear control is established, and the system model of the kinematics analysis and calculation of the entire planetary gear transmission is established. The expressions of rotational speed and transmission ratio

APA, Harvard, Vancouver, ISO, and other styles

29

Zaitseva, Elena, Vitaly Levashenko, Igor Lukyanchuk, Jan Rabcan, Miroslav Kvassay, and Patrik Rusnak. "Application of Generalized Reed–Muller Expression for Development of Non-Binary Circuits." Electronics 9, no. 1 (2019): 12. http://dx.doi.org/10.3390/electronics9010012.

Full text

Abstract:

Semiconductor devices and binary information technology reach their limits set by the atomic size of miniaturization, calculation speed, and the fundamental principle of energy dissipation per bit processing. Therefore, new technologies in logic design and mathematical approaches must be investigated. Application of multiple-valued logic (MVL) in logic design allows developing gates and circuits with more than two stable states. This enables packing an unprecedented high-density of information. Based on this idea, a new technique of the programmable logic arrays (PLA) construction based on MVL

APA, Harvard, Vancouver, ISO, and other styles

30

Peeters, Eveline, Nuno Peixeiro, and Guennadi Sezonov. "Cis-regulatory logic in archaeal transcription." Biochemical Society Transactions 41, no. 1 (2013): 326–31. http://dx.doi.org/10.1042/bst20120312.

Full text

Abstract:

For cellular fitness and survival, gene expression levels need to be regulated in response to a wealth of cellular and environmental signals. TFs (transcription factors) execute a large part of this regulation by interacting with the basal transcription machinery at promoter regions. Archaea are characterized by a simplified eukaryote-like basal transcription machinery and bacteria-type TFs, which convert sequence information into a gene expression output according to cis-regulatory rules. In the present review, we discuss the current state of knowledge about these rules in archaeal systems, r

APA, Harvard, Vancouver, ISO, and other styles

31

Wang, Yajing, Di Wu, Xiuping Cao, and Yingshu Guo. "The Amplified DNA Logic Gates Based on Aptamer–Receptor Recognition for Cell Detection and Bioimaging." Biosensors 13, no. 11 (2023): 968. http://dx.doi.org/10.3390/bios13110968.

Full text

Abstract:

A powerful and accurate method for identifying and isolating cells would be of great importance due to its sensitivity, gentleness and effectiveness. Here, we designed a receptor-based DNA logic device that allows Boolean logic analysis of multiple cells. For ease of expression, the molecules on the cell surface that can bind to the aptamer are referred to as “receptors”. This DNA logic device sends signals based on cell surface sgc8c and sgc4f receptor expression by performing NOT, NOR, AND and OR logic operations, and amplifies and evaluates the signals using HCR. Meanwhile, the release of I

APA, Harvard, Vancouver, ISO, and other styles

32

Sobol, A. М., E. I. Kozlova, and Yu A. Chernyavsky. "Application of first-order logic to identify organizers and perpetrators of illegal actions in teams of a limited circle of people." Informatics 18, no. 3 (2021): 97–105. http://dx.doi.org/10.37661/1816-0301-2021-18-3-97-105.

Full text

Abstract:

There are three main families of inference algorithms in first-order logic: direct inference and its application to deductive databases and production systems; backward inference procedures and logic programming systems; theorem proving systems based on the resolution method. When solving specific problems, the most effective algorithms are those that allow you to cover all the facts and axioms and must be taken into account in the process of inference. An example is considered in which it is necessary to prove the guilt of a person in murder. On the basis of statements, a knowledge base is fo

APA, Harvard, Vancouver, ISO, and other styles

33

Qiu, Jian Lin, Fen Li, Dan Ji, Jian Ping Chen, and Peng He. "An Synthesized Methods for Multi-Valued Logic Function." Advanced Materials Research 108-111 (May 2010): 250–55. http://dx.doi.org/10.4028/www.scientific.net/amr.108-111.250.

Full text

Abstract:

Logic minimization software is an important tool in digital integrate circuit design environment. The optimization of Multi-Valued Logic Functionisan extension of Binary-Valued Logic Function. For huge variable logic functions optimization, spending of memory is increaseon two power by input variables. This paper presents the description of binary vector of Multi-Valued variable and Multi-Valued Logic Function, transforms Multi-Valued cube into the Boolean expression with recursion fission and finally introduces the logic optimization algorithm of expanding products. It overpasses testing of B

APA, Harvard, Vancouver, ISO, and other styles

34

Ahmed Al-Ghanimi, Oday, and Hussein K. Khafaji. "A new logic circuits optimization algorithm using bipartite graph." Indonesian Journal of Electrical Engineering and Computer Science 28, no. 3 (2022): 1621. http://dx.doi.org/10.11591/ijeecs.v28.i3.pp1621-1632.

Full text

Abstract:

Designing a logic circuit from the scratch requires its description in logical expression, (e.g. sum of products), and then the expression should be optimized to diminish the cost and complexity of the circuit by reducing the number of literals, the number of logical terms, and/or logical operations. Karnaugh map, K-Map, is the most popular method in the optimization process, but it suffers from many drawbacks such as its inefficiency or the inability to be used in minimizing logical expression containing more than four literals, in addition to the complexity of implementing it as a program. I

APA, Harvard, Vancouver, ISO, and other styles

35

Soutif, Ludovic. "Meaning, Colouring, and Logic: Kaplan vs. Frege on Pejoratives." Princípios: Revista de Filosofia (UFRN) 29, no. 59 (2022): 151–70. http://dx.doi.org/10.21680/1983-2109.2022v29n59id29589.

Full text

Abstract:

Although Frege’s aim was not to provide a semantic theory for a natural language, he made, to say the least, valuable and enduring contributions to semantic theory, understood as the assignment of semantic values, and possibly, further meaning properties to natural language expressions. His arguing, notably in Frege (1892), for the assignment to any well-formed linguistic expression of a sense (Sinn), in addition to its reference (Bedeutung) — if any—, is one — and, arguably, the most celebrated and disputed among his contributions.

APA, Harvard, Vancouver, ISO, and other styles

36

Baheri, Ali, and Peng Wei. "Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications." Logics 3, no. 2 (2025): 5. https://doi.org/10.3390/logics3020005.

Full text

Abstract:

We present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales. SMTL extends existing temporal logics by incorporating a stratification operator, enabling the association of temporal properties with specific abstraction levels. This allows for the natural expression of multi-scale requirements while maintaining formal reasoning about inter-level relationships. We formalize the syntax and semantics of SMTL, proving that it strictly subsumes

APA, Harvard, Vancouver, ISO, and other styles

37

Kentaro, Sato. "Forcing under Anti-Foundation Axiom: An expression of the stalks." MLQ 52, no. 3 (2006): 295–314. http://dx.doi.org/10.1002/malq.200410060.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Jiang, Yaozhi. "Dialectical Logic K-Model: the Discrete Time Dynamical Sampling System, Multidimensional Logic Variable and Associate Database(ADB)." Journal of Mathematics Research 10, no. 2 (2018): 88. http://dx.doi.org/10.5539/jmr.v10n2p88.

Full text

Abstract:

Following the earlier works about dialectical logic K-model by the author, in this succeed paper author described the three problems : the first is that discrete time dynamical sampling system to solve which the true-value function is unknown and need discrete time dynamical sampling system to obtain a series of sampled discrete time true-value function points to predict the continuous true-value function or we need some properties of true value function in the frequency domain, a several formulas for true-value function of single-dimensional logic variable via discrete Fourier transformation

APA, Harvard, Vancouver, ISO, and other styles

39

Balykbaev, Baizhan, Kamilya Sultanova, Gulnara Maulenova, and Niyaz Sarzhanov. "Patterns of shape composition in architecture." проект байкал, no. 78 (December 17, 2023): 80–84. http://dx.doi.org/10.51461/issn.2309-3072/78.2240.

Full text

Abstract:

The article deals with the essential regularities of form making in architecture. The authors outline two logics of aesthetic organisation of visual material. One logic goes from inside to outside – from the internal structure of the object to its external form as a system of information expression of the functional and planning organisation and structure; the other logic goes from outside – from the artistic and figurative solution for the architectural environment of the town-planning complex to the building, to its tectonics and geometric form. The analysis of modern architectural practice

APA, Harvard, Vancouver, ISO, and other styles

40

WOOLF, PETER J., and YIXIN WANG. "A fuzzy logic approach to analyzing gene expression data." Physiological Genomics 3, no. 1 (2000): 9–15. http://dx.doi.org/10.1152/physiolgenomics.2000.3.1.9.

Full text

Abstract:

Woolf, Peter J., and Yixin Wang. A fuzzy logic approach to analyzing gene expression data. Physiol Genomics 3: 9–15, 2000.—We have developed a novel algorithm for analyzing gene expression data. This algorithm uses fuzzy logic to transform expression values into qualitative descriptors that can be evaluated by using a set of heuristic rules. In our tests we designed a model to find triplets of activators, repressors, and targets in a yeast gene expression data set. For the conditions tested, the predictions made by the algorithm agree well with experimental data in the literature. The algorith

APA, Harvard, Vancouver, ISO, and other styles

41

Paller, Jeffrey W. "Dignified Public Expression: A New Logic of Political Accountability." Comparative Politics 52, no. 1 (2019): 85–116. http://dx.doi.org/10.5129/001041519x15619975411262.

Full text

Abstract:

Research on political accountability emphasizes elections and popular control, but often neglects how ordinary people hold their leaders to account in the context of daily life. Dominant scholarly approaches emphasize the logic of electoral sanctioning and removal, missing the importance of mutual respect between representatives and citizens. This article introduces a new logic of democratic accountability based on the social practices, daily political behaviors, and public deliberation between representatives and citizens. Using urban Ghana as a study site, this article uncovers the mechanism

APA, Harvard, Vancouver, ISO, and other styles

42

Boute, Raymond. "Pointfree expression and calculation: from quantification to temporal logic." Formal Methods in System Design 37, no. 2-3 (2010): 95–140. http://dx.doi.org/10.1007/s10703-010-0100-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Bekkouche, Mohammed. "Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution." Computer Science Journal of Moldova 31, no. 2 (92) (2023): 217–47. http://dx.doi.org/10.56415/csjm.v31.12.

Full text

Abstract:

Correcting logical errors in a program is not simple even with the availability of an error locating tool. In this article, we introduce GenExp, a genetic programming approach to automate the task of repairing instruction expressions from logical errors. \correction{Starting} from an error location specified by the programmer, we search for a replacement instruction that passes all test cases. Specifically, we generate expressions that will substitute the selected instruction expression until \correction{we} obtain one that \correction{corrects} the input program. \correction{The search space

APA, Harvard, Vancouver, ISO, and other styles

44

Li, Chunxiang, Lijuan Shen, Fangshu Hui, Wen Luo, and Zhongliang Wang. "Mean Square Exponential Stability of Stochastic Delay Differential Systems with Logic Impulses." Mathematics 11, no. 7 (2023): 1613. http://dx.doi.org/10.3390/math11071613.

Full text

Abstract:

This paper focuses on the mean square exponential stability of stochastic delay differential systems with logic impulses. Firstly, a class of nonlinear stochastic delay differential systems with logic impulses is constructed. Then, the logic impulses are transformed into an equivalent algebraic expression by using the semi-tensor product method. Thirdly, the mean square exponential stability criteria of nonlinear stochastic delay differential systems with logic impulses are given. Finally, two kinds of stochastic delay differential systems with logic impulses and uncertain parameters are discu

APA, Harvard, Vancouver, ISO, and other styles

45

Bornemark, Jonna. "The Logic of Pregnancy." Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 48, no. 2 (2023): 128–40. http://dx.doi.org/10.1093/jmp/jhad005.

Full text

Abstract:

Abstract This article takes its point of departure in Bracha Ettinger’s discussion on the “matrixial borderspace”: the structure of the experience of “the womb,” both from a “mother-pole” and a “fetus-pole”. Ettinger describes this borderspace as a place of differentiation-in-co-emergence, separation-in-jointness, and distance-in-proximity. The question this article poses is what kind of logic this experience is an expression of, as there seems to be a discrepancy in relation to the classical Aristotelian logic of identity. As an alternative to classical Aristotelian logic, Nicholas of Cusa’s

APA, Harvard, Vancouver, ISO, and other styles

46

Wang, Qing Yun, and Sheng Yu Cao. "Analysis for Gene Logic Networks of Colon Cancer." Advanced Materials Research 629 (December 2012): 773–77. http://dx.doi.org/10.4028/www.scientific.net/amr.629.773.

Full text

Abstract:

This paper took a set of published colon cancer gene expression profiles for example, to show how to establish a gene expression regulation network with logic relationships. The research improved the original algorithm with supported value, then deciphered and confirmed some nonlinear genes functions. This work also provided valuable reference and guidance for biologists to understand and explain some genes function in pathological changes. Gene logic networks have significant meanings for researching gene functions within cells.

APA, Harvard, Vancouver, ISO, and other styles

47

Yang, Ganggui. "Book Review: Translating As A Purposeful Activity—Functionalist Approaches Explained [1997] Christiane Nord (Author)." International Journal of Arts and Social Science 06, no. 02 (2023): 125–30. https://doi.org/10.5281/zenodo.7759402.

Full text

Abstract:

Translating as a Purposeful Activity--- Functionalist Approached Explained (1997) by Christiane Nord is an excellent book on the German school and functional translation theory. This is a functional theoretical work that is worth studying in terms of writing ideas, language expression, and writing logic. This paper will publicize and evaluate this book from the three aspects of writing thought, language expression, and writing logic, in the hope that it will provide a reference for subsequent studies.

APA, Harvard, Vancouver, ISO, and other styles

48

Xie, Wenguang, Qi Li, Kenian Wang, Chunyan Ma, Tao Zhang, and Guoqun Zhang. "Conditional Expression Fault Classification and Repair Method of Aviation Control Software." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 38, no. 4 (2020): 862–72. http://dx.doi.org/10.1051/jnwpu/20203840862.

Full text

Abstract:

Aviation control software has become the core control decision-making unit of the aviation system. The Boolean conditional expressions are the main parts of the branch and loop control logic of aviation control software. This paper studies the fault classification and repair method of conditional expression of aviation control software. 1) a two-level Boolean conditional expression fault classification method is proposed; 2) based on the design of mutation operator, repair solution and stop condition of mutation repair, an automatic repair method of conditional expression is proposed; 3) a rep

APA, Harvard, Vancouver, ISO, and other styles

49

CAMPOS BENÍTEZ, Juan M. "El octagon medieval de oposición y equivalencia: tres aplicaciones / The Medieval Octagon of Opposition and Equivalence: Three Applications." Revista Española de Filosofía Medieval 17 (October 1, 2010): 129. http://dx.doi.org/10.21071/refime.v17i.6151.

Full text

Abstract:

I describe an octagon of opposition and equivalence developed by fourteenth-century logicians, in particular by Jean Buridan in his Summulae de dialectica. This «square» of opposition displays complex logical relations, one of which is not found in the traditional square of opposition. The octagon allows expression of three kinds of sentences: quantified modal sentences, oblique sentences, and sentences with quantified predicates. The octagon shows that medieval logicians were working with a logic of relations, an identity logic, and a modal logic not unlike the logic of our own day.

APA, Harvard, Vancouver, ISO, and other styles

50

Chen, Yating, and Lu Zhu. "The Research on using Virtual Reality Technology to Improve the grades of Environmental Design Students." International Journal of Sociologies and Anthropologies Science Reviews 5, no. 1 (2025): 193–206. https://doi.org/10.60027/ijsasr.2025.4818.

Full text

Abstract:

Background and Aim: This study takes the application of virtual reality technology in the teaching of environmental design as the object of research and is expected to achieve the following research objective: This study aims to evaluate the impact of virtual reality technology on students' creativity, logic, expression, and grades in environmental design course. Materials and Methods: This paper investigates the application of virtual reality technology in environmental design teaching using literature methods, experimental methods, and mathematical statistics. This study used a control group

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!