Tópico(s): Algorithms and Data Compression
1982 - American Mathematical Society | Mathematics of Computation
Tópico(s): Advanced Database Systems and Queries
1986 - American Mathematical Society | Mathematics of Computation
Once on the forefront of mathematical research in America, the asymptotics of the solutions of linear recurrence equations is now almost forgotten, especially by the people who need it most, namely combinatorists and computer scientists. Here we present this theory in a concise form and give a number of examples that should enable the practicing combinatorist and computer scientist to include this important technique in her (or his) asymptotics tool kit.
Tópico(s): Algorithms and Data Compression
1985 - Elsevier BV | Journal of Mathematical Analysis and Applications
Tópico(s): Computability, Logic, AI Algorithms
2002 - Springer Science+Business Media | The Mathematical Intelligencer
Jet Wimp, Claude Brezinski, Michela Redivo‐Zaglia,
Introduction to the Theory. First Steps. What is an Extrapolation Method? What is an Extrapolation Algorithm? Quasi-linear Sequence Transformations. Sequence Transformations as Ratios of Determinants. Triangular Recursive Schemes. Normal Forms of the Algorithms. Progressive Forms of the Algorithms. Particular Rules of the Algorithms. Accelerability and Non-accelerability. Optimality. Asymptotic Behaviour of Sequences. Scalar Extrapolation Algorithms. The E-algorithm. Richardson Extrapolation Process. ...
Tópico(s): Advanced Computational Techniques in Science and Engineering
1993 - American Mathematical Society | Mathematics of Computation
The long-standing requirement that system and network designs must include accurate and complete adversary definitions from inception remains unmet on commodity platforms; e.g., on commodity operating systems, network protocols, and applications. A way to provide such definitions is to (1) partition commodity software into “wimps” (i.e., small software components with rather limited function and high-assurance security properties) and “giants” (i.e., large commodity software systems, with low/no assurance ...
Tópico(s): Distributed systems and fault tolerance
2014 - Springer Science+Business Media | Lecture notes in computer science
Jesús M. Almendros-Jiménez, Luís Iribarne,
The Unified Modeling Language (UML) [OMG, Unified Modeling Language Specification, Version 2.0, Technical Report, Object Management Group 〈http://www.omg.org/technology/documents/formal/uml.htm〉, 2005] provides system architects working on analysis and design (A&D) with one consistent language for specifying, visualizing, constructing, and documenting the artifacts of software systems, as well as for the business modeling. The user interface (UI), as a significant part of most applications, should be ...
Tópico(s): Model-Driven Software Engineering Techniques
2008 - Elsevier BV | Journal of Visual Languages & Computing
John Boyle, Scott Leishman, Peter Gray,
Large volumes of complicated data require advanced visual query systems. These advanced systems challenge the conventional user interface metaphors and require new solutions. This paper outlines the development of one such system, called AMAZE. The development of this database interface has gone through a number of stages. Limitations of the associated structured query language and textual output lead firstly to a WIMP ‘form-based’ graphical interface being developed. When the ‘form-based’ interface ...
Tópico(s): Data Management and Algorithms
1996 - Elsevier BV | Journal of Visual Languages & Computing
Bongshin Lee, Arjun Srinivasan, Petra Isenberg, John Stasko,
Tópico(s): Multimedia Communication and Technology
2021 - Now Publishers | Foundations and Trends® in Human–Computer Interaction
Robert J. K. Jacob, Leonidas Deligiannidis, S.A. Morrison,
We present a software model and language for describing and programming the fine-grained aspects of interaction in a non-WIMP user interface, such as a virtual environment. Our approach is based on our view that the essence of a non-WIMP dialogue is a set of continuous relationships—most of which are temporary. The model combines a data-flow or constraint-like component for the continuous relationships with an event-based component for discrete interactions, which can enable or diable individual ...
Tópico(s): Multimedia Communication and Technology
1999 - Association for Computing Machinery | ACM Transactions on Computer-Human Interaction
Michael Zöllner, Hans-Christian Jetter, Harald Reiterer,
We introduce ZOIL (Zoomable Object-Oriented Information Landscape), a design paradigm and software framework for post-WIMP distributed, zoomable and object-oriented user interfaces. This paper presents ZOIL's design principles, functionality and software patterns to share them with other researchers. Additionally, ZOIL's implementation as a software framework for C# and WPF (Windows Presentation Foundation) is available as open source under the BSD License for scientific and commercial projects (see ...
Tópico(s): Usability and User Interface Design
2011 - Springer Nature | Human-computer interaction series
Neeraj Kumar Singh, Yamine Aït‐Ameur, Romain Geniet, Dominique Méry, Philippe Palanque,
Abstract This paper presents a formal development approach for designing interactive applications using a correct-by-construction approach. In this work, we propose a refinement strategy using model-view-controller (MVC) to structure and design Event-B formal models of the interactive application. The proposed MVC-based refinement strategy facilitates the development of an abstract model and a series of refined models by introducing the possible modes, controller’s behaviour and visual components ...
Tópico(s): Web Applications and Data Management
2021 - Oxford University Press | Interacting with Computers
Alexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Éric Barboni, Christine Gris,
The goal of software testing is to detect defects with the objective of removing them at a later stage in the development process. Interactive software development follows the User Centered Design approach that promotes continuous involvement of users both at design and evaluation phases. This process is meant to produce usable interactive software by gathering functional and non-functional requirements related to both user needs and context of use. However, taking into account these potentially ...
Tópico(s): Model-Driven Software Engineering Techniques
2021 - Association for Computing Machinery | Proceedings of the ACM on Human-Computer Interaction
Víctor López‐Jaquero, Arturo Rodríguez, Miguel A. Teruel, Francisco Montero, Elena Navarro, Pascual González,
Tele-rehabilitation is one of the main domains where Information and Communication Technologies (ICT) have been proven useful to move healthcare from care centers to patients' home. Moreover, patients, especially those carrying out a physical therapy, cannot use a traditional Window, Icon, Menu, Pointer (WIMP) system, but they need to interact in a natural way, that is, there is a need to move from WIMP systems to Post-WIMP ones. Moreover, tele-rehabilitation systems should be developed following ...
Tópico(s): Assistive Technology in Communication and Mobility
2016 - Multidisciplinary Digital Publishing Institute | Sensors
Marius Fechter, Benjamin Schleich, Sandro Wartzack,
Abstract Virtual and augmented reality allows the utilization of natural user interfaces, such as realistic finger interaction, even for purposes that were previously dominated by the WIMP paradigm. This new form of interaction is particularly suitable for applications involving manipulation tasks in 3D space, such as CAD assembly modeling. The objective of this paper is to evaluate the suitability of natural interaction for CAD assembly modeling in virtual reality. An advantage of the natural interaction ...
Tópico(s): Interactive and Immersive Displays
2021 - Springer Science+Business Media | Virtual Reality
S.J. Harness, Ken Pugh, Nasser Sherkat, R.J. Whitrow,
Tópico(s): Tactile and Sensory Interactions
1993 - IOS Press | Studies in health technology and informatics
Alexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque,
Model-Based Testing (MBT) relies on models of a System Under Test (SUT) to derive test cases for said system. While Finite State Machine (FSM), workflow, etc. are widely used to derive test cases for WIMP applications (i.e. applications depending on 2D widgets such as menus and icons), these notations lack the expressive power to describe the interaction techniques and behaviors found in post-WIMP applications. In this paper, we aim at demonstrating that thanks to ICO, a formal notation for describing ...
Tópico(s): Service-Oriented Architecture and Web Services
2020 - Springer Science+Business Media | Lecture notes in computer science
In this work we present an algorithm for computing an integrable function almost everywhere on (0,1) when its moments are known. The method is based on the use of certain delta-shaped sequences, and can be adjusted to take advantage of the local smoothness of the function. As an application, we give an algorithm for the pointwise inversion of the Laplace transform which utilizes the values of the image function at equidistant points.
Tópico(s): Bayesian Methods and Mixture Models
1979 - Cambridge University Press | Proceedings of the Royal Society of Edinburgh Section A Mathematics
The cold dark matter search has been carried out at Oto Cosmo Observatory with the large volume NaI(Tl) scintillators of ELEGANT V. The new limits on WIMPs could be obtained by the analysis of the annual modulation.
Tópico(s): Computational Physics and Python Applications
2001 - American Institute of Physics | AIP conference proceedings
Thomas Seifried, Hans-Christian Jetter, Michael Haller, Harald Reiterer,
Creating novel user interfaces that are "natural" and distributed is challenging for designers and developers. "Natural" interaction techniques are barely standardized and in combination with distributed UIs additional technical difficulties arise. In this paper we present the lessons we have learned in developing several natural and distributed user interfaces and propose design patterns to support development of such applications.
Tópico(s): Software Engineering and Design Patterns
2011 - Springer Nature | Human-computer interaction series
Physicists at a recent workshop were encouraged to think broadly to identify the universe’s dark matter.
Tópico(s): Dark Matter and Cosmic Phenomena
2017 - AIP Publishing | Physics Today
... analyzes the evaporation of weakly interacting massive particles (WIMPs) from the sun, both analytically and numerically. First, ... truncation of a Maxwell-Boltzmann distribution for the WIMPs and calculating the exact evaporation rate from this ... Then, the actual (nonthermal) distribution of Dirac neutrino WIMPs in the sun is calculated numerically for WIMPs of mass 1-7 GeV. Evaporation from the ...
Tópico(s): Cosmology and Gravitation Theories
1987 - IOP Publishing | The Astrophysical Journal
We reexamine the model-independent data analysis methods for extracting properties of Weakly Interacting Massive Particles (WIMPs) by using data (measured recoil energies) from direct Dark Matter detection experiments directly and, as a more realistic study, consider a small fraction of residue background events, which pass all discrimination criteria and then mix with other real WIMP-induced signals in the analyzed data sets. In this talk, the effects of residue backgrounds on the determination of ...
Tópico(s): Gaussian Processes and Bayesian Inference
2011 - World Scientific | International Journal of Modern Physics D
This paper describes some recent research and development into providing graphical alternatives to the usual command interface to the Unix operating system. Attention focuses on a WIMP system developed for the Apple Macintosh computer.
Tópico(s): Computational Physics and Python Applications
1988 - Elsevier BV | Information and Software Technology
We consider direct detection of neutralino WIMP and the upward‐going muon flux due to the WIMP annihilations in the cores of the sun and the earth, including the upper bound on the branching ratio for Bs → μ+μ− decay. We find that the constraint from Bs → μ+μ− is very strong in most parameter space, and excludes substatial part of the supergravity parameter space regions where the direct detection rates are within current experimental sensitivities and the expected upward‐going muon fluxes are within ...
Tópico(s): Computational Physics and Python Applications
2005 - American Institute of Physics | AIP conference proceedings
Tópico(s): Computational Physics and Python Applications
2017 - Cambridge University Press | Bulletin of the American Physical Society
A recursive algorithm for implementing Wimp's vector sequence transformation is given. One can see that the vector E-algorithm is a particular case. Convergence results and convergence acceleration results are proved. The stability problem is also studied. We end with a discussion on the second Wimp vector sequence transformation.
Tópico(s): Metaheuristic Optimization Algorithms Research
1995 - Elsevier BV | Journal of Computational and Applied Mathematics
Tópico(s): Computational Physics and Python Applications
2016 - Cambridge University Press | Bulletin of the American Physical Society
Abstract Courseware development often involves a great deal of effort. One approach to minimising effort while maintaining flexibility is illustrated, using a tutoring system as an example. The system comprises two parts: a ‘shell’ which contains facilities useful for many different subjects, and an interpreter which generates questions which are subject specific.
Tópico(s): Educational Technology and Assessment
1990 - Wiley | British Journal of Educational Technology
Rémi Bastide, David Navarre, Philippe Palanque,
... the components of highly interactive (also called post-WIMP) applications. The framework is supported by a case ... added in order to take into account post-WIMP interfaces' specificities. Section 5 presents the case tool ...
Tópico(s): Business Process Modeling and Analysis
2003 - Oxford University Press | Interacting with Computers