Results 51 to 60 of about 2,796 (176)
Journal of Microscopy, EarlyView.Abstract In the domain of battery research, the processing of high‐resolution microscopy images is a challenging task, as it involves dealing with complex images and requires a prior understanding of the components involved. The utilisation of deep learning methodologies for image analysis has attracted considerable interest in recent years, with ...
Ganesh Raghavendran +7 more
wiley +1 more source
International commitments on climate‐friendly investment liberalisation: A green straitjacket?
Review of European, Comparative &International Environmental Law, EarlyView.Abstract Meeting the objectives of the Paris Agreement will require considerable capital mobilisation. International investment agreements (IIAs) govern and promote financial flows. However, their alignment with international climate objectives has, thus far, either been non‐existent or insufficient.
Stefanie Schacherer
wiley +1 more source
Certification of Termination Proofs Using CeTA [PDF]
, 2009 There are many automatic tools to prove termination of term rewrite systems, nowadays. Most of these tools use a combination of many complex termination criteria. Hence generated proofs may be of tremendous size, which makes it very tedious (if not impossible) for humans to check those proofs for correctness.
René Thiemann, Christian Sternagel
openaire +2 more sources
Towards a Trade War in 2025: Real Threats for the World Economy, False Promises for the US
The World Economy, EarlyView.ABSTRACT Using the MIRAGE‐Power computable general equilibrium (CGE) model, we simulate a trade war initiated in 2025 by the new US administration. The central scenario consists in a 60‐percentage point tariff increase on all US imports from China, a 10‐percentage point tariff increase on all products from other partners, except Canada and Mexico, and ...
Antoine Bouët +2 more
wiley +1 more source
Advanced Science, Volume 13, Issue 56, 9 October 2026.Controlled oxidation of benzyl ether is established as a key synthetic parameter in the thermal decomposition of iron(III) acetylacetonate. Oxygenated solvent species alter precursor coordination and nucleation–growth kinetics, producing highly crystalline, magnetite‐rich nanoparticles with tunable size, controlled morphology, and near‐bulk ...
Lukas Hertle +17 more
wiley +1 more source
Certification of Confluence Proofs using CeTA
CoRR, 2015 5 pages, International Workshop on Confluence ...
Julian Nagele, René Thiemann
openaire +3 more sources
Sound Stage ScreenThe New York CETA Orchestra was legislated into existence in 1978 at a time of economic peril both for New York City as well as the nation. Over its brief life, the CETA Orchestra played in all five boroughs and made a strong case for music as a public ...
Ryan Dohoney
doaj +1 more source
European Papers, 2017 (Series Information) European Papers - A Journal on Law and Integration, 2017 2(2), 489-517 | Article | (Table of Contents) I. The international regulation of public goods: legal challenges. - II. International decisions by CETA bodies. - III.
Joana Mendes
doaj +1 more source
Journal of Extracellular Vesicles, Volume 15, Issue 10, October 2026.Bacterial toxin hijacks host microvesicles to breach cell membranes Microvesicles derived from challenged host cells carrying the pneumococcal pore‐forming toxin pneumolysin promote fusion with target cells and membrane permeabilisation. Our integrated experimental and computational study reveals a mechanism by which PLY‐lipid interactions enable ...
Aswathy C. Sagilkumar +8 more
wiley +1 more source
Cancer Science, Volume 117, Issue 10, Page 2877-2890, October 2026.Comparison of extracellular vesicles with parental cells through proteomic profiling, followed by an integrated bioinformatic pipeline including disease association and transcriptomic analyses, identifies candidate biomarkers for multiple myeloma. Among these, MIF emerges as a clinically relevant marker, supported by validation in patient samples and ...
Natalia Platonova +13 more
wiley +1 more source