1,730,541 research outputs found
Undefinability of Approximation of 2-To-2 Games
Get PDFRecent work by Atserias and Dawar [Albert Atserias and Anuj Dawar, 2019] and Tucker-Foltz [Jamie Tucker-Foltz, 2024] has established undefinability results in fixed-point logic with counting (FPC) corresponding to many classical complexity results from the hardness of approximation. In this line of work, NP-hardness results are turned into unconditional FPC undefinability results. We extend this work by showing the FPC undefinability of any constant factor approximation of weighted 2-to-2 games, based on the NP-hardness results of Khot, Minzer and Safra. Our result shows that the completely satisfiable 2-to-2 games are not FPC-separable from those that are not ε-satisfiable, for arbitrarily small ε. The perfect completeness of our inseparability is an improvement on the complexity result, as the NP-hardness of such a separation is still only conjectured. This perfect completeness enables us to show the FPC undefinability of other problems whose NP-hardness is conjectured. In particular, we are able to show that no FPC formula can separate the 3-colourable graphs from those that are not t-colourable, for any constant t
Accelerating Population Balance Model - based particulate process simulations via parallel computing
No full textThe use of Population Balance Models (PBM) for simulating dynamics of particulate systems are inevitably limited at some point by the demands they place on computational resources. PBMs are widely used to describe the time evolutions and distributions of many industrial particulate processes, and its efficient and quick simulation would certainly be beneficial for process design, control and optimization. This thesis is an elucidation of how MATLAB's Parallel Computing Toolbox (PCT), a third-party toolbox called JACKET, and the MATLAB Distributed Computing Server (MDCS) may be combined with algorithmic modification of the PBM to speed up these computations on a CPU (Central Processing Unit), GPU (Graphics Processing Unit) and a computer cluster respectively. Parallel algorithms were developed for three dimensional and four dimensional population balance models incorporating hardware class-specific parallel constructs such as SPMD and gfor. Results indicate significant reduction in computational time without compromising numerical accuracy for all cases except for the GPU. The GPU seemed promising for larger problems despite its limitations of lower clock speeds and on-board memory compared to the CPU. Evaluations of the speedup and scalability further affirm the algorithms' performance.M.S.Includes bibliographical referencesIncludes vitaby Anuj Varghese Prakas
Leveraging the Anuj transform: A novel approach to modeling population dynamics in interdisciplinary sciences
No full textThis study introduces the Anuj transform as an innovative tool for addressing population growth and decay problems. By applying the Anuj transform, we demonstrate its efficacy and practical value in solving these complex issues. The paper presents several applications that highlight the transformative potential of the Anuj transform in modeling population dynamics. The results underscore the utility of this method, providing clear solutions without extensive calculations
Anuj Mubayi's Quick Files
No full textThe Quick Files feature was discontinued and it’s files were migrated into this Project on March 11, 2022. The file URL’s will still resolve properly, and the Quick Files logs are available in the Project’s Recent Activity
Anuj Mubayi's Quick Files
No full textThe Quick Files feature was discontinued and it’s files were migrated into this Project on March 11, 2022. The file URL’s will still resolve properly, and the Quick Files logs are available in the Project’s Recent Activity
Book Review: Anuj Bhuwania, Courting the People: Public litigation in Post Emergency India
No full text Anuj Bhuwania, Courting the People: Public litigation in Post Emergency India. Delhi: Cambridge University Press. 2017. 166 pages. ₹495. </jats:p
Anuj Mubayi's Quick Files
No full textThe Quick Files feature was discontinued and it’s files were migrated into this Project on March 11, 2022. The file URL’s will still resolve properly, and the Quick Files logs are available in the Project’s Recent Activity
Anuj Kumar
Get PDFABSTRACT A huge amount of dust, SPM, RSPM and gaseous pollutants is released into the environment -both workplace and ambient environment from various foundries, forges of Iron & Steel industries and other manufacturing industries. These pollutants cause health hazards. Many health hazards are reported in the foundrymen and forge shops workers of the industries
Profile invariant object detection by components using support vector machines
No full textThesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.Includes bibliographical references (leaves 38-40).by Anuj Mohan.M.Eng
- …
