Results 71 to 80 of about 633,950 (258)
Canonical coalgebraic linear time logics [PDF]
, 2015 We extend earlier work on linear time fixpoint logics for coalgebras with branching, by showing how propositional operators arising from the choice of branching monad can be canonically added to these logics.
Cirstea, Corina
core +2 more sources
Inverse Design of Nanoparticulate Materials
Advanced Materials, EarlyView.Inverse design shifts nanomaterial development from empirical trial‐and‐error to predictive model‐driven strategies. It can rely on knowledge‐based, data‐based, or hybrid process and property functions. This perspective article provides a practical framework for applying inverse design based on instructive examples. It discusses which modeling approach
Nabi Etienne Traoré +5 more
wiley +1 more source
Multi-Attribute Decision Making using Weighted Description Logics [PDF]
, 2014 We introduce a framework based on Description Logics, which can be used to encode and solve decision problems in terms of combining inference services in DL and utility theory to represent preferences of the agent.
Meilicke, Christian, Acar, Erman
core +1 more source
Advanced Materials, EarlyView.Self‐invalidating multilayer physical unclonable functions (PUFs) integrate fingerprint‐like metal nanopattern bilayers from block copolymer templates with highly reactive reduced graphene oxide (rGO) interlayers. This tamper‐responsive architecture blocks all unauthorized physical and chemical replication attempts while autonomously deactivating ...
Gyu Hui Jo +7 more
wiley +1 more source
Phase‐Engineered MoS2 Quantum Monolayer Catalysts
Advanced Materials, EarlyView.A new type of catalyst model—phase‐engineered MoS2 quantum‐monolayer catalyst (∼0.8 nm thick, < 6 nm in the lateral size; switchable freely among metallic 1T, semiconducting 2H, and a hybrid phase of metallic‐semiconducting 1T‐2H)—is reported. It can efficiently and stably drive photochemical H2, syngas and ammonia synthesis as a catalyst or co ...
Ruijie Yang +12 more
wiley +1 more source
Introducing Weighted Prototypes in Description Logics for Defeasible Reasoning
, 2023 The representation of defeasible information in Description Logics is a well-known issue and many formal approaches have been proposed, mostly emerging from existing formalisms in non-monotonic logic. However, in these proposals little attention has been
Loris Bozzato +2 more
core +1 more source
Decidability and Expressiveness of Recursive Weighted Logic [PDF]
, 2015 Labelled weighted transition systems (LWSs) are transition systems labelled with actions and real numbers. The numbers represent the costs of the corresponding actions in terms of resources. RecursiveWeighted Logic (RWL) is a multimodal logic that expresses qualitative and quantitative properties of LWSs.
Kim Guldstrand Larsen +2 more
openaire +3 more sources
Maximal traces and path-based coalgebraic temporal logics
, 2011 This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the logic PCTL for probabilistic transition systems.
Cirstea, Corina, Corina Cîrstea
core +1 more source
Advanced Materials, EarlyView.Chalcogen substitution emerges as a powerful strategy for designing high‐performance OMIECs. In aliphatic–glycol side chain diketopyrrolopyrrole polymers, biselenophene incorporation promotes a planar, polarizable, and doping‐tolerant quinoidal framework, enabling PDPP‐4EG‐Se2 to combine high hole mobility, large µC*, enhanced operational stability ...
Shinbee Oh +9 more
wiley +1 more source
Descriptor‐Informed Screening of Interface‐Active Molecules for Efficient Magnesium Metal Anodes
Advanced Materials, EarlyView.A descriptor‐informed molecular screening strategy identifies 4‐bromo‐N, N‐dimethylaniline (BrNNA) as an interface‐active electrolyte component that enables fast Mg stripping/plating in Mg(TFSI)2‐based electrolytes. By simultaneously regulating Mg2+ solvation and interphase formation, the BrNNA‐containing electrolyte delivers activation‐free Mg ...
Hao Xu +16 more
wiley +1 more source