Výsledky vyhledávání - • Computing methodologies → Representation of Boolean functions

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis Autor Shah, Preey, Bansal, Aman, Akshay, S., Chakraborty, Supratik

“…Boolean Skolem function synthesis concerns syn¬thesizing outputs as Boolean functions of inputs such that a relational specification between inputs and outputs is satisfied…”
Získat plný text

Logic Synthesis for RRAM-Based In-Memory Computing Autor Shirinzadeh, Saeideh, Soeken, Mathias, Gaillardon, Pierre-Emmanuel, Drechsler, Rolf

“… of the given Boolean functions throughout a level-by-level implementation methodology. It also provides alternative implementations utilizing two different logic operations…”
Získat plný text

Computing mathematical functions with chemical reactions via stochastic logic Autor Solanki, Arnav, Chen, Tonglin, Riedel, Marc

“…This paper presents a novel strategy for computing mathematical functions with molecular reactions, based on theory from the realm of digital design…”
Získat plný text

On the logical structure of choice and bar induction principles Autor Brede, Nuria, Herbelin, Hugo

“… approximations of functions from A to B, a generalised form GDC ABT of the axiom of dependent choice and dually a generalised bar induction principle GBI ABT…”
Získat plný text

Accuracy/Diversity and Ensemble MLP Classifier Design Autor Windeatt, T.

“… The measure is computed between pairs of patterns on the training data and is based on a spectral representation of a Boolean function…”
Získat plný text

The ALIGN Open-Source Analog Layout Generator: v1.0 and Beyond (Invited talk) Autor Dhar, Tonmoy, Kunal, Kishor, Li, Yaguang, Lin, Yishuang, Madhusudan, Meghna, Poojary, Jitesh, Sharma, Arvind K., Burns, Steven M., Harjani, Ramesh, Hu, Jiang, Mukherjee, Parijat, Yaldiz, Soner, Sapatnekar, Sachin S.

“…) it creates a unifying methodology that can be targeted to a wide range of analog circuits. The ALIGN team brings together expertise from both academic and industry researchers to create open-source software for analog layout automation…”
Získat plný text

A genetic tuning to improve the performance of Fuzzy Rule-Based Classification Systems with Interval-Valued Fuzzy Sets: Degree of ignorance and lateral position Autor Sanz, J., Fernández, A., Bustince, H., Herrera, F.

“… However, they can suffer a lack of system accuracy as a result of the uncertainty inherent in the definition of the membership functions and the limitation of the homogeneous distribution of the linguistic labels…”
Získat plný text

A new method for computing fuzzy functional dependencies in relational database systems Autor Vucetic, Miljan, Hudec, Miroslav, Vujošević, Mirko

“…s. ► We introduce new methodology using different fuzzy implications and definition of fuzzy functional dependencies…”
Získat plný text

Logic Synthesis for In-memory Computing Using Resistive Memories Autor Shirinzadeh, Saeideh, Drechsler, Rolf

“… customized and instruction-based. The customized approach exploits logic representations to synthesize for in-memory computing…”
Získat plný text

Improving the interoperability of industrial information systems with description logic-based models—The state of the art Autor Fortineau, Virginie, Paviot, Thomas, Lamouri, Samir

“… ► We highlight limits of ontology-based languages to model PLM requirements. ► We propose research prospects involving reasoning, IS architecture and methodology…”
Získat plný text

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions Autor Seshia, Sanjit A., Lahiri, Shuvendu K., Bryant, Randal E.

“… These decision procedures are either based on encoding atomic subformulas with Boolean variables, or by encoding integer variables as bit-vectors…”
Získat plný text

Generalized representation theorem and its application to the construction of fuzzy sets: Existence and uniqueness Autor Wu, Hsien-Chung

“…A new methodology for constructing a fuzzy subset of a universal set U from a family of subsets of U based on a pre-determined range S that is a subset of (0,1…”
Získat plný text

Discrete and fuzzy dynamical genetic programming in the XCSF learning classifier system Autor Preen, Richard J., Bull, Larry

“…A number of representation schemes have been presented for use within learning classifier systems, ranging from binary encodings to neural networks…”
Získat plný text

Formally Verified Tableau-Based Reasoners for a Description Logic Autor Hidalgo-Doblado, M. J., Alonso-Jiménez, J. A., Borrego-Díaz, J., Martín-Mateos, F. J., Ruiz-Reina, J. L.

“…Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics…”
Získat plný text

EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation Autor Krauss, Rune, Goli, Mehran, Drechsler, Rolf

“… checking and meet time-to-market constraints. A Binary Decision Diagram (BDD) is a suitable data structure as it provides a canonical compact representation of Boolean…”
Získat plný text

Status of three classes of sequences Autor Gong, G., Wang, Z.L.

“…Pseudorandom sequences, sometimes shortened as sequences, have played a key role in the applications of digital communications, cryptography and computer…”
Získat plný text

SyReC: A hardware description language for the specification and synthesis of reversible circuits Autor Wille, Robert, Schönborn, Eleonora, Soeken, Mathias, Drechsler, Rolf

“… Most of the solutions proposed thus far are based on pure Boolean function representations such as truth tables or decision diagrams…”
Získat plný text

States on EMV-algebras Autor Dvurečenskij, Anatolij, Zahiri, Omid

“…We define a state as a [0, 1]-valued, finitely additive function attaining the value 1 on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top element is not assumed…”
Získat plný text

Effects of central tendency measures on term weighting in textual information retrieval Autor Ghahramani, Farzad, Tahayori, Hooman, Visconti, Andrea

“…It has become evident that term weighting has a significant effect on relevant document retrieval for which various methods are proposed. However, the main…”
Získat plný text

Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web Autor Lukasiewicz, Thomas, Ragone, Azzurra

“… representation of utility functions, listing the utility values for all combinations of strategies…”
Získat plný text