Results 221 to 230 of about 24,092 (308)
KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]
PLoS OneWang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc +1 more source
Journal of Sleep Research, Volume 35, Issue 1, February 2026.ABSTRACT This study aimed to investigate the efficacy of a Danish adaption of a transdiagnostic sleep and circadian intervention, combining cognitive behavioural therapy for insomnia with chronotherapy. A randomised controlled trial enrolling 88 outpatients with depression, attention deficit disorder, or bipolar disorder suffering from insomnia or ...
Mette Kragh +5 more
wiley +1 more source
Fine-Grained Personalized Data Aggregation Scheme with High Quality and Privacy Protection. [PDF]
Sensors (Basel)Xia Z, Murugesan RK.
europepmc +1 more source
Root cell wall plasticity in iron homeostasis: an overlooked frontier in plant nutrition
New Phytologist, Volume 249, Issue 4, Page 1699-1708, February 2026.Summary Iron (Fe) is an essential micronutrient for plant growth and development, yet its availability in soils is often limited or excessive, leading to widespread Fe deficiency or toxicity that constrains crop productivity. While Fe uptake, transport, and signaling pathways have been well characterized, the role of the root cell wall as a dynamic ...
Poonam Kanwar, Petra Bauer
wiley +1 more source
Journal of Applied Polymer Science, Volume 143, Issue 4, January 20, 2026.This manuscript describes the preparation of four types of spent coffee ground‐based adsorbents. Herein, the influence of the alkali pre‐treatment step (different NaOH concentrations) as well as the effect of crosslinking with epichlorohydrin is described.
Bernd Steiger, Lee Wilson
wiley +1 more source
Dynamic token encryption for preventing permission leakage in serverless architectures. [PDF]
PeerJ Comput SciLiu Y, Li F, Sun C.
europepmc +1 more source
Mutant Operators for Testing Concurrent Java Programs
, 2001 Márcio Eduardo Delamaro +2 more
openalex +2 more sources
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java [PDF]
, 2007 Letu Yang, Michael Poppleton
openalex
Comparison of concurrency frameworks for the Java virtual machine
, 2013 Thomas Georg Kühner
openalex +2 more sources