Results 21 to 30 of about 1,323,933 (296)
Reflexive insensitive modal logics [PDF]
, 2015 We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem ...
Gilbert, David, Venturi, Giorgio
core +2 more sources
Graphical dynamic trends for earthquake incidence response of plan-asymmetric systems [PDF]
, 2015 A Graphical Dynamic model is derived to describe the directional earthquake response of two-ways plan-asymmetric systems, which retains the insightful educational evidence of traditional graphical static methods and the accuracy of computational methods ...
Faggella, Marco +3 more
core +2 more sources
Revista Produção e Desenvolvimento, 2015 This research aims to identify and analyze the main criteria that help the shipper to choose the carrier and the modal to be used to transport the harvest and its derivatives.
Mario santos de Oliveira Neto +4 more
doaj +1 more source
Inisiasi Taman D’terong sebagai Bentuk Resiliensi Komunitas Desa Panggungharjo
Journal of Social Development Studies, 2021 Pembuatan Taman D’Terong dicetuskan sebagai gagasan dari masyarakat untuk kebermanfaatan bersama. Tulisan ini memperlihatkan bentuk kepedulian sosial masyarakat melalui gerakan ini sebagai resiliensi komunitas desa terhadap COVID-19.
Roichan Rochmadi Irwanto +2 more
doaj +1 more source
Energies, 2022 The need for a verification method for aggregation techniques for passive electrical systems is necessary as power systems increase in complexity. Model reduction is crucial to increase the number of simulations necessary to ensure a stable and reliable ...
Mohammad Kazem Bakhshizadeh +2 more
doaj +1 more source
Three-dimensional pictorial transmission in optical fibers [PDF]
, 1976 Modal phase dispersion limits image transmission in optical fibers to distances too short to be of general interest. A technique based on nonlinear optical mixing is described for modal phase equalization and recovery of a transmitted ...
Yariv, Amnon
core +1 more source
Cross-Modal Message Passing for Two-stream Fusion
, 2019 Processing and fusing information among multi-modal is a very useful technique for achieving high performance in many computer vision problems. In order to tackle multi-modal information more effectively, we introduce a novel framework for multi-modal ...
Wang, Dong, Wang, Qi, Yuan, Yuan
core +1 more source
Post Completeness in Congruential Modal Logics [PDF]
, 2016 Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them.
Fritz, Peter
core
Complexity of validity for propositional dependence logics
, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Neuroblastoma is the most common extracranial solid tumor in early childhood. Its clinical behavior is highly variable, ranging from spontaneous regression to fatal outcome despite intensive treatment. The International Society of Pediatric Oncology Europe Neuroblastoma Group (SIOPEN) Radiology and Nuclear Medicine Specialty Committees ...
Annemieke Littooij +11 more
wiley +1 more source