Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis

Author:Martin Fabian, Robi Malik, Sahar Mohajerani
Publisher:Elsevier BV
Abstract: This paper proposes an algorithm to simplify automata in such a way that compositional synthesis re…

Commentary: Fault lines in climate policy: what role for carbon markets?

Author:Steffen Böhm, Siddhartha Dhabi
Publisher:Informa UK Limited
Abstract: Abstract is not available.

Applications of system dynamics modelling to computer music

Author:Ian Whalley
Publisher:Cambridge University Press (CUP)
Abstract: Based on a composer's psycho-acoustic imagination or response to music, system dynamics modelling a…

The Cost of Stability in Coalitional Games

Author:A. Kesselman, C. Chung, C. Douligeris, D. Foster, D.S. Menasché, H. Peyton Young, H. Peyton Young, J. Josephson, P.S. Efraimidis, R. Garg, S. Floyd, S.J. Shenker
Publisher:Springer Science and Business Media LLC
Abstract: A key question in cooperative game theory is that of coalitional stability, usually captured by the…

Influence of study design on digital pathology image quality evaluation : the need to define a clinical task

Author:Richard Ducatelle, Asli Kumcu, Wilfried Philips, Ljiljana Platisa, Leen Van Brantegem
Publisher:SPIE-Intl Soc Optical Eng
Abstract: Despite the current rapid advance in technologies for whole slide imaging, there is still no scient…

When innovation requirements empower individual innovation : the role of job complexity

Author:Mieke Audenaert, Dirk Buyens, Alex Vanderstraeten
Publisher:Emerald
Abstract: The purpose of this paper is to contribute to the field's understanding of how to raise individual …

FFT for the APE Parallel Computer

Author:Davies C. T. H., Federico Toschi, Katz G., Klaus Schilling, Lippert Th., Raffaele Tripiccione, Sven Trentmann, Thomas Lippert
Publisher:World Scientific Pub Co Pte Lt
Abstract: We present a parallel FFT algorithm for SIMD systems following the `Transpose Algorithm' approach. …

Hygrothermal Performance of Worship Spaces: Preservation, Comfort and Energy Consumption

Author:√Ångel Luús León-Rodrúguez, Carmen Maria Muñoz-Gonzalez, Rafael C. Suárez Medina, Catherine Teeling
Publisher:MDPI AG
Abstract: The energy problem, one the most important on a global scale, greatly affects the environment. Much…

Quantum key distribution session with 16-dimensional photonic states

Author:G. Ca침as, S. Etcheverry, E. S. G칩mez, G. Lima, W. A. T. Nogueira, C. Saavedra, G. B. Xavier
Publisher:Springer Science and Business Media LLC
Abstract: The secure transfer of information is an important problem in modern telecommunications. Quantum ke…

Robotic milking technologies and renegotiating situated ethical relationships on UK dairy farms

Author:A Franklin, A Woods, B Brandth, B Greenhough, B Latour, B Mepham, B Noske, BE Rollin, C Bear, C Driessen, C McEwan, C Wolfe, Christopher Bear, CJAM Koning De, D Butler, D Coppin, D Dixon, D Fraser, D Fraser, D Lulka, D Stuart, DJ Haraway, GL Francione, H Buller, I Convery, J Donovan, J Emel, J Owen, J Popke, J Porcher, J Porcher, JA Jacobs, JD Proctor, K Brown, Katy Wilkinson, KM Millar, L Heutinck, L Holloway, L Holloway, L Holloway, L Holloway, L Holloway, Lewis Holloway, M Cole, M Miele, M Stahlman, N Bingham, R Anthony, R Panelli, R Twine, R Twine, RJF Burton, RM Wilkie, S Franklin, S Hinchliffe, S Thierman, S Whatmore, S Whatmore, SL Spahr, W Lynn
Publisher:Springer Science and Business Media LLC
Abstract: Robotic or automatic milking systems (AMS) are novel technologies that take over the labor of dairy…
Powered by: