Suchergebnisse - ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.7: User interfaces*

Now or Later: An Initial Exploration into User Perception of Mathematical Expression Recognition Feedback

Autoren: T. Hammond A. Nealen (editors Jared N. Bott et al.

Weitere Verfasser: T. Hammond A. Nealen (editors Jared N. Bott et al.

Quelle: http://www.eecs.ucf.edu/~jjl/pubs/bott2011.pdf.

Schlagwörter: 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

Dateibeschreibung: 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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.9102
http://www.eecs.ucf.edu/~jjl/pubs/bott2011.pdf

Now Or Later: An Initial Exploration Into User Perception Of Mathematical Expression Recognition Feedback

Autoren: Bott, Jared N. Gabriele, Daniel LaViola, Joseph J.

Quelle: Scopus Export 2010-2014

Schlagwörter: Information Interfaces and Presentation [H.5.2]: User Interfaces - Interaction Styles, Mathematics of Computing [G.4]: Mathematical Software - User Interfaces

Relation: https://stars.library.ucf.edu/scopus2010/2885

Verfügbarkeit: https://stars.library.ucf.edu/scopus2010/2885
https://doi.org/10.1145/2021164.2021187

A drag-and-drop proof tactic

Autoren: Donato, Pablo Strub, Pierre-Yves Werner, Benjamin et al.

Weitere Verfasser: Donato, Pablo Strub, Pierre-Yves Werner, Benjamin et al.

Quelle: 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⟩

Schlagwörter: 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]

Geographisches Schlagwort: 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

Verfügbarkeit: 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
https://doi.org/10.1145/3497775.3503692

OMEI: AN OPEN MATHEMATICAL ENGINE INTERFACE.

Autoren: WEIDONG LIAO DONGDAI LIN WANG, PAUL S.

Quelle: Computer Mathematics - Proceedings of the Fifth Asian Symposium (Ascm 2001); 2001, p82-91, 10p

Schlagwörter: APPLICATION program interfaces, CLIENT/SERVER computing, JAVA programming language, OPEN Database Connectivity, USER interfaces, COMPUTATIONAL mathematics

Reducing the graphical user interface of a dynamic geometry system.

Autoren: Schimpf, Florian Spannagel, Christian

Quelle: ZDM - Mathematics Education; Jun2011, Vol. 43 Issue 3, p389-397, 9p, 6 Diagrams, 1 Graph

Schlagwörter: GRAPHICAL user interfaces, GEOMETRY, MOUSE (Computer program language), MATHEMATICS education, POLYGONS, COMPUTER software

One Mouse per Child: interpersonal computer for individual arithmetic practice.

Autoren: Alcoholado, C. Nussbaum, M. Tagle, A. et al.

Quelle: Journal of Computer Assisted Learning; Aug2012, Vol. 28 Issue 4, p295-309, 15p

Schlagwörter: 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

Geografische Kategorien: CHILE, INDIA

BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases.

Autoren: Zinin, M.

Quelle: Programming & Computer Software; Mar2012, Vol. 38 Issue 2, p92-101, 10p

Schlagwörter: ALGEBRA, MATHEMATICAL analysis, DIFFERENTIAL equations, COMPUTERS, MATHEMATICS, ALGORITHMS, USER interfaces

DOLFIN: Automated Finite Element Computing.

Autoren: LOGG, ANDERS WELLS, GARTH N.

Quelle: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 2, p20-2028, 28p

Schlagwörter: FINITE element method, PARTIAL differential equations, COMPUTER interfaces, OBJECT-oriented programming, LINEAR algebra, MATHEMATICAL analysis

Developments of mathematical software libraries for the LHC experiments.

Autoren: Hatlo, M. James, F. Mato, P. et al.

Quelle: IEEE Transactions on Nuclear Science; Dec2005 Part 2, Vol. 52 Issue 6, p2818-2822, 5p, 1 Diagram, 5 Graphs

Schlagwörter: GRID computing, COMPUTER software, MATHEMATICS, LARGE Hadron Collider, COMPUTER network resources

Geografische Kategorien: FRANCE, SWITZERLAND

GENERALIZED MATRIX MULTIPLICATION AND ITS OBJECT ORIENTED MODEL.

Autoren: GANZHA, MARIA PAPRZYCKI, MARCIN SEDUKHIN, STANISLAV G.

Quelle: Scalable Computing: Practice & Experience; Jun2014, Vol. 15 Issue 2, p187-200, 14p

Schlagwörter: MATRICES (Mathematics), MULTIMODAL user interfaces, SEMIRINGS (Mathematics), MATHEMATICAL models, THEORY

Packaging Mathematical Structures

Autoren: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

Weitere Verfasser: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

Quelle: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany

Schlagwörter: 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]

Geographisches Schlagwort: Munich, Germany

