Results 151 to 160 of about 25,005,250 (309)
Formal Analysis of the Internet Open Trading Protocol
The Internet Open Trading Protocol (IOTP) is an electronic commerce (e-commerce) protocol developed by the Internet Engineering Task Force (IETF) to support online trading activities.
Billington, Jonathan, Ouyang, Chun
core +1 more source
Correcting the security definition of the Bellare-Rogaway 3PKD model
A flaw lied in the security definition of the Bellare-Rogaway 3PKD model,which was proposed by Bellare and Rogaway for three-party key distribution in 1995,was discovered.To reveal it,a new three-party key distribution proto-col P-Flaw was proposed.The ...
LIU Jun1 +3 more
doaj
Chopinian Particularities of the Sonata for Cello and Piano, Op. 65
In this article, emphasis is placed on the formal analysis of the Sonata for Cello and Piano, Op. 65, as well as on the exposition of some of Chopin’s stylistic principles. A comparison between the Sonata for Cello and Piano, Op.
Lioara POPA
doaj +1 more source
Pathways and pitfalls: a qualitative study of student experiences in biomedical science education
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
Malformin A1–mediated cytotoxicity in ovarian cancer cells occurs through pyroptosis and autophagy
This study investigated the effects of the natural compound Malformin A1 (MA1) on the cytoskeleton that regulates cell proliferation and migration. Disruption of the cytoskeleton can impair these processes and promote cancer cell death. MA1 disrupted cytoskeletal organization, induced DNA damage, inflammation, activated autophagy, and pyroptosis ...
Nada Abdullah Hassan +11 more
wiley +1 more source
Formal Methods for Dynamical Systems (SFM 2013)
Preface. This volume presents a set of papers accompanying the lectures of the 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM).
Bernardo, M. +7 more
core +1 more source
Lactoferrin promotes wound healing by activating MAPK, PI3K/Akt, and extracellular matrix pathways, enhancing fibroblast remodeling, proliferation, and re‐epithelialization. These mechanisms highlight its therapeutic potential in inflammation control, tissue repair, and remodeling.
Morgana Lüdtke Azevedo +4 more
wiley +1 more source
Determinants of the Probability of Obtaining Formal and Informal Long-Term Care in European Countries. ENEPRI Research Report No. 99, November 2011 [PDF]
The aim of this report is to identify patterns in the utilisation of formal and informal long-term care (LTC) across European countries and discuss possible determinants of demand for different types of care.
Sowa, Agnieszka., Marcinkowska, Izabela.
core
Evolution‐guided yeast complementation reveals functional differences in human PSPH variants
Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez +6 more
wiley +1 more source
We report the first β‐glucosidase with demonstrated hydrolytic activity on an N‐linked glycopyranoside. The enzyme, native to maize, was biochemically characterised for this novel reaction, and structural modelling of the enzyme–substrate complex revealed several clues to the underlying reduced catalytic rate relative to its native O‐glycopyranoside ...
Hani Gharabli +3 more
wiley +1 more source

