Search

Your search keyword '"Jamnik, Mateja"' showing total 292 results
Start Over Author "Jamnik, Mateja"

Refine your results

more »

more »

more »

more »
292 results on '"Jamnik, Mateja"'

251. Drawing Euler Diagrams with Circles

Author

Stapleton, Gem, Zhang, Leishi, Howse, John, Rodgers, Peter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

252. Does Manipulating Molecular Models Promote Representation Translation of Diagrams in Chemistry?

Author

Stull, Andrew T., Hegarty, Mary, Stieff, Mike, Dixon, Bonnie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

253. An Examination of Cleveland and McGill’s Hierarchy of Graphical Elements

Author

Stewart, Brandie M., Best, Lisa A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

254. Are Pixel Graphs Are Better at Representing Information than Pie Graphs?

Author

Bell, Jolie, Davies, Jim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

255. Diagram Interpretation and e-Learning Systems

Author

Smith, Neil, Thomas, Pete, Waugh, Kevin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

256. 'The Molecules are Inside the Atoms': Students’ Personal External Representations of Matter

Author

Weller, Jessica K., Nakhleh, Mary B., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

257. What Students Include in Hand-Drawn Diagrams to Explain Seasonal Temperature Variation

Author

Lee, Victor R., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

258. Discovering Perceptions of Personal Social Networks through Diagrams

Author

Yu, Lixiu, Nickerson, Jeffrey V., Tversky, Barbara, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

259. Modelling English Spatial Preposition Detectors

Author

Smith, Connor, Cybulskie, Allen, Di Noia, Nic, Fitzpatrick, Janine, Li, Jobina, MacDougall, Korey, Miller, Xander, Musca, Jeanne-Marie, Nutall, Jennifer, Van Bentham, Kathy, Davies, Jim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

260. Attending to and Maintaining Hierarchical Objects in Graphics Comprehension

Author

Shimojima, Atsushi, Katagiri, Yasuhiro, Enseki, Kozue, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

261. Manipulatable Models for Investigating Processing of Dynamic Diagrams

Author

Lowe, Richard, Boucheix, Jean-Michel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

262. Can Text Content Influence the Effectiveness of Diagrams?

Author

Schüler, Anne, Scheiter, Katharina, Gerjets, Peter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

263. Diagrammatic Specification of Mobile Real-Time Systems

Author

Linker, Sven, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

264. 'Graph-as-Picture' Misconceptions in Young Students

Author

Garcia Garcia, Grecia, Cox, Richard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

265. An Experiment to Evaluate Constraint Diagrams with Novice Users

Author

Fetais, Noora, Cheng, Peter C-H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

266. How Does Text Affect the Processing of Diagrams in Multimedia Learning?

Author

DeLeeuw, Krista E., Mayer, Richard E., Giesbrecht, Barry, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

267. An Attention Based Theory to Explore the Cognitive Affordances of Diagrams Relative to Text

Author

Coppin, Peter, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

268. Creating a Second Order Diagrammatic Logic

Author

Chapman, Peter, Stapleton, Gem, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

269. How Diagram Interaction Supports Learning: Evidence from Think Alouds during Intelligent Tutoring

Author

Butcher, Kirsten R., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

270. Thinking with Words and Sketches – Analyzing Multi-modal Design Transcripts Along Verbal and Diagrammatic Data

Author

Brösamle, Martin, Hólscher, Christoph, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

271. Effects of Graph Type in the Comprehension of Cyclic Events

Author

Alaçam, özge, Hohenberger, Annette, Çağıltay, Kürşat, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

272. Visualizing Student Game Design Project Similarities

Author

Basawapatna, Ashok, Repenning, Alexander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

273. VCL, a Visual Language for Modelling Software Systems Formally

Author

Amálio, Nuno, Kelsen, Pierre, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

274. Variational Autoencoders for Cancer Data Integration: Design Principles and Computational Practice

Author

