Search results for "CONSTRAINT"
showing 10 items of 361 documents
Constraints representing a meta-stable régime facilitate exploration during practice and transfer of learning in a complex multi-articular task
2018
Previous investigations have shown that inducing meta-stability\ud in behavior can be achieved by overlapping affordances through constraint\ud manipulation, allowing cooperative and competitive tendencies to\ud functionally coexist. The purpose of this paper was to test a number of\ud conditions applying these design principles on performance during skills\ud practice and transfer. Of additional interest, was whether the existing\ud skill level interacted with the environmental properties of the\ud experimental tasks (varying indoor climbing routes). Two skill groups\ud practised on three routes per session over four separate sessions. At the\ud end of the final session, climbers undertook…
Music in the moment? Revisiting the effect of large scale structures.
2007
The psychological relevance of large-scale musical structures has been a matter of debate in the music community. This issue was investigated with a method that allows assessing listeners' detection of musical incoherencies in normal and scrambled versions of popular and contemporary music pieces. Musical excerpts were segmented into 28 or 29 chunks. In the scrambled version, the temporal order of these chunks was altered with the constraint that the transitions between two chunks never created local acoustical and musical disruptions. Participants were required (1) to detect on-line incoherent linking of chunks, (2) to rate aesthetic quality of pieces, and (3) to evaluate their overall co…
Visual inference of arm movement is constrained by motor representations
2015
International audience; Several studies support the idea that motion inference is strongly motor dependent. In the present study, we address the role of biomechanical constraints in motion prediction and how this implicit knowledge can interfere in a spatial prediction task. Right-handed (RHS) and left-handed subjects (LHS) had to estimate the final position of a horizontal arm movement in which the final part of the trajectory was hidden. Our study highlighted a direction effect: end point prediction accuracy was better to infer the final position of horizontal motion directed toward the median line of human body. This finding suggests that the spatial prediction of end point is mapped ont…
Effects of plantar flexor muscle fatigue induced by electromyostimulation on postural coordination
2007
International audience; The aim of the present study was to investigate the influence of a modification of an intrinsic capacity (plantar flexor strength) on the implementation of in-phase and anti-phase mode of coordination. Analysis of hip and ankle relative phases during fore-aft tracking task was done before and after an electromyostimulation fatigue protocol on the soleus muscles. Results showed participants used exclusively in-phase and anti-phase modes of coordination, with a sudden switch from one to the other with target frequency increase. Regarding tracking tasks, fatigue induces a decrease of performance for lower frequencies, and a significant decrease of switch frequency (−0.0…
Modular reorganization of gait in chronic but not in artificial knee joint constraint
2021
It is currently unknown if modular reorganization does occur if not the central nervous system, but the musculoskeletal system is affected. The aims of this study were to investigate 1) the effects of an artificial knee joint constraint on the modular organization of gait in healthy subjects; and 2) the differences in modular organization between healthy subjects with an artificial knee joint constraint and people with a similar but chronic knee joint constraint. Eleven healthy subjects and eight people with a chronic knee joint constraint walked overground at 1 m/s. The healthy subjects also walked with a constraint limiting knee joint movement to 20_. The total variance accounted (tVAF) f…
Improving Interpolants for Linear Arithmetic
2015
Craig interpolation for satisfiability modulo theory formulas have come more into focus for applications of formal verification. In this paper we, introduce a method to reduce the size of linear constraints used in the description of already computed interpolant in the theory of linear arithmetic with respect to the number of linear constraints. We successfully improve interpolants by combining satisfiability modulo theory and linear programming in a local search heuristic. Our experimental results suggest a lower running time and a larger reduction compared to other methods from the literature.
Motivic Pattern Extraction in Symbolic Domain
2008
This chapter offers an overview of computational research in motivic pattern extraction. The central questions underlying the topic, concerning the formalization of the motivic structures, the matching strategies and the filtering of the results, have been addressed in various ways. A detailed analysis of these problems leads to the proposal of a new methodology, which will be developed throughout the study. One main conclusion of this review is that the problems cannot be tackled using purely mathematic or geometric heuristics or classical engineering tools, but require also a detailed understanding of the multiple constraints derived by the underlying cognitive context.
The Bernstein Basis and its applications in solving geometric constraint systems
2012
International audience; This article reviews the properties of Tensorial Bernstein Basis (TBB) and its usage, with interval analysis, for solving systems of nonlinear, univariate or multivariate equations resulting from geometric constraints. TBB are routinely used in computerized geometry for geometric modelling in CAD-CAM, or in computer graphics. They provide sharp enclosures of polynomials and their derivatives. They are used to reduce domains while preserving roots of polynomial systems, to prove that domains do not contain roots, and to make existence and uniqueness tests. They are compatible with standard preconditioning methods and fit linear program- ming techniques. However, curre…
TANGENTIAL DEFORMATIONS ON FIBRED POISSON MANIFOLDS
2005
In a recent article, Cattaneo, Felder and Tomassini explained how the notion of formality can be used to construct flat Fedosov connections on formal vector bundles on a Poisson manifold $M$ and thus a star product on $M$ through the original Fedosov method for symplectic manifolds. In this paper, we suppose that $M$ is a fibre bundle manifold equipped with a Poisson tensor tangential to the fibers. We show that in this case the construction of Cattaneo-Felder- Tomassini gives tangential (to the fibers) star products.
Medical Data Mining for Heart Diseases and the Future of Sequential Mining in Medical Field
2018
Data Mining in general is the act of extracting interesting patterns and discovering non-trivial knowledge from a large amount of data. Medical data mining can be used to understand the events happened in the past, i.e. studying a patients vital signs to understand his complications and discover why he has died, or to predict the future by analyzing the events that had happened. In this chapter we are presenting an overview on studies that use data mining to predict heart failure and heart diseases classes. We will also focus on one of the trendiest data-mining field, namely the Sequential Mining, which is a very promising paradigm. Due to its important results in many fields, this chapter …