Search Results - • Computing methodologies → Representation of Boolean functions

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis by 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…”
Get full text

Logic Synthesis for RRAM-Based In-Memory Computing by 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…”
Get full text

Computing mathematical functions with chemical reactions via stochastic logic by 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…”
Get full text

On the logical structure of choice and bar induction principles by 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…”
Get full text

Accuracy/Diversity and Ensemble MLP Classifier Design by 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…”
Get full text

The ALIGN Open-Source Analog Layout Generator: v1.0 and Beyond (Invited talk) by 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…”
Get full 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 by 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…”
Get full text

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

“…s. ► We introduce new methodology using different fuzzy implications and definition of fuzzy functional dependencies…”
Get full text

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

“… customized and instruction-based. The customized approach exploits logic representations to synthesize for in-memory computing…”
Get full text

Improving the interoperability of industrial information systems with description logic-based models—The state of the art by 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…”
Get full text

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions by 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…”
Get full text

Generalized representation theorem and its application to the construction of fuzzy sets: Existence and uniqueness by 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…”
Get full text

Discrete and fuzzy dynamical genetic programming in the XCSF learning classifier system by 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…”
Get full text

Formally Verified Tableau-Based Reasoners for a Description Logic by 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…”
Get full text

EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation by 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…”
Get full text

Status of three classes of sequences by 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…”
Get full text

SyReC: A hardware description language for the specification and synthesis of reversible circuits by 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…”
Get full text

States on EMV-algebras by 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…”
Get full text

Effects of central tendency measures on term weighting in textual information retrieval by 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…”
Get full text

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

“… representation of utility functions, listing the utility values for all combinations of strategies…”
Get full text