Biological hydrogen production by anaerobic bacterium, Rhodospirillum rubrum was studied in batch and continuous bioreactors using synthesis gas (CO) as substrate. The systems were operated at ambient temperature and pressure. Correlations available in the literature were used to estimate the gas-liquid mass transfer coefficients (KLa) in batch reactor. Based on experimental results for the con...

We present the results of ARCH1 2022 friendly competition for formal verification continuous and hybrid systems with linear dynamics. In its sixth edition, two tools have been applied to solve nine different benchmark problems in category dynamics (in alphabetical order): CORA JuliaReach. This report is a snapshot current landscape types benchmarks they are particularly suited for. Due diversit...

Introduction Research methods are the means by which knowledge is acquired and constructed within a discipline. Research methods need to be both relevant and rigorous in order to be accepted as legitimate within a particular field of knowledge. Information systems (IS) is a field which has multiple stakeholders in its knowledge development, operating in contexts which have to deal with multipli...

Numerous and significant challenges are currently being faced by manufacturing companies. Product customization demands are constantly growing, customers are expecting shorter delivery times, lower prices, smaller production batches and higher quality. These factors result in significant increase in complexity of production processes and the necessity for continuous optimization. In order to fu...

Development and maintenance of understandable and modifiable software is very challenging. Good system design and implementation requires strict discipline. The architecture of a project can sometimes be exceptionally difficult to grasp by developers. A project’s documentation gets outdated in a matter of days. These problems can be addressed using software analysis and visualization tools. Inc...

This chapter presents an introduction to the different artistic design domains that make use of interactive evolutionary design approaches, the techniques they use, and many of the challenges arising. After a brief introduction to concepts and terminology common to most artificial genetic design, there is a survey of artistic evolutionary systems and related research for evolving images and for...

We present the results of ARCH1 2021 friendly competition for formal verification continuous and hybrid systems with linear dynamics. In its fifth edition, four tools have been applied to solve nine different benchmark problems in category dynamics (in alphabetical order): CORA, HyDRA, JuliaReach, SpaceEx. This report is a snapshot current landscape types benchmarks they are particularly suited...

An advanced mode of drug delivery system has been developed to overcome the major drawbacks associated with conventional drug delivery systems. This review gives a detailed idea about a nanoemulsion system. Nanoemulsions are nano-sized emulsions, which are manufactured for improving the delivery of active pharmaceutical ingredients. These are the thermodynamically stable isotropic system in whi...

Recently, analytical reproducibility in scientific research has been a keenly discussed topic within scientific research organizations and acknowledged as an important and fundamental goal to strive for. Scientific studies published recently have found that irreproducibility is widely prevalent within the research community even after releasing data openly. At Bielefeld University, nine researc...

Hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior‎. ‎The hybrid differential equations have a wide range of applications in science and engineering‎. ‎The hybrid systems are devoted to modeling‎, ‎design‎, ‎and validation of interactive systems of computer programs and continuous systems‎. ‎Hybrid fuzzy differential equations (HFDEs) is considered by ...