Timed temporal logics encompass a huge diversity of operators, as a result of which, the decidability and expressiveness properties vary considerably. Both pointwise and continuous interpretations of temporal logics can be defined (over finite words), and properties vary based on the interpretation too. The EhrenfeuchtFräıssé games (EF games) for Linear Temporal Logic, as defined by Etessami-Wi...

The potential energy surfaces (PES) for the reaction of 1-bromo-3,3,3-trifluoropropene (CF3CHCBrH) with hydroxyl (OH) free radicals is probed theoretically at the CCSD/aug-cc-pVDZ//B3LYP/6-311++G(d,p) level of theory. All the possible stationary and first-order saddle points along the reaction paths were verified by the vibrational analysis. The calculations account for all the product channels...

Background UMBC, a diverse public research university, "builds" upon its reputation in producing highly capable undergraduate scholars to create a comprehensive new model, STEM BUILD at UMBC. This program is designed to help more students develop the skills, experience and motivation to excel in science, technology, engineering, and mathematics (STEM). This article provides an in-depth descript...

To discern expression patterns of individual storage-protein genes in hexaploid wheat (Triticum aestivum cv Chinese Spring), we analyzed comprehensive expressed sequence tags (ESTs) of common wheat using a bioinformatics technique. The gene families for alpha/beta-gliadins and low molecular-weight glutenin subunit were selected from the EST database. The alignment of these genes enabled us to t...

beta-carotene is a carotenoid and known as the most famous natural pigment. microalgae are the most important sources for beta-carotene production. due to the high sterilization cost of pure culture, in this study for the first time, growth, amounts of beta-carotene and chlorophyll in caspian sea microalgae under nutrient deficiencies stress, have been measured and compared with pure microalgae...

Designing and producing a proper fusion construction is the most important problem of producing large quantities of a properly folded functional protein. This construction should have all necessary components of a real gene. A good designed fusion gene construction could be cloned into a good and suitable host. Clostridium perfringens is an important pathogen of humans and livestock and produce...