Results 121 to 130 of about 3,424,284 (379)
Taxonomy of Chemical Bondings: Opportunities and Challenges
Angewandte Chemie, EarlyView.The recent focus on supramolecular and nanosized systems produced a major increase in the types of observed noncovalent interactions and in the diversity of terms used to designate them. A hierarchical categorization (taxonomy) of terms used to designate electrophile···nucleophile interactions is proposed here.
Andrea Pizzi +5 more
wiley +2 more sources
Computational Soundness for Dalvik Bytecode
, 2016 Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenges that existing approaches for understanding an app's behavior struggle to
Backes M. +6 more
core +1 more source
Advanced Intelligent Systems, EarlyView.This study develops a deep learning‐based pipeline named π‐PhenoDrug for cell phenotype‐driven drug activity screening. π‐PhenoDrug integrates cell segmentation, morphological profile construction, and phenotype analysis modules, and it can assess drug effects on living cells in both supervised and unsupervised modes.
Xiao Li +7 more
wiley +1 more source
Context Semantics, Linear Logic and Computational Complexity
, 2006 We show that context semantics can be fruitfully applied to the quantitative analysis of proof normalization in linear logic. In particular, context semantics lets us define the weight of a proof-net as a measure of its inherent complexity: it is both an
Lago, Ugo Dal
core +3 more sources
Dynamic Semantics as Monadic Computation [PDF]
, 2012 This paper proposes a formulation of the basic ideas of dynamic semantics in terms of the state monad. Such a monadic treatment allows to specify meanings as computations that clearly separate operations accessing and updating the context from purely truth conditional meaning composition.
openaire +3 more sources
A Shared Control Method of Multiobjective Motion Fusion for Surgical Robot
Advanced Intelligent Systems, EarlyView.This paper proposes an innovative shared control method that can handle multiple objectives task by integrating various types of controllers. It not only takes into account the priorities among the objectives but also allows for the flexible addition or removal of objective controllers.
Xilin Xiao +7 more
wiley +1 more source
Limnology and Oceanography, EarlyView., 2023 Abstract Compiling trait information promotes discovery and innovation in using trait‐based approaches in ecology. Various zooplankton trait datasets are stored in unlinked data repositories, in diverse data structures, and have varying levels of complexity.
Patrick R. Pata, Brian P. V. Hunt
wiley +1 more source
, 2015 We introduce two variants of computation tree logic CTL based on team semantics: an asynchronous one and a synchronous one. For both variants we investigate the computational complexity of the satisfiability as well as the model checking problem.
Krebs, Andreas +2 more
core +1 more source
Advanced Intelligent Systems, EarlyView.Recent advancements in wearable healthcare have brought accessible continuous glucose monitoring systems (CGMs) for diabetes management. To address the limitations of CGMs, closed‐loop systems utilizing monitored glucose levels for insulin dosing are being developed.
Wei Huang +5 more
wiley +1 more source
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems [PDF]
, 2003 In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p system, which allows for local inconsistency handling. We then characterise the
Franconi, Enrico +3 more
core +3 more sources