Research output per year
Research output per year
- 13 results
Search results
-
2024
Axiomatizing Origami Planes
Beklemishev, L., Dmitrieva, A. & Makowsky, J. A., 26 Jul 2024, Dick de Jongh on Intuitionistic and Provability Logics. Bezhanishvili, N., Iemhoff, R. & Yang, F. (eds.). 1 ed. Springer, Vol. 28. p. 353-377 25 p. (Outstanding Contributions to Logic; vol. 28).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
2023
Potential industrial waste materials for graphene extraction
Melendi-Espina, S. & González, Z., 2023, Graphene extraction from waste: A sustainable synthesis approach for graphene and its derivatives. Hussain, C. M., Srivastav, A. K., Tiwary, C. S. & Tour, J. M. (eds.). 1st ed. Cambridge, MA: Woodhead Publishing, p. 23-54 32 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
2021
Advances in Heat Transfer and Thermal Engineering: Optimization of Thermal Management of Li-Ion Cells with Phase Change Materials
Landini, S., Waser, R., Stamatiou, A., Leworthy, J., Worlitschek, J. & O'Donovan, T., 2021, Proceedings of 16th UK Heat Transfer Conference (UKHTC2019). Springer, p. 487-491 5 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
2020
On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
Dzamonja, M., Schmitz, S. & Schnoebelen, P., 2 Jan 2020, Well quasi-orders in computation, logic, language and reasoning: A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Schuster, P., Seisenberger, M. & Weiermann, A. (eds.). Springer, p. 29-54 26 p. (Trends in Logic; vol. 53).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
2 Citations (Scopus) -
2019
Gravity-Capillary and Flexural-Gravity Solitary Waves
Parau, E. & Vanden-Broeck, J-M., 2019, Nonlinear Water Waves - An Interdisciplinary Interface. Henry, D., Kalimeris, K., Parau, E., Vanden-Broeck, J-M. & Wahlen, E. (eds.). Birkhauser Verlag Basel, p. 183-199 17 p. (Tutorials, Schools, and Workshops in the Mathematical Sciences).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
3 Citations (Scopus) -
2016
Rational Assessment of Fluid Impact Loads
Korobkin, A. & Malenica, S., 2016, UK Success Stories in Industrial Mathematics. Aston, P. J., Mulholland, A. J. & Tant, K. M. M. (eds.). Springer, p. 99-105 7 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
2 Citations (Scopus) -
Some mathematics for splashes: sea-wave impact on coastal structures
Cooker, M., 18 Feb 2016, UK Success Stories in Industrial Mathematics. Aston, P. J., Mulholland, A. J. & Tant, K. M. M. (eds.). Heidelberg: Springer, p. 83-90 8 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile27 Downloads (Pure) -
2015
The singular world of singular cardinals
Dzamonja, M., 2015, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å., Kontinen, J. & Villaveces, A. (eds.). De Gruyter, p. 139-146 8 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile12 Downloads (Pure) -
2014
The consistency of a club-guessing failure at the successor of a regular cardinal
Aspero, D., 2014, Infinity, computability, and metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. Geschke, S., Loewe, B. & Schlicht, P. (eds.). London: College Publications, Vol. Tributes 23. p. 5-27 23 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
File16 Downloads (Pure) -
2008
Coding into \(H(\omega_2)\) together (or not) with forcing axioms. A survey
Aspero, D., 2008, >Computational prospects of infinity: Part II: Presented Talks. Singapore: World Scientific Publishing Co. Pte Ltd, Vol. Lecture Notes Series 15. p. 23-46 23 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
2006
Generic absoluteness for \(\Sigma_1\) formulas and the continuum problem
Aspero, D., 2006, Logic Colloquium '02: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Muenster, Germany, August 3-11, 2002. Association for Symbolic Logic, Vol. Lecture Notes in logic 27. p. 1-27 27 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
2005
Bounded forcing axioms and the size of the continuum
Aspero, D., 2005, Logic Colloquium 2000: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France July 23-31, 2000. A. K. Peters, Vol. Lecture Notes in Logic, 19. p. 211-227 17 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
2002
On D-spaces and Discrete Families of Sets
Dzamonja, M., 2002, Set Theory: The Hajnal Conference. Thomas, S. (ed.). Vol. 58. p. 45-63 (DIMACS: Series in Discrete Mathematics and Theoretical Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review