Results 1 to 10 of about 39,738 (264)
FPGA-Based Implementation of Ship Detection for Satellite On-Board Processing
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2022 At present, the raw echo data captured by spaceborne synthetic aperture radar is usually downlinked to the ground stations for imaging and analysis. If the SAR data can be processed on-board, the processing results could be transmitted to users directly ...
Ming Xu +5 more
doaj +1 more source
Neutrosophic routes in multiverse of communication [PDF]
Neutrosophic Sets and Systems, 2014 Florentin Smarandache and Ştefan Vlăduţescu the authors and coordinators of the book “Communication Neutrosophic Routes”, published by Education Publishing, Ohio, USA, on 2014, are two remarcable professors, with many researches in neutrosophical ...
Daniela Gîfu, Mirela Teodorescu
doaj
Topologies for intermediate logics [PDF]
Mathematical Logic Quarterly, 2014 We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan topologies on an elementary topos for a wide class of intermediate logics.
openaire +4 more sources
Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]
Logical Methods in Computer Science, 2009 Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen +2 more
doaj +1 more source
Intermediate Logics and the de Jongh property [PDF]
Archive for Mathematical Logic, 2010 Dick de Jongh proved in an unpublished paper that the propositional logic of Heyting's arithmetic, \textbf{HA}, is precisely \textbf{IPC}, that means that, for any proposition \(A(p_1,\dots, p_n)\), \(\mathbf{IPC}\vdash A(p_1,\dots, p_n)\) if and and only if \(\mathbf{HA}\vdash A(B_1,\dots, B_n)\), for all arithmetical sentences \(B_1,\dots, B_n ...
de Jongh, D., Verbrugge, R., Visser, A.
openaire +7 more sources
Asian Journal of Medical Sciences, 2021 COVD-19 caused due to SARS-CoV2, family of Coronaviridae, the order Nidovirales, and the genus Coronavirus. A zoonotic spillover infection from bats to humans through some intermediate host was proposed to be responsible for its origin.
Ruby Dhar +5 more
doaj +1 more source
Towards a mental probability logic
Psychologica Belgica, 2005 We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with SYSTEM P, and conditional syllogisms (MODUS PONENS, etc.) are explored.
Niki Pfeifer, Gernot D. Kleiter
doaj +1 more source
Value Configuration in Higher Education – Intermediate Tool Development for Teaching in Complex Uncertain Environments and Developing a Higher Education Value Framework [PDF]
Athens Journal of Education, 2017 This conceptual paper addresses the issue of value creation in the field of higher education and pre-sents a new theoretical perspective by assigning the Service Dominant Logic (SD-logic) and develop-ing a higher education value framework, consisting of ...
David Wawrzinek +2 more
doaj +1 more source
On linear rewriting systems for Boolean logic and some applications to proof theory [PDF]
Logical Methods in Computer Science, 2017 Linear rules have played an increasing role in structural proof theory in recent years. It has been observed that the set of all sound linear inference rules in Boolean logic is already coNP-complete, i.e. that every Boolean tautology can be written as a
Anupam Das, Lutz Straßburger
doaj +1 more source
Characteristic Formulas Over Intermediate Logics [PDF]
, 2018 We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly irreducible algebras.
openaire +2 more sources