We characterize the categories with finite limits whose exact completions are toposes and discuss some examples and counter-examples.

In this paper, we investigate the local exact controllability of an age structured problem modelling the ability of malaria vectors to shift their biting time to avoid the stressful environmental conditions generated by ...

This paper describes an exact algorithm for the Equitable Coloring Problem, based on the well known DSatur algorithm for the classic Coloring Problem with new pruning rules specifically derived from the equity constraint. ...

The aim of this study is to describe a synchronous generator emulator prototype based on a three-phase power electronics converter. The physical structure of the emulator and its relation with the generator mathematical ...

In this paper, we describe aspects of the “Media in the Service of Education” project which was implemented based in two (sub) projects “Physics for Everyone: Science Education on the Radio” and “Education News on the ...

In this paper we study exact boundary controllability for a system of two linear wave equations coupled by lower order terms. We obtain square integrable control of Neuman type for initial state with finite energy, in ...

In this article we study the exact controllability with Neumann boundary controls for a system of linear wave equations coupled in parallel by lower order terms on piecewise smooth domains of the plane. We obtain square ...

In this paper we study exact boundary controllability for a system of two linear wave equations coupled by lower order terms. We obtain square integrable control of Neuman type for initial state with finite energy, in ...