Results 41 to 50 of about 45,065 (245)
Remote Sensing, 2015 The growing availability of high-resolution satellite imagery provides an opportunity for identifying road objects. Most studies associated with road detection are scene-related and also based on the digital number of each pixel.
Maryam Nikfar +3 more
doaj +1 more source
Dynamic Conflict Resolution Using Justification Based Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception.
Werner Damm +4 more
doaj +1 more source
Impacts of Device Geometry and Layout on Temperature Profile during Large‐Area Photonic Curing
Advanced Engineering Materials, EarlyView.The study investigates how gate geometry affects peak curing temperature during photonic curing of solution‐processed indium zinc oxide thin‐film transistors. Using 3D simulations and experimental validation, it reveals that larger gate areas and smaller aspect ratios increase curing temperature and thus improve transistor performance. Findings provide
Yasir Fatha Abed +3 more
wiley +1 more source
Virus‐Assembled Biofunctional Microarrays with Hierarchical 3D Nano‐Reticular Network
Advanced Functional Materials, Volume 35, Issue 14, April 3, 2025.Virus‐assembled microdots with a wrinkled pattern induced by the high‐pressure carbon dioxide method show a morphology similar to sunflowers. Abstract Three‐dimensional (3D) hierarchical wrinkled materials built with biological entities have so far remained exclusive to nature.
Lei Tian +10 more
wiley +1 more source
Advanced Functional Materials, Volume 35, Issue 14, April 3, 2025.Ferroelectric ZrO2 films grown by sputtering on Si, show strong near‐infrared (NIR) detection capability. The performance is shown to arise from the pyroelectric effect, combined with the ferroelectric effect in ZrO2, and the photovoltaic effect in Si.
Nuno E. Silva +13 more
wiley +1 more source
Deciding expressive description logics in the framework of resolution [PDF]
Information and Computation, 2008 AbstractWe present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To derive our algorithm, we extend basic superposition with a decomposition inference rule, which transforms conclusions of certain inferences into equivalent, but ...
Hustadt, U, Motik, B, Sattler, U
openaire +2 more sources
Organic Permeable Base Transistors—Reliable Large‐Scale Anodization for High Frequency Devices
Advanced Functional Materials, Volume 35, Issue 17, April 25, 2025.Electrochemical anodization is optimized for organic permeable base transistors (OPBTs), achieving an unprecedented 87% yield and reproducibility for vertical organic transistors (VOTs) on a 15 x 15 cm wafer. Controlled Al base oxidation ensures a median transconductance of 10−3 S, leakage current below 10−9 A, current gain of 106, and transit ...
Amric Bonil +8 more
wiley +1 more source
A resolution calculus for modal logics
, 2005 A syntax transformation is presented that eliminates the modal logic operators from modal logic formulae by shifting the modal context information to the term level. The formulae in the transformed syntax can be brought into conjunctive normal form such that a clause based resolution calculus without any additional inference rule, but with special ...
openaire +2 more sources
Advanced Functional Materials, EarlyView.Self‐aligned gate transistors are developed with a single‐step dielectric passivation and fine‐tuning of source/drain electrode work function using phosphonic acid self‐assembled monolayers (SAM). This transistor architecture minimizes overlap capacitances and access resistance.
Linqu Luo +16 more
wiley +1 more source
Logical disputes and the a priori [Disputas lógicas e o a priori]
Princípios, 2016 In this paper, I propose a general model for the rational resolution of disputes about logic, and discuss a number of its features. These include its dispensing with a traditional notion of the a priori in logic, and some objections to which this might ...
Graham Priest
doaj +2 more sources