Results 31 to 40 of about 127,858,707 (311)

Describing Secure Interfaces with Interface Automata

Electronic Notes in Theoretical Computer Science, 2010
AbstractInterface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface structure for security (ISS), that allows for the modelling of security. We focus on the property of non interference, more precisely in bisimulation-based non interference
Matias David Lee, Pedro R. D'Argenio
openaire   +2 more sources

A sketching interface for 3D modeling of polyhedron [PDF]

, 2006
We present an intuitive and interactive freehand sketching interface for 3D polyhedrons reconstruction. The interface mimics sketching with pencil on paper and takes freehand sketches as input directly.
Wright, David, D. K. Wright, Qin, SF, D. C. Ku, Qin, Sheng-feng, Wright, DK, S. F. Qin, Ku, Daychyi, Ku, DC   +8 more
core   +1 more source

Imaging electrochemically synthesized Cu2O cubes and their morphological evolution under conditions relevant to CO2 electroreduction

Nature Communications, 2020
Catalytic selectivity during carbon dioxide electroreduction can be tuned by using geometric copper-based catalysts. Here, the authors use liquid cell transmission electron microscopy to study the in situ synthesis and morphological evolution Cu2O cubes ...
Rosa M. Arán-Ais, Rubén Rizo, Philipp Grosse, Gerardo Algara-Siller, Kassiogé Dembélé, Milivoj Plodinec, Thomas Lunkenbein, See Wee Chee, Beatriz Roldan Cuenya   +8 more
doaj   +1 more source

Does the pre-catalyst shape matter in the electrocatalytic reduction of CO2? Tracking mosaicity and porosity development in Cu2O particles during reaction [PDF]

EES Catalysis
Copper (Cu) is an important catalyst material for driving the electrocatalytic reduction of CO2 (CO2RR) into hydrocarbons. Particularly, oxide-derived Cu catalysts generally exhibit higher catalytic selectivity toward hydrocarbons compared to metallic Cu
Aram Yoon, Fengli Yang, Jeffrey Poon, See Wee Chee, Beatriz Roldan Cuenya   +4 more
doaj   +1 more source

Clinical Tick-Borne Encephalitis in a Roe Deer (Capreolus capreolus L.)

Viruses, 2022
Tick-borne encephalitis virus (TBEV) is the causative agent of tick-borne encephalitis (TBE), a severe zoonosis occurring in the Palearctic region mainly transmitted through Ixodes ticks.
Graziana Da Rold, Federica Obber, Isabella Monne, Adelaide Milani, Silvia Ravagnan, Federica Toniolo, Sofia Sgubin, Gianpiero Zamperin, Greta Foiani, Marta Vascellari, Petra Drzewniokova, Martina Castellan, Paola De Benedictis, Carlo Vittorio Citterio   +13 more
doaj   +1 more source

Calpain small subunit homodimerization is robust and calcium‐independent

FEBS Letters, EarlyView.
Calpains dimerize via penta‐EF‐hand (PEF) domains. Using single‐molecule force spectroscopy, we measured the strength and kinetics of PEF–PEF homodimer binding. The interaction is robust, shows a transient conformational step before dissociation, and remains largely insensitive to Ca2+.
Nesha May O. Andoy, Trina Dykstra‐MacPherson, Mathias A. Bell, Peter L. Davies, Ruby May A. Sullan   +4 more
wiley   +1 more source

Supramolecular catalysis with ethers enabled by dual chalcogen bonding activation

Nature Communications, 2023
The activation of ethers by weak interactions is a long-standing objective in supramolecular catalysis, but yet it remains an underdeveloped topic. The obstacles towards solving this problem are prominent since it is difficult for a weak interaction to ...
Zhiguo Zhao, Yuanling Pang, Ziqiang Zhao, Pan-Pan Zhou, Yao Wang   +4 more
doaj   +1 more source

Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system

FEBS Letters, EarlyView.
Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley   +1 more source

Reversible metal cluster formation on Nitrogen-doped carbon controlling electrocatalyst particle size with subnanometer accuracy

Nature Communications
Copper and nitrogen co-doped carbon catalysts exhibit a remarkable behavior during the electrocatalytic CO2 reduction (CO2RR), namely, the formation of metal nanoparticles from Cu single atoms, and their subsequent reversible redispersion.
Janis Timoshenko, Clara Rettenmaier, Dorottya Hursán, Martina Rüscher, Eduardo Ortega, Antonia Herzog, Timon Wagner, Arno Bergmann, Uta Hejral, Aram Yoon, Andrea Martini, Eric Liberra, Mariana Cecilio de Oliveira Monteiro, Beatriz Roldan Cuenya   +13 more
doaj   +1 more source

IFITMs from Mycobacteria Confer Resistance to Influenza Virus When Expressed in Human Cells

Viruses, 2015
Interferon induced transmembrane proteins (IFITMs) found in vertebrates restrict infections by specific viruses. IFITM3 is known to be essential for restriction of influenza virus infections in both mice and humans.
William J. Melvin, Temet M. McMichael, Nicholas M. Chesarino, Jocelyn C. Hach, Jacob S. Yount   +4 more
doaj   +1 more source