347 research outputs found
Book Ends & Odd Books : Publications Refuting Conventional Form from the Banff Centre Library Collection
No full textMathur explains how he "unselected" nearly 200 works for this exhibition of unconventional publications by international artists and authors, recognizing the influence of Ulises Carrion's article "The New Art of Making Books." The author reflects upon the roles of language and poetics, the distinction between book and text, and how politics and power affect the making and reception of these works. 2 bibl. ref
Book review: paper tiger: law, bureaucracy and the developmental state in Himalayan India by Nayanika Mathur
No full textFollowing eighteen months of intensive fieldwork, in Paper Tiger: Law, Bureaucracy and the Developmental State in Himalayan India author Nayanika Mathur details the everyday absurdities of bureaucracy in the Himalayan borderlands, showing the frequent gulf between ‘real life’ and the abstract workings of the law. Elisabetta Iob highly recommends this accessible, witty and vividly written book as an outstanding and essential example of ethnographic research
FINANCING COMMUNITY FACILITIES: A CASE STUDY OF THE PARKS AND RECREATIONAL GENERAL OBLIGATION BOND MEASURE OF SAN JOSE, CALIFORNIA
No full textThis study of the City of San Jose’s Parks and Recreation General Obligation (GO) Bond Measure seeks to identify the politics-, management-, and planning-related lessons learned by the City as it developed its community facilities using the GO bonds proceeds. The study finds that these lessons include: be conservative in what you promise the residents; be prepared for changes in economic environment by identifying supplementary funding sources should the primary source not yield adequate funds; make sure that the jurisdiction is organizationally capable of handling the increased workload; and prepare detailed project plans prior to the bond issuance.Community Infrastructure and Services; Municipal Bonds; Public Finance
An Analytical Criterion for Centrifugal Instability in Non-Axisymmetric Vortices
No full textNon-axisymmetric vortices are ubiquitous in nature; examples include polar vortices in planets, the giant red spot in Jupiter, tornadoes and cyclones on Earth, mesoscale eddies in the ocean. Turbulent flows are furthermore known to be dominated by small- and large-scale vortex structures. Owing to the wide range of applications, knowledge of conditions under which a given vortex becomes unstable is beneficial. Here, the centrifugal instability of two-dimensional, non-axisymmetric vortices in the presence of an axial flow and a background rotation is studied using the local stability approach. The local stability approach, based on geometric optics and similar in formulation to the rapid distortion theory \cite{bib:godeferd2001}, considers the evolution of shortwavelength perturbations along streamlines in the base flow. This approach, developed by Lifschitz Hameiri \cite{bib:lifschitz1991}, is particularly useful for base flows for which a global stability analysis is computationally expensive. A sufficient criterion for centrifugal instability in an axisymmetric vortex with and is first derived by analytically solving the local stability equations for wave vectors that are periodic upon evolution around a closed streamline. This criterion is then heuristically extended to non-axisymmetric vortices and written in terms of integral quantities on a streamline. The criterion is then shown to be accurate in describing centrifugal instability over a reasonably large range of parameters that specify Stuart vortices and Taylor-Green vortices
An Interactive Dialogue for the Creation, Maintenance and Querying of a Data Base Representative of the Anatomy of an Administrative System
No full textTitle: An Interactive Dialogue for the Creation, Maintenance and Querying of a Data Base Representative of the Anatomy of an Administrative System, Author: Pratima Mathur, Location: ThodeThe logical structure of a database is given, and is
representative of the anatomy of an administrative system,
and of the personnel organization by which it is operated.
This project will adopt an appropriate host computer,
terminal, and physical representation of the database, for
the main purpose of developing a user-terminal dialogue by
which the database can be created and maintained. The
dialogue should be as easy and flexible to use by an audit
analyst as is possible, while at the same time imposing a
systematic and disciplined approach to the task.ThesisMaster of Science (MS
Uncovering a novel role for FXR-SHP axis in liver physiology, diseases and beyond
No full textLiver performs a multitude of functions ranging from detoxification, metabolism and digestion. To execute these tasks, one of the mechanisms that the liver utilizes is nuclear receptor signaling, which in turn can transcriptionally regulate gene networks. My doctoral thesis focuses on studying the role of two nuclear receptors, FXR and SHP in maintaining liver function. Farnesoid X Receptor (FXR) and Small Heterodimer Partner (SHP) are well-known regulators of glucose, fat and bile acid homeostasis. Here, I uncover novel roles for FXR-SHP axis not only in the liver but also in extrahepatic organs, like heart. In Chapter 2, I discuss how hepatic loss of FXR and SHP results in increased glycosylation of liver proteins and structural defects in Golgi apparatus, and ultimately liver cancer. Chapter 3 focuses on comprehending how FXR-SHP ablation results in increased drug metabolic capacity of the liver. Finally, chapter 4 discusses how liver dysfunction, caused by loss of FXR and SHP, can induce metabolic and functional defects in heart. Taken together, these projects will help understand some of the FXR and SHP transcriptional networks under different physiological and pathological contexts and may open avenues for pharmacological manipulation to treat various diseases.Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2021-08-01The student, Bhoomika Mathur, accepted the attached license on 2019-07-04 at 01:18.The student, Bhoomika Mathur, submitted this Dissertation for approval on 2019-07-04 at 01:31.This Dissertation was approved for publication on 2019-07-09 at 15:41.DSpace SAF Submission Ingestion Package generated from Vireo submission #14170 on 2019-11-26 at 13:04:27Made available in DSpace on 2019-11-26T20:49:21Z (GMT). No. of bitstreams: 3
MATHUR-DISSERTATION-2019.pdf: 4474420 bytes, checksum: 0728cd0303f8ab823c20e40908832fc6 (MD5)
LICENSE.txt: 4212 bytes, checksum: c236fb3ffdc64338bde4c118696e9cf1 (MD5)
RightsLink Printable License_Copyright letter_Bhoomika.pdf: 202690 bytes, checksum: 3eb71388cf9fd446d7a972db6b8c76f4 (MD5)
Previous issue date: 2019-07-09Embargo set by: Seth Robbins for item 112930
Lift date: 2021-11-26T20:49:41Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemU of I Only Restriction Lifted for Item 112930 on 2021-11-27T10:15:09Z
Algorithmic advances in dynamic analysis for detecting concurrency bugs
No full textConcurrency is an indispensable programming paradigm and multi-threaded programs form the bedrock of most modern software applications. Multi-threaded programs, however, are also the most tricky to get right. Despite rigorous in-house testing, concurrency issues like data races, race conditions, deadlocks and atomicity violations incessantly find there way into production-level software. In the past, errors arising due to complex concurrency bugs in software have led to catastrophic loss of human lives and money. Tackling concurrency bugs, and in particular, efficiently detecting such bugs, has, therefore, been the center of attention in computer science research for several decades now.
Dynamic analysis techniques, in particular, have emerged as the de facto standard for detecting concurrency bugs. Such techniques, examine execution traces of programs, with an aim to detect concurrency bugs at runtime. This thesis advances the state-of-the art in dynamic analysis for detecting concurrency bugs. We propose several algorithms for improving the precision, recall and efficiency of existing techniques for dynamically detecting concurrency bugs like data races and atomicity violations. We also investigate several complexity-theoretic questions establishing precise complexity bounds on several questions arising in dynamic concurrency bug detection.
We first consider the problem of detecting data races dynamically. Most popular techniques for dynamic race detection are either based on a principle of lockset violations, or on the happens-before partial order. While these techniques are usually employed at runtime, for detecting data races on-the-fly, there are many scenarios when executions can be, or need to be analyzed for concurrency bugs in an offline setting. Since executions can be extremely large, they are often stored in a compressed format to ease their warehousing. In this thesis, we study the problem of detecting data races when the analysis needs to be performed over an execution that has been compressed using a grammar-based compression scheme. We show how to detect data races efficiently in such a setting, without needing to decompress the (potentially) exponentially succinct compressed format.
We next study the problem of dynamic race prediction, which asks if one can infer the presence of data races beyond those present in a single trace observed by monitoring a program while it is executing. Existing race detectors report false alarms, miss a lot of real races, or do not scale beyond small execution traces. We propose several algorithms that offer a good balance of scalability and predictive power, while being sound (no false positives). We also study the problem from a complexity-theoretic point of view and identify upper and lower bounds, both in the general setting and in settings when the observed execution trace satisfies special properties.
Next, we consider the problem of dynamically detecting atomicity violations. This thesis proposes a linear time vector-clock algorithm for a well-studied notion of atomicity, called conflict serializability, for which the only known algorithms ran in cubic time.
The algorithms proposed in this thesis have been implemented and evaluated against large benchmark suites to evaluate their effectiveness. The techniques developed in this thesis are backed by strong theoretical foundations that ensure that our algorithms are scalable, sound and have high predictive power, making them applicable for analyzing modern software systems.Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2023-12-01The student, Umang Mathur, accepted the attached license on 2021-07-16 at 17:21.The student, Umang Mathur, submitted this Dissertation for approval on 2021-07-16 at 17:26.This Dissertation was approved for publication on 2021-07-19 at 11:23.DSpace SAF Submission Ingestion Package generated from Vireo submission #16995 on 2022-04-06 at 17:16:10Made available in DSpace on 2022-04-29T21:41:39Z (GMT). No. of bitstreams: 2
MATHUR-DISSERTATION-2021.pdf: 1409268 bytes, checksum: 38100bbe811f8c0e68527926131094c6 (MD5)
LICENSE.txt: 4209 bytes, checksum: 1fcc77be006b05f4869e0be361ec7fcc (MD5)
Previous issue date: 2021-07-19Embargo set by: Seth Robbins for item 123299
Lift date: 2024-04-29T21:41:44Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 123299
Lift date: 2024-04-29T21:42:24Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 123299
Lift date: 2024-04-29T21:43:01Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 123299
Lift date: 2024-04-29T21:44:44Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 123299
Lift date: 2024-04-29T21:46:25Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 123299
Lift date: 2024-04-29T21:47:53Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemAuthor requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemU of I Onl
Anaesthetic and airway management of a post-burn contracture neck patient with microstomia and distorted nasal anatomy
No full text
The effect of lime juice on Vibrio parahaemolyticus and Salmonella enterica inactivation during the preparation of raw fish dish ceviche
No full textCeviche is a Peruvian raw fish dish. It is extremely popular in the South American countries and has recently gained prominence in USA. It can be made with many types of seafood but is most commonly in USA with tilapia. The most characteristic feature of ceviche is the use of lime juice for marinating the raw fish. No ingredient of the dish is cooked in the conventional sense of applying heat. There have been confirmed cases of cholera in Peru, New Jersey and Florida, associated with ceviche. Since lime juice is sole means of controlling risk in ceviche recipes across the world, it is important to study its anti-bacterial effects. Even though the literature is very rich in the use of organic acids as anti-bacterial agents, little data exists for their effect in seafood systems. The objective of the study was to study the anti-bacterial effects of lime juice marination in ceviche as it would be prepared in restaurants or homes. Target pathogens were Vibrio parahaemolyticus and Salmonella enetrica. Samples were incubated at room temperature (25°C) and refrigeration temperature (4°C) for time intervals up to 150 minutes. In experiments with Salmonella at room temperature, a mean log reduction of 0.8 was observed while at refrigeration temperature a mean log reduction of 2.1 was observed. Reduction in Vibrio parahaemolyticus could only be estimated based on starting levels and detection limits as the plate counts were always below the detection limit for all the times studied (10-150 minutes), both at room and refrigeration temperatures. In experiments at room temperature, log reductions varied from >4.5 to >5.2 while at refrigeration temperature, log reductions varied from >3.5 to >4.3. In experiments testing the inhibitory effect of lime juice, without the fish matrix, more than 5 log reductions in counts was observed on both bacteria. We conclude that preparing ceviche reduces Vibrio parahaemolyticus risk significantly but is less effective for control of Salmonella enetrica.M.S.Includes bibliographical referencesby Prateek Mathu
- …