Helena Andrés-Terré, Ifrah Tariq, Nikola Simidjievski, Paul Scherer, Cristian Bodnar, Zohreh Shams, Pietro Liò, Mateja Jamnik, Simidjievski, Nikola [0000-0003-3948-6370], Scherer, Paul [0000-0002-2240-7501], Andres Terre, Helena [0000-0001-7199-7897], Shams, Zohreh [0000-0002-0143-798X], Jamnik, Mateja [0000-0003-2772-2532], Lio, Pietro [0000-0002-0540-5053], and Apollo - University of Cambridge Repository

Subjects
0301 basic medicine, Artificial intelligence, lcsh:QH426-470, Integrative Data Analyses, Computer science, Design elements and principles, Machine learning, computer.software_genre, Multi-omic Analysis, Machine Learning, Variational Autoencoder, 03 medical and health sciences, 0302 clinical medicine, Breast cancer, Deep Learning, medicine, Genetics, Cancer–breast Cancer, Genetics (clinical), Original Research, Artificial neural network, business.industry, Deep learning, Cancer, Patient survival, medicine.disease, Autoencoder, Cancer data, Variety (cybernetics), lcsh:Genetics, 030104 developmental biology, ComputingMethodologies_PATTERNRECOGNITION, 030220 oncology & carcinogenesis, FOS: Biological sciences, Molecular Medicine, Bioinformactics, business, computer
Abstract

International initiatives such as the Molecular Taxonomy of Breast Cancer International Consortium (METABRIC), Cancer Genome Atlas (TCGA), and the International Cancer Genome Consortium (ICGC) are collecting multiple data sets at different genome-scales with the aim to identify novel cancer bio-markers and predict patient survival. To analyse such data, several machine learning, bioinformatics and statistical methods have been applied, among them neural networks such as autoencoders. Although these models provide a good statistical learning framework to analyse multi-omic and/or clinical data, there is a distinct lack of work on how to integrate diverse patient data and identify the optimal design best suited to the available data. In this paper, we investigate several autoencoder architectures that integrate a variety of cancer patient data types (e.g., multi-omics and clinical data). We perform extensive analyses of these approaches and provide a clear methodological and computational framework for designing systems that enable clinicians to investigate cancer traits and translate the results into clinical applications. We demonstrate how these networks can be designed, built and, in particular, applied to tasks of integrative analyses of heterogeneous breast cancer data. The results show that these approaches yield relevant data representations that, in turn, lead to accurate and stable diagnosis.

Published
2020
Full Text
View/download PDF

275. Erratum: The Effects of Perception of Efficacy and Diagram Construction Skills on Students’ Spontaneous Use of Diagrams When Solving Math Word Problems

Author

Uesaka, Yuri, Manalo, Emmanuel, Ichikawa, Shin’ichi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

276. Drawing Euler Diagrams for Information Visualization

Author

Howse, John, Rodgers, Peter, Stapleton, Gem, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

277. The Graduate Student Symposium of Diagrams 2010

Author

Davies, Jim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

278. Diagrams: A Perspective from Logic

Author

Barker-Plummer, Dave, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

279. Diagrams in the Mind: Visual or Spatial?

Author

Barkowsky, Thomas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

280. Understanding Diagrams, and More: The Computer’s View

Author

Davis, Randall, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

281. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

Author

Alan Bundy, Mateja Jamnik, Jamnik, Mateja [0000-0003-2772-2532], and Apollo - University of Cambridge Repository

Subjects
Class (set theory), Sequence, 5003 Philosophy, 4904 Pure Mathematics, Schematic, Type (model theory), Mathematical proof, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 50 Philosophy and Religious Studies, Simple (abstract algebra), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 49 Mathematical Sciences, Calculus, Rule of inference, Axiom, Mathematics
Abstract

