Two hybrid bacteriocins, enterocin E50-52/pediocin PA-1 (EP) and pediocin PA-1/enterocin E50-52 (PE), were designed by combining the N terminus of enterocin E50-52 and the C terminus of pediocin PA-1 and by combining the C terminus of pediocin PA-1 and the N terminus of enterocin E50-52, respectively. Both hybrid bacteriocins showed reduced MICs compared to those of their natural counterparts. ...

Hybrid systems combining discrete and continuous dynamics arise as mathematical models of various artificial and natural systems, and as an approximation to complex continuous systems. Reachability analysis has been the principal research question in the verification of hybrid systems, even though it is a wellknown result that most non-trivial subclasses of hybrid systems reachability and most ...

We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [33], which have natural specifications that allow rich continuous dynamics and various decidable properties. We solve the control problem for SHG using a reduction to bisimulation on finite game graphs. This generalizes to a greater family of games, which includes o-minimal hybrid games [6]. We also solve the o...

This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languages into natural, visual, first-order logic, and hybrid and review their syntax and semantics. We compare these language categories based on expressiveness and pragmatics qualities. The results of this study show that ...

For patients refusing surgical treatment for deep early gastric cancer, hybrid natural orifice transluminal endoscopic surgery with sentinel lymph node navigation is a potential treatment option, particularly when the anatomic location of the cancer has low probability of lymph node metastasis. We report a case of deep early gastric cancer of the fundus beyond the endoscopic submucosal dissecti...

Four new species, Macrocarpaea dies-viridis (Ecuador), M. luctans (Ecuador, Peru), M. lucubrans (Panama), and M. opulenta (Ecuador), and two natural hybrids, M. × acuminata (Costa Rica) and M. × mattii (Ecuador), are described. Macrocarpaea × acuminata Weaver (pro sp.) is recognized as a natural hybrid between M. subcaudata and M. valerii, rather than as a distinct species, and M. × mattii is d...

Can the complex phenotypes that characterize naturally occurring hybrid species be re-created in early-generation artificial hybrids? We address this question with three homoploid hybrid species (Helianthus anomalus, Helianthus deserticola, Helianthus paradoxus) and their ancestral parents (Helianthus annuus, Helianthus petiolaris) that are phenotypically distinct and ecologically differentiate...

Imperialist competitive algorithm (ICA) is a new socio-politically motivated global search strategy. The ICA is applied to hybrid composite laminates to obtain minimum weight and cost. The approach which is chosen for conducting the multi-objective optimization was the weighted sum method (WSM). The hybrid composite Laminates are made of glass/epoxy and carbon/epoxy to combine the lightness and...

While formal verification has been successfully used to analyze several academic examples of controlled hybrid systems, the application to real-world processing systems is largely restricted by the complexity of modeling and computation. This contribution aims at improving the applicability by using decomposition and deduction techniques: A given system is first decomposed into a set of physica...