Results 41 to 50 of about 1,125,786 (343)
Network modal innovation for distributed machine learning
Dianxin kexue, 2023 Distributed machine learning, as a popular computing architecture for artificial intelligence, still faces challenges of slow model training and poor data performance transmission.Traditional network modalities were un able to meet the communication ...
Zehua GUO, Haowen ZHU, Tongwen XU
doaj +2 more sources
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source
A haptic-enabled multimodal interface for the planning of hip arthroplasty [PDF]
, 2006 Multimodal environments help fuse a diverse range of sensory modalities, which is particularly important when integrating the complex data involved in surgical preoperative planning.
Caldwell, DG +6 more
core +1 more source
Prefixed tableaux for multi-modal logic of knowledge with inclusions
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Jūratė Sakalauskaitė
doaj +3 more sources
Mathematical modeling of multimodal transportation in Ukraine using methods of the graph theory [PDF]
E3S Web of Conferences, 2021 One of the problems of modernizing multimodal transportation of goods in post-Soviet countries is the optimization of the transport supply chain. This requires, in particular, a software package that is to be adapted to local conditions, to the expanded ...
Perevozova Iryna +4 more
doaj +1 more source
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Benzmüller, Christoph +2 more
core +3 more sources
Logistics aspects of organising multimodal deliveries in the sustainable development context [PDF]
E3S Web of ConferencesThe relevance of the chosen topic is determined to be the increasing role of multimodal connections of various transport modes and the need to identify theoretically justified and practically significant logistical aspects of organising multimodal ...
Shapoval Ganna +4 more
doaj +1 more source
Philosophy of Experimental Biology [PDF]
, 2009 Philosophers have committed sins while studying science, it is said – philosophy of science focused on physics to the detriment of biology, reconstructed idealizations of scientific episodes rather than attending to historical details, and focused on ...
Stegenga, Jacob
core +3 more sources
Lattice-Based Graded Logic: A Multimodal Approach [PDF]
, 1992 Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for
Chatalic, Philippe +1 more
openaire +2 more sources
Demand and Congestion in Multiplex Transportation Networks. [PDF]
PLoS ONE, 2016 Urban transportation systems are multimodal, sociotechnical systems; however, while their multimodal aspect has received extensive attention in recent literature on multiplex networks, their sociotechnical aspect has been largely neglected.
Philip S Chodrow +3 more
doaj +1 more source