Following Hilbert, there seems to be a simple and clear definition of mathematical proof: it is a sequence of formulae each of which is either an axiom or follows from earlier formulae by a rule of inference. Automated theorem provers are based on this Hilbertian concept of proof, in which the formulae and rules of inference are represented in a formal logic. These logic-based proofs are typically an order of magnitude longer than the rigorous proofs produced by human mathematicians. There is a consensus, however, that rigorous proofs could, in principle, be unpacked into logical proofs, but this programme is rarely carried out because it would be tedious and uninformative. We argue that, for at least one class of rigorous proofs, which we will call 'schematic proofs', such a simple unpacking is not available. We will illustrate schematic proofs by analysing Cauchy's faulty proof of Euler's Theorem V-E+F = 2, as reported in \akatos's "Proofs and Refutaionts", and giving further examples from Nelsen's "Proofs with Words". We will then give a logic-based account of schematic proofs, distinguishing them from Hilbertian proofs, and showing why they are error prone.

Published
2019
Full Text
View/download PDF

282. Human inference beyond syllogisms: an approach using external graphical representations

Author

Yuri Sato, Gem Stapleton, Zohreh Shams, Mateja Jamnik, Sato, Yuri [0000-0002-4095-7451], Stapleton, Gem [0000-0002-6567-6752], Jamnik, Mateja [0000-0003-2772-2532], Shams, Zohreh [0000-0002-0143-798X], and Apollo - University of Cambridge Repository

Subjects
Unary operation, Computer science, Cognitive Neuroscience, External representation, Inference, Experimental and Cognitive Psychology, Notation, computer.software_genre, 050105 experimental psychology, 03 medical and health sciences, symbols.namesake, 0302 clinical medicine, Artificial Intelligence, Quantifiers, Humans, 0501 psychology and cognitive sciences, Problem Solving, Syntax (programming languages), Binary relation, business.industry, 05 social sciences, Binary predicates, Syllogism, General Medicine, Ontology engineering, symbols, Data Display, Euler diagram, Artificial intelligence, business, computer, 030217 neurology & neurosurgery, Natural language processing, Diagrammatic reasoning
Abstract

Research in psychology about reasoning has often been restricted to relatively inexpressive statements involving quantifiers (e.g. syllogisms). This is limited to situations that typically do not arise in practical settings, like ontology engineering. In order to provide an analysis of inference, we focus on reasoning tasks presented in external graphic representations where statements correspond to those involving multiple quantifiers and unary and binary relations. Our experiment measured participants’ performance when reasoning with two notations. The first notation used topological constraints to convey information via node-link diagrams (i.e. graphs). The second used topological and spatial constraints to convey information (Euler diagrams with additional graph-like syntax). We found that topo-spatial representations were more effective for inferences than topological representations alone. Reasoning with statements involving multiple quantifiers was harder than reasoning with single quantifiers in topological representations, but not in topo-spatial representations. These findings are compared to those in sentential reasoning tasks.

Published
2018
Full Text
View/download PDF

283. Speedith: A Reasoner for Spider Diagrams

Author

Gem Stapleton, Matej Urbas, Mateja Jamnik, Jamnik, Mateja [0000-0003-2772-2532], and Apollo - University of Cambridge Repository

Subjects
Linguistics and Language, Programming language, Proof assistant, 5003 Philosophy, Semantic reasoner, Mathematical proof, computer.software_genre, Philosophy, Diagrammatic reasoning, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, ComputingMethodologies_PATTERNRECOGNITION, 46 Information and Computing Sciences, 4602 Artificial Intelligence, 50 Philosophy and Religious Studies, Software_SOFTWAREENGINEERING, Computer Science (miscellaneous), Automated reasoning, Rule of inference, Formal verification, Algorithm, computer, Mathematics
Abstract

In this paper, we introduce Speedith which is an interactive diagrammatic theorem prover for the well-known language of spider diagrams. Speedith provides a way to input spider diagrams, transform them via the diagrammatic inference rules, and prove diagrammatic theorems. Speedith's inference rules are sound and complete, extending previous research by including all the classical logic connectives. In addition to being a stand-alone proof system, Speedith is also designed as a program that plugs into existing general purpose theorem provers. This allows for other systems to access diagrammatic reasoning via Speedith, as well as a formal verification of diagrammatic proof steps within standard sentential proof assistants. We describe the general structure of Speedith, the diagrammatic language, the automatic mechanism that draws the diagrams when inference rules are applied on them, and how formal diagrammatic proofs are constructed.

