Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

2006

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 601 - 630 of 5872

Full-Text Articles in Physical Sciences and Mathematics

Bis(1,2-Dihydroxy­Benzene) Hexa­Methyl­Ene­Tetra­Mine, Philias Daka, Kraig A. Wheeler Nov 2006

Bis(1,2-Dihydroxy­Benzene) Hexa­Methyl­Ene­Tetra­Mine, Philias Daka, Kraig A. Wheeler

Faculty Research and Creative Activity

The title binary complex, 2C6H6O2·C6H12N4, is constructed from hexa­methyl­ene­tetra­mine, positioned about a twofold symmetry operator, and 1,2-dihydroxy­benzene. Each of the four tertiary amine N atoms participates in O—H⋯N contacts that produce mol­ecular strands that propagate along the c axis.


Capillary-Driven Flows Along Rounded Interior Corners, Yongkang Chen, Mark M. Weislogel, Cory L. Nardin Nov 2006

Capillary-Driven Flows Along Rounded Interior Corners, Yongkang Chen, Mark M. Weislogel, Cory L. Nardin

Mechanical and Materials Engineering Faculty Publications and Presentations

The problem of low-gravity isothermal capillary flow along interior corners that are rounded is revisited analytically in this work. By careful selection of geometric length scales and through the introduction of a new geometric scaling parameter Tc, the Navier–Stokes equation is reduced to a convenient∼O(1) form for both analytic and numeric solutions for all values of corner half-angle α and corner roundedness ratio λ for perfectly wetting fluids. The scaling and analysis of the problem captures much of the intricate geometric dependence of the viscous resistance and significantly reduces the reliance on numerical data compared with several previous solution methods …


Dynamic Programming-Based Energy-Efficient Rate Adaptation For Wireless Ad Hoc Networks, Maciej Jan Zawodniok, Jagannathan Sarangapani Nov 2006

Dynamic Programming-Based Energy-Efficient Rate Adaptation For Wireless Ad Hoc Networks, Maciej Jan Zawodniok, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

Resource constraints require that ad hoc wireless networks are energy efficient during transmission and rate adaptation. In this paper we propose a novel cross-layer energy-efficient rate adaptation scheme that employs dynamic programming (DP) principle to analytically select the modulation scheme online. The scheme uses channel state information from the physical layer and congestion information from the scheduling layer to select a modulation rate. This online selection maximizes throughput while saving energy and preventing congestion. The simulation results indicate that an increase in throughput by 96% and energy-efficiency by 131% is observed when compared to the Receiver Based AutoRate (RBAR) protocol.


Optimal Placement And Control Of Unified Power Flow Control Devices Using Evolutionary Computing And Sequential Quadratic Programming, Radha P. Kalyani, Mariesa Crow, Daniel R. Tauritz Nov 2006

Optimal Placement And Control Of Unified Power Flow Control Devices Using Evolutionary Computing And Sequential Quadratic Programming, Radha P. Kalyani, Mariesa Crow, Daniel R. Tauritz

Electrical and Computer Engineering Faculty Research & Creative Works

A crucial factor effecting modern power systems today is power flow control. An effective means for controlling and improving power flow is by installing fast reacting devices such as a unified power flow controller (UPFC). For maximum positive impact of this device on the power grid, it should be installed at an optimal location and employ an optimal realtime control algorithm. This paper proposes the combination of an evolutionary algorithm (EA) to find the optimal location and sequential quadratic programming (SQP) to optimize the UPFC control settings. Simulations are conducted using the classic IEEE 118 bus test system. For comparison …


A Framework For Schema-Driven Relationship Discovery From Unstructured Text, Cartic Ramakrishnan, Krzysztof Kochut, Amit P. Sheth Nov 2006

A Framework For Schema-Driven Relationship Discovery From Unstructured Text, Cartic Ramakrishnan, Krzysztof Kochut, Amit P. Sheth

Kno.e.sis Publications

We address the issue of extracting implicit and explicit relationships between entities in biomedical text. We argue that entities seldom occur in text in their simple form and that relationships in text relate the modified, complex forms of entities with each other. We present a rule-based method for (1) extraction of such complex entities and (2) relationships between them and (3) the conversion of such relationships into RDF. Furthermore, we present results that clearly demonstrate the utility of the generated RDF in discovering knowledge from text corpora by means of locating paths composed of the extracted relationships.


