Results 91 to 100 of about 3,261,962 (390)

Data-oriented parsing with discontinuous constituents and function tags

Journal of Language Modelling, 2016
Statistical parsers are e ective but are typically limited to producing projective dependencies or constituents. On the other hand, linguisti- cally rich parsers recognize non-local relations and analyze both form and function phenomena but rely on ...
Andreas van Cranenburgh, Remko Scha, Rens Bod   +2 more
doaj   +1 more source

Investigating subclasses of abstract dialectical frameworks

Argument & Computation, 2020
dialectical frameworks (ADFs) are generalizations of Dung argumentation frameworks where arbitrary relationships among arguments can be formalized.
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran   +3 more
doaj   +1 more source

Characterization of Strongly Equivalent Logic Programs in Intermediate Logics [PDF]

arXiv, 2002
The non-classical, nonmonotonic inference relation associated with the answer set semantics for logic programs gives rise to a relationship of 'strong equivalence' between logical programs that can be verified in 3-valued Goedel logic, G3, the strongest non-classical intermediate propositional logic (Lifschitz, Pearce and Valverde, 2001). In this paper
arxiv  

Concurrent Interface Passivation and Contact Work Function Tuning in Organic Self‐Aligned Gate Transistors and Complementary Circuits Using Phosphonic Acid Self‐Assembled Monolayers

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, Mohamad Insan Nugraha, Hendrik Faber, Shaoxian Li, Chrysa Aivalioti, Bahaaeddin Irziqat, Ricardo Ruvalcaba, Temur Maksudov, Yu‐ying Yang, Harold F. MazoMantilla, Lazaros Panagiotidis, Mohamed Nejib Hedhili, Furkan H. Isikgor, Leonidas Tsetseris, Shadi Fatayer, Martin Heeney, Thomas D. Anthopoulos   +16 more
wiley   +1 more source

Copies of classical logic in intuitionistic logic [PDF]

arXiv, 2012
Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classical logic in intuitionistic logic. All copies usually found in the literature are the same. This raises the question: is the copy unique?
arxiv  

Nonstandard logicism

, 2021
Logicism was a dominant position in the foundations of mathematics of the late nineteenth and early twentieth century. Roughly put, it is the view that pure mathematics is reducible to higherorder logic. More specifically, the logicist thesis is usually taken to consist of two claims. First, all primitive terms of an axiomatized mathematical theory can
openaire   +9 more sources

Transient Current Responses of Organic Electrochemical Transistors: Evaluating Ion Diffusion, Chemical Capacitance, and Series Elements

Advanced Functional Materials, EarlyView.
This work establishes a general theory of the current transient of ionic‐electronic transistors under a step of gate voltage. The dominant effect is a transient charging of the channel by diffusion of ions. The additional influence of electrolyte capacitance and resistance splits the fundamental time constant of diffusion into two different components.
Juan Bisquert, Nir Tessler
wiley   +1 more source

In Memoriam

Informal Logic, 2023
Informal Logic
doaj   +1 more source

Characterizing Quantifier Extensions of Dependence Logic [PDF]

arXiv, 2012
We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.
arxiv  

Simulation Studies of Nanomagnet-Based Architecture

, 2008
We report a simulation study on interacting ensembles of Co nanomagnets that can perform basic logic operations and propagate logic signals, where the state variable is the magnetization direction.
Behin-Aein B., Cowburn R. P., Cowburn R. P., Csaba G., Donahue M. J., Doyle W., Fidler J., Imre A., Imre A., Parish M.   +9 more
core   +1 more source