Results 131 to 140 of about 568,503 (297)

3D Anodic Alumina Nanoarchitectures: A Decade of Progress from Foundational Science to Functional Metamaterials

Advanced Materials, EarlyView.
Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley   +1 more source

Logic of Induction: A Dead Horse? Some Thoughts on the Logical Foundations of Probability [PDF]

Princípios, 2007
Our purpose in this paper is twofold. The first is to understand why Carnap´s project of building a logic of induction as a whole was not successful.
Ricardo Sousa Silvestre
doaj  

Porosity Engineering of MXene Architectures: Toward High‐Performance Aqueous Electrochemical Energy Storage

Advanced Materials, EarlyView.
This review systematically summarizes recent advances in porosity engineering of MXenes, with a focused discussion on their structure‐governed energy storage properties. A critical analysis of structure–property relationships is presented across alkali‐ion batteries, multivalent‐ion batteries, and supercapacitors.
Shude Liu, Jieming Chen, Xue Peng, Huilin Zhang, Ling Kang, Ming Ma, Zhaoling Li, Yusuke Yamauchi, Bin Ding   +8 more
wiley   +1 more source

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

Advanced Materials, EarlyView.
Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 more
wiley   +1 more source

Lozomieh in Ibn Sina’s Logic and its Relation to Various Kinds of Conditionals in Modern Logic with Analysis and Critique of Some Views

Metaphysics, 2011
According to Ibn Sina's logic, Lozomieh is the only conditional that is suitable to be named real conditional. Also Lozomieh is among the foundations of Ibn Sina’s logic that the rules Modus Ponens and Modus Tollens would be applied only to it ...
M Hajihosseini
doaj  

Logic and foundations of artificial intelligence and society's reactions to maximize benefits and mitigate harm

Filosofia Unisinos
Artificial intelligence is a general-purpose technology (GPT), term given to technologies that shape an entire era and reorient innovations by reconfiguring the economy’s logic and functioning and bringing in new business models.
Dora Kaufman
doaj   +1 more source

CafeOBJ: Logical foundations and methodologies

Comput. Artif. Intell., 2003
CafeOBJ defined by \textit{R. Diaconescu} and \textit{K. Futatsugi} in [CafeOBJ Report: The Language, Proof Techniques and Methodologies for Object-Oriented Algebraic Specification, (AMAST Series in Computing, 6, World Scientific, 1998; Zbl 0962.68115)] is an executable industrial strength algebraic specification language successor of OBJ and was ...
Diaconescu, Razvan, Futatsugi, Kokichi, Ogata, Kazuhiro   +2 more
openaire   +2 more sources

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source

A New Perspective on Intuitionistic Fuzzy Structures in Sheffer Stroke BCK-Algebras

Axioms
This study introduces the concept of an intuitionistic fuzzy SBCK-subalgebra (SBCK-ideal) and explores the level set of an intuitionistic fuzzy set within the context of Sheffer stroke BCK-algebras.
Ravi Kumar Bandaru, Rajesh Neelamegarajan, Tahsin Oner, Amal S. Alali   +3 more
doaj   +1 more source

On a Logical Foundation for Explicit Substitutions [PDF]

, 2007
Traditionally, calculi of explicit substitution [1] have been conceived as an implementation technique for β-reduction and studied with the tools of rewriting theory. This computational view has been extremely fruitful (see [2] for a recent survey) and raises the question if there may also be a more abstract underlying logical foundation.
openaire   +1 more source