Results 21 to 30 of about 1,250 (247)

An Empirical Investigation Into Deep and Shallow Rule Learning

Frontiers in Artificial Intelligence, 2021
Inductive rule learning is arguably among the most traditional paradigms in machine learning. Although we have seen considerable progress over the years in learning rule-based theories, all state-of-the-art learners still learn descriptions that directly
Florian Beck, Johannes Fürnkranz
doaj   +1 more source

Multiple Alternative Promoters and Alternative Splicing Enable Universal Transcription-Based Logic Computation in Mammalian Cells

Cell Reports, 2020
Summary: Multi-input logic gene circuits can enable sophisticated control of cell function, yet large-scale synthetic circuitry in mammalian cells has relied on post-transcriptional regulation or recombinase-triggered state transitions.
Jiten Doshi, Katie Willis, Angela Madurga, Christoph Stelzer, Yaakov Benenson   +4 more
doaj   +1 more source

Disentangling Neural Disjunctive Normal Form Models

CoRR
Accepted at NeSy ...
Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo   +5 more
openaire   +6 more sources

Disjunctive and conjunctive normal forms of pseudo-Boolean functions

Discrete Applied Mathematics, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stephan Foldes, Peter L. Hammer
openaire   +2 more sources

Disjunctive bases: normal forms and model theory for modal logics

Logical Methods in Computer Science, 2022
We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for coalgebraic mu-calculi.
Enqvist, S., Venema, Y.
openaire   +5 more sources

Experimental comparison of the effectiveness of programs for minimizing systems of Boolean functions in the class of disjunctive normal forms

Informatika, 2022
Objectives. Methods, algorithms and programs for solving problems of minimizing the DNF representations of Boolean functions are widely used in the design of digital systems to reduce the complexity (crystal area) of functional combinational blocks of ...
P. N. Bibilo, I. P. Loginova
doaj   +1 more source

Hardware implementation of Boolean functions based on the automaton model

Informatika, 2023
Objectives. Currently, electronic control devices are increasingly being introduced into various household and production products. Microcontrollers of a wide variety of configurations are widely used as such devices.
A. A. Butov
doaj   +1 more source

Implementing Indigenous Data Sovereignty in Australia: A Five‐Phase Framework for Indigenous Data Governance

Australian Journal of Social Issues, EarlyView.
ABSTRACT This article presents the development of a five‐phase Indigenous Data Governance (IDGov) Framework in Australia, focusing on partnerships between the Aboriginal Community Controlled Health Organisation (ACCHO) sector and non‐Indigenous health entities.
Jacob Prehn, Michael A. Guerzoni, Maggie Walter, Gawaian Bodkin‐Andrews, Bobby Maher   +4 more
wiley   +1 more source

A MODIFIED ALGORITHM FOR MINIMIZING THE DISJUNCTIVE NORMAL FORM

Proceedings in Cybernetics, 2023
The article describes an algorithm for a directed search to find the minimum disjunctive normal form using the lexicographic order.
openaire   +1 more source

How Are Australian Local Governments Responding to the Homelessness Crisis? Findings From a National Study

Australian Journal of Social Issues, EarlyView.
ABSTRACT Australian local governments are facing intensifying pressures to respond to worsening visible homelessness. This paper presents one of the first national studies on how local governments are responding to these pressures, and the first since the onset of the post‐pandemic housing crisis.
Andrew Clarke, Joelle Moore, Fatemeh Aminpour, Katya Eagles   +3 more
wiley   +1 more source