We describe the formal specification and automated synthesis of a strategic airlift scheduler for the Air Mobility Command of the U. S. Air Force. The program synthesis system, the Kestrel Interactive Development System, composes a formal domain theory with a formal description of a class of algorithms (global search with constraint propagation) to produce provably correct and highly efficient ...

From 2015 to 2021, we optimized mass cultivation of diatoms in our own developed vertical column airlift photobioreactors using natural and artificial light (LEDs). The project took place at the ferrosilicon producer Finnfjord AS North Norway as a joint venture with UiT—The Arctic University Norway. Small (0.1–6–14 m3) reactors were used for initial experiments produce inoculum cultures while u...

Abstract Background Recirculating aquaculture systems (RAS) are an essential component of sustainable inland seafood production. Still, nutrient removal from these can result in substantial environmental problems, or present a major cost factor with few added value options. In this study, innovative and energy-efficient algae based system (NRS) was developed that has the potential to generate r...

Purpose. Development of a methodology for optimizing the technological parameters airlift operation, based on analysis pressure balance in annulus and drill string that occurs during drilling. Methodology. The tasks were solved by complex research method, which includes review generalization literary patent sources, analytical studies existing methods drilling with reverse circulation using an ...

One of the less appreciated obstacles to scaling multi-agent systems is understanding the impact of the role(s) that people will play in those systems. As we try to adapt existing software tools and agent-based applications to play supportive roles in larger multi-agent systems, we must develop strategies for coordinating not only the problem solving behavior of these agent communities, but als...