Results 91 to 100 of about 130,323 (314)

On the uniform one-dimensional fragment

, 2016
The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities.
Kuusisto, Antti
core  

Local Thermal Conductivity Patterning in Rotating Lattice Crystals of Anisotropic Sb2S3

Advanced Functional Materials, EarlyView.
Microscale control of thermal conductivity in Sb2S3 is demonstrated via laser‐induced rotating lattice crystals. Thermal conductivity imaging reveals marked thermal transport anisotropy, with the c axis featuring amorphous‐like transport, whereas in‐plane directions (a, b) exhibit 3.5x and 1.7x larger thermal conductivity.
Eleonora Isotta, Rosemary Wynnychenko, Binayak Mukherjee, Jack Kaman, Hrushikesh Sahasrabuddhe, Jiongzhi Zheng, Anubhav Jain, Geoffroy Hautier, Alexandra Zevalkink, Evan Musterman, Volkmar Dierolf, Himanshu Jain, G. Jeffrey Snyder, Oluwaseyi Balogun   +13 more
wiley   +1 more source

SEMANTIC IMAGE ANALYSIS USING A SYMBOLIC NEURAL ARCHITECTURE

Image Analysis and Stereology, 2010
Image segmentation and classification are basic operations in image analysis and multimedia search which have gained great attention over the last few years due to the large increase of digital multimedia content. A recent trend in image analysis aims at
Ilianna Kollia, Nikolaos Simou, Andreas Stafylopatis, Stefanos Kollias   +3 more
doaj   +1 more source

Адаптивные дескрипционные динамические доксастические логики вопросов [PDF]

, 2018
Basic ideas of adaptive logics are described. Incorporation problems of the data adaptation into the systems of epistemic and doxastic logics are analysed.
Нечитайлов, Ю. В.
core   +1 more source

A Basic Description Logic for Service-Oriented Architecture in Factory Planning and Operational Control in the Age of Industry 4.0 [PDF]

, 2023
Angela Luft, Nils Luft, Kristian Arntz
openalex   +1 more source

Analysis of the Electrochemical Stability of Sulfide Solid Electrolyte Dry Films for Improved Dry‐Processed Solid‐State Batteries

Advanced Functional Materials, EarlyView.
An adapted processing for solvent‐free argyrodite solid electrolyte films based on insights into degradation mechanisms of the widely used binder polytetrafluoroethylene is presented. By adapting the dry film processing, long‐term cycling in Si||NMC pouch cells is demonstrated over more than 1000 cycles with a capacity retention of more than 80%, and ...
Maria Rosner, Sahin Cangaz, Felix Hippauf, Susanne Dörfler, Burak Aktekin, Thomas Meyer, Anja Henss, Thomas Abendroth, Holger Althues, Jürgen Janek, Stefan Kaskel   +10 more
wiley   +1 more source

On two-variable guarded fragment logic with expressive local Presburger constraints [PDF]

Logical Methods in Computer Science
We consider the extension of the two-variable guarded fragment logic with local Presburger quantifiers. These are quantifiers that can express properties such as "the number of incoming blue edges plus twice the number of outgoing red edges is at ...
Chia-Hsuan Lu, Tony Tan
doaj   +1 more source

Description Logics with Abstraction and Refinement

, 2023
Carsten Lutz, Lukas Schulze
openalex   +1 more source

On Approximation of Concept Similarity Measure in Description Logic ELH With Pre-Trained Word Embedding [PDF]

, 2021
Teeradaj Racharak
openalex   +1 more source

Electroactive Liquid Crystal Elastomers as Soft Actuators

Advanced Functional Materials, EarlyView.
Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley   +1 more source