CSV
publication icon
Hingorani AD (2013) Prognosis research strategy (PROGRESS) 4: stratified medicine research. in BMJ (Clinical research ed.)
publication icon
Thitsar, Myat Thet (2019) Rootage of Research: Humanistic Arts in Arts-and-Research: Where Arts and Research Meet
publication icon
Sone Aung, Pyae (2019) A Journey of Arts-and-Research (aka) Bridging the Research and Arts in Arts-and-Research: Where Arts and Research Meet
publication icon
Alkire S (2017) Exploring multidimensional poverty in China: 2010 to 2014 in Research on Economic Inequality (Research on Economic Inequality
publication icon
Sone Aung, Pyae (2019) A Journey of Arts-and-Research (aka) Bridging the Research and Arts in Arts-and-Research: Where Arts and Research Meet
publication icon
Thitsar, Myat Thet (2019) Rootage of Research: Humanistic Arts in Arts-and-Research: Where Arts and Research Meet
publication icon
Barbrook-Johnson P (2021) Combining complexity-framed research methods for social research in International Journal of Social Research Methodology
publication icon
Barbrook-Johnson P (2021) Combining complexity-framed research methods for social research in International Journal of Social Research Methodology
publication icon
Barbrook-Johnson P (2021) Combining complexity-framed research methods for social research in International Journal of Social Research Methodology
publication icon
Danel T (2020) Spatial Graph Convolutional Networks in Neural Information Processing - 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part V
publication icon
Dubois D (2013) Toward a General Framework for Information Fusion in Modeling Decisions for Artificial Intelligence - 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
publication icon
Besold T (2015) Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition in Artificial General Intelligence - 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
publication icon
Dale M (2021) Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics in Unconventional Computation and Natural Computation - 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings
publication icon
Stepney S (2021) Non-instantaneous Information Transfer in Physical Reservoir Computing in Unconventional Computation and Natural Computation - 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings
publication icon
Besold T (2015) Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition in Artificial General Intelligence - 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
publication icon
Hayes I (2018) A Guide to Rely/Guarantee Thinking in Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
publication icon
Bansal R (2022) A Scalable Soft Robotic Cellbot in Biomimetic and Biohybrid Systems - 11th International Conference, Living Machines 2022, Virtual Event, July 19-22, 2022, Proceedings
publication icon
Jones C (2018) Challenges for Formal Semantic Description: Responses from the Main Approaches in Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
publication icon
Calnegru F (2023) Correlation Based Semantic Transfer with Application to Domain Adaptation in Neural Information Processing - 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I
publication icon
Patel S (2022) Robotic Platform for Testing a Simple Stereopsis Network in Biomimetic and Biohybrid Systems - 11th International Conference, Living Machines 2022, Virtual Event, July 19-22, 2022, Proceedings
publication icon
Stepney S (2021) Non-instantaneous Information Transfer in Physical Reservoir Computing in Unconventional Computation and Natural Computation - 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings
publication icon
Lahav O (2023) Rely-Guarantee Reasoning for Causally Consistent Shared Memory in Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
publication icon
Baron N (2014) Mapping the Soviet: Cartographic Culture and Political Power from Lenin to Stalin. in Proceedings of IV International Conference 'Language, Culture, and Society in Russian/English Studies', 22-23 July 2013
publication icon
Weaver P (2014) Seabed mapping and its contribution to the goal of sustainable management in the ocean in Progress in Marine Conservation in Europe 2012. Proceedings of the Symposium, Stralsund, Germany, 18-22 June 2012
publication icon
Lahav O (2023) Rely-Guarantee Reasoning for Causally Consistent Shared Memory in Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
publication icon
Kundu B (2022) Quasi-static Modeling of Feeding Behavior in Aplysia Californica in Biomimetic and Biohybrid Systems - 11th International Conference, Living Machines 2022, Virtual Event, July 19-22, 2022, Proceedings
publication icon
Hayes I (2018) A Guide to Rely/Guarantee Thinking in Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
publication icon
Pasareanu C (2023) Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study in Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
publication icon
Del Río T (2022) New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis in Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings
publication icon
Lahav O (2023) Rely-Guarantee Reasoning for Causally Consistent Shared Memory in Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
publication icon
Ryan Conmy P (2023) The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems in Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
publication icon
Gkaniatsou A (2017) Low-Level Attacks in Bitcoin Wallets in Information Security - 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings
publication icon
Hart D (2018) A Practical Cryptanalysis of WalnutDSA$$^{\text {TM}}$$ in Public-Key Cryptography - PKC 2018 - 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I
publication icon
Eisenträger K (2018) Supersingular Isogeny Graphs and Endomorphism Rings: Reductions and Solutions in Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III
publication icon
Farshim P (2018) Graded Encoding Schemes from Obfuscation in Public-Key Cryptography - PKC 2018 - 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II