Results 161 to 170 of about 1,395,634 (216)

Accelerating the Discovery of Proton Conducting Electrolytes via Machine Learning‐Enabled Literature Mining

Advanced Intelligent Discovery, EarlyView.
An end‐to‐end knowledge discovery framework is established to automate high‐precision property extraction from small, specialized literature corpora. Utilizing a domain‐specific bidirectional encoder representation from a transformer model and data augmentation, the system accurately extracts and structures electrolyte performance data, ultimately ...
Gaheun Shin, Seongho Lee, Seulchan Kim, Ho‐Il Ji, Joonhee Kang   +4 more
wiley   +1 more source

Quantifying Structure‐Dependent Rigidity of 3D DNA Origami Boxes

Advanced Intelligent Systems, EarlyView.
We investigate the mechanical stability of a hollow 3D DNA origami box during assembly using liquid AFM imaging and finite element simulations. As structural completeness increases from flat sheets through intermediate assemblies to a closed box, rigidity improves.
Judith Zubia‐Aranburu, Reza Zadegan, Jens Vinge Nygaard, Jørgen Kjems, Ramesh Subramani, Mingdong Dong   +5 more
wiley   +1 more source

A Scalable and Resource‐Efficient Pipelined p‐Computer for Probabilistic Ising Machines

Advanced Intelligent Systems, EarlyView.
(a) Block diagram of the portfolio optimization problem: given M assets, the goal is to determine the optimal weights w that maximize the expected return (based on the mean historical assets return u), while minimizing the risk, quantified by the assets covariance matrix S.
Deborah Volpe, Eleonora Raimondo, Andrea Grimaldi, Pedram Khalili Amiri, Stefano Chiappini, Anna Giordano, Mario Carpentieri, Hyunsoo Yang, Massimo Chiappini, Giovanni Finocchio   +9 more
wiley   +1 more source

Fuzzy Topology Based on Residuated Lattice-Valued Logic

Acta Mathematica Sinica, English Series, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mingsheng Ying
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic

Annals of Mathematics and Artificial Intelligence, 2020
\par There exists the concept of \textit{topological system} of \textit{S. Vickers} [Topology via logic. Cambridge etc.: Cambridge University Press (1989; Zbl 0668.54001)], which provides a common framework for both topological spaces (point-set topology) and their underlying algebraic structures -- frames or locales (point-free topology).
Litan Kumar Das, Kumar Sankar Ray
exaly   +4 more sources

On Compactness and Consistency in Finite Lattice-Valued Propositional Logic

, 2010
In this paper, we investigate the semantical theory of finite lattice-valued propositional logic based on finite lattice implication algebras Based on the fuzzy set theory on a set of formulas, some propositions analogous to those in the classical logic are proved, and using the semantical consequence operation, the consistence and compactness is ...
Xiaodong Pan, Yang Xu 0001, Luis Martínez-López 0001, Da Ruan 0001, Jun Liu 0001   +4 more
core   +3 more sources

On an algebra of linguistic truth-valued intuitionistic lattice-valued logic

Journal of Intelligent & Fuzzy Systems, 2013
In this paper, we propose a kind of linguistic truth-valued intuitionistic fuzzy lattice based on the point view of intuitionistic fuzzy set and linguistic truth-valued lattice implication algebra. As an algebra fundament of linguistic truth-valued intuitionistic fuzzy logic, some properties of linguistic truth-valued ...
Zou, Li, Shi, Peng, Pei, Zheng, Xu, Yang
openaire   +3 more sources

Multiary α-Resolution Principle for a Lattice-Valued Logic

IEEE Transactions on Fuzzy Systems, 2013
This paper focuses on resolution-based automated reasoning theory in a lattice-valued logic system with truth values that are defined in a lattice-valued logical algebraic structure-lattice implication algebras (LIAs) - which essentially aims to extend the classical logic to handle automated deduction under an uncertain environment.
Shuwei Chen, Xiaomei Zhong
exaly   +3 more sources

alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System

2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), 2015
This paper presents an a-resolution method for lattice-valued Horn generalized clauses in lattice-valued first-order logic system LF(X) based on lattice implication algebra. In LF(X), we give the concepts of lattice-valued Horn generalized clause and normal lattice-valued Horn generalized clause.
Wenqiang Zhang, Dexian Zhang
exaly   +3 more sources

Equivalence in automata theory based on complete residuated lattice-valued logic

Fuzzy Sets and Systems, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fuchun Liu, Daowen Qiu, Hongyan Xing
exaly   +3 more sources