Search Results - "Algorithms—Algorithms"

AI – Limits and Prospects of Artificial Intelligence

“…The emergence of artificial intelligence has triggered enthusiasm and promise of boundless opportunities as much as uncertainty about its limits. The…”
Get full text

Computational algebraic and analytic geometry : AMS special sessions on computational algebraic and analytic geometry for low-dimensional varieties, January 8, 2007: New Orleans, LA, January 6, 2009: Washington, DC, January 6, 2011: New Orleans, LA by Seppälä, Mika, Volcheck, Emil

“…This volume contains the proceedings of three AMS Special Sessions on Computational Algebraic and Analytic Geometry for Low-Dimensional Varieties held January…”
Get full text

Analysis of the ΣPhi/Ph/1 Queue by Bitran, Gabriel R., Dasu, Sriram

“…In this paper, we analyze a queue to which the arrival process is the superposition of separate arrival streams, each of whose interarrival time distributions…”
Get full text

An Exact Sublinear Algorithm for the Max-Flow, Vertex Disjoint Paths and Communication Problems on Random Graphs by Hochbaum, Dorit S

“…This paper describes a randomized algorithm for solving the maximum-flow maximum-cut problem on connected random graphs. The algorithm is very fast—it does not…”
Get full text

Evidence-based, cost-effective management of acute diverticulitis. An algorithm of the Journal of Trauma and Acute Care Surgery emergency general surgery algorithms work group by Inaba, Kenji, Biffl, Walter L, Costantini, Todd W, Diaz, Jose J, Livingston, David H, Napolitano, Lena M, Salim, Ali, Winchell, Robert J, Coimbra, Raul

Get more information

Evidence-based, cost-effective management of abdominal wall hernias: An algorithm of the Journal of Trauma and Acute Care Surgery emergency general surgery algorithms work group by Costantini, Todd W, Martin, David, Winchell, Robert, Napolitano, Lena, Inaba, Kenji, Biffl, Walter L, Diaz, Jose J, Salim, Ali, Livingston, David H, Coimbra, Raul

Get more information

Evidence-based, cost-effective management of acute appendicitis: An algorithm of the Journal of Trauma and Acute Care Surgery emergency general surgery algorithms work group by Diaz, Jose J, Napolitano, Lena, Livingston, David H, Costantini, Todd, Inaba, Kenji, Biffl, Walter L, Winchell, Robert, Salim, Ali, Coimbra, Raul

Get more information

Evidence-based, cost-effective management of acute mesenteric ischemia: An algorithm of the Journal of Trauma and Acute Care Surgery Emergency General Surgery Algorithms working group by Adler, Snow, Biffl, Walter L, Weiss, Jeffrey S, Costantini, Todd W, Diaz, Jr, Jose J, Inaba, Kenji, Livingston, David H, Napolitano, Lena, Salim, Ali, Winchell, Robert J, Coimbra, Raul

Get more information

Conditional Hardness Results for Massively Parallel Computation from Distributed Lower Bounds by Ghaffari, Mohsen, Kuhn, Fabian, Uitto, Jara

“…We present the first conditional hardness results for massively parallel algorithms for some central graph problems including (approximating) maximum matching,…”
Get full text

GENESYS: A novel evolutionary program synthesis tool with continuous optimization by Mandal, Shantanu, Anderson, Todd A, Turek, Javier, Gottschlich, Justin, Muzahid, Abdullah

“…Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search…”
Get full text

ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation by Jiang, Xue, Dong, Yihong, Tao, Yongding, Liu, Huanyu, Jin, Zhi, Li, Ge

“…Large language models (LLMs) have achieved impressive performance in code generation recently, offering programmers revolutionary assistance in software…”
Get full text

GAssert: A Fully Automated Tool to Improve Assertion Oracles by Terragni, Valerio, Jahangirova, Gunel, Tonella, Paolo, Pezze, Mauro

“…This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable…”
Get full text

A practical guide for using statistical tests to assess randomized algorithms in software engineering by Arcuri, Andrea, Briand, Lionel

“…Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of…”
Get full text

Optimal Join Algorithms Meet Top- k by Tziavelis, Nikolaos, Gatterbauer, Wolfgang, Riedewald, Mirek

“…have been studied intensively in the database community and they are an important means to reduce query cost when only the "best" or "most interesting" results…”
Get more information

An efficient tuning framework for Kalman filter parameter optimization using design of experiments and genetic algorithms by Zhang, Alan, Atia, Mohamed Maher

“…The Extended Kalman Filter (EKF) is currently a dominant sensor fusion method for mobile devices, robotics, and autonomous vehicles. Its performance heavily…”
Get full text

A Cloud-Integrated Virtual Framework for LSTM-Driven Solar Forecasting and Residential Energy Management by Devanathan, B., Suyampulingam, A., Selvaraj, P., Karuppasamy, Ilango, Ilamparithi, T.

“…With the increasing dependence on renewable energy-particularly solar power-accurate forecasting and intelligent energy management, it has become essential for…”
Get full text

LEGION: Best-First Concolic Testing by Liu, Dongge, Ernst, Gidon, Murray, Toby, Rubinstein, Benjamin I.P.

“…Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address…”
Get full text

On the automation of fixing software bugs by Arcuri, Andrea

“…Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing…”
Get full text

FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation by Lin, Jinkun, Cai, Shaowei, He, Bing, Fu, Yingjie, Luo, Chuan, Lin, Qingwei

“…Combinatorial interaction testing (CIT) is a popular approach to detecting faults in highly configurable software systems. The core task of CIT is to generate…”
Get full text

Privacy protection via appliance scheduling in smart homes by Jie Wu, Jinglan Liu, Hu, Xiaobo Sharon, Yiyu Shi

“…Smart grid, managed by intelligent devices, have demonstrated great potentials to help residential customers to optimally schedule and manage the appliances'…”
Get full text