Search results
From MaRDI portal
- statistical systems 2004-11-24 Paper An object-based graphical user interface for time series analysis 2003-02-06 Paper A mixed user interface for a statistical...10 bytes (16 words) - 21:59, 21 September 2023
- Publication Date of Publication Type A system-independent graphical user interface for statistical software 1997-02-28 Paper...10 bytes (18 words) - 18:27, 6 October 2023
- Communication and Voice/Graphical User Interface for Mobile Devices in Vehicles 2010-09-20 Paper Profivox --- A Hungarian text-to-speech system for telecommunications...10 bytes (16 words) - 09:04, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q4385355 1998-04-13 Paper A system-independent graphical user interface for statistical software 1997-02-28 Paper...10 bytes (18 words) - 18:27, 6 October 2023
- statistical systems 2004-11-24 Paper An object-based graphical user interface for time series analysis 2003-02-06 Paper A mixed user interface for a statistical...10 bytes (16 words) - 07:04, 7 October 2023
- application of integer linear programming to the implementation of a graphical user interface: A new rectangular packing problem 1995-09-17 Paper Duality of...10 bytes (17 words) - 11:28, 8 December 2023
- Communication and Voice/Graphical User Interface for Mobile Devices in Vehicles 2010-09-20 Paper Profivox --- A Hungarian text-to-speech system for telecommunications...10 bytes (16 words) - 09:04, 25 September 2023
- Publication Date of Publication Type A system-independent graphical user interface for statistical software 1997-02-28 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 18:27, 6 October 2023
- Estimation and Tests of Hypotheses 2001-09-16 Paper A system-independent graphical user interface for statistical software 1997-02-28 Paper https://portal...10 bytes (18 words) - 18:27, 6 October 2023
- Approach 2008-12-21 Paper Power duality for multi-antenna OFDM system in broadcast channel with user scheduling 2008-05-26 Paper https://portal.mardi4nfdi.de/entity/Q5456006...10 bytes (16 words) - 21:25, 9 December 2023
- alternative method for the optimal switching problem of linear quadratic switched system 2023-11-02 Paper CHARACTERIZATION OF CHLORIDE IONS DIFFUSION IN CONCRETE...10 bytes (17 words) - 14:31, 10 December 2023
- the ciliated dynamic system of the respiratory tract 2020-01-13 Paper Secure online/offline attribute-based encryption for IoT users in cloud computing 2020-01-10...10 bytes (18 words) - 20:45, 9 December 2023
- Minimization With Applications to Set Membership Systems Identification 2017-05-16 Paper NTGsim: A graphical user interface and a 3D simulator for nonlinear trajectory...10 bytes (16 words) - 12:56, 24 September 2023
- heterogeneous multi-processor systems 2010-03-12 Paper A Functional Programming Technique for Forms in Graphical User Interfaces 2007-10-23 Paper https://portal...10 bytes (17 words) - 13:06, 24 September 2023
- Forms in Graphical User Interfaces 2007-10-23 Paper Implementation of Functional Languages 2005-08-24 Paper Programming Languages and Systems 2005-08-17...10 bytes (16 words) - 22:55, 24 September 2023
- higher-rank polymorphism 2015-03-30 Paper A semantic model for graphical user interfaces 2015-03-05 Paper Superficially substructural types 2014-07-21 Paper...10 bytes (18 words) - 12:24, 7 October 2023
- programming in bounded space 2015-09-11 Paper A semantic model for graphical user interfaces 2015-03-05 Paper Biorthogonality, step-indexing and compiler correctness...10 bytes (16 words) - 09:36, 25 September 2023
- de/entity/Q4490374 2000-07-16 Paper Functional design and implementation of graphical user interfaces for theorem provers 1999-10-05 Paper...10 bytes (16 words) - 07:11, 7 October 2023
- 2018-10-23 Paper Interactive programming in Agda – Objects and graphical user interfaces 2017-10-23 Paper The Use of Trustworthy Principles in a Revised...10 bytes (17 words) - 14:06, 6 October 2023
- 2017-10-23 Paper Interactive programming in Agda – Objects and graphical user interfaces 2017-10-23 Paper https://portal.mardi4nfdi.de/entity/Q5277845 2017-07-12...10 bytes (18 words) - 14:15, 6 October 2023
