Results 71 to 80 of about 30,718 (224)

Verifying liveness properties by verifying safety properties [PDF]

, 1991
Conventional techniques for automatically verifying liveness properties of circuits involve explicitly modeling infinite behaviors with either infinite paths through a Kripke structure or with strings in an ω-regular language. This paper describes how timed trace structures [2, 3] can be used to convert liveness properties (including unbounded liveness
openaire   +1 more source

Kenyan Farmers' Policy Priorities During Economic Crisis and Stability: Insights From a Best‐Worst Scaling Experiment

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT Amid rising food and fertilizer prices, understanding farmers' policy preferences is critical for effective crisis response. We use best‐worst scaling experiment to assess Kenyan mobile‐owning crop farmers' preferences for government support under high and normal price scenarios.
Mywish K. Maredia, John Olwande, Jacob Ricker‐Gilbert, David L. Mather, Nicole M. Mason   +4 more
wiley   +1 more source

Efficient verifiable searchable encryption with search and access pattern privacy

Security and Safety
Searchable encryption (SE) enables data users to securely search encrypted data stored in untrusted cloud servers. However, most SE schemes allow for leakages of access and search patterns to maximize efficiency and functionality.
Wu Axin, Feng Dengguo, Zhang Min, Chi Jialin, Zhang Yinghui   +4 more
doaj   +1 more source

An efficient lattice‐based threshold signature scheme using multi‐stage secret sharing

IET Information Security, 2021
Secret sharing is a cryptographic technique used in many different applications such as cloud computing, multi‐party computation and electronic voting.
Hossein Pilaram, Taraneh Eghlidos, Rahim Toluee   +2 more
doaj   +1 more source

Consumer Acceptance of New Sustainable Food Technologies: Upcycling Technology, Biostimulants, and Artificial Intelligence

Agribusiness, EarlyView.
ABSTRACT Food systems have a significant impact on environmental sustainability, underscoring the need for innovative technologies to support more sustainable agricultural methods. However, the adoption of these technologies hinges on consumer acceptance, making the analysis of consumer perceptions essential.
Greta Castellini, Guendalina Graffigna
wiley   +1 more source

Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook

Advanced Intelligent Discovery, EarlyView.
Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang, Xinyi Chen, Xu Ye, Yulin Yang, Bin Ai   +4 more
wiley   +1 more source

Automating AI Discovery for Biomedicine Through Knowledge Graphs and Large Language Models Agents

Advanced Intelligent Discovery, EarlyView.
This work proposes a novel framework that automates biomedical discovery by integrating knowledge graphs with multiagent large language models. A biologically aligned graph exploration strategy identifies hidden pathways between biomedical entities, and specialized agents use this pathway to iteratively design AI predictors and wet‐lab validation ...
Naafey Aamer, Muhammad Nabeel Asim, Shan Munir, Andreas Dengel   +3 more
wiley   +1 more source

Why Just Boogie? Translating Between Intermediate Verification Languages

, 2016
The verification systems Boogie and Why3 use their respective intermediate languages to generate verification conditions from high-level programs. Since the two systems support different back-end provers (such as Z3 and Alt-Ergo) and are used to encode ...
Ameri, Michael, Furia, Carlo A.
core   +1 more source

Design‐for‐Benchmarking in Soft Robotics: Navigating Component‐System Dichotomy

Advanced Intelligent Systems, EarlyView.
Soft robotics faces a profound evaluation challenge: the Component‐System Dichotomy, where isolated component tests fail to predict integrated performance. This article presents a systematic survey of critical reporting gaps across actuation, sensing, and control.
Matteo Lo Preti, Muhammad Sunny Nazeer, Josh Pinskier, David Howard, Cecilia Laschi   +4 more
wiley   +1 more source

Is Assessment for Learning Really Assessment?

Frontiers in Education, 2019
This opinion piece questions the legitimacy of treating assessment for learning (AfL) as assessment. The distinction between testing and assessment is first made, then the defining characteristics of contemporary AfL are identified.
Gavin T. L. Brown, Gavin T. L. Brown
doaj   +1 more source