Search

Plants have been used since ancient times for the prevention and protection against infectious diseases. Plants from the genus Thymus are important medicinal herbs, which are known to contain antimicrobial agents. In this context, a study was done to evaluate the phytochemical and antimicrobial activity of Thymus serphyllum grown in the Kashmir valley. The aqueous extract of T. serphyllum showed a significant inhibitory effect against the growth of Eschernia coli (E. coli), Staphylococcus aureus, and Fusarium oxysporum but was resistant to Pseudomonas aeruginosa. The zone of inhibition for E. coli, S. aureus, and F. oxysporum ranged from 10 to 15 mm, 9 to 11mm, and 5 to 15mm respectively indicating a remarkable antibacterial effect when compared with that of antibiotics in the positive control, which ranged from 6 to 11mm, 7 to 10mm, 7 to 13mm and 4 to 12mm for E. coli, S. aureus, P. aeruginosa, and F. oxysporum respectively. Further, the aqueous extract of T. serphyllum revealed a total phenolic content of 18.065±2.51mg/100g gallic acid equivalent/g, flavonoid content of 414.4±0.152753mg/100g quercetin equivalent/g, and total antioxidant activity as 72.66±0.25 µM Ferric reducing ability of Plasma /gram (FRAP/g). Our findings suggest that the aqueous extract of T. serphyllum possessed antibacterial and antifungal properties due to its high phenolic, flavonoid, and antioxidant content as compared to the tested drug (Amoxicillin and Azithromycin). [ABSTRACT FROM AUTHOR]

An individual’s moral behavior is shaped by his social identity, social distance, feedback received, the consequences of his actions, and the material gain after a dishonest action. In definition, dishonesty is a phenomenon that refers to „a pervasive behavior manifested as the disposition to lie, cheat, fraud or deceive'. This type of behavior can have a negative impact on the society that the individual belongs to by sacrificing the community's overall well-being for own personal gain. The current paper describes our approach and the game that we have developed to have a gamified application that can offer a way to identify dishonest behavior. To accomplish the after-mentioned task we have developed an online multiplayer environment where users can interact and influence each other's moral decisions. The application scene is set in an urban environment where players can affect the final state of the game. They can build structures using private or stolen public funds while increasing their income. The decision of stealing will influence the outcome of the game by delaying the construction of important public buildings that benefit every player. The game interface and design were adjusted after a careful analysis of User eXperience principles by collecting the players' feedback. The game framework is based on Unity 3D and online services were integrated using Photon Engine API. The final scope of this serious game is to analyze the moral behavior of the players that are using the application and calculate their "moral" score using the in-game data generated by their playthrough. [ABSTRACT FROM AUTHOR]

In this work we present TacoPlug, an Eclipse plugin that lets users explore error traces output by the bounded verifier TACO. TacoPlug uses and extends TACO to provide a better debugging experience. TacoPlug interface allows the user to verify an annotated software using the TACO verifier. If TACO finds a violation to the specification, TacoPlug presents it in terms of the annotated source code. TacoPlug features several views of the error trace to facilitate fault understanding. It resembles any software debugger, but the debugging occurs statically without executing the program. We show the usability of our tool by means of a motivational example taken from a real-life software error. [ABSTRACT FROM PUBLISHER]