Filters








8 Hits in 4.4 sec

The algebraic cast of Poincaré's Méthodes nouvelles de la mécanique céleste [article]

Frederic Brechenmacher
2013 arXiv   pre-print
Yet, the novelty of Poincaré's strategy can also be analyzed as having been cast out some specific algebraic practices for manipulating systems of linear equations.  ...  This paper aims at shedding a new light on the novelty of Poincaré's Méthodes nouvelles de la mécanique céleste.  ...  calculer les éphémérides des astres quelques années d’avance pour les besoins de la navigation ou pour que les astronomes puissent retrouver les petites planètes déjà connues.  ... 
arXiv:1305.2689v1 fatcat:egvh5mejvrgwjfdmwhua2xkuqi

Algorithmes rapides pour les polynômes, séries formelles et matrices

Alin Bostan
2010 Les cours du CIRM  
Dans ce chapitre, nous montrons que pour la plupart des questions d'algèbre linéaire dense -multiplication, inversion, déterminant, résolution de système -il existe des algorithmes plus efficaces, de complexité  ...  CHAPITRE 3 Algèbre linéaire dense : de Gauss à Strassen Résumé L'algèbre linéaire est au coeur de nombreux problèmes algorithmiques.  ...  Nous allons en déduire ensuite une procédure de décision et calcul pour (RR).  ... 
doi:10.5802/ccirm.9 fatcat:ud3leyrqnzhyngsz6lx5zy2yt4

H2 optimal and frequency limited approximation methods for large-scale LTI dynamical systems

Pierre Vuillemin, Charles Poussot-Vassal, Daniel Alazard
2013 IFAC Proceedings Volumes  
Mots-clés : modèles linéaires invariants dans le temps, modèles de grande dimension, réduction de modèles, approximation de modèles, approximation de modèles sur intervalles de fréquences limités iii Abstract  ...  Dans le cas des modèles dynamiques Linéaires et Invariants dans le Temps (LTI), la complexité se traduit par une dimension importante du vecteur d'état et on parle alors de modèles de grande dimension.  ...  Partie II : État de l'art Chapitre 2 : Élements préliminaires concernant la théorie des systèmes linéaires Dans ce chapitre sont rappelés quelques éléments de la théorie des systèmes linéaires.  ... 
doi:10.3182/20130204-3-fr-2033.00061 fatcat:ijxrjgml45ephgvq53v37pxiyi

Sens et non-sens de l'hylétique dans la phénoménologie de Husserl The Typicality and Habituality of Everyday Cognitive Experience in Alfred Schutz's Phenomenology of the Lifeworld Foetal Space in Real Time: On Ultrasound, Phenomenology and Cultural Rhetoric Gadamer and the Lessons of Arithmetic in Plato's Hippias Major

Meta Meta, Meta Meta, Meta Meta, Stefan Afloroaei, Al Cuza, Corneliu Bilba, Al Cuza, George Bondor, Assoc Prof, Al Cuza, June, December (+46 others)
2017 Al. I. Cuza" University Press META Research in Hermeneutics, Phenomenology, and Practical Philosophy   unpublished
X); Decisionism, Postmodernism and International Relations, (ROJIRES, v. 2); Ideology and progress, (JSE v. III/nr.1).  ...  Mathematization looks for uniformity, linearity, regularity.  ...  (a) For example, if I decide something, my act of decision elapses, but my decision remains.  ... 
fatcat:agit3xjafzh2rprb56mimfmhhy

Analogical reasoning and working memory in students with intellectual disability : effects of actively constructing the response on a touch screen

Caroline Denaes, Fredi Büchel, Mireille Betrancourt
2011
Néanmoins, ces procédures ont également été critiquées pour leur manque de standardisation.  ...  sont désormais utilisés pour enseigner une variété d'habiletés, telles que la résolution de problèmes ou l'arithmétique (Mastropieri, Scruggs, & Shiah, 1997) .  ... 
doi:10.13097/archive-ouverte/unige:17361 fatcat:ecovhzh2lzff5pai7l2qfv2af4

Interference between processing and storage in working memory : a domain-general mechanism of time-based resource sharing ?

Evie Vergauwe, Pierre Noël Barrouillet
2010
of complex cognitive behaviour such as planning, organizing, imagery, learning, reasoning, mental rotation, arithmetic, problem solving, abstraction, reading and comprehension.  ...  My warm thanks also go to my Belgian friends for the rare, but terrific moments we have spent together and for being there when I needed it, despite the distance. ...  ...  Les droites de régression linéaire sont aussi représentées.  ... 
doi:10.13097/archive-ouverte/unige:9841 fatcat:h3cflucfjrfknp3xmzn7punxau

A machine-checked proof of correctness of Pastry [article]

Noran Azmy, Universität Des Saarlandes, Universität Des Saarlandes
2017
Second, I present a complete TLA + proof of correct delivery for LuPastry + .  ...  The proof of correctness of Simplified LuPastry + is written by reusing the proof for LuPastry + , which represents a success story in proof reuse, especially for proofs of this size.  ...  de preuve relativesà une certaine théorie comme l'arithmétique ou la théorie des ensembles. 3 Pour des systèmes de grande taille, un outil interactif de preuve, aussi appelé assistantà la preuve, est  ... 
doi:10.22028/d291-26683 fatcat:3gjufw6lvva6fgz3chst3dbl3m

Natura di Anima e Numero nella letteratura aritmologica italiana del secondo Rinascimento (1500-1630)

MARCO GHIONE
2021
s De anima traditionis Opus (1508) to the De Harmonia mundi of Francesco Zorzi (1525) and the Hebdomades of Fabio Paolini (1589), focusing particularly on numerical symbolism.  ...  et de quelques théologiens médiévaux.  ...  Depuis l'apogée du XVIe siècle, il faut quelques années pour arriver à la publication de l'une des critiques les plus vives de la philosophie péripatéticienne, toujours fermement au centre de l'enseignement  ... 
doi:10.15167/ghione-marco_phd2021-05-26 fatcat:vej2kvbdmnd3vkfxdmlji3js6e