Results 131 to 140 of about 304,067 (315)

Justification Logic, Inference Tracking, and Data Privacy [PDF]

open access: yes, 2011
Internalization is a key property of justification logics. It states that justification logics internalize their own notion of proof which is essential for the proof of the realization theorem.
Studer, Thomas
core  

Artificial Intelligence‐Assisted Workflow for Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling

open access: yesAdvanced Materials, EarlyView.
AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll   +19 more
wiley   +1 more source

Justification of Data Warehousing Projects

open access: yes, 2001
Project justification is regarded as one of the major methodological deficits in Data Warehousing practice. As reasons for applying inappropriate methods, performing incomplete evaluations, or even entirely omitting justifications, the special nature of
Winter, Robert   +3 more
core   +1 more source

Stepwise On‐Surface Synthesis and Transformations of Two‐Dimensional Covalent Organic Frameworks by Controlled Thermal Stimuli

open access: yesAdvanced Materials, EarlyView.
The seminal transformation of a 2D‐COF (SURFCOF‐IMDEA1) into a 2D porous COF (SURFCOF‐IMDEA2) on Au(111) by a sequential C‐C coupling and ladderization triggered by thermal annealing steps at increasing temperatures is reported. Abstract The development of covalent organic frameworks (COFs) is currently a primary objective in materials science, taking ...
Ana Barragán   +11 more
wiley   +1 more source

Spin and Charge Control of Topological End States in Chiral Graphene Nanoribbons on a 2D Ferromagnet

open access: yesAdvanced Materials, EarlyView.
Chiral graphene nanoribbons on a ferromagnetic gadolinium‐gold surface alloy display tunable spin and charge states at their termini. Atomic work function variations and exchange fields enabe transitions between singlet, doublet, and triplet configurations.
Leonard Edens   +8 more
wiley   +1 more source

Exploring Subset Models for Justification Logic

open access: yes, 2021
Justification logic is a refinement of modal logic that includes explicit justifications for an agent’s knowledge. So far, most semantics for justification logic interpret justifications symbolically, that is, as sets of formulas.
Studer, Thomas, Lehmann, Eveline
core  

COFs on MOFs: Layer‐by‐Layer Synthesis of MOF@COF Nanoparticles with Synergistic Adsorption

open access: yesAdvanced Materials, EarlyView.
A layer‐by‐layer strategy enables the growth of crystalline covalent organic framework (COF) shells on metal–organic framework nanoparticles, creating core–shell structures with tunable porosity. Ordered interstitial mesopores are formed during shell growth, which are connected with the COF's intrinsic micropores, thereby enhancing water sorption. This
Ana Guillem‐Navajas   +11 more
wiley   +1 more source

Impossible and Conflicting Obligations in Justification Logic

open access: yes, 2020
Different notions of the consistency of obligations collapse in standard deontic logic.In justification logics, which feature explicit reasons for obligations, the situation isdifferent. Their strength depends on a constant specification and on
Ghari, Meghdad   +3 more
core  

Phenomenal Seemings and Sensible Dogmatism

open access: yes, 2013
According to phenomenal conservatism, if it seems to S that P, then, in the absence of defeaters, S thereby has some degree of justification for believing P. Phenomenal conservatism has received its fair share of criticism.
Berit Brogaard, Brogaard, Berit
core   +1 more source

Topology and Material Optimization in Ultra‐Soft Magneto‐Active Structures: Making Advantage of Residual Anisotropies

open access: yesAdvanced Materials, EarlyView.
Residual magnetization induces pronounced mechanical anisotropy in ultra‐soft magnetorheological elastomers, shaping deformation and actuation even without external magnetic fields. This study introduces a computational‐experimental framework integrating magneto‐mechanical coupling into topology optimization for designing soft magnetic actuators with ...
Carlos Perez‐Garcia   +3 more
wiley   +1 more source

Home - About - Disclaimer - Privacy