Results 31 to 40 of about 2,996,408 (334)
Formal Methods in System Design, 2022 Abstract Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the ...
Ezio Bartocci +4 more
openaire +5 more sources
Enabling customized & personalized interfaces in mobile computing [PDF]
, 2004 The 9th International Conference on Intelligent User Interfaces (IUI 2004), 13th-16th January, Island of Madeira, PortugalProviding an intuitive and ubiquitous interface to those services aimed at the mobile computing community continues to preoccupy ...
G. M. P. O'Hare +5 more
core +1 more source
Nature Communications, 2020 An amendment to this paper has been published and can be accessed via a link at the top of the paper.
Franziska Jehle +5 more
doaj +1 more source
Communications Biology, 2022 Structural alignment and molecular docking identifies a mutation on helix E and F of the opsin backbone of the Gloeobacteria rhodopsin, presenting more insight on the carotenoid-binding pocket.
Kimleng Chuon +8 more
doaj +1 more source
Nanoparticles: Characteristics, Mechanisms and Modulation of Biotoxicity
KONA Powder and Particle Journal, 2014 Particulates of 1 to 100 nanometers size are being increasingly used for a variety of clinical and commercial purposes due to their large surface-to-volume ratio and unique physico-chemical, mechanical and electronic
Ponisseril Somasundaran +3 more
doaj +1 more source
, 2021 Qu’il s’agisse de réseaux sociaux, de plateformes de partage, de services de cartographie, ou encore de moteurs de recherche, les systèmes d’information de la Toile ne remplissent pas uniquement des fonctions utilitaires. Ils nous invitent à participer à
Di Bartolo, Florent
core +1 more source
Blending liquid into a flowing dry granular material
EPJ Web of Conferences, 2017 We study experimentally the growth dynamics of a horizontal wet granular aggregate produced by accretion when a dry granular jet impacts a wet substrate.
Saingier Guillaume +2 more
doaj +1 more source
Computational and experimental prediction of human C-type lectin receptor druggability
Frontiers in Immunology, 2014 Mammalian C-type lectin receptors are involved in many aspects of immune cell regulation such as pathogen recognition, clearance of apoptotic bodies and lymphocyte homing.
Jonas eAretz +8 more
doaj +1 more source
Metal-free photoanodes for C–H functionalization
Nature Communications, 2023 Organic semiconductors, such as carbon nitride, when employed as powders, show attractive photocatalytic properties, but their photoelectrochemical performance suffers from low charge transport capability, charge carrier recombination, and self-oxidation.
Junfang Zhang +8 more
doaj +1 more source
Nature Communications, 2022 Solar-driven carbon dioxide reduction has witnessed a renaissance in the past decades, but the system suffers from low reaction rates. Here the authors develop a copper/tin-oxide electrocatalyst, achieving a new benchmark solar-to-CO energy conversion ...
Jing Gao +7 more
doaj +1 more source