Code and results for the article Version-lag evidence for trust-to-act decisions over global state in decentralized microservices (H. A. El-Ghareeb). The record holds two archives. nsdsl-software-v3.zip (MIT) — the implementation: the decentralized act/abstain decision layer in which each peer encodes an item's version...
Haitham A. El-Ghareeb· Zenodo (CERN European Organi...· 0 citations
This study examined ICT device utilization, students’ attitudes toward ICT and their relationship with academic achievement among undergraduate Science Education students at Usmanu Danfodiyo University Sokoto, Nigeria. A correlational research design was adopted with a sample of 278 students. Data were collected using...
Akilu Isma’il, Mujidat Lukman Olatunbosun· International Journal of Int...· 0 citations
This Zenodo record is a permanently preserved version of a PREreview. You can view the complete PREreview at https://prereview.org/reviews/23071859. Authors of the review Name: Stephanie R. U, ORCID: https://orcid.org/0000-0002-6220-4661 Bio: Stephanie U is a PhD candidate whose work investigates the role of circadian...
Stephanie U, 2 other authors· Zenodo (CERN European Organi...· 0 citations
Repeated enzyme measurements were associated with longer hospital stays and a higher likelihood of intensive care unit admission, emphasizing the potential severity of the disease in this subgroup of patients.
M. Alessa, L. Albinsaad· Annals of African medicine· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Large language models (LLMs) may generate unreliable code on corner cases missed by testing, while formal verification can provide machine-checkable guarantees. Recently, researchers have proposed several benchmarks to evaluate the capabilities of LLMs in generating formally verifiable code, where LLMs need to formulat...
Jia-Ru Qian, Yihong Dong, Yong-Ming Li et al.· 0 citations
Autonomous agents powered by large language models (LLMs) are rapidly evolving into an open agentic ecosystem. To support trustworthy collaboration, industry initiatives increasingly assess agent reputation from past behavior and provide performance leaderboards. However, reputation derived from past performance may no...
Jia-Ming Zhang, Yu-Wan Liu, Yue Huang et al.· 0 citations
Long-horizon agent interactions generate useful but noisy experience, and retraining models to absorb it is expensive. Context-evolving agents therefore need memory extraction methods that improve with more test-time compute without relying on gold labels. We propose RefCon, which combines sequential self-refinement wi...
Ubaidillah Ariq Prathama, Bo Liu, Yeonsun Hong et al.· 0 citations
Background: Polycystic Ovary Syndrome affects about 6–13 percent of women of reproductive age. It is a leading cause of infertility and is associated with insulin resistance, obesity, and high cardiovascular risk. Diet quality plays an important role in managing the condition. Diets high in refined carbohydrates and su...
*Tiba Ibrahim Mohammed Salman (M.B.Ch.B), Zainab Ghassan Lutfi (M.B.Ch.B/F.I.C.M.S./FM), Faten Mohammed Ali Shakir (M.B.Ch.B/F.I.C.M.S./FM)· Zenodo (CERN European Organi...· 0 citations
Climate Diversity Calculation — Code and Data This repository accompanies the manuscript "Stability and changes of global climate diversity by 2100". It provides a reproducible example of the climate diversity (CD) calculation on a focal study region, using the actual 15 standardised bioclimatic variables and seven mov...
Junjun Wang· Zenodo (CERN European Organi...· 0 citations
Climate Diversity Calculation — Code and Data This repository accompanies the manuscript "Stability and changes of global climate diversity by 2100". It provides a reproducible example of the climate diversity (CD) calculation on a focal study region, using the actual 15 standardised bioclimatic variables and seven mov...
Junjun Wang· Zenodo (CERN European Organi...· 0 citations
Background: Polycystic Ovary Syndrome affects about 6–13 percent of women of reproductive age. It is a leading cause of infertility and is associated with insulin resistance, obesity, and high cardiovascular risk. Diet quality plays an important role in managing the condition. Diets high in refined carbohydrates and su...
*Tiba Ibrahim Mohammed Salman (M.B.Ch.B), Zainab Ghassan Lutfi (M.B.Ch.B/F.I.C.M.S./FM), Faten Mohammed Ali Shakir (M.B.Ch.B/F.I.C.M.S./FM)· Zenodo (CERN European Organi...· 0 citations
The purpose of this research was to validate the online game addiction scale among students in Alborz city. The method of the current research was survey-descriptive. The research population included second-grade high school students in Alborz city. The research sample consisted of 374 high school students who were ran...
Safdar Nabi Zadeh, Mohammad Reza Zoghi Paydar, Sayed Ali Sharifi Fard et al.· DOAJ (DOAJ: Directory of Ope...· 0 citations
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…
AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.
