Results 61 to 70 of about 49,509 (302)

Resolution approximation of first-order logics

Information and Computation, 1992
This paper is a continuation of other researches made by the author and P. O'Hearn in resolution proof systems. The idea behind this work is to represent a certain logic as a resolution-proof system. Of a certain interest are the strongly finite logics, that is, logics semantically defined by finite logical matrices.
openaire   +3 more sources

Tailored Reconstruction of Polycrystalline CuO Nanorods Promotes C─C Coupling in CO2 Electroreduction

Advanced Functional Materials, EarlyView.
Controlling the polycrystallinity of CuO nanorods enables directional reconstruction into rod‐like structures that stabilize Cu(OH)2 and increase Cu+ ratios, while modulating interfacial water dynamics to enhance C─C coupling and boost C2+ product formation in CO2 electroreduction.
Hyeon‐Seok Bang, Young‐Jin Ko, Hyo Sang Jeon, Eugene Huh, Eung Dab Kim, Min Gwan Ha, Chulwan Lim, Jiho Jeon, Seohyeon Ka, Dogyeong Kim, Xiaojie Zhang, Yeongjin Kim, Kyeongsu Kim, Woong Hee Lee, Jae‐Young Choi, Hyung‐Suk Oh   +15 more
wiley   +1 more source

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Locking Metastable Topological Domains in Nematic Liquid Crystal Pi Cells

Advanced Functional Materials, EarlyView.
Selective photopolymerization in the presence of a controlled voltage defines permanent director walls that lock‐in metastable bend and twist configurations within nematic liquid crystal Pi cells. Q‐tensor simulations corroborate the experiments, demonstrating the topological state stabilization.
Adithya Pradeep, Urban Mur, Junseok Ma, Nathan Spiller, Yihan Jin, Waqas Kamal, Steve J. Elston, Stephen M. Morris   +7 more
wiley   +1 more source

Epitaxial Interface‐Driven Photoresponse Enhancement in Monolayer WS2–MoS2 Lateral Heterostructures

Advanced Functional Materials, EarlyView.
Surface potential distribution image, along with the derived electric field distribution across the interface, reveals that the electric field reaches its peak at the interface. Additionally, the spectral response of the heterointerface exhibits higher and broader features compared to its bare counterparts.
Pargam Vashishtha, Clara Kofler, Ajay Kumar Verma, Sindhu Priya Giridhar, Jonathan O. Tollerud, Nethmi S. L. Dissanayake, Tanish Gupta, Manoj Sehrawat, Vishnu Aggarwal, Edwin L.H. Mayes, Billy J. Murdoch, Deepak Sharma, Taimur Ahmed, Jani Kotakoski, Jeffrey A. Davis, Yuerui Lu, Govind Gupta, Irfan H. Abidi, Sumeet Walia   +18 more
wiley   +1 more source

Confinement Driven Spin‐Texture Evolution in Directly Written Nanomagnets

Advanced Functional Materials, EarlyView.
Spin‐texture is directly written by triggering lattice ordering locally at the nanoscale. Geometric confinement drives the formation of spin‐textures such as Néel walls with perpendicular core spins, essential for technological applications. Abstract In low‐dimensional magnetic structures, magnetostatic energy minimization yields a uniform spin‐texture,
Md. Shadab Anwar, Iryna Zelenina, Paweł Sobieszczyk, Gregor Hlawacek, Kristian Tveitstøl, Kay Potzger, Jürgen Fassbender, Olav Hellwig, Jürgen Lindner, Michał Krupiński, Magnus Nord, Rantej Bali   +11 more
wiley   +1 more source

A Resolution Method for Modal Logic S5

EPiC Series in Computing, 2018
The aim of this work is to define a resolution method for the modal logic S5. Wefirst propose a conjunctive normal form (S5-CNF) which is mainly based on using labelsreferring to semantic worlds. In a sense, S5-CNF can be seen as a generalization of theconjunctive normal form in propositional logic by using in the clause structure the modalconnective ...
Salhi, Yakoub, Sioutis, Michael
openaire   +4 more sources

Reconfigurable 3D Magnetic Nanoarchitectures

Advanced Functional Materials, EarlyView.
This experimental study confirms that 3D magnetic tetrapods grown by focused electron beam‐induced deposition exhibit sequential, controllable magnetization reversal in the individual nanowire legs. The magnetic state of the nanoarchitecture can be controlled individually, on‐demand, through a variation of the direction and magnitude of the applied ...
Sabri Koraltan, Fabrizio Porrati, Robert Kraft, Sven Barth, Markus Weigand, Claas Abert, Dieter Suess, Michael Huth, Sebastian Wintz   +8 more
wiley   +1 more source

Very High Resolution Satellite Image Classification Using Fuzzy Rule-Based Systems

Algorithms, 2013
The aim of this research is to present a detailed step-by-step method for classification of very high resolution urban satellite images (VHRSI) into specific classes such as road, building, vegetation, etc., using fuzzy logic. In this study, object-based
Yun Zhang, Shabnam Jabari
doaj   +1 more source

Complementary Logic Driven by Dielectrophoretic Assembly of 2D Semiconductors

Advanced Functional Materials, EarlyView.
Scalable, parallel fabrication of complementary logic gates is demonstrated using electric‐field‐driven deterministic assembly of electrochemically exfoliated 2D n‐type MoS2 and p‐type WSe2 nanosheets. This strategy yields MoS2 and WSe2 transistors featuring average mobilities of 4.3 and 3.0 cm2 V−1 s−1, respectively, and on/off ratios of > 104 ...
Dongjoon Rhee, Okin Song, Ji Yun Park, Yonghyun Albert Kwon, Jae Hyung Kim, In Soo Kim, Zdeněk Sofer, Jeong Ho Cho, Deep Jariwala, Hyesung Park, Joohoon Kang   +10 more
wiley   +1 more source