Survey Results From Improving The State Superfund Process (2006), Robin K. Saha Nov 2006

Survey Results From Improving The State Superfund Process (2006), Robin K. Saha

Environmental Studies Faculty Publications

The report section contains a summary of the University of Montana's survey results in a memo submitted to the EQC by Robin Saha. The graduate students conducted research requested to support the investigation regarding House Joint Resolution 34 on challenges that occur at Superfund sites under the federal Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA), the state Comprehensive Environmental Cleanup and Responsibility Act (CECRA), and the Voluntary Cleanup and Redevelopment Act (VCRA). Students completed research for the six sites: Bozeman Solvent; Brewery Flats (Lewistown); Burlington Northern (Livingston); Lockwood Solvent; S&W Sawmill (Darby); and Upper Tenmile Creek (Rimini). The memo …


Partial-Wave Expansions Of Angular Spectra Of Plane Waves, James A. Lock Nov 2006

Partial-Wave Expansions Of Angular Spectra Of Plane Waves, James A. Lock

Physics Faculty Publications

Focused electromagnetic beams are frequently modeled by either an angular spectrum of plane waves or a partial-wave sum of spherical multipole waves. The connection between these two beam models is explored here. The partial-wave expansion of an angular spectrum containing evanescent components is found to possess only odd partial waves. On the other hand, the partial-wave expansion of an alternate angular spectrum constructed so as to be free of evanescent components contains all partial waves but describes a propagating beam with a small amount of standing-wave component mixed in. A procedure is described for minimizing the standing-wave component so as …


Seasonal Variation In The Stable Isotopic Composition Of Precipitation In The Tropical Montane Forests Of Monteverde, Costa Rica, Amy L. Rhodes, Andrew J. Guswa, Silvia E. Newell Nov 2006

Seasonal Variation In The Stable Isotopic Composition Of Precipitation In The Tropical Montane Forests Of Monteverde, Costa Rica, Amy L. Rhodes, Andrew J. Guswa, Silvia E. Newell

Engineering: Faculty Publications

Climate and land use change may diminish orographic clouds over tropical montane forests, stressing biota and water resources during dry seasons. From 2003 to 2005 we measured the stable isotopic composition of precipitation and throughfall in Monteverde, Costa Rica, to distinguish convective, wet season rainfall associated with the Intertropical Convergence Zone (ITCZ) from dry season, orographic rain produced by northeasterly trade winds. While event-to-event fluctuations of δ18O and δ2H are high, monthly samples reveal a seasonal signal that may be used to trace water through the hydrologic cycle. Deuterium excess indicates that water evaporated from land is an important flux …


(Acetonitrile-Κn){2-[Bis­(2-Pyridylethyl)­Amino]Ethanol-Κ4n,N′,N′′,O}Zinc(Ii) Bis­(Perchlorate) Monohydrate, Hong-Chang Liang, Marcel M. Hetu, Kraig A. Wheeler, Lev N. Zakharov, Arnold L. Rheingold Nov 2006

(Acetonitrile-Κn){2-[Bis­(2-Pyridylethyl)­Amino]Ethanol-Κ4n,N′,N′′,O}Zinc(Ii) Bis­(Perchlorate) Monohydrate, Hong-Chang Liang, Marcel M. Hetu, Kraig A. Wheeler, Lev N. Zakharov, Arnold L. Rheingold

Faculty Research and Creative Activity

In the title compound, [Zn(C2H3N)(C16H21N3O)](ClO4)2·H2O, the ZnII ion is coordinated by two pyridyl N atoms, one amine N atom, and an ethanol O atom from the N,N′,N′′,O-tetra­dentate 2-[bis­(2-pyridylethyl)amino]­ethanol donor ligand. The fifth coordination site is filled by an acetonitrile N atom, and there is one solvent water mol­ecule in the asymmetric unit. The 2+ charge of the cationic portion of the complex is balanced by two perchlorate counter-anions.


A Transmission Electron Microscope For Lecture Demonstrations, J. A. Panitz, Gertrude Rempfer Nov 2006

A Transmission Electron Microscope For Lecture Demonstrations, J. A. Panitz, Gertrude Rempfer

Physics Faculty Publications and Presentations

