Academic literature on the topic 'Calcul interactif'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Calcul interactif.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Calcul interactif"

1

Rocher, P., and C. Cavelier. "Production d'éléments orbitaux de comètes sur PC." Symposium - International Astronomical Union 172 (1996): 357–60. http://dx.doi.org/10.1017/s0074180900127688.

Full text
Abstract:
La puissance de calcul des ordinateurs PC actuels permet leur utilisation pour des travaux qui étaient, jusqu'à ces dernières années, effectués exclusivement sur de gros ordinateurs. Le mode interactif utilisé pour la gestion et la saisie des données, facilement mis en œuvre sur les PC, permet un gain de temps important par rapport au travail classique en traitement par lot (batch). Nous présentons ici un logiciel PC, permettant le calcul et l'amélioration des éléments orbitaux des comètes. Une bonne connaissance de ces éléments est indispensable pour le calcul des éphémérides, notamment pour la redécouverte des comètes périodiques.
APA, Harvard, Vancouver, ISO, and other styles
2

Bovas, Magali, Etienne Chabloz, and Vanessa Lentillon-Kaestner. "Projet « Lü_Move & Learn »." L'Education physique en mouvement, no. 5 (December 18, 2022): 23–26. http://dx.doi.org/10.26034/vd.epm.2021.3522.

Full text
Abstract:
Le projet d’innovation « Lü_Move & Learn » vise à évaluer un nouvel outil d’enseignement en éducation physique, le dispositif interactif Lü, qui s’appuie sur le principe des jeux vidéo actifs. Dans le cadre de ce projet, nous avons conçu une séquence interdisciplinaire en mathématiques et en éducation physique pour des élèves de 7-8P qui permet de répondre aux objectifs du Plan d’Etudes Romand (PER) et qui utilise le dispositif interactif Lü. Ce dispositif est censé favoriser l’engagement des élèves, via les animations qu’il propose, en combinant le plus souvent des temps de réflexion (par exemple faire un calcul mental, épeler un mot, etc.) et d’action (par exemple lancer un ballon sur une réponse possible).
APA, Harvard, Vancouver, ISO, and other styles
3

Douady, Régine. "Géométrie, graphiques, fonctions au collège." Revista Electrónica de Investigación en Educación en Ciencias 6, no. 1 (2015): 1–7. http://dx.doi.org/10.54343/reiec.v6i1.69.

Full text
Abstract:
L'apprentissage des mathématiques s'inscrit sur le long terme et en général dans une structure institutionnelle : l'école. L'apprenant construit sa connaissance au fil des années, dans un rapport interactif avec ses enseignants, les autres élèves de sa classe et toutes les autres sources que la vie sociale met à sa disposition.Dans le texte ci-dessous, nous présentons un ensemble de problèmes dont l'enjeu mathématique est la notion d'approximation traitée à un moment de la scolarité : élèves de 12-15 ans, de façon contextualisée. Ce n'est qu'une approche, la question du calcul d'erreur n'est pas abordée. Nombres et mesures y sont impliqués dans différents cadres en interaction : numérique, géométrique, fonctionnel, graphique. Nous y expliquons nos choix didactiques et les raisons des choix de l'ingénierie proposée. La référence est la dialectique outil/objet et jeux de cadres. Elle nous offre une grille pour élaborer les séquences de classe et aussi pour repérer et analyser les relations entre l'enseignant et les élèves : qui est responsable de quoi, qui fait quoi. L'enseignant a des marges de manoeuvre pour organiser et conduire son enseignement, il a des attentes concernant les élèves. Nous y faisons référence.Mots clés: cadre (géométrique, numérique,..., interaction entre, changement de, jeux de), dialectique outil-objet, ingénierie didactique, méthode, outil (implicite, explicite), problème (sens de, résolution de), variable, variations (étude de).
APA, Harvard, Vancouver, ISO, and other styles
4

