Results 131 to 140 of about 594,677 (236)

Counterion Dependent Side‐Chain Relaxation Stiffens a Chemically Doped Thienothiophene Copolymer

open access: yesAdvanced Functional Materials, EarlyView.
Oxidation of a thienothiophene copolymer, p(g3TT‐T2), via different doping strategies and dopant molecules resulted in materials with similar oxidation levels and a high electrical conductivity of ≈100 S cm−1. However, mechanical properties varied significantly, with sub‐glass transition temperatures and elastic moduli spanning from –44°C to –3°C and ...
Mariavittoria Craighero   +12 more
wiley   +1 more source

Optimization Procedures in Affine Model Checking

open access: yesМоделирование и анализ информационных систем, 2011
Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic ...
N. O. Garanina
doaj  

Neuro-symbolic representation learning on biological knowledge graphs. [PDF]

open access: yesBioinformatics, 2017
Alshahrani M   +5 more
europepmc   +1 more source

Linking Neural and Symbolic Representation and Processing of Conceptual Structures. [PDF]

open access: yesFront Psychol, 2017
van der Velde F   +3 more
europepmc   +1 more source

Symbolic and Non-Symbolic Knowledge Representation

open access: yesSymbolic and Non-Symbolic Knowledge Representation
In order to integrate connectionist models and symbolic AI techniques, knowledge must be represented in an appropriate form. In this paper, we introduce the general characteristics of the different types of knowledge representation and the integration possibility.
openaire  

Home - About - Disclaimer - Privacy