A simple transmission electron microscope (TEM) suitable for lecture demonstrations is described. In this TEM electrons are created in a glow discharge between two parallel electrodes in air at a reduced pressure. The electrons are collimated by a small hole in theanode, focused by a solenoid that acts as an electromagnetic lens, and imaged on a thin layer of phosphor deposited inside an Erlenmeyer flask. An image of a biological sample placed between the source and the lens can be magnified about 20 times. The microscope uses inexpensive components that can be quickly assembled during a demonstration. The TEMprovides a …


Transmission Electron Goniometry And Its Relation To Electron Tomography For Materials Science Apoplications, Peter Moeck, P. Fraundorf Nov 2006

Transmission Electron Goniometry And Its Relation To Electron Tomography For Materials Science Apoplications, Peter Moeck, P. Fraundorf

Physics Faculty Publications and Presentations

Aspects of transmission electron goniometry are discussed. Combined with high resolution phase contrast transmission electron microscopy (HRTEM) and atomic resolution scanning TEM (STEM) in the atomic number contrast (Z-STEM) or the phase contrast bright field mode, transmission electron goniometry offers the opportunity to develop dedicated methods for the crystallographic characterization of nanocrystals in three dimensions. The relationship between transmission electron goniometry and electron tomography for materials science applications is briefly discussed. Internet based java applets that facilitate the application of transmission electron goniometry for cubic crystals with calibrated tilt-rotation and double-tilt specimen holders/goniometers are mentioned. The so called cubic-minimalistic tilt …


Serious Gordon Using Serious Games To Teach Food Safety In The Kitchen, Brian Mac Namee, Pauline Rooney, Patrick Lindstrom, Andrew Ritchie, Frances Boylan, Greg Burke Nov 2006

Serious Gordon Using Serious Games To Teach Food Safety In The Kitchen, Brian Mac Namee, Pauline Rooney, Patrick Lindstrom, Andrew Ritchie, Frances Boylan, Greg Burke

Conference papers

This paper will describe the development of Serious Gordon, an interactive digital game developed to tech the basics of kitchen food safety to workers in industries dealing with food. The motivations driving the development of the game will be described as will the development process itself. An initial evaluation of the game, from both a technical and pedagogical point of view, will be presented as will conclusions on the viability of using a commercial game engine for the purpose of developing educational games.


A Note On The Engulfing Property And The R 1+Α -Regularity Of Convex Functions In Carnot Groups, Luca Capogna, Diego Maldonado Nov 2006

A Note On The Engulfing Property And The R 1+Α -Regularity Of Convex Functions In Carnot Groups, Luca Capogna, Diego Maldonado

Mathematics Sciences: Faculty Publications

We study the engulfing property for convex functions in Carnot groups. As an application we show that the horizontal gradient of functions with this property is Hölder continuous.


Preliminary Results Of A Nutrient Source Study In Wilgreen Lake, Madison County, Kentucky, Walter S. Borowski, Erin C. Jolly Nov 2006

Preliminary Results Of A Nutrient Source Study In Wilgreen Lake, Madison County, Kentucky, Walter S. Borowski, Erin C. Jolly

EKU Faculty and Staff Scholarship

Wilgreen Lake (Madison County, Kentucky) is an eutrophic lake formed by damming Taylor Fork, part of the Silver Creek watershed. Two principal tributaries drain urban areas of the city of Richmond, agricultural land typified by cattle grazing, and a high-density residential area using septic systems. The lake is “nutrient impaired,” so it is likely that anthropogenic nutrient loading is affecting water quality. Our study aims to first characterize the physical characteristics and water quality of the lake (2006), and then determine the specific proportion of nutrient inputs (2007) to the lake with the aim of remediating any possible degradation of …


To Evaluate The Effects Of The Introduction Of A Smoke-Free Environment On The Lung Function Of Bar Workers In Dublin, Michele Agnew Nov 2006

To Evaluate The Effects Of The Introduction Of A Smoke-Free Environment On The Lung Function Of Bar Workers In Dublin, Michele Agnew

Masters