Milner, Robin. "Calculi for interaction." Acta Informatica 33, no. 5 (1996): 707–37. http://dx.doi.org/10.1007/bf03036472.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Milner, Robin. "Calculi for interaction." Acta Informatica 33, no. 8 (1996): 707–37. http://dx.doi.org/10.1007/s002360050067.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Long, Olivier. "L’intelligence artificielle, une idiotie? Quelques loopings avec Claude Closky." Figures de l'Art. Revue d'études esthétiques 6, no. 1 (2002): 313–37. http://dx.doi.org/10.3406/fdart.2002.1318.

Full text
Abstract:
Chaque événement nous rend idiot. Car l’idiotie, c’est le retard sur ce qui arrive. Comment anticiper l’événement sinon par calcul ? Le réel est pourtant ce qui surprend le possible, disait Bergson. Ceci signifie que le virtuel est au-delà du calcul, du possible, des projets de science-fiction les plus futuristes, il est une puissance d’événement immanente au réel même. “Idiot” signifie également non séparé, immanent, impossible à dédoubler. Le réel est idiot. Comment cette puissance d’événement immanente au réel se manifeste-t-elle dans l’oeuvre technologique, si l’oeuvre est par nature événement, et si l’événement disjoint, surprend tout horizon d’attente, toute prévisibilité, toute calculabilité ? D’un point de vue différent, l’événement fait retour. Cette réitération de l’événement permet de poser l’hypothèse d’un réel en calcul. Calcul effectué sans transcendance, il montre à l’oeuvre un virtuel machinique. Comment certains artefacts peuvent-il entrer en intelligence avec la répétition qui travaille un réel idiot ? En quelques loopings, par bouclage, une oeuvre interactive de Claude Closky nous donne à découvrir une forme d’intelligence artefactuelle idiote.
APA, Harvard, Vancouver, ISO, and other styles
7

Neumann, Rebecca D., Annette L. Ruby, Gerald V. Ling, Peter S. Schiffman, and Deedra L. Johnson. "Ultrastructure of selected struvite-containing urinary calculi from cats." American Journal of Veterinary Research 57, no. 1 (1996): 12–24. http://dx.doi.org/10.2460/ajvr.1996.57.01.12.

Full text
Abstract:
Abstract Objective To elucidate the ultrastructural details of struvite-containing urinary calculi from cats. Design Specimens studied were inclusive of the range of textures visible during preliminary analysis by use of a stereoscopic dissecting microscope. Textural types, which were used to infer crystal growth conditions, were differentiated with regard to crystal habit, crystal size, growth orientation, and primary porosity. Sample Population Thirty specimens were selected from a collection of approximately 1,600 feline urinary calculi: 20 of these were composed entirely of struvite, and 10 consisted of struvite and calcium phosphate (apatite). Procedure Qualitative and quantitative analyses of specimens included use of plain and polarized light microscopy, x-ray diffractometry, scanning electron microscopy with backscattered electron imagery, x-ray fluorescence scans, and electron probe microanalysis. Results Four textural types were recognized among struvite calculi, whereas 2 textural types of struvite-apatite calculi were described. Conclusions The presence of minute, well interconnected primary pores in struvite-containing urinary calculi from cats is an important feature, which may promote possible interaction of calculi with changes in urine composition. Clinical Relevance Primary porosity, which can facilitate interaction between the calculus and changing urine composition, may explain the efficacy of dietary or medicinal manipulations to promote the dissolution of struvite-containing uroliths from this species. (Am J Vet Res 1996;57:12–24)
APA, Harvard, Vancouver, ISO, and other styles
8

Domingo-Neumann, Rebecca A., Annette L. Ruby, Gerald V. Ling, Peter S. Schiffman, and Deedra L. Johnson. "Ultrastructure of selected struvite-containing urinary calculi from dogs." American Journal of Veterinary Research 57, no. 9 (1996): 1274–87. http://dx.doi.org/10.2460/ajvr.1996.57.09.1274.

