Filters








152,476 Hits in 3.8 sec

Notation as a tool of thought

Kenneth E. Iverson
1980 Communications of the ACM  
There he served as Assistant Professor of Applied Mathematics from 1955-1960.  ...  now knows as APL.  ...  Falkoff for suggestions which greatly improved the organization of the paper, and to Professor Donald McIntyre for suggestions arising from his reading of a draft.  ... 
doi:10.1145/358896.358899 fatcat:pwf4axz5dfdyjndrk674xh4m6u

Notation as a tool of thought [chapter]

Kenneth E. Iverson
ACM Turing Award Lectures  
There he served as Assistant Professor of Applied Mathematics from 1955-1960.  ...  now knows as APL.  ...  Falkoff for suggestions which greatly improved the organization of the paper, and to Professor Donald McIntyre for suggestions arising from his reading of a draft.  ... 
doi:10.1145/1283920.1283935 fatcat:7ukjesj2xbg3xm62imevhxanku

Storyboarding: A method for bootstrapping the design of computer-based educational tasks

Ian Jones
2008 Computers & Education  
There has been a recent call for the use of more systematic thought experiments when investigating learning.  ...  The storyboards produced can be considered as "virtual data" created by thought experiments that provided an audit trail of evolving design ideas and enabled peer feedback to be sought.  ...  and have been explored as a learning tool for pupils (e.g.  ... 
doi:10.1016/j.compedu.2008.01.002 fatcat:wy7g5y2mrvahxecuoinhnepole

Svg To Osc Transcoding As A Platform For Notational Praxis And Electronic Performance

Rama Gottfried
2015 Zenodo  
In this paper presents a case study in the creation of an open notational framework for experimentation with new types of notation that may be applied in a wide variety of contexts.  ...  ) as an intermediate data processing before being passed to a given rendering context.  ...  to Jean Bresson for his continued feedback and great work in the field of musical representation.  ... 
doi:10.5281/zenodo.923850 fatcat:4j5mek46wjfdthnl24xv3b3274

Tools for Thought: The Case of Mathematics

Valeria Giardino
2018 Endeavour  
A B S T R A C T The objective of this article is to take into account the functioning of representational cognitive tools, and in particular of notations and visualizations in mathematics.  ...  In order to explain their functioning, formulas in algebra and logic and diagrams in topology will be presented as case studies and the notion of manipulative imagination as proposed in previous work will  ...  In particular, I would like to thank the participants of the workshop "Tools of Reason, The Practice of Scientific Diagramming from Antiquity to the Present" at Stanford University for the articles contained  ... 
doi:10.1016/j.endeavour.2018.07.007 pmid:30131180 fatcat:otmut7umezcopmpqaftr3y7lb4

The B-Toolkit demonstration [chapter]

1995 Lecture Notes in Computer Science  
The B-Method is a collection of mathematical based techniques which give a formal basis to those activities of Software Development that range from software specification, through design and integration  ...  The B-Toolkit is a suite of integrated programs which implement the B-Method for Software Development.  ...  The B-Method The B-Method is a mathematical method belonging to the school of thought known as the "model oriented" approach to software construction.  ... 
doi:10.1007/3-540-59293-8_243 fatcat:hf3qb7zcg5aftn63rjxo2dtpee

Embodied Design Cognition: Action-Based Formalizations in Architectural Design

Daniel Smithwick, Larry Sass
2014 International Journal of Architectural Computing  
As computational design tools become more physically interactive and integrated into our environment we need new research frameworks to develop theories of physical design action as a form of knowledge  ...  Symbolic theories of design knowledge traditionally frame design activity as a mental process and as a result researchers have not fully explored the potential for bodily-based computational design knowledge.We  ...  contrary to the traditionally defined role of the body as an output device of internal thought, the body serves as a physical extension of thought capable of generating structure upon which new shapes  ... 
doi:10.1260/1478-0771.12.4.399 fatcat:r43o7vi53na6vfwupnxj7tq7t4

SKOMPUTERYZOWANA LINGWISTYKA I PSYCHOLOGIA POKONUJĄC OGRANICZENIA POLIGRAFU

Dan OPHIR
2013 Comparative Legilinguistics  
These tools should be able to scan the mapping and discover distorted thoughts as classified by the CBT method. We will use extreme situations as examples to illustrate distorted thoughts.  ...  Based on the above assumption, it is possible to map thoughts, including distorted thoughts and analyze them methodically with the help of linguistic tools.  ...  Distorted thought text is characterized by the use of superlatives such as "never".  ... 
doi:10.14746/cl.2013.15.3 fatcat:zr5kfd2umzbppgirx45hxaev3e

