Automated Repair of Resource Leaks in Android Applications

Resource leaks -- a program does not release resources it previously acquired -- are a common kind of bug in Android applications. Even with the help of existing techniques to automatically detect leaks, writing a leak-free program remains tricky. One of the reasons is Android's event-driven programming model, which complicates the understanding of an application's overall control flow. In this paper, we present PlumbDroid: a technique to automatically detect and fix resource leaks in Android applications. PlumbDroid uses static analysis to find execution traces that may leak a resource. The information built for detection also undergirds automatically building a fix -- consisting of release operations performed at appropriate locations -- that removes the leak and does not otherwise affect the application's usage of the resource. An empirical evaluation on resource leaks from the DroidLeaks curated collection demonstrates that PlumbDroid's approach is scalable and produces correct fixes for a variety of resource leak bugs. This indicates it can provide valuable support to enhance the quality of Android applications in practice

Rotation of an immersed cylinder sliding near a thin elastic coating

It is known that an object translating parallel to a soft wall in a viscous fluid produces hydro- dynamic stresses that deform the wall, which, in turn, results in a lift force on the object. Recent experiments with cylinders sliding under gravity near a soft incline, which confirmed theoretical arguments for the lift force, also reported an unexplained steady-state rotation of the cylinders [Saintyves et al. PNAS 113(21), 2016]. Motivated by these observations, we show, in the lubrication limit, that an infinite cylinder that translates in a viscous fluid parallel to a soft wall at constant speed and separation distance must also rotate in order to remain free of torque. Using the Lorentz reciprocal theorem, we show analytically that for small deformations of the elastic layer, the angular velocity of the cylinder scales with the cube of the sliding speed. These predictions are confirmed numerically. We then apply the theory to the gravity-driven motion of a cylinder near a soft incline and find qualitative agreement with the experimental observations, namely that a softer elastic layer results in a greater angular speed of the cylinder.Comment: 16 pages, 4 figure

When the Music Stops: Tip-of-the-Tongue Retrieval for Music

We present a study of Tip-of-the-tongue (ToT) retrieval for music, where a searcher is trying to find an existing music entity, but is unable to succeed as they cannot accurately recall important identifying information. ToT information needs are characterized by complexity, verbosity, uncertainty, and possible false memories. We make four contributions. (1) We collect a dataset - TOTMUSIC--of 2,278 information needs and ground truth answers. (2) We introduce a schema for these information needs and show that they often involve multiple modalities encompassing several Music IR sub-tasks such as lyric search, audio-based search, audio fingerprinting, and text search. (3) We underscore the difficulty of this task by benchmarking a standard text retrieval approach on this dataset. (4) We investigate the efficacy of query reformulations generated by a Large Language Model (LLM), and show that they are not as effective as simply employing the entire information need as a query--leaving several open questions for future research

Efficacy of bioinoculants on biomass, nutritional status and yield of lemon grass (Cymbopogon citratus (DC.) Stapf.).

In the present investigation, different bioinoculants were analysed to test their efficacy as bio-fertilizer value for medicinal plant i.e. Lemongrass (Cymbopogon citratus (DC.) Stapf.) under controlled conditions in a poly house. Bioinoculants including dominant Arbuscular Mycorhizal Fungi (Glomus mosseae and Acaulospora laevis) and Phosphate solubilizing Bacteria (Pseudomonas fluorescens) were taken in present experimentation. The independent roles of these bioinoculants or with different combinations were assessed on one month old saplings of C. citratus in pot conditions.The results showed that application of these bio-inoculants were very effective for growth responses, biomass, biochemical, yield parameters. A consortium of G. mosseae, A. laevis and P. fluorescens showed best results for plant height, root length and in increasing the biomass. Mycorrhization status was recovered highest in the consortium treatment. The biochemical and yield (biomass) parameters were also better with consortium. The findings of the present study are informative for herbalist, to use these efficient bioinoculants as bio-fertilizer for the better yield of C. citratus along with least adverse effects on microbial diversity and stability of soil as compared to commercially used inorganic fertilizer

Corporate Portal Management System

Web Portal Software Systems have become a very effective communication medium for sharing. Our Portal Management System dramatically simplifies the creation and management of portals. A corporate portal is a web-based platform to access with security a broad range of information, services, applications and expertise. The corporate portal management system platform offers a flexible and robust content management solution that allows employees, customers and partners to safely collaborate on, contribute to and manage business content anywhere around the world. It can be utilised as an extranet that serves both internal and external users or as an intranet for internal communication in an organisation. Corporate portals can also provide single sign-on capabilities between their users and various other systems. The focus of our software is on presenting documents and content in an effective manner to individuals, groups, customers, partners and vendors. Portal content, services and applications can be customized and personalized to the need of different users or user groups. Content will be published on portal by a content management tool. Before publishing the content, it will be approved by management by using workflow. The basic and the most important function of the Corporate Portal Management System is the routing of data using the concept of workflow along with the various features like scheduling, commenting module and other similar features which make the software using service highly interactive and communicative. The use of this software can result in a reduction in the number of man hours spent in moderating the content on any portal. It also provides an easy to understand and intuitive interface for users which greatly helps in adapting to the use of this software

Unveiling the Bmp13 Enigma: Redundant Morphogen or Crucial Regulator?

Bone morphogenetic proteins are a diverse group of morphogens with influences not only on bone tissue, as the nomenclature suggests, but on multiple tissues in the body and often at crucial and influential periods in development

Hepatic adenoma-an unusual case report

A 70-year-old female visited to tertiary care hospital with complains of abdominal pain on and off for 2 years. Pain gradually increased and was associated with vomiting. Patient is a known case of hypertension and diabetes mellitus. The patient`s complete blood count was normal with increased coagulation profile. Provisional clinical diagnosis was fibronodular variant of hepatocellular carcinoma. Computed tomography scan suggestive of fibronodular hyperplasia. Specimen received in pathology department, which on gross examination showed well circumscribed, well encapsulated tumour with variegated appearance. Histopathological diagnosis of Hepatic adenoma was made