Results 41 to 50 of about 414,553 (176)

TCSR‐SQL: Towards Table Content‐Aware Text‐to‐SQL With Self‐Retrieval

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT Large language model‐based (LLM‐based) text‐to‐SQL methods have achieved important progress in generating SQL queries for real‐world applications. When confronted with table content‐aware questions in real‐world scenarios, ambiguous data content keywords and nonexistent database schema column names within the question lead to the poor ...
Wenbo Xu, Liang Yan, Chuanyi Liu, Peiyi Han, Haifeng Zhu, Yong Xu, Yingwei Liang, Bob Zhang   +7 more
wiley   +1 more source

Data Sharing and Information Security Under the Software‐Defined Network

IET Networks, Accepted Article.
To sum up, the big data sharing platform based on SDN can quickly and effectively respond to the data requests of end users, and the information security protection system can detect the platform in real time to prevent it from being intruded and damaged, which largely protects the information security of the platform." cd_value_code="text Abstract ...
Jianqiao Sheng, Yuan Fang, Ming Li, Liang Zhang, Jingxuan Xu, Xin Ding   +5 more
wiley   +1 more source

An assertion language for constraint logic programs

, 2000
In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways.
A. Kelly, D. Knuth, E. Shapiro, F. Bueno, G. Puebla, J. Jaffar, K. Marriott, K. Muthukumar, L. Friendly, M. García de la Banda, M. Hermenegildo, M. Hermenegildo, P. Cousot, P. Hill, P.W. Dart, R. Warren, W. Drabent   +16 more
core   +1 more source

The role of generative AI in collaborative problem‐solving of authentic challenges

British Journal of Educational Technology, EarlyView.
Abstract This study investigates undergraduate and postgraduate teamwork in a four‐week ‘Generative AI for Social Good’ hackathon, focusing on how students use GAI tools in authentic problem‐solving within their learning ecology. It examines the factors that foster productive collaboration and explores evidence of AI extending human cognition beyond ...
Nancy Law, Nan Wang, Ming Ma, Zhichun Liu, Leon Lei, Shuhui Feng, Xiao Hu, Jack Tsao   +7 more
wiley   +1 more source

Multiple-View Tracing for Haskell: a New Hat [PDF]

, 2001
Different tracing systems for Haskell give different views of a program at work. In practice, several views are complementary and can productively be used together. Until now each system has generated its own trace, containing only the information needed
Brehm, Thorsten, Chitil, Olaf, Runciman, Colin, Wallace, Malcolm   +3 more
core   +2 more sources

A Prospectus on Generative Artificial Intelligence in Marine Ecosystem Modelling

Fish and Fisheries, EarlyView.
ABSTRACT Marine ecosystem modelling faces increasing demands for rapid development and deployment to address urgent environmental challenges, yet technical complexity and time‐intensive processes often constrain timely insights for management decisions.
Scott Spillias
wiley   +1 more source

A unified formulation for home healthcare routing and scheduling problems

International Transactions in Operational Research, EarlyView.
Abstract Home Healthcare is an essential component of healthcare systems, where caregivers visit patients' homes to deliver services. While presenting advantages with respect to institutional care, such as being cost‐effective and alleviating family burdens, it presents challenges in scheduling and routing caregivers efficiently.
Sara Ceschia, Francesca Da Ros, Luca Di Gaspero, Simona Mancini, Vittorio Maniezzo, Roberto Montemanni, Roberto Maria Rosati, Andrea Schaerf   +7 more
wiley   +1 more source

Exploring 2D Geometric Shape Classification Using AI‐Driven Feature Tables in Mathematics

School Science and Mathematics, EarlyView.
ABSTRACT This study explored the effectiveness of an AI‐integrated instructional task designed to enhance preservice teachers' understanding of the features and hierarchical relationships of 2D geometric shapes. Originally developed and tested in online K‐12 professional development settings, this intervention was adapted for in‐person preservice ...
Yasemin Gunpinar, Woonhee Sung
wiley   +1 more source

Exposing and Reducing Biases of Simulating Mixed‐Phase Clouds in the Convection‐Permitting E3SM Atmosphere Model: Lessons From an Arctic Cold‐Air Outbreak

Journal of Geophysical Research: Atmospheres, Volume 131, Issue 3, 16 February 2026.
Abstract Mixed‐phase clouds modulate the water and energy cycles of high‐latitude regions, yet their liquid‐ice phase partitioning has long been poorly simulated in climate models. Here, simulations of Arctic mixed‐phase clouds by the Simple Cloud‐Resolving E3SM Atmosphere Model (SCREAM) are assessed against large‐eddy simulations, satellite data, and ...
Lin Lin, Yunyan Zhang, Hassan Beydoun, Xue Zheng, Meng Zhang, Peter Bogenschutz, Peng Wu, Peter M. Caldwell   +7 more
wiley   +1 more source

Instrumenting self-modifying code

, 2003
Adding small code snippets at key points to existing code fragments is called instrumentation. It is an established technique to debug certain otherwise hard to solve faults, such as memory management issues and data races.
De Bosschere, K., Maebe, J.
core