Verfügbarkeit: https://inria.hal.science/inria-00368403
https://inria.hal.science/inria-00368403v2/document
https://inria.hal.science/inria-00368403v2/file/main.pdf

Matrix Reordering Methods for Table and Network Visualization

Autoren: Behrisch, Michael Bach, Benjamin Henry Riche, Nathalie et al.

Weitere Verfasser: Behrisch, Michael Bach, Benjamin Henry Riche, Nathalie et al.

Quelle: ISSN: 0167-7055.

Schlagwörter: 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]

Verfügbarkeit: https://inria.hal.science/hal-01326759
https://inria.hal.science/hal-01326759v1/document
https://inria.hal.science/hal-01326759v1/file/MatrixReorderingSTAR.pdf
https://doi.org/10.1111/cgf.12935

Related Work in Pervasive Computing Tool Support.

Quelle: IEEE Pervasive Computing; Apr-Jun2007, Vol. 6 Issue 2, p82-83, 2p

Schlagwörter: UBIQUITOUS computing, EMBEDDED computer systems, AMBIENT intelligence, COMPUTER software development, SOFTWARE architecture, COMPUTER software ergonomics, GRAPHICAL user interfaces, HUMAN-machine systems, AUTOMATION in office buildings, ROBOTICS

Volumetric subspace mesh deformation with structure preservation Volumetric subspace mesh deformation with structure preservation.

Autoren: Zhao, Yong Liu, Jianhui

Quelle: Computer Animation & Virtual Worlds; Sep/Oct2012, Vol. 23 Issue 5, p519-532, 14p

Schlagwörter: VOLUMETRIC analysis, DEFORMATIONS (Mechanics), SUBSPACE identification (Mathematics), USER interfaces, MATHEMATICAL optimization, NUMERICAL analysis, STOCHASTIC convergence

EFCOSS: An Interactive Environment Facilitating Optimal Experimental Design.

Autoren: RASCH, ARNO BÜCKER, H. MARTIN

Quelle: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 2, p13-1337, 37p

Schlagwörter: MATHEMATICS software, SIMULATION methods & models, MATHEMATICAL optimization, EXPERIMENTAL design, CORBA (Computer architecture), COMPUTER architecture

Fractal Adaptive Menus: Concept, Engineering, and Use Case

Autoren: Sahraoui, Alaa Eddine Anis Vanderdonckt, Jean Kieffer, Suzanne et al.

Weitere Verfasser: Sahraoui, Alaa Eddine Anis Vanderdonckt, Jean Kieffer, Suzanne et al.

Quelle: Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. :42-49

Schlagwörter: 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

Zugangs-URL: https://hdl.handle.net/2078.1/302890

THE DESIGN AND IMPLEMENTATION OF OpenXM-RFC 100 AND 101.

Autoren: MASAHIDE MAEKAWA MASAYUKI NORO NOBUKI TAKAYAMA et al.

Quelle: Computer Mathematics - Proceedings of the Fifth Asian Symposium (Ascm 2001); 2001, p102-111, 10p

Schlagwörter: OPEN source software, MATHEMATICS software, DATA integration, USER interfaces, COMPUTER network protocols

Enabling user-driven Checkpointing strategies in Reverse-mode Automatic Differentiation

Autoren: Hascoet, Laurent Araya-Polo, Mauricio Program transformations for scientific computing (TROPICS) et al.

Weitere Verfasser: Hascoet, Laurent Araya-Polo, Mauricio Program transformations for scientific computing (TROPICS) et al.

Quelle: https://inria.hal.science/inria-00079223 ; [Research Report] RR-5930, INRIA. 2006, pp.21.

Schlagwörter: 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

Verfügbarkeit: https://inria.hal.science/inria-00079223
https://inria.hal.science/inria-00079223v2/document
https://inria.hal.science/inria-00079223v2/file/eccomas2006-RR-araya.pdf

Effects of Symmetry and Number of Compositional Elements on Chinese Users' Aesthetic Ratings of Interfaces: Experimental and Modeling Investigations.

Autoren: Bi, Luzheng Fan, Xinan Liu, Yili

Quelle: International Journal of Human-Computer Interaction; Mar2011, Vol. 27 Issue 3, p245-259, 15p, 2 Color Photographs, 2 Diagrams, 4 Graphs

Schlagwörter: USER interfaces, INTERNET users, WEB design, EXPERIMENTAL mathematics, MATHEMATICAL symmetry, GEOMETRIC modeling, CHINESE people

acm forum.

Autoren: Ashenhurst, Robert L. Maddox, Michael E. Long, Michael et al.

Quelle: Communications of the ACM; Jul1989, Vol. 32 Issue 7, p789-792, 4p

Schlagwörter: LETTERS to the editor, USER interfaces, SYSTEMS design, COPYRIGHT, CENSORSHIP

Geografische Kategorien: UNITED States