Search Results - ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.7: User interfaces
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors (according to ACM CCS, Information Interfaces and Presentation [H.5.2, User Interfaces—Interaction Styles, Mathematics of Computing [G.4, Mathematical Software—User Interfaces
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.9102; http://www.eecs.ucf.edu/~jjl/pubs/bott2011.pdf
-
2
Authors:
Source: Scopus Export 2010-2014
-
3
Authors: et al.
Contributors: et al.
Source: CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/hal-03823357 ; CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia PA USA, France. pp.197-209, ⟨10.1145/3497775.3503692⟩
Subject Terms: CCS Concepts: • Mathematics of computing → Mathematical software, • Human-centered computing → Graphical user interfaces, Gestural input, • Theory of computation → Proof theory, Equational logic and rewriting, Constructive mathematics logic, formal proofs, user interfaces, deep inference, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Subject Geographic: France
Time: Philadelphia PA USA, France
Relation: hal-03823357; https://hal.archives-ouvertes.fr/hal-03823357; https://hal.archives-ouvertes.fr/hal-03823357/document; https://hal.archives-ouvertes.fr/hal-03823357/file/cpp-article.pdf
-
4
Authors:
Source: Computer Mathematics - Proceedings of the Fifth Asian Symposium (Ascm 2001); 2001, p82-91, 10p
-
5
Authors:
Source: ZDM - Mathematics Education; Jun2011, Vol. 43 Issue 3, p389-397, 9p, 6 Diagrams, 1 Graph
-
6
Authors: et al.
Source: Journal of Computer Assisted Learning; Aug2012, Vol. 28 Issue 4, p295-309, 15p
Subject Terms: ANALYSIS of variance, COMPUTER software, COMPUTER assisted instruction, COMPUTERS, CULTURE, LEARNING strategies, MATHEMATICS, PROBABILITY theory, RESEARCH funding, SCHOOL environment, USER interfaces, PILOT projects, PRE-tests & post-tests, LEARNING theories in education, REPEATED measures design, CHILDREN
-
7
Authors: Zinin, M.
Source: Programming & Computer Software; Mar2012, Vol. 38 Issue 2, p92-101, 10p
Subject Terms: ALGEBRA, MATHEMATICAL analysis, DIFFERENTIAL equations, COMPUTERS, MATHEMATICS, ALGORITHMS, USER interfaces
-
8
Authors:
Source: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 2, p20-2028, 28p
-
9
Authors: et al.
Source: IEEE Transactions on Nuclear Science; Dec2005 Part 2, Vol. 52 Issue 6, p2818-2822, 5p, 1 Diagram, 5 Graphs
Subject Terms: GRID computing, COMPUTER software, MATHEMATICS, LARGE Hadron Collider, COMPUTER network resources
Geographic Terms: FRANCE, SWITZERLAND
-
10
Authors:
Source: Scalable Computing: Practice & Experience; Jun2014, Vol. 15 Issue 2, p187-200, 14p
-
11
Authors: et al.
Contributors: et al.
Source: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany
Subject Terms: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
-
12
Authors: et al.
Contributors: et al.
Source: ISSN: 0167-7055.
Subject Terms: Human-centered computing, Visualization Techniques, Visualization, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.4: Graphical user interfaces (GUI), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory/G.2.2.3: Network problems, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
-
13
Source: IEEE Pervasive Computing; Apr-Jun2007, Vol. 6 Issue 2, p82-83, 2p
-
14
Authors:
Source: Computer Animation & Virtual Worlds; Sep/Oct2012, Vol. 23 Issue 5, p519-532, 14p
-
15
Authors:
Source: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 2, p13-1337, 37p
-
16
Authors: et al.
Contributors: et al.
Source: Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. :42-49
Subject Terms: Functional analysis, Human-centered computing, Graphical user interfaces, Software and its engineering, Tablet computers, Touch screens, Ubiquitous and mobile devices, Software prototyping, Mathematics of computing, Computational geometry, Theory of computation
Access URL: https://hdl.handle.net/2078.1/302890
-
17
Authors: et al.
Source: Computer Mathematics - Proceedings of the Fifth Asian Symposium (Ascm 2001); 2001, p102-111, 10p
-
18
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00079223 ; [Research Report] RR-5930, INRIA. 2006, pp.21.
Subject Terms: Automatic Differentiation, Reverse Mode, Checkpointing, TAPENADE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.DS/0606042; ARXIV: cs.DS/0606042
-
19
Authors:
Source: International Journal of Human-Computer Interaction; Mar2011, Vol. 27 Issue 3, p245-259, 15p, 2 Color Photographs, 2 Diagrams, 4 Graphs
-
20
Authors: et al.
Source: Communications of the ACM; Jul1989, Vol. 32 Issue 7, p789-792, 4p
Subject Terms: LETTERS to the editor, USER interfaces, SYSTEMS design, COPYRIGHT, CENSORSHIP
Geographic Terms: UNITED States
Nájsť tento článok vo Web of Science 
Full Text Finder