Published
2015
Full Text
View/download PDF

284. What Makes an Effective Representation of Information: A Formal Account of Observational Advantages

Author

Mateja Jamnik, Gem Stapleton, Atsushi Shimojima, Stapleton, Gem [0000-0002-6567-6752], Jamnik, Mateja [0000-0003-2772-2532], and Apollo - University of Cambridge Repository

Subjects
Linguistics and Language, Theoretical computer science, observation, Computer science, Inference, set theory, 02 engineering and technology, 0603 philosophy, ethics and religion, Semantics, symbols.namesake, 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), Observability, Set theory, Representation (mathematics), Statement (computer science), inference, business.industry, free rides, 020207 software engineering, 06 humanities and the arts, Philosophy, Euler diagrams, 060302 philosophy, symbols, Euler diagram, Observational study, Artificial intelligence, business
Abstract

In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization of the observational advantages of one representation of information over another. By considering observational advantages, people will be able to make better informed choices of representations of information. To demonstrate the benefit of observation and observational advantages, we apply these concepts to set theory and Euler diagrams. In particular, we can show that Euler diagrams have significant observational advantages over set theory. This formally justifies Larkin and Simon's claim that "a diagram is (sometimes) worth ten thousand words".

Published
2017

285. Tactical diagrammatic reasoning

Author

James Burton, Mateja Jamnik, Sven Linker, Jamnik, Mateja [0000-0003-2772-2532], and Apollo - University of Cambridge Repository

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, 02 engineering and technology, 0603 philosophy, ethics and religion, Mathematical proof, computer.software_genre, lcsh:QA75.5-76.95, cs.LO, symbols.namesake, 0202 electrical engineering, electronic engineering, information engineering, Automated reasoning, Abstraction (linguistics), Programming language, lcsh:Mathematics, Proof assistant, 020207 software engineering, 06 humanities and the arts, Semantic reasoner, lcsh:QA1-939, Readability, Logic in Computer Science (cs.LO), Diagrammatic reasoning, 060302 philosophy, symbols, Euler diagram, lcsh:Electronic computers. Computer science, computer
Abstract

Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic reasoning are generally much less sophisticated than their sentential cousins. The tasks of exploring levels of automation and abstraction in the construction of proofs and of providing explanations of solutions expressed in the proofs remain to be addressed. In this paper we take an interactive proof assistant for Euler diagrams, Speedith, and add tactics to its reasoning engine, providing a level of automation in the construction of proofs. By adding tactics to Speedith's repertoire of inferences, we ease the interaction between the user and the system and capture a higher level explanation of the essence of the proof. We analysed the design options for tactics by using metrics which relate to human readability, such as the number of inferences and the amount of clutter present in diagrams. Thus, in contrast to the normal case with sentential tactics, our tactics are designed to not only prove the theorem, but also to support explanation., In Proceedings UITP 2016, arXiv:1701.06745

Published
2017

286. The Interaction Between Logic and Geometry in Aristotelian Diagrams

Author

Hans Smessaert, Lorenz Demey, Jamnik, Mateja, Uesaka, Yuri, and Elzer Schwartz, Stephanie

Subjects
010102 general mathematics, 05 social sciences, Geometry, Symmetry group, 01 natural sciences, Physics::History of Physics, 050105 experimental psychology, Square (algebra), Polyhedron, Negation, Octahedron, Cross-polytope, Polygon, 0501 psychology and cognitive sciences, Rectangle, 0101 mathematics, Mathematics
Abstract

© Springer International Publishing Switzerland 2016. We develop a systematic approach for dealing with informationally equivalent Aristotelian diagrams, based on the interaction between the logical properties of the visualized information and the geometrical properties of the concrete polygon/polyhedron. To illustrate the account’s fruitfulness, we apply it to all Aristotelian families of 4-formula fragments that are closed under negation (comparing square and rectangle) and to all Aristotelian families of 6-formula fragments that are closed under negation (comparing hexagon and octahedron). ispartof: pages:67-82 ispartof: DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016 vol:9781 pages:67-82 ispartof: 9th International Conference on the Theory and Applications of Diagrams (Diagrams) location:PA, Philadelphia date:7 Aug - 10 Aug 2016 status: published