Full text
Abstract:
Abstract Objective To elucidate the ultrastructural details of struvite-containing urinary calculi from dogs. Sample Population 38 specimens were selected from a collection of approximately 13,000 canine urinary calculi: 18 of these were composed entirely of struvite, and 20 consisted of struvite and calcium phosphate (apatite). Procedure Qualitative and quantitative analyses of specimens included use of plain and polarized light microscopy, x-ray diffractometry, scanning electron microscopy with backscattered electron imagery, x-ray fluorescence scans, and electron microprobe analysis. Results 4 textural types were recognized among struvite calculi, and 4 textural types of struvite-apatite calculi were described. Evidences of calculus dissolution were described from 4 calculi studied. Conclusions The presence of small, well interconnected primary pores in struvite-containing urinary calculi from dogs appears to be a significant factor in determining the possible interaction of calculi with changes in the urine composition. The progress of dissolution from the calculus surface to the calculus interior appears to be largely affected by the primary porosity originally present between crystals forming the calculus framework. Apatite was observed to be more resistant to dissolution than struvite. Clinical Relevance The prevalence of fine concentric laminations having low porosity, and the common occur-rence of apatite among struvite-containing urinary calculi from dogs may be 2 reasons why the efficacy of dietary and medicinal manipulations in dissolving urinary calculi is greater among cats than it is among dogs. (Am J Vet Res 1996;57:1274-1287)
APA, Harvard, Vancouver, ISO, and other styles
9

Cohn, A. G., S. Li, W. Liu, and J. Renz. "Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects." Journal of Artificial Intelligence Research 51 (October 29, 2014): 493–532. http://dx.doi.org/10.1613/jair.4513.

Full text
Abstract:
Increasing the expressiveness of qualitative spatial calculi is an essential step towards meeting the requirements of applications. This can be achieved by combining existing calculi in a way that we can express spatial information using relations from multiple calculi. The great challenge is to develop reasoning algorithms that are correct and complete when reasoning over the combined information. Previous work has mainly studied cases where the interaction between the combined calculi was small, or where one of the two calculi was very simple. In this paper we tackle the important combination of topological and directional information for extended spatial objects. We combine some of the best known calculi in qualitative spatial reasoning, the RCC8 algebra for representing topological information, and the Rectangle Algebra (RA) and the Cardinal Direction Calculus (CDC) for directional information. We consider two different interpretations of the RCC8 algebra, one uses a weak connectedness relation, the other uses a strong connectedness relation. In both interpretations, we show that reasoning with topological and directional information is decidable and remains in NP. Our computational complexity results unveil the significant differences between RA and CDC, and that between weak and strong RCC8 models. Take the combination of basic RCC8 and basic CDC constraints as an example: we show that the consistency problem is in P only when we use the strong RCC8 algebra and explicitly know the corresponding basic RA constraints.
APA, Harvard, Vancouver, ISO, and other styles
10

Dai, Jianhua. "Generalized Rough Logics with Rough Algebraic Semantics." International Journal of Cognitive Informatics and Natural Intelligence 4, no. 2 (2010): 35–49. http://dx.doi.org/10.4018/jcini.2010040103.

Full text
Abstract:
The collection of the rough set pairs <lower approximation, upper approximation> of an approximation (U, R) can be made into a Stone algebra by defining two binary operators and one unary operator on the pairs. By introducing a more unary operator, one can get a regular double Stone algebra to describe the rough set pairs of an approximation space. Sequent calculi corresponding to the rough algebras, including rough Stone algebras, Stone algebras, rough double Stone algebras, and regular double Stone algebras are proposed in this paper. The sequent calculi are called rough Stone logic (RSL), Stone logic (SL), rough double Stone logic (RDSL), and double Stone Logic (DSL). The languages, axioms and rules are presented. The soundness and completeness of the logics are proved.
APA, Harvard, Vancouver, ISO, and other styles
More sources
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography