Results 61 to 70 of about 176,171 (277)

Energy Storage Sharing Strategy in Distribution Networks Using Bi-level Optimization Approach

, 2017
In this paper, we address the energy storage management problem in distribution networks from the perspective of an independent energy storage manager (IESM) who aims to realize optimal energy storage sharing with multi-objective optimization, i.e ...
Chen, Huimiao, Hu, Zechun, Luo, Haocheng, Rajagopal, Ram, Tan, Chin-Woo, Yu, Yang   +5 more
core   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Improving Performance of Local Chatbot with Caching [PDF]

Journal of Systemics, Cybernetics and Informatics
Chatbots and the technology behind them are widely used in many places and in various ways. Retrieval Augmented Generation AI framework has gained its popularity by its linking of large language model with private dataset.
John Jenq
doaj  

LLMs Judging LLMs: A Simplex Perspective

Given the challenge of automatically evaluating free-form outputs from large language models (LLMs), an increasingly common solution is to use LLMs themselves as the judging mechanism, without any gold-standard scores. Implicitly, this practice accounts for only sampling variability (aleatoric uncertainty) and ignores uncertainty about judge quality ...
Vossler, Patrick, Xia, Fan, Mai, Yifan, Subbaswamy, Adarsh, Feng, Jean   +4 more
openaire   +2 more sources

Monte Carlo calculation of the linear resistance of a three dimensional lattice Superconductor model in the London limit

, 1996
We have studied the linear resistance of a three dimensional lattice Superconductor model in the London limit London lattice model by Monte Carlo simulation of the vortex loop dynamics. We find excellent finite size scaling at the phase transition.
A. Dorsey, A. P. Young, D. S. Fisher, E. A. Jagla, F. Reif, G. Carneiro, H. Weber, H. Weber, Hans Weber, Henrik Jeldtoft Jensen, J. C. Le Guillou, J. Villain, J.-R. Lee, J.-R. Lee, K. H. Lee, M. Tinkham, M. Wallin, M.-C. Cha, N. Metropolis, P. C. Hohenberg, P. Meakin, S. E. Korshunov, S. K. Ma, T. Chen, W. Janke, W. Janke, Y.-H. Li, Y.-H. Li   +27 more
core   +2 more sources

Spectral Decomposition of Chemical Semantics for Activity Cliffs‐Aware Molecular Property Prediction

Advanced Science, EarlyView.
PrismNet mimics chemical intuition by functioning as a computational prism, refracting molecular graphs into complementary semantic views and spectral frequencies. This dual‐decomposition strategy effectively captures both global topologies and subtle “activity cliff” perturbations.
Chaoyang Xie, Junhu Xu, Guangyi Huang, Shihang Wang, Mutian He, Xinyu Dong, Huiyang Hong, Xiaojun Yao, Qi Wang, Yuquan Li   +9 more
wiley   +1 more source

Automatic generation of physics items with Large Language Models (LLMs)

REID (Research and Evaluation in Education)
High-quality items are essential for producing reliable and valid assessments, offering valuable insights for decision-making processes. As the demand for items with strong psychometric properties increases for both summative and formative assessments ...
Moses Oluoke Omopekunola, Elena Yu Kardanova   +1 more
doaj   +1 more source

LLM-SQL-Solver: Can LLMs Determine SQL Equivalence?

, 2023
Judging the equivalence between two SQL queries is a fundamental problem with many practical applications in data management and SQL generation (i.e., evaluating the quality of generated SQL queries in text-to-SQL task). While the research community has reasoned about SQL equivalence for decades, it poses considerable difficulties and no complete ...
Zhao, Fuheng, Chen, Jiayue, Lim, Lawrence, Ahmad, Ishtiyaque, Agrawal, Divyakant, Abbadi, Amr El   +5 more
openaire   +2 more sources

Multi‐View Biomedical Foundation Models for Molecule‐Target and Property Prediction

Advanced Science, EarlyView.
Molecular foundation models can provide accurate predictions for a large set of downstream tasks. We develop MMELON, an approach that integrates pre‐trained graph, image, and text foundation models and validate our multi‐view model on over 120 tasks, including GPCR binding.
Parthasarathy Suryanarayanan, Yunguang Qiu, Shreyans Sethi, Diwakar Mahajan, Hongyang Li, Yuxin Yang, Elif Eyigoz, Aldo Guzmán‐Sáenz, Daniel E. Platt, Timothy H. Rumbell, Kenney Ng, Sanjoy Dey, Myson Burch, Bum Chul Kwon, Pablo Meyer, Feixiong Cheng, Jianying Hu, Joseph A. Morrone   +17 more
wiley   +1 more source

LLM-AutoDiff: Auto-Differentiate Any LLM Workflow

Large Language Models (LLMs) have reshaped natural language processing, powering applications from multi-hop retrieval and question answering to autonomous agent workflows. Yet, prompt engineering -- the task of crafting textual inputs to effectively direct LLMs -- remains difficult and labor-intensive, particularly for complex pipelines that combine ...
Yin, Li, Wang, Zhangyang
openaire   +2 more sources