Consistency properties and set based logic programming

Blair et al. (2001) developed an extension of logic programming called set based logic programming. In the theory of set based logic programming the atoms represent subsets of a fixed universe X and one is allowed to compose the one-step consequence operator with a monotonic idempotent operator O so as to ensure that the analogue of stable models in the theory are always closed under O. Marek et al. (1992, Ann Pure Appl Logic 96:231–276 1999) developed a generalization of Reiter’s normal default theories that can be applied to both default theories and logic programs which is based on an underlying consistency property. In this paper, we show how to extend the normal logic programming paradigm of Marek, Nerode, and Remmel to set based logic programming. We also show how one can obtain a new semantics for set based logic programming based on a consistency property.     

On some aspects of breakdown of β″-alumina solid electrolyte

A theoretical expression is derived for the pressure generated in the sodium-filled cracks of -alumina under electrolytic conditions by treating the flux of sodium ions to the cracks in terms of the Laplace equation for the appropriate boundary conditions. It is demonstrated that the pressure generated decreases with increasing crack length for a given current density in contrast to the predictions of some investigators. It is suggested that some other factors must be considered if the microfracture model via Poiseuille pressure is to be a viable mechanism for electrolyte degradation.     

Integrating faces and fingerprints for personal identification

An automatic personal identification system based solely on fingerprints or faces is often not able to meet the system performance requirements. We have developed a prototype biometrics system which integrates faces and fingerprints. The system overcomes the limitations of face recognition systems as well as fingerprint verification systems. The integrated prototype system operates in the identification mode with an admissible response time. The identity established by the system is more reliable than the identity established by a face recognition system. In addition, the proposed decision fusion scheme enables performance improvement by integrating multiple cues with different confidence measures. Experimental results demonstrate that our system performs very well. It meets the response time as well as the accuracy requirements     

From template to image: reconstructing fingerprints from minutiae points

Most fingerprint-based biometric systems store the minutiae template of a user in the database. It has been traditionally assumed that the minutiae template of a user does not reveal any information about the original fingerprint. In this paper, we challenge this notion and show that three levels of information about the parent fingerprint can be elicited from the minutiae template alone, viz., 1) the orientation field information, 2) the class or type information, and 3) the friction ridge structure. The orientation estimation algorithm determines the direction of local ridges using the evidence of minutiae triplets. The estimated orientation field, along with the given minutiae distribution, is then used to predict the class of the fingerprint. Finally, the ridge structure of the parent fingerprint is generated using streamlines that are based on the estimated orientation field. Line integral convolution is used to impart texture to the ensuing ridges, resulting in a ridge map resembling the parent fingerprint. The salient feature of this noniterative method to generate ridges is its ability to preserve the minutiae at specified locations in the reconstructed ridge map. Experiments using a commercial fingerprint matcher suggest that the reconstructed ridge structure bears close resemblance to the parent fingerprint     

A Review: Highlighting the Links between Epigenetics,COVID-19 Infection,and Vitamin D

The highly transmittable and infectious COVID-19 remains a major threat worldwide, with the elderly and comorbid individuals being the most vulnerable. While vaccines are currently available, therapeutic drugs will help ease the viral outbreak and prevent serious health outcomes. Epigenetic modifications regulate gene expression through changes in chromatin structure and have been linked to viral pathophysiology. Since epigenetic modifications contribute to the life cycle of the virus and host immune responses to infection, epigenetic drugs are promising treatment targets to ameliorate COVID-19. Deficiency of the multifunctional secosteroid hormone vitamin D is a global health threat. Vitamin D and its receptor function to regulate genes involved in immunity, apoptosis, proliferation, differentiation, and inflammation. Amassed evidence also indicates the biological relations of vitamin D with reduced disease risk, while its receptor can be modulated by epigenetic mechanisms. The immunomodulatory effects of vitamin D suggest a role for vitamin D as a COVID-19 therapeutic agent. Therefore, this review highlights the epigenetic effects on COVID-19 and vitamin D while also proposing a role for vitamin D in COVID-19 infections.     

Experimental evaluation of loss perception in continuous media

Perception of multimedia quality, specified by quality-of-service (QoS) metrics, can be used by system designers to optimize customer satisfaction within resource bounds enforced by general-purpose computing platforms. Media losses, rate variations and transient synchronization losses have been suspected to affect human perception of multimedia quality. This paper presents metrics to measure such defects, and results of a series of user experiments that justify such speculations. Results of the study provide bounds on losses, rate variations and transient synchronization losses as a function of user satisfaction, in the form of Likert values. It is shown how these results can be used by algorithm designers of underlying multimedia systems.     

Development of a method employing reversed‐phase thin‐layer chromatography for establishing milk fat purity with respect to adulteration with vegetable oils

A systematic study was conducted using reversed‐phase thin‐layer chromatography wherein unsaponifiable matter of samples namely, pure cow and buffalo milk fats, vegetable oils (groundnut oil, soya bean oil and sunflower oil) and milk fats adulterated with vegetable oils (≥1%) were run along with the reference standards using two new solvent systems to detect adulteration in milk fat. The results of the study revealed that adulteration at even a 1% level could easily be detected using this rapid, reliable and reproducible method based on the presence of β‐sitosterol as a marker and some additional spots ascribable to their occurrence in vegetable oils only.     

Real-Time Differential Pricing Scheme for Active Consumers with Electric Vehicles

Electric vehicles (EVs) are becoming increasingly popular because of their low operating costs. However, the anticipated increase in EV usage presents opportunities as well as challenges for utilities. This paper models EV charging behavior of active consumers who strategize their EV charging schedule to minimize the charging cost. The electric utility employs a temporal and spatially varying real-time pricing scheme that minimizes peak-to-average load ratio by influencing charging behavior of multiple active consumers. These active consumers decide their optimal charging strategy based on real-time electricity prices in order to minimize their EV charging cost. A model predictive control (MPC)-based optimal pricing scheme for electric utility and optimal charging strategy for active consumers is proposed. Effects of the proposed approach on load profile is verified using simulations.     

Structural performance of a climbing cactus: making the most of softness

Climbing plants must reach supports and navigate gaps to colonize trees. This requires a structural organization ensuring the rigidity of so-called ‘searcher’ stems. Cacti have succulent stems adapted for water storage in dry habitats. We investigate how a climbing cactus Selenicereus setaceus develops its stem structure and succulent tissues for climbing. We applied a ‘wide scale’ approach combining field-based bending, tensile and swellability tests with fine-scale rheological, compression and anatomical analyses in laboratory conditions. Gap-spanning ‘searcher’ stems rely significantly on the soft cortex and outer skin of the stem for rigidity in bending (60–94%). A woody core contributes significantly to axial and radial compressive strength (80%). Rheological tests indicated that storage moduli were consistently higher than loss moduli indicating that the mucilaginous cortical tissue behaved like a viscoelastic solid with properties similar to physical or chemical hydrogels. Rheological and compression properties of the soft tissue changed from young to old stages. The hydrogel–skin composite is a multi-functional structure contributing to rigidity in searcher stems but also imparting compliance and benign failure in environmental situations when stems must fail. Soft tissue composites changing in function via changes in development and turgescence have a great potential for exploring candidate materials for technical applications.