Published
2016
Full Text
View/download PDF

287. Visualising the Boolean Algebra B_4 in 3D

Author

Smessaert, Hans, Demey, Lorenz, Jamnik, Mateja, Uesaka, Yuri, and Elzer Schwartz, Stephanie

Abstract

© Springer International Publishing Switzerland 2016. This paper compares two 3D logical diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron and the nested tetrahedron. Geometric properties such as collinearity and central symmetry are examined from a cognitive perspective, focussing on diagram design principles such as congruence/isomorphism and apprehension. ispartof: pages:289-292 ispartof: DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016 vol:9781 pages:289-292 ispartof: 9th International Conference on the Theory and Applications of Diagrams (Diagrams) location:PA, Philadelphia date:7 Aug - 10 Aug 2016 status: published

Published
2016

288. Fragments of Spider Diagrams of Order and Their Relative Expressiveness

Author

Simon Thompson, Aidan Delaney, John Taylor, Gem Stapleton, Goel, Ashok K., Jamnik, Mateja, and Narayanan, N. Hari

Subjects
Theoretical computer science, 010103 numerical & computational mathematics, 02 engineering and technology, 01 natural sciences, Spider diagram, QA76, law.invention, First-order logic, Diagrammatic reasoning, symbols.namesake, Negation, Fragment (logic), law, Syntactic sugar, 0202 electrical engineering, electronic engineering, information engineering, symbols, Venn diagram, Euler diagram, 020201 artificial intelligence & image processing, 0101 mathematics, Mathematics
Abstract

Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are known, such as the theorem that Shin's Venn-II system is equivalent to monadic first order logic. The techniques employed by Shin for Venn-II were adapted to allow the expressiveness of Euler diagrams to be investigated. We consider the expressiveness of spider diagrams of order (SDoO), which extend spider diagrams by including syntax that provides ordering information between elements. Fragments of SDoO are created by systematically removing each aspect of the syntax. We establish the relative expressiveness of the various fragments. In particular, one result establishes that spiders are syntactic sugar in any fragment that contains order, negation and shading. We also show that shading is syntactic sugar in any fragment containing negation and spiders. The existence of syntactic redundancy within the spider diagram of order logic is unsurprising however, we find it interesting that spiders or shading are redundant in fragments of the logic. Further expressiveness results are presented throughout the paper. The techniques we employ may well extend to related notations, such as the Euler/Venn logic of Swoboda et al. and Kent's constraint diagrams.

Published
2010
Full Text
View/download PDF

289. Diagram Interpretation and e-Learning Systems

Author

Pete Thomas, Kevin Waugh, Neil Smith, Goel, Ashok K., Jamnik, Mateja, and Narayanan, N. Hari

Subjects
Diagrammatic reasoning, Theoretical computer science, Use Case Diagram, Computer science, Diagram, Embedding, System context diagram, Grading (education)
Abstract

We describe a system capable of grading free-form diagrammatic answers. Our system matches meaningful parts of a diagram with equivalents in a model solution. This is complicated by errors, omissions, and superfluous items in the student answer. The result of matcing is used to calculate the grade and generate appropritae feedback; it performs at least as well as a human marker on a variety of diagram types. We describe tools that allow the easy creation of questions, marking schemees, and diagram editors suitalbe for embedding in a VLE quiz engine.

Published
2010
Full Text
View/download PDF

290. Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain

Author

Winterstein, Daniel, Bundy, Alan, Gurr, Corin, Jamnik, Mateja, and Engineering and Physical Sciences Research Council (EPSRC)

Subjects
Theorem Proving, Continuous Domain, Diagrammatic Reasoning
Abstract

