Skip to main content

Research Repository

Advanced Search

Outputs (247)

The timber resource in G. B.-more species for new challenges. (2016)
Presentation / Conference Contribution
Gil-Moreno, D., Ridley-Ellis, D., & McLean, P. (2016, April). The timber resource in G. B.-more species for new challenges. Paper presented at Young Researchers’ Forum III: Innovation in Construction Materials

Timber in Great Britain is mostly produced from Sitka spruce (Picea sitchensis). Biotic threats have led tree growers to consider the planting of a wider range of species to offer a more resilient forest. There is little information on how this will... Read More about The timber resource in G. B.-more species for new challenges..

Phytoremediation of Sterile Mine Tailings using Cover Crops (2016)
Presentation / Conference Contribution
Novo, L., Onishi, V., Ferreira da Silva, E., & Tavares, C. (2016, April). Phytoremediation of Sterile Mine Tailings using Cover Crops. Paper presented at 2nd International Congress on the Management of Mining Wastes and Post-Mining – GESRIM 2016, Marrakech, Morocco

Developing and Debugging Proof Strategies by Tinkering (2016)
Presentation / Conference Contribution
Lin, Y., Le Bras, P., & Grov, G. (2016). Developing and Debugging Proof Strategies by Tinkering. In Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016 (573-579). https://doi.org/10.1007/978-3-662-49674-9_37

Previously, we have developed a graphical proof strategy language, called PSGraph [4], to support the development and maintenance of large and complex proof tactics for interactive theorem provers. By using labelled hierarchical graphs this formalisa... Read More about Developing and Debugging Proof Strategies by Tinkering.

Stability Analysis of Large Wind Farms Connected to Weak AC Networks Incorporating PLL Dynamics (2016)
Presentation / Conference Contribution
Givaki, K., & Xu, L. (2016). Stability Analysis of Large Wind Farms Connected to Weak AC Networks Incorporating PLL Dynamics. In International Conference on Renewable Power Generation (RPG 2015). https://doi.org/10.1049/cp.2015.0440

Voltage source converter interfaced wind turbines connected to weak grids can induce system instability. A state space model is used in this paper to study the stability of large wind farms. Dynamics of the phase locked loop is integrated to the stat... Read More about Stability Analysis of Large Wind Farms Connected to Weak AC Networks Incorporating PLL Dynamics.

From Trolley to Autonomous Vehicle: Perceptions of Responsibility and Moral Norms in Traffic Accidents with Self-Driving Cars (2016)
Presentation / Conference Contribution
Li, J., Zhao, X., Cho, M., Ju, W., & Malle, B. F. (2016, April). From Trolley to Autonomous Vehicle: Perceptions of Responsibility and Moral Norms in Traffic Accidents with Self-Driving Cars. Presented at SAE 2016 World Congress and Exhibition, Detroit, MI, USA

Autonomous vehicles represent a new class of transportation that may be qualitatively different from existing cars. Two online experiments assessed lay perceptions of moral norms and responsibility for traffic accidents involving autonomous vehicles.... Read More about From Trolley to Autonomous Vehicle: Perceptions of Responsibility and Moral Norms in Traffic Accidents with Self-Driving Cars.

Towards workload-aware fine-grained control over cloud resources: student research abstract (2016)
Presentation / Conference Contribution
Ullah, A. (2016, April). Towards workload-aware fine-grained control over cloud resources: student research abstract. Paper presented at SAC 2016: Symposium on Applied Computing, Pisa, Italy

The systems deployed over cloud are subject to unpredictable workload conditions that vary from time to time, e.g. an ecommerce website may face higher workloads than normal during festivals or promotional schemes. In order to maintain the performanc... Read More about Towards workload-aware fine-grained control over cloud resources: student research abstract.

Impact of distributed generation modes in optimal coordination between DG and capacitor simultaneously (2016)
Presentation / Conference Contribution
Muhtazaruddin, M. N., Bani, N. A., Jamian, J. J., Muhammad-Sukki, F., Abu-Bakar, S. H., & Mas'ud, A. A. (2016, March). Impact of distributed generation modes in optimal coordination between DG and capacitor simultaneously. Paper presented at 10th International Power Engineering and Optimization Conference 2016 (PEOCO2016), Selangor, Malaysia

This paper describes the impact of the mode selection in Distributed Generation (DG) has in order to reduce the total power losses in the distribution system when coordination between the DG and capacitor is done simultaneously There are two modes av... Read More about Impact of distributed generation modes in optimal coordination between DG and capacitor simultaneously.