It has long been recognised that exposure to environmental tobacco smoke (ETS) causes respiratory and cardio-vascular disease. A ban, prohibiting smoking in the workplace, was sanctioned by the Irish government and came into effect on 29 March, 2004. Bar staff were an ideal group to study the health effects of the introduction of this ban. Methods Workers were recruited through their Trade Union, Mandate, and 81 participated in the pre-ban phase of testing between September 2003 and March 2004. They attend the Respiratory Laboratory in St. James’s Hospital and underwent lung function tests and measurement of exhaled carbon monoxide (CO). …


Inside Unlv, Cate Weeks, Brenda Griego, David Ashley, Mamie Peers, Shane Bevell, Gian Galassi Nov 2006

Inside Unlv, Cate Weeks, Brenda Griego, David Ashley, Mamie Peers, Shane Bevell, Gian Galassi

Inside UNLV

No abstract provided.


Styrenic Polymer Nanocomposites Based On An Oligomerically-Modified Clay With High Inorganic Content, Jinguo Zhang, David D. Jiang, Dongyan Wang, Charles A. Wilkie Nov 2006

Styrenic Polymer Nanocomposites Based On An Oligomerically-Modified Clay With High Inorganic Content, Jinguo Zhang, David D. Jiang, Dongyan Wang, Charles A. Wilkie

Chemistry Faculty Research and Publications

Clay was modified with an oligomeric surfactant containing styrene and lauryl acrylate units along with a small amount of vinylbenzyl chloride to permit the formation of an ammonium salt so that this can be attached to a clay. The oligomerically-modified clay contains 50% inorganic clay, and styrenic polymer nanocomposites, including those of polystyrene (PS), high-impact polystyrene (HIPS), styrene–acrylonitrile copolymer (SAN) and acrylonitrile–butadiene–styrene (ABS), were prepared by melt blending. The morphologies of the nanocomposites were evaluated by X-ray diffraction and transmission electron microscopy. Mixed intercalated/delaminated nanocomposites were formed for SAN and ABS while largely immiscible nanocomposites were formed for PS and …


Mercury Exchange Between The Atmosphere And Low Mercury Containing Substrates, Mae Sexauer Gustin, Mark Engle, Jody Ericksen, Seth N. Lyman, Jelena Stamenkovic, Mei Xin Nov 2006

Mercury Exchange Between The Atmosphere And Low Mercury Containing Substrates, Mae Sexauer Gustin, Mark Engle, Jody Ericksen, Seth N. Lyman, Jelena Stamenkovic, Mei Xin

USU Uintah Basin Faculty Publications

Mercury is emitted to the air from Hg-enriched and low Hg-containing (natural background) substrates. Emitted Hg can be geogenic, or can be derived from the re-emission of Hg that was previously deposited to the soil from the atmosphere. Atmospheric Hg can be derived from natural and/or anthropogenic sources and can be deposited by wet or dry processes. It is important to understand the relative magnitude of emission, deposition, and re-emission of Hg associated with terrestrial ecosystems with natural background soil Hg concentrations because these landscapes cover large terrestrial surface areas. This information is also important for developing biogeochemical mass balances, …


Electronic Editing Of Anglo-Saxon Texts, George K. Thiruvathukal, Allen J. Frantzen Nov 2006

Electronic Editing Of Anglo-Saxon Texts, George K. Thiruvathukal, Allen J. Frantzen

Computer Science: Faculty Publications and Other Works

Poster presentation/demonstration at the first Chicago Colloquium on Digital Humanities about editing of Old English texts and the Anglo-Saxon project.


Improving Database Quality Through Eliminating Duplicate Records, Mingzhen Wei, Andrew H. Sung, Martha E. Cather Nov 2006

Improving Database Quality Through Eliminating Duplicate Records, Mingzhen Wei, Andrew H. Sung, Martha E. Cather

Geosciences and Geological and Petroleum Engineering Faculty Research & Creative Works

Redundant or duplicate data are the most troublesome problem in database management and applications. Approximate field matching is the key solution to resolve the problem by identifying semantically equivalent string values in syntactically different representations. This paper considers token-based solutions and proposes a general field matching framework to generalize the field matching problem in different domains. By introducing a concept of String Matching Points (SMP) in string comparison, string matching accuracy and efficiency are improved, compared with other commonly-applied field matching algorithms. The paper discusses the development of field matching algorithms from the developed general framework. The framework and corresponding …


