Program slicing is a method for decomposing programs by analyzing their data and control flow. It has many applications in the field of software engineering (like program debugging, testing, code reuse, maintenance, etc). The so called program dependence graph—a data structure that stores control and data dependences between the statements of imperative programs—is a key ingredient of many slic...

With the work of Khot and Vishnoi [18] as a starting point, we obtain integrality gaps for certain strong SDP relaxations of U G. Specifically, we exhibit a U G gap instance for the basic semidefinite program strengthened by all valid linear inequalities on the inner products of up to exp(Ω(log log n)1/4) vectors. For a stronger relaxation obtained from the basic semidefinite ...

Inspired by BIO2010 and leveraging institutional and external funding, Truman State University built an undergraduate program in mathematical biology with high-quality, faculty-mentored interdisciplinary research experiences at its core. These experiences taught faculty and students to bridge the epistemological gap between the mathematical and life sciences. Together they created the infrastru...

in this paper, a photonic crystal waveguide with point defects and lattice constant perturbations of +5%, -5% are being investigated. firstly waveguide structures with constant and specific parameters are being studied and photonic band gap diagrams for te/tm modes are depicted; then pulse propagation in the frequencies available in the band gap are shown. after that, effects of parameters like...

This report presents the results of applying RA-GAP VAT gap estimation methodology to Belgium for period 2011-2021. The Revenue Administration Gap Analysis Program (RAGAP) employs a top-down approach estimating potential Value-Added Tax (VAT) base, using statistical data on value-added generated in each sector. There are two main components this gap: 1) estimate collections given period; and 2)...

ARM® is the prevalent processor architecture for embedded and mobile applications. For the smartphones, it is the processor for which software applications are running, whether the platform is with Apple’s iOS or Google’s Android. Software operations under these platforms are prone to semantic gap, which refers to potential difference between intended operations described in software and actual...

Program anomaly detection analyzes normal program behaviors and discovers aberrant executions caused by attacks, misconfigurations, program bugs, and unusual usage patterns. The merit of program anomaly detection is its independence from attack signatures, which enables proactive defense against new and unknown attacks. In this paper, we formalize the general program anomaly detection problem a...