Results 51 to 60 of about 23,899,173 (336)
A Framework for the Analysis of Security Protocols* [PDF]
, 2002 Properties of security protocols such as authentication and secrecy are often verified by explictly generating an operational model of the protocol and then seeking for insecure states. However, message exchange between the intruder and the honest participants induces a form of state explosion that makes the model infinite in principle.
BOREALE, MICHELE, M. G. BUSCEMI
openaire +2 more sources
FEBS Open Bio, EarlyView.Drugs previously repurposed to target blood cancers reduced neuroblastoma and glioblastoma cell growth and viability. However, their levels of anticancer activity were different and their clinical application may be problematic due to side effects at effective doses.
Abhishek Kharawatkar +4 more
wiley +1 more source
Epilepsy Prediction and Detection Using Attention-CssCDBN with Dual-Task Learning
SensorsEpilepsy is a group of neurological disorders characterized by epileptic seizures, and it affects tens of millions of people worldwide. Currently, the most effective diagnostic method employs the monitoring of brain activity through electroencephalogram (
Weizheng Qiao +3 more
doaj +1 more source
Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells
FEBS Open Bio, EarlyView.Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim +4 more
wiley +1 more source
Fusion-Optimized Multimodal Entity Alignment with Textual Descriptions
InformationMultimodal knowledge graph entity alignment is a key basic task of knowledge fusion and integration, which is used to identify entities with semantic equivalent but different representation forms in different knowledge graphs.
Chenchen Wang +4 more
doaj +1 more source
Pathways and pitfalls: a qualitative study of student experiences in biomedical science education
FEBS Open Bio, EarlyView.Biomedical science students from underrepresented backgrounds face barriers including financial strain, disrupted laboratory access and cultural exclusion. Peer networks provide vital support when institutional systems are difficult to navigate. To create inclusive learning environments and achieve academic success, educators should blend active, hands‐
Olivia J. Russell +8 more
wiley +1 more source
Scientific ReportsAspect Category Sentiment Analysis (ACSA) is a fine-grained sentiment analysis task aimed at predicting the sentiment polarity associated with aspect categories within a sentence.Most existing ACSA methods are based on a given aspect category to locate ...
Guixian Xu, Zhe Chen, Zixin Zhang
doaj +1 more source
Security Analysis of Yeh-Tsai Security Mechanism
IEICE Transactions on Information and Systems, 2008 Yeh and Tsai recently proposed an enhanced mobile commerce security mechanism. They modified the lightweight security mechanism due to Lam, Chung, Gu, and Sun to relieve the burden of mobile clients. However, this article shows that a malicious WAP gateway can successfully obtain the mobile client's PIN by sending a fake public key of a mobile commerce
Yum, DH, Shin, JH, Lee, PJ
openaire +4 more sources
Texas National Security Review: Shaping Security Vol. 8, Issue 4, 2025
TABLE OF CONTENTS: THE FOUNDATION pg.2 What Do We Really Know? By Francis J. Gavin THE SCHOLAR Pg.8 Hard Then, Harder Now: CoCom’s Lessons and the Challenge of Crafting Effective Export Controls Against China by Jennifer Lind and Michael Mastanduno ...
Texas National Security Review
core +1 more source
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source