Skip to search formSkip to main contentSkip to account menu

Ioa

Known as: Etheostoma (Ioa) 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Optimal schedule for agricultural machinery using an improved Immune-Tabu Search Algorithm
Considering the low efficiency and lack of intelligent dispatching decision of the agricultural machinery scheduling problem, an… 
2016
2016
Canary in the Mine: Ombuds as First Alerts for Workplace Bullying on Campus
Nationally, only Tennessee and California have enacted statutes to begin addressing workplace bullying (Yamada 2015). Hence… 
Review
2016
Review
2016
A review of research into the human response to amplitude-modulated wind turbine noise and development of a planning control method
WSP | Parsons Brinckerhoff was commissioned by the United Kingdom (UK) Government Department of Energy and Climate Change (DECC… 
2009
2009
Achieving Reliability Through Distributed Data Flows and Recursive Delegation
Strong reliability properties, such as state machine replication or virtual synchrony, are hard to implement in a scalable manner… 
2002
2002
Code generation for the IOA language
This thesis presents a framework of tools for compiling distributed algorithms written in the IOA language. The target of the… 
1999
1999
Integrating Theorem Proving and Model Checking in Isabelle/IOA
Isabelle is a generic theorem proving environment which was used successfully in recent years for many practical applications. In… 
1994
1994
Ravinteiden, orgaanisten aineiden ja raudan pidättymiseen johtavat prosessit pintavalutuskentällä
This research forms a part of the project "The use of overland flow and filtration for the purification of runoff water from peat… 
1993
1993
Self-stabilization by Local Checking: a Summary
1990
1990
The Input Output Timed Automaton - A model for real-time parallel computation
In this paper we present the Input Output Timed Automaton IOTA model for the speci ca tion and veri cation of parallel real time… 
Review
1983
Review
1983
Collaborative Arrangements That Support School Improvement: A Synthesis of Recent Studies.
This study reviews and synthesizes evidence from six recent investigations providing data on a total of 112 formal… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)