K Α₁ Radiation From Heavy, Heliumlike Ions Produced In Relativistic Collisions, Andrey S. Surzhykov, Ulrich D. Jentschura, Th H. Stohlker, Stephan Fritzsche Nov 2006

K Α₁ Radiation From Heavy, Heliumlike Ions Produced In Relativistic Collisions, Andrey S. Surzhykov, Ulrich D. Jentschura, Th H. Stohlker, Stephan Fritzsche

Physics Faculty Research & Creative Works

Bound-state transitions in few-electron, heavy ions following radiative electron capture are studied within the framework of the density matrix theory and the multiconfiguration Dirac-Fock approach. Special attention is paid to the K α1 (1 s1/2 2 p3/2 1.3PJ=1,2→1s21/2 1SJ=0) radiative decay of heliumlike uranium U90+ projectiles. This decay has recently been observed at the GSI facility in Darmstadt, giving rise to a surprisingly isotropic angular distribution, which is inconsistent with previous experiments and calculations based on a "one-particle" model. We show that the unexpected isotropy essentially results from …


A Conversation With Harry Martz, Paul H. Kvam Nov 2006

A Conversation With Harry Martz, Paul H. Kvam

Department of Math & Statistics Faculty Publications

Harry F. Martz was born June 16, 1942 and grew up in Cumberland, Maryland. He received a Bachelor of Science degree in mathematics (with a minor in physics) from Frostburg State University in 1964, and earned a Ph.D. in statistics at Virginia Polytechnic Institute and State University in 1968. He started his statistics career at Texas Tech University's Department of Industrial Engineering and Statistics right after graduation. In 1978, he joined the technical staff at Los Alamos National Laboratory (LANL) in Los Alamos, New Mexico after first working as Full Professor in the Department of Industrial Engineering at Utah State …


Predicting Residue Contacts Using Pragmatic Correlated Mutations Method: Reducing The False Positives, Petras J. Kundrotas, Emil Alexov Nov 2006

Predicting Residue Contacts Using Pragmatic Correlated Mutations Method: Reducing The False Positives, Petras J. Kundrotas, Emil Alexov

Publications

Background

Predicting residues' contacts using primary amino acid sequence alone is an important task that can guide 3D structure modeling and can verify the quality of the predicted 3D structures. The correlated mutations (CM) method serves as the most promising approach and it has been used to predict amino acids pairs that are distant in the primary sequence but form contacts in the native 3D structure of homologous proteins.

Results

Here we report a new implementation of the CM method with an added set of selection rules (filters). The parameters of the algorithm were optimized against fifteen high resolution crystal …


Ex Ante Choices Of Law And Forum: An Empirical Analysis Of Corporate Merger Agreements, Theodore Eisenberg, Geoffrey P. Miller Nov 2006

Ex Ante Choices Of Law And Forum: An Empirical Analysis Of Corporate Merger Agreements, Theodore Eisenberg, Geoffrey P. Miller

Cornell Law Faculty Publications

Legal scholars have focused much attention on the incorporation puzzle—why business corporations so heavily favor Delaware as the site of incorporation. This paper suggests that the focus on the incorporation decision overlooks a broader but intimately related set of questions. The choice of Delaware as a situs of incorporation is, effectively, a choice of law decision. A company electing to charter in Delaware selects Delaware law (and authorizes Delaware courts to adjudicate legal disputes) regarding the allocation of governance authority within the firm. In this sense, the incorporation decision is fundamentally similar to any setting in which a company selects …


Modeling Local Interest Points For Semantic Detection And Video Search At Trecvid 2006, Yu-Gang Jiang, Xiaoyong Wei, Chong-Wah Ngo, Hung-Khoon Tan, Wanlei Zhao, Xiao Wu Nov 2006

Modeling Local Interest Points For Semantic Detection And Video Search At Trecvid 2006, Yu-Gang Jiang, Xiaoyong Wei, Chong-Wah Ngo, Hung-Khoon Tan, Wanlei Zhao, Xiao Wu

Research Collection School Of Computing and Information Systems

Local interest points (LIPs) and their features have been shown to obtain surprisingly good results in object detection and recognition. Its effectiveness and scalability, however, have not been seriously addressed in large-scale multimedia database, for instance TRECVID benchmark. The goal of our works is to investigate the role and performance of LIPs, when coupling with multi-modality features, for high-level feature extraction and automatic video search.


