• Analysis of Model-Free Control of Wind Farms Using Large-Eddy Simulations 

  Ciri, Umberto (2019-08)

  Wind farms are clusters of wind turbines deployed over a relatively small area. During operations, the wake from upstream turbines may impinge on trailing turbines causing a decrease in power production. Wind farm control ...

• Outcomes of Real-World Social Interaction for Autistic Adults Paired with Autistic Compared to Typically Developing Partners 

  Morrison, Kerrianne E.; DeBrabander, Kilee M.; Jones, Desiree R.; Faso, Daniel J.; Ackerman, Robert A.; Sasson, Noah J.

  Differences in social communication and interaction styles between autistic and typically developing have been studied in isolation and not in the context of real-world social interaction. The current study addresses this ...

• NAF-Based Logic Semantics: Proof-Theoretic Generalization and Non-Ground Extension 

  Salazar, Elmer E (2019-07-19)

  There are several semantics based for negation as failure in logic programming. These semantics can be realized with a combination of induction and coinduction, and this realization can be used to develop a goal-directed ...

• Nuclear Weapons Proliferation and Terrorism: Law, Politics and Theory 

  Iqbal, Imrana (2017-12)

  This dissertation is about nuclear weapons proliferation by states and threat of nuclear terrorism arising from non-state actors. It comprises three distinct papers. Paper 1 (Chapter 1) discusses applicability of ...

• Advanced Concurrency Techniques for Concurrent Data Structures 

  Gokhale, Shreyas (2019-08)

  Concurrent algorithms have gained importance as multi-core machines have become more ubiquitous. Several techniques are employed to enable the construction of such algorithms. We present algorithms for the Group Mutual ...

View more