Centre for Intelligent Systems and their Applications This project looks at using diagrammatic reasoning to prove mathematical theorems. The work is motivated by a need for theorem provers whose reasoning is readily intelligible to human beings. It should also have practical applications in mathematics teaching. We focus on the continuous domain of analysis - a geometric subject, but one which is taught using a dry algebraic formalism which many students find hard. The geometric nature of the domain makes it suitable for a diagram-based approach. However it is a difficult domain, and there are several problems, including handling alternating quantifiers, sequences and generalisation. We developed representations and reasoning methods to solve these. Our diagram logic isn't complete, but does cover a reasonable range of theorems. It utilises computers to extend diagrammatic reasoning in new directions – including using animation. This work is tested for soundness, and evaluated empirically for ease of use. We demonstrate that computerised diagrammatic theorem proving is not only possible in the domain of real analysis, but that students perform better using it than with an equivalent algebraic computer system.

Published
2004

291. Evaluating language models for mathematics through interactions.

Author

Collins KM, Jiang AQ, Frieder S, Wong L, Zilka M, Bhatt U, Lukasiewicz T, Wu Y, Tenenbaum JB, Hart W, Gowers T, Li W, Weller A, and Jamnik M

Subjects
Humans, Students psychology, Mathematics, Language, Problem Solving physiology
Abstract

There is much excitement about the opportunity to harness the power of large language models (LLMs) when building problem-solving assistants. However, the standard methodology of evaluating LLMs relies on static pairs of inputs and outputs; this is insufficient for making an informed decision about which LLMs are best to use in an interactive setting, and how that varies by setting. Static assessment therefore limits how we understand language model capabilities. We introduce CheckMate, an adaptable prototype platform for humans to interact with and evaluate LLMs. We conduct a study with CheckMate to evaluate three language models (InstructGPT, ChatGPT, and GPT-4) as assistants in proving undergraduate-level mathematics, with a mixed cohort of participants from undergraduate students to professors of mathematics. We release the resulting interaction and rating dataset, MathConverse. By analyzing MathConverse, we derive a taxonomy of human query behaviors and uncover that despite a generally positive correlation, there are notable instances of divergence between correctness and perceived helpfulness in LLM generations, among other findings. Further, we garner a more granular understanding of GPT-4 mathematical problem-solving through a series of case studies, contributed by experienced mathematicians. We conclude with actionable takeaways for ML practitioners and mathematicians: models that communicate uncertainty, respond well to user corrections, and can provide a concise rationale for their recommendations, may constitute better assistants. Humans should inspect LLM output carefully given their current shortcomings and potential for surprising fallibility., Competing Interests: Competing interests statement:K.M.C. participated in a part-time Student Researcher Position at Google DeepMind during part of the work; however, this work does not represent any of her work at Google nor the views of Google and was conducted entirely outside of the position. A.Q.J. similarly has been a part-time researcher at Mistral AI during part of the work. The study was formulated prior to either authors’ involvement and does not connect to their work. Y.W. joined xAI after the conception of this work; xAI is not involved.

Published
2024
Full Text
View/download PDF

292. Human inference beyond syllogisms: an approach using external graphical representations.

Author

Sato Y, Stapleton G, Jamnik M, and Shams Z

Subjects
Humans, Data Display, Problem Solving
Abstract

Research in psychology about reasoning has often been restricted to relatively inexpressive statements involving quantifiers (e.g. syllogisms). This is limited to situations that typically do not arise in practical settings, like ontology engineering. In order to provide an analysis of inference, we focus on reasoning tasks presented in external graphic representations where statements correspond to those involving multiple quantifiers and unary and binary relations. Our experiment measured participants' performance when reasoning with two notations. The first notation used topological constraints to convey information via node-link diagrams (i.e. graphs). The second used topological and spatial constraints to convey information (Euler diagrams with additional graph-like syntax). We found that topo-spatial representations were more effective for inferences than topological representations alone. Reasoning with statements involving multiple quantifiers was harder than reasoning with single quantifiers in topological representations, but not in topo-spatial representations. These findings are compared to those in sentential reasoning tasks.

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results