Understanding User Perceptions On Usefulness And Usability Of An Integrated Wiki-G-Portal, Yin-Leng Theng, Yuanyuan Li, Ee Peng Lim, Zhe Wang, Dion Hoe-Lian Goh, Chew-Hung Chang, Kalyani Chatterjea, Jun Zhang Nov 2006

Understanding User Perceptions On Usefulness And Usability Of An Integrated Wiki-G-Portal, Yin-Leng Theng, Yuanyuan Li, Ee Peng Lim, Zhe Wang, Dion Hoe-Lian Goh, Chew-Hung Chang, Kalyani Chatterjea, Jun Zhang

Research Collection School Of Computing and Information Systems

This paper describes a pilot study on Wiki-G-Portal, a project integrating Wikipedia, an online encyclopedia, into G-Portal, a Web-based digital library, of geography resources. Initial findings from the pilot study seemed to suggest positive perceptions on usefulness and usability of Wiki-G-Portal, as well as subjects' attitude and intention to use.


Smartic: Towards Building An Accurate, Robust And Scalable Specification Miner, David Lo, Siau-Cheng Khoo Nov 2006

Smartic: Towards Building An Accurate, Robust And Scalable Specification Miner, David Lo, Siau-Cheng Khoo

Research Collection School Of Computing and Information Systems

Improper management of software evolution, compounded by imprecise, and changing requirements, along with the “short time to market ” requirement, commonly leads to a lack of up-to-date specifications. This can result in software that is characterized by bugs, anomalies and even security threats. Software specification mining is a new technique to address this concern by inferring specifications automatically. In this paper, we propose a novel API specification mining architecture called SMArTIC (Specification Mining Architecture with Trace fIltering and Clustering) to improve the accuracy, robustness and scalability of specification miners. This architecture is constructed based on two hypotheses: (1) Erroneous traces …


Integration Of Wikipedia And A Geography Digital Library, Ee Peng Lim, Zhe Wang, Darwin Sadeli, Yuanyuan Li, Chew-Hung Chang, Kalyani Chatterjea, Dion Hoe-Lian Goh, Yin-Leng Theng, Jun Zhang, Aixin Sun Nov 2006

Integration Of Wikipedia And A Geography Digital Library, Ee Peng Lim, Zhe Wang, Darwin Sadeli, Yuanyuan Li, Chew-Hung Chang, Kalyani Chatterjea, Dion Hoe-Lian Goh, Yin-Leng Theng, Jun Zhang, Aixin Sun

Research Collection School Of Computing and Information Systems

In this paper, we address the problem of integrating Wikipedia, an online encyclopedia, and G-Portal, a web-based digital library, in the geography domain. The integration facilitates the sharing of data and services between the two web applications that are of great value in learning. We first present an overall system architecture for supporting such an integration and address the metadata extraction problem associated with it. In metadata extraction, we focus on extracting and constructing metadata for geo-political regions namely cities and countries. Some empirical performance results will be presented. The paper will also describe the adaptations of G-Portal and Wikipedia …


Unit Testing Considered Useful, George K. Thiruvathukal, Konstantin Läufer, Benjamin Gonzalez Nov 2006

Unit Testing Considered Useful, George K. Thiruvathukal, Konstantin Läufer, Benjamin Gonzalez

Computer Science: Faculty Publications and Other Works

Testing is an important part of application development. Hardware engineers, in particular, have a long established history of testing for the obvious reason that it's awfully hard to rebuild a microprocessor every time a bug pops up in the design stage--not to mention the enormous headaches such bugs generate on the software side.


An Improved Distance Heuristic Function For Directed Software Model Checking, Eric G. Mercer, Neha Rungta Nov 2006

An Improved Distance Heuristic Function For Directed Software Model Checking, Eric G. Mercer, Neha Rungta

Faculty Publications

State exploration in directed software model checking is guided using a heuristic function to move states near errors to the front of the search queue. Distance heuristic functions rank states based on the number of transitions needed to move the current program state into an error location. Lack of calling context information causes the heuristic function to underestimate the true distance to the error; however, inlining functions at call sites in the control flow graph to capture calling context leads to an exponential growth in the computation. This paper presents a new algorithm that implicitly inlines functions at call sites …