The use of a visual learning design representation to support the design process of teaching in higher education

Shirley Agostinho
2011 Australasian Journal of Educational Technology  
<span>Over the last decade there has been considerable research and development work exploring how university teachers can document their teaching practice in such a way as to enable the sharing of ideas  ...  an aid to design because it provided a summary of pedagogical practice that could be used to effectively communicate and share ideas, and also enable reflection.  ...  Catherine thought that the use of multiple documentation tools added a dimension of richness thus aiding the comprehension of a learning design.  ... 
doi:10.14742/ajet.923 fatcat:3s7bi4w5lvfdxg7jsfyv3imw5q

'Thought/visual processing': Ctrl+x, y, z, v

Elif Ayiter
2012 Technoetic Arts  
productions since they presently share the same attributes of notationally based allographic work, which has traditionally manifested only as music or as literary output.  ...  As a visual practitioner, what is particularly significant to my inquiry is that this change in medium is deemed to have brought about a change in language that affects the very nature of autographic work  ...  It is a tool for the mind, an instrument for the magnification of thought, potentially an "intelligence amplifier," to use H. Ross Ashby's term.  ... 
doi:10.1386/tear.9.2-3.239_1 fatcat:5zgf3e2wibbzrg7o7p3c3qanke

A human-centric API for programming socially interactive robots

J. P. Diprose, B. Plimmer, B. A. MacDonald, J. G. Hosking
2014 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
The Cognitive Dimensions Framework was used as a design tool during the design process and the API was validated by implementing an exemplar application.  ...  This is because current programming tools either require programmers to work at a low level or lack features needed to create certain aspects of social interaction.  ...  ACKNOWLEDGEMENT The authors thank the reviewers for their helpful feedback, the University of Auckland PhD Scholarship programme for financial support, the participants of the user study, Chandan Datta  ... 
doi:10.1109/vlhcc.2014.6883033 dblp:conf/vl/DiprosePMH14 fatcat:cssi2maw2bbm7gdralqukwiozi

Inkus: A Freehand Method of Creating Business Process Models [article]

Nicolas Mangano, Noi Sukaviriya
2010 Sketch-Based Interfaces and Modeling  
This paper presents a design concept and an implemented prototype of such a system.  ...  In this paper, we explore a non-intrusive business process sketching tool which allows free hand sketches of process ideas and slowly brings the users to the required common business vocabulary.  ...  Acknowledgments We would like to acknowledge those that helped with the develop of Inkus and all of those that provided continual feedback: Anil Nigam, Avik Sinha, Stacy Hobson, Susan Spraranger, and Terry  ... 
doi:10.2312/sbm/sbm10/143-150 fatcat:mdfhc5t3cnahhielko2gesggsy

Model-Based Tool Support for Service Design [chapter]

Francisco J. Pérez-Blanco, Juan M. Vara, Cristian Gómez, Valeria De Castro, Esperanza Marcos
2020 Lecture Notes in Computer Science  
Besides, the tool supports the generation of partial views of models based on a particular notation from models made with another one, along with the corresponding relations model.  ...  This paper introduces a modelling environment for service design that currently supports 5 different notations (Business Model Canvas, e³value, Service Blueprint, Process Chain Network and BPMN).  ...  This work has been partially funded by the Regional Government of Madrid, through the FORTE-CM project (S2018/TCS-4314) and the Spanish MINECO, through the MADRID project (TIN2017-88557-R).  ... 
doi:10.1007/978-3-030-45234-6_13 fatcat:ja2pdj3ebbaahmbqfmd44fc6nq

CanonSketch: A User-Centered Tool for Canonical Abstract Prototyping [chapter]

Pedro F. Campos, Nuno J. Nunes
2005 Lecture Notes in Computer Science  
In order to solve this problem we need both usable and expressive notations and tools that enable the creation of user-interface specifications that leverage the design and thought process.  ...  In a paper presented at a recent Workshop on MB-UID [9], we argued that in order to achieve a stronger market acceptance of modeling tools, a new generation of usercentric tools would have to emerge.  ...  Our remit with CanonSketch is to achieve a modeling tool for MB-UID that is as easy to use as a drawing application.  ... 
doi:10.1007/11431879_9 fatcat:qrj2unoinngrrejksgbvpn4pwq

Page 1500 of Mathematical Reviews Vol. 58, Issue 3 [page]

1979 Mathematical Reviews  
This impressive account of the early history of mathematics attempts to establish that Babylonian place notation has roots in a time period more remote than ordinarily thought.  ...  of thought; truth has to be assigned to the statements, as is shown by the paradoxes of material implication.  ... 
« Previous Showing results 1 — 15 out of 152,476 results