Results 71 to 80 of about 3,441,391 (354)
Describing Secure Interfaces with Interface Automata
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
Lee, Matias David+1 more
openaire +3 more sources
Toll‐like receptors (TLRs) are important in the innate immune system. This study explores the zinc‐binding ability of the TLR2 TIR domain (TLR2TIR). We found that TLR2TIR binds zinc with nanomolar affinity through its cysteine residues. Two of them, C673 and C713, are vital for receptor activation, indicating that zinc may play a role in initiating ...
Vladislav A. Lushpa+8 more
wiley +1 more source
Venom peptides have shown promise in treating pain. Our study uses computer screening to identify a peptide that targets a sodium channel (NaV1.7) linked to chronic pain. We produced the peptide in the laboratory and refined its design, advancing the search for innovative pain therapies.
Gagan Sharma+8 more
wiley +1 more source
Permitted decompilation of a computer program in order to protect the general interest [PDF]
Computer program is an intellectual creation protected by copyright. However, unlike other items with equivalent legal protection, a computer program has a strong technical functionality, which is, in nowadays' society, an indispensable factor in ...
Radovanović Sanja M.
doaj +1 more source
We introduce and study renormalization group interfaces between two holographic conformal theories which are related by deformation by a scalar double trace operator.
Melby-Thompson, Charles+1 more
core +1 more source
Graphical user interfaces (GUIs) are gradually becoming more powerful and more accepted. They are the standard way of interacting with the web and play an increasing role in many software applications. Nevertheless, they have not been generally adopted, and critics point to particular weaknesses and disadvantages. Many of these are due more to flaws in
openaire +5 more sources
Identification of novel small molecule inhibitors of ETS transcription factors
ETS transcription factors play an essential role in tumourigenesis and are indispensable for sprouting angiogenesis, a hallmark of cancer, which fuels tumour expansion and dissemination. Thus, targeting ETS transcription factor function could represent an effective, multifaceted strategy to block tumour growth. The evolutionarily conserved E‐Twenty‐Six
Shaima Abdalla+9 more
wiley +1 more source
Engineering hybrid perovskites at the molecular level to solve the stability problem remains a challenge. Here Grätzel et al. design a multifunctional molecular modulator that interacts with the perovskite via modes elucidated by solid state NMR ...
Dongqin Bi+10 more
doaj +1 more source
Children searching information on the Internet: Performance on children's interfaces compared to Google [PDF]
Children frequently make use of the Internet to search for information. However, research shows that children experience many problems with searching and browsing the web.
Huibers, Theo+3 more
core +1 more source
miRNA‐29 regulates epidermal and mesenchymal functions in skin repair
miRNA‐29 inhibits cell‐to‐cell and cell‐to‐matrix adhesion by silencing mRNA targets. Adhesion is controlled by complex interactions between many types of molecules coded by mRNAs. This is crucial for keeping together the layers of the skin and for regenerating the skin after wounding.
Lalitha Thiagarajan+10 more
wiley +1 more source