Готові списки джерел за темами / Calcul interactif

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Книги
  4. Частини книг
  5. Тези доповідей конференцій
  6. Звіти організацій

Добірка наукової літератури з теми "Calcul interactif"

Автор: Grafiati
Опубліковано: 27 лютого 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Calcul interactif".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "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.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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 (October 15, 2015): 1–7. http://dx.doi.org/10.54343/reiec.v6i1.69.

Повний текст джерела
Анотація:
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 та ін.
4

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
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 (January 1, 1996): 12–24. http://dx.doi.org/10.2460/ajvr.1996.57.01.12.

Повний текст джерела
Анотація:
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 та ін.
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 (September 1, 1996): 1274–87. http://dx.doi.org/10.2460/ajvr.1996.57.09.1274.

Повний текст джерела
Анотація:
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 та ін.
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.

Повний текст джерела
Анотація:
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 та ін.
10

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

Повний текст джерела
Анотація:
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 та ін.
Більше джерел

Дисертації з теми "Calcul interactif"

1

Perrotte, Lancelot. "Algorithmes robustes de lancer de rayons pour calcul de dose interactif." Toulouse, ISAE, 2011. http://www.theses.fr/2011ESAE0005.

Повний текст джерела
Анотація:
Dans le contexte actuel, il est plus que jamais nécessaire de disposer d'outils de simulation permettant d'évaluer rapidement la dose reçue par des opérateurs travaillant sur des sites irradiés. Afin d'étuider facilement de nombreux scénarios d'intervention, il nous faut diminuer les temps de calcul des simulateurs actuels, ce qui passe principalement par une accélération des calculs géométriques associés au calcul de dose. Ces calculs consistent à identifier et trier l'ensemble des intersections entre plusieurs groupes de rayons "radiatifs", convergeant tous au point de mesure de la dose, et une scène 3D volumineuse. Afin d'effectuer l'ensemble de ces calculs en une fraction de seconde, nous proposons d'abord un algorithme GPU complet permettant le traitement efficace d'un paquet de rayons cohérents. Ensuite, nous présentons une modification de cet algorithme garantissant la robustesse des tests d'intersection rayon-triangle et l'absence de précision dus aux calculs en arithmétique flottante, sans utilisation de coefficients dépendants de la scène et sans perte de performance notable (moins de 10% de dégradation). Enfin, nous proposons une stratégie efficace de traitement de multiples paquets (nécessaire lors de l'étude de multiples sources de radiations) exploitant ces premiers résultats. Ces méthodes nous permettent d'obtenir un calcul de dose interactif et robuste sur des scènes de taille importante (une scène de plus de 700 000 triangles, et 12 paquets de 100 000 rayons chacun, générant plus de treize millions d'intersections, stockées, triées le long de chaque rayon et transférées vers le CPU en 470 millisecondes).
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Fournier, Gabriel. "Caches multiples et cartes programmables pour un calcul progressif et interactif de l'éclairement global." Lyon 1, 2005. http://www.theses.fr/2005LYO10242.

Повний текст джерела
Анотація:
Avec l'objectif de l'interactivité, le calcul d'images de synthèse nécessite de faire des compromis entre vitesse et qualité. Une méthode progressive qui génère des images dont la qualité s'améliore petit à petit est proposée. Cette méthode repose sur la subdivision progressive et adaptative de plusieurs maillages faisant office de caches d'échantillons qui permettent de réduire la quantité de calculs. Pour obtenir un éclairement réaliste le plus rapidement possible, la méthode fait appel à la carte graphique pour échantillonner la luminance provenant de sources surfaciques. La programmabilité du matériel récent permet de modifier la rastérisation pour obtenir un échantillonnage perturbé dont la qualité est supérieure à celle obtenue par un échantillonnage régulier. Le calcul de l'éclairement indirect est également accéléré grâce à une représentation simplifiée de la scène et à une projection matérielle hémisphérique permettant un échantillonnage plus adapté qu'une projection perspective
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Zidi, Kamel. "Système interactif d’aide au déplacement multimodal (SIADM)." Ecole Centrale de Lille, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Zidi.pdf.

Повний текст джерела
Анотація:
L’objectif de notre travail est la réalisation d’un système interactif d’aide aux déplacements, en mode normal, et en mode dégradé de fonctionnement du réseau de transport en commun. Ce système vise par ailleurs à minimiser le temps d’attente des voyageurs, en mode dégradé, dans les pôles d’échanges et à leur assurer, dans la mesure du possible, la continuité des déplacements dans les réseaux multimodaux. Il s’agit donc d’améliorer la qualité du service rendu aux voyageurs et les maintenir informés. Une grande partie du travail de cette thèse concerne la conception, le développement et la validation des approches qui permettent de donner des solutions optimales ou quasi optimales, pour un réseau de transport normal et perturbé. Ces approches utilisent une méthode multicritère de recherche d’itinéraire qui s’appuie sur une hybridation entre un algorithme de Dijkstra modifié et un algorithme génétique, pour générer une population de chemins minimums. L’algorithme de Dijkstra modifié nous donne un ensemble de solutions servant de population initiale pour l’algorithme génétique. La modélisation du réseau de transport est représentée par une architecture multi-zones. Cette architecture nous montre l’aspect distribué du système, les interactions et les relations qui peuvent avoir lieu entre les différentes zones. Nous présentons dans ce travail un Système Multi-Agent d’Aide au Déplacement, SMAAD. Les agents de ce système utilisent le module d’optimisation développé dans la première partie. Notre travail est réalisé dans le cadre du projet « VIATIC-MOBILITE », qui est le projet 6 du pôle de compétitivité I-Trans
The objective of this work is the realization of a system allowing to assist the travellers, and to facilitate their movement in normal and degraded functioning of the transport network. This system aims to minimize the waiting time of the travellers, in degraded mode, at exchanges stations and to assure them, as well as possible, the continuity of their journey in the multimodal transport networks. So it improves the quality of the service returned to the travellers in order to inform them. A first part of the work in this thesis concerns conception, development and validation of our approach which allows giving optimal or almost optimal solutions for a normal and disrupted transport system. This approach uses a multi-objective method of search for optimal route which leans on a hybridization between a modified Dijkstra algorithm and a genetic algorithm. The modified Dijkstra algorithm gives us a set of solutions serving as initial population for the genetic algorithm. The modelling of the transport system is represented by multi-zones architecture. This architecture shows us the distributed aspect of the system, and the interactions and the relations which can take place among various zones. We present in this work a Multi-agent system of Help to the Movement. These agents use the module of optimization developed in the first part. Our work is realized within the framework of the "VIATIC-MOBILITE" project, which is the project 6 of the I-Trans Competitiveness cluster
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Hoarau, Romain. "Rendu interactif d'image hyper spectrale par illumination globale pour la prédiction de la signature infrarouge d'aéronefs." Electronic Thesis or Diss., Aix-Marseille, 2019. http://theses.univ-amu.fr.lama.univ-amu.fr/191219_HOARAU_358wfqq893efe918esmfu405fjhqvj_TH.pdf.

Повний текст джерела
Анотація:
Le dimensionnement de capteur est un enjeu majeur pour le domaine de la détection d'aéronefs. Dans cette optique, il est nécessaire de simuler ces capteurs via des modèles et un nombre conséquent d'images spectrales d'aéronefs. L'obtention de ces images via des campagnes aériennes de mesure est toutefois onéreuse et difficile. Une simulation de ces données s'impose donc. Afin de répondre à ces besoins, des algorithmes d'illumination globale à haute dimension spectrale sont utilisés. Dans ces conditions, ces algorithmes posent des problèmes de consommation mémoire et de temps de calcul. Le projet de recherche de cette thèse s'inscrit dans le cadre de ces problématiques.Dans un premier temps, nous nous sommes focalisés sur l'algorithme du Path Tracing et la parallélisation GPUpour le rendu d'images spectrales. Nous avons d'abord analysé les problèmes de ce type de rendu sur GPU.Nous avons ensuite proposé une nouvelle méthode et un schéma de parallélisation spectral qui permettent de réduire significativement la consommation mémoire et les temps de calcul.Dans un second temps, nous avons cherché à réduire la charge de calcul spectrale de la simulation. À cet égard, nous avons proposé de généraliser le rendu spectral stochastique d'image dans l'espace CIE XYZ en rendu d'image spectrale stochastique. Cette méthode permet de rendre directement et de manière plus précise et rapide les canaux d'un capteur en diminuant la dimension spectrale de la simulation. Pour conclure, les travaux de cette thèse permettent de simuler de manière précise des images multi, hyper et ultra spectrales. Le temps interactif peut être atteint dans notre cas en multi et hyper spectrale
Sensor dimensioning is a major issue for the aircraft detection field. In this vein, it is appropriate to simulate these sensorsvia models and a consequent set of spectral images. The acquisition of these images via an airborne measure campaign is unfortunately costly and difficult. A robust and fast simulation of these data is hence very appealing.In order to answer these needs, global illumination methods in high spectral dimension are used. In these circumstances,these methods raise serious issues in term of memory consumption and of computing time. Our research project focuses on these problematics.In the first instance, we have focused on the Path Tracing method and its GPU parallelization for the spectral image rendering. We have investigated at first the issues of this kind of rendering on the GPU. Then we have proposed a new method and an efficient spectral parallelization pattern which allows us to reduce significantly the memory consumption and thecomputing time.In the second phase, we have investigated how to reduce the spectral computational load of the simulation. Inthat sense, we have proposed to generalize the stochastic spectral rendering of color (XYZ) image to the stochastic spectral image rendering. This new method renders directly the channels of a sensor which allows us to reduce the memory andthe computing requirements by reducing the spectral computational load of the simulation.To sum up, the works of this thesis allows us to simulate accurately multi, hyper and ultra spectral images. The interactive time can be achieved in our case in multi and hyper spectral resolution
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Yan, Sen. "Personalizing facial expressions by exploring emotional mental prototypes." Electronic Thesis or Diss., CentraleSupélec, 2023. http://www.theses.fr/2023CSUP0002.

Повний текст джерела
Анотація:
Les expressions faciales sont une forme essentielle de communication non verbale. Aujourd’hui, les techniques de manipulation des expressions faciales (FEM) ont envahi notre quotidien. Cependant, dans le contexte de l’application, plusieurs exigences doivent être satisfaites. Diversité : les prototypes d’expression faciale doivent être multiples et différents selon les utilisateurs. Flexibilité : les expressions faciales doivent être personnalisées, c’est-à-dire que le système peut trouver le prototype d’expression faciale qui répond aux besoins des utilisateurs. Exhaustivité : la plupart des technologies FEM ne peuvent traiter que les six émotions de base, alors qu’il existe plus de 4000 émotions dans le monde réel. Absence d’expertise : le système FEM doit pouvoir être contrôlé par n’importe qui sans nécessiter de connaissances spécialisées (par exemple, des psychologues). Efficacité : le système avec interaction doit tenir compte de la fatigue de l’utilisateur. Dans cette thèse, pour répondre à toutes les exigences, nous avons proposé une approche interdisciplinaire en combinant les réseaux adversaires génératifs avec le processus de corrélation renversée psychophysique. De plus, nous avons créé un algorithme génétique microbien interactif pour optimiser l’ensemble du système
Facial expressions are an essential form of nonverbal communication. Nowfacial expression manipulation (FEM) techniques have flooded our daily lives. However,in the application context, there are several requirements that need to be addressed. Diversity: facial expression prototypes should be multiple and different between different users. Flexibility: facial expressions should be personalized, i.e., the system can find the facial expression prototype that can meet the need of the users. Exhaustiveness: most FEM technologies can only deal with the six basic emotions, whereas there are more than 4000 emotion labels. Expertise-free: the FEM system should be controllable by anyone withoutthe need for expert knowledge (e.g., psychol-ogists). Efficiency: the system with interactionshould consider user fatigue. In this thesis, to fulfill all the requirements,we proposed an interdisciplinary approach by combining generative adversarial networks with the psychophysical reverse correlation process. Moreover, we created an interactive microbial genetic algorithm to optimize the entire system
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Del, vecchio Stefano. "Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCD075.

Повний текст джерела
Анотація:
À partir des travaux dont l'objectif est d'étendre la correspondance de Curry-Howard au-delà du monde fonctionnel, et notamment aux algèbres de processus par exemple à travers la logique linéaire, on donne une contrepartie à la Curry-Howard pour le Calcul des Systèmes Communicants (CCS) de Milner, avec la ludique de Girard comme système cible
Starting from works aimed at extending the Curry-Howard correspondence beyond the functional world, in particular to process calculi, thorugh linear logic, we give another Curry-Howard counterpart for Milner's Calculus of Communicating Systems (CCS), by taking Girard’s ludics as the target system
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Allard, Jérémie. "FlowVR : calculs interactifs et visualisation sur grappe." Phd thesis, Grenoble INPG, 2005. http://tel.archives-ouvertes.fr/tel-00120650.

Повний текст джерела
Анотація:
Cette thèse combine le calcul haute performance à la réalité virtuelle pour permettre la conception de méthodes de couplage de composants parallèles à l'intérieur d'applications distribuées et interactives.
Un nouveau modèle de couplage est présenté, conçu selon des critères de modularité, simplicité, efficacité et extensibilité. La construction des applications repose sur une séparation entre la programmation de modules parallèles réutilisables et la définition de l'application sous forme de graphe de flux de données contenant des mécanismes de filtrage et de synchronisations, permettant d'exprimer des schémas de communication collective et des politiques de couplage avancées.
Ce travail sur le couplage interactif est complété par une extension haut niveau concernant le rendu distribué. En exploitant une description modulaire de la scène 3D en primitives indépendantes basées sur l'utilisation de shaders, des réseaux de filtrage permettent de combiner plusieurs flux pour acheminer efficacement les informations aux machines de rendu. Ce système est très extensible et permet la création de nouvelles applications exploitant la puissance des cartes graphiques pour décharger certains calculs des processeurs et réduire les transferts réseau.
De nombreuses applications nouvelles sont ainsi développées, combinant des algorithmes de vision parallélisés immergeant l'utilisateur dans l'environnement virtuel, et des interactions avec des objets contrôlés par des simulations physiques distribuées (poterie, collisions, fluides).
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Aymer, de la Chevalerie Dominique. "Interaction onde de choc-couche limite modélisation et calcul." Grenoble 2 : ANRT, 1986. http://catalogue.bnf.fr/ark:/12148/cb37595581g.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Betermin, Laurent. "Energies de réseaux et calcul variationnel." Thesis, Paris Est, 2015. http://www.theses.fr/2015PEST1006/document.

Повний текст джерела
Анотація:
Dans cette thèse, nous étudions des problèmes de minimisation d'énergies discrètes et nous cherchons à comprendre pourquoi une structure périodique peut être un minimiseur pour une énergie d'interaction, c'est ce que l'on appelle un problème de cristallisation. Après avoir montré qu'un réseau de R^d soumis à un certain potentiel paramétré peut être vu comme un minimum local, nous démontrons des résultats d'optimalité du réseau triangulaire parmi les réseaux de Bravais du plan pour certaines énergies par point, avec ou sans densité fixée. Finalement, nous démontrons, à partir des travaux de Sandier et Serfaty sur les gaz de Coulomb bidimensionnels, la conjecture de Rakhmanov-Saff-Zhou, c'est-à-dire l'existence d'un terme d'ordre n dans le développement asymptotique de l'énergie logarithmique optimale pour n points sur la sphère unité de R^3. De plus, nous montrons l'équivalence entre la conjecture de Brauchart-Hardin-Saff portant sur la valeur de ce terme d'ordre n et celle de Sandier-Serfaty sur l'optimalité du réseau triangulaire pour une énergie coulombienne renormalisée
In this thesis, we study minimization problems for discrete energies and we search to understand why a periodic structure can be a minimizer for an interaction energy, that is called a crystallization problem. After showing that a given Bravais lattice of R^d submitted to some parametrized potential can be viewed as a local minimum, we prove that the triangular lattice is optimal, among Bravais lattices of R^2, for some energies per point, with or without a fixed density. Finally, we prove, from Sandier and Serfaty works about 2D Coulomb gases, Rakhmanov-Saff-Zhou conjecture, that is to say the existence of a term of order n in the asymptotic expansion of the optimal logarithmic energy for n points on the 2-sphere. Furthermore, we show the equivalence between Brauchart-Hardin-Saff conjecture about the value of this term of order n and Sandier-Serfaty conjecture about the optimality of triangular lattice for a coulombian renormalized energy
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Mayo, Michael E. "Interaction of laser radiation with urinary calculi." Thesis, Cranfield University, 2009. http://dspace.lib.cranfield.ac.uk/handle/1826/4013.

Повний текст джерела
Анотація:
Urolithias, calculus formation in the urinary system, affects 5 – 10% of the population and is a painful and recurrent medical condition. A common approach in the treatment of calculi is the use of laser radiation, a procedure known as laser lithotripsy, however, the technique has not yet been fully optimised. This research examines the experimental parameters relevant to the interactions of the variable microsecond pulsed holmium laser (λ = 2.12 μm, τp = 120 – 800 μs, I ~ 3 MW cm-2) and the Q-switched neodymium laser (λ = 1064 nm, τp = 6 ns, I ~ 90 GW cm-2) with calculi. The laser-calculus interaction was investigated from two perspectives: actions that lead to calculus fragmentation through the formation of shockwave and plasma, and the prospect of material analysis of calculi by laser induced breakdown spectroscopy (LIBS) to reveal elemental composition. This work is expected to contribute to improved scientific understanding and development of laser lithotripsy. The results support the general model of thermal and plasma processes leading to vaporization and pressure pulses. Nd:YAG laser interaction processes were found to be plasma-mediated and shockwave pressure (~ 12 MPa) dependent on plasma and strongly influenced by metal ions. Ho:YAG laser-induced shockwaves (~ 50 MPa) were found to be due to direct vaporisation of water and dependent on laser pulse duration. The characteristics of the pressure pulse waveforms were found to be different, and the efficiency and repeatability of shockwave and the nature of the dependencies for the lasers suggest different bubble dynamics. For the Nd:YAG laser, LIBS has been demonstrated as a potential tool for in situ analysis of calculus composition and has been used for the identification of major and trace quantities of calcium, magnesium, sodium, potassium, strontium, chromium, iron, copper, lead and other elements.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Calcul interactif"

1

McDill, Jean Marie. Interactive calculus with applications. Belmont, CA: Thomson Brooks/Cole, 2006.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Aman, Bogdan. Mobility in Process Calculi and Natural Computing. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

S, Sideman, Beyar Rafael, Landesberg Amir, and New York Academy of Sciences, eds. Interactive and integrative cardiology. Boston, Mass: Blackwell Pub. on behalf of the New York Academy of Sciences, 2006.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Chi, Alice Sut Ying. Calcium-gonadotropin interaction and their regulation of adenylate cyclase in rat luteal membranes. [New Haven: s.n.], 1985.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Soper, Jean. Mathematics for economics and business: An interactive introduction. Oxford, UK: Blackwell Publishers, 1999.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

P, Castéran, ed. Interactive theorem proving and program development: Coq'Art : the calculus of inductive constructions. Berlin: Springer, 2004.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Wake up your call center: Humanizing your interaction hub. 3rd ed. West Lafayette, Ind: Ichor Business Books, 2000.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Ontario. Esquisse de cours 12e année: Fonctions avancées et introduction au calcul différentiel mcb4u cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

The language of outsourced call centers: A corpus-based study of cross-cultural interaction. Amsterdam: John Benjamins Pub. Co., 2009.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Ontario. Esquisse de cours 12e année: Sciences de l'activité physique pse4u cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Calcul interactif"

1

Milner, Robin. "Graphical calculi for interaction." In Automata, Languages and Programming, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63165-8_159.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Haven, Emmanuel. "Quantum Calculus (q-Calculus) and Option Pricing: A Brief Introduction." In Quantum Interaction, 308–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00834-4_26.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Mabille, Etienne, Marc Boyer, Loïc Fejoz, and Stephan Merz. "Towards Certifying Network Calculus." In Interactive Theorem Proving, 484–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39634-2_37.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Yagi, Koichi, Michio Yazawa, Mitsuhiko Ikura, and Kunio Hikichi. "Interaction Between Calmodulin and Target Proteins." In Calcium Protein Signaling, 147–54. Boston, MA: Springer US, 1989. http://dx.doi.org/10.1007/978-1-4684-5679-0_16.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Gratzl, Norbert. "Sequent Calculi for Multi-modal Logic with Interaction." In Logic, Rationality, and Interaction, 124–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40948-6_10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Walukiewicz-Chrząszcz, Daria, and Jacek Chrząszcz. "Inductive Consequences in the Calculus of Constructions." In Interactive Theorem Proving, 450–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14052-5_31.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Peterson, James K. "Predator–Prey Models with Self Interaction." In Calculus for Cognitive Scientists, 355–79. Singapore: Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-287-877-9_11.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Chen, Jinsheng, and Minghui Ma. "Labelled Sequent Calculus for Inquisitive Logic." In Logic, Rationality, and Interaction, 526–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-55665-8_36.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Shimamura, Shuhei. "A Nonmonotonic Modal Relevant Sequent Calculus." In Logic, Rationality, and Interaction, 570–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-55665-8_39.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Pollard, Carl. "The Calculus of Responsibility and Commitment." In Ludics, Dialogue and Interaction, 174–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19211-1_11.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Calcul interactif"

1

Mahalat, Mahabub Hasan, Mrinal Goswami, Subhranil Mondal, Anindan Mondal, and Bibhash Sen. "Design of fault tolerant nano circuits in QCA using explicit cell interaction." In 2017 IEEE Calcutta Conference (CALCON). IEEE, 2017. http://dx.doi.org/10.1109/calcon.2017.8280691.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Chatterjee, Anirban, Sindhunil Bhaumik, Anisha Naskar, Nikhil Mondal, Debashis Chatterjee, and Susanta Ray. "A Transformer-less Grid Interactive Converter Topology for PV based Micro Generator." In 2020 IEEE Calcutta Conference (CALCON). IEEE, 2020. http://dx.doi.org/10.1109/calcon49167.2020.9106472.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Lee, Ho, Jeehyun Kim, Bernard Choi, Joel M. H. Teichman, and A. J. Welch. "High-Speed Photographic Evaluation of Retropulsion Momentum Induced by a Laser Calculi Lithotriptor." In ASME 2001 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/imece2001/htd-24429.

Повний текст джерела
Анотація:
Abstract Since the mid-1980’s, many reports have demonstrated the clinical feasibility of fragmenting urinary and biliary calculi with high power lasers [1,2]. Several lasers such as pulsed dye, alexandrite and holmium:YAG have been successfully used as intracorporeal lithotriptors[3–5]. Calculus fragmentation is produced by the combination of direct thermal energy absorption and laser induced shock waves[5–7]. During this powerful laser-tissue interaction, the calculus is subject to a strong retropulsive momentum caused by particle ejection or laser induced shock waves[8]. If the stone cannot resist this kinetic momentum, it will recoil away from the laser delivery fiber. Then physicians must reorient the fiber to the stone for additional laser irradiation. This cumbersome process makes the procedure inconvenient and difficult and eventually prolongs the operation time. This study is designed to quantify the retropulsive momentum during pulsed laser lithotripsy.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Alsaiari, Hamad Amer, Sujin Yean, Mason B. Tomson, and Amy T. Kan. "Iron Calcium Carbonate: Precipitation Interaction." In SPE International Oilfield Scale Conference. Society of Petroleum Engineers, 2008. http://dx.doi.org/10.2118/114064-ms.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

"Interaction of Polymer With Calcium Hydroxide and Calcium Trisilicate." In SP-119: Superplasticizers and Other Chemical Admixtures in Concrete. American Concrete Institute, 1989. http://dx.doi.org/10.14359/2491.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Abeysinghe, Bhashithe, and Rajshekhar Sunderraman. "An Interactive Lambda Calculus Execution Engine." In CompEd 2023: ACM Global Computing Education Conference 2023. New York, NY, USA: ACM, 2023. http://dx.doi.org/10.1145/3617650.3624942.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Cai, Guoyong, Ji Gao, Junyan Qian, and Lingzhong Zhao. "Formalizing interactive institution with RBA calculus." In International Conference on Intelligent Systems and Knowledge Engineering 2007. Paris, France: Atlantis Press, 2007. http://dx.doi.org/10.2991/iske.2007.153.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Winkler, Christian, Christian Reinartz, Diana Nowacka, and Enrico Rukzio. "Interactive phone call." In the ACM International Conference. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/2076354.2076367.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

SHI, Qing-wen, Qiao-bo SONG, Hui-xin WANG, Chun-ming BAI, Di WU, Qi-ping DONG, Xin CHENG, Xiao-ri HAN, and Yi-fei LIU. "Research Progress of Plant Calcium Nutrition and Calcium / Cold Signal Interaction." In 2nd International Conference on Biomedical and Biological Engineering 2017 (BBE 2017). Paris, France: Atlantis Press, 2017. http://dx.doi.org/10.2991/bbe-17.2017.16.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Limerick, Hannah. "Call to interact." In PerDis '20: The 9th ACM International Symposium on Pervasive Displays. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3393712.3395338.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Calcul interactif"

1

Levy, Maggie, Raymond Zielinski, and Anireddy S. Reddy. IQD1 Function in Defense Responses. United States Department of Agriculture, January 2012. http://dx.doi.org/10.32747/2012.7699842.bard.

Повний текст джерела
Анотація:
The main objective of the proposed research was to study IQD1's mechanism of action and elucidate its role in plant protection. Preliminary experiments suggest that IQD1 binds CaM in a Ca²⁺-dependent manner and functions in general defense responses. We propose to identify proteins and genes that interact with IQD1, which may provide some clues to its mechanism of action. We also plan to dissect IQD1's integration in defense pathways and to study and modulate its binding affinity to CaM in order to enhance crop resistance. Our specific objectives were: (1) Analysis of IQD1's CaM-binding properties; (2) Identification of IQD1 targets;(3) Dissection of IQD1 integration into defense signaling pathways. Analysis of IQD1's CaM-binding properties defined four potential classes of sequences that should affect CaM binding: one is predicted to raise the affinity for Ca²⁺-dependent interaction but have no effect on Ca²⁺-independent binding; a second is predicted to act like the first mutation but eliminate Ca²⁺-independent binding; a third has no predicted effect on Ca²⁺-dependent binding but eliminates Ca²⁺-independent binding; and the fourth is predicted to eliminate or greatly reduce both Ca²⁺-dependent and Ca²⁺-independent binding. Following yeast two hybrid analysis we found that IQD1 interact with AtSR1 (Arabidopsis thalianaSIGNALRESPONSIVE1), a calcium/calmodulin-binding transcription factor, which has been shown to play an important role in biotic and abiotic stresses. We tested IQD1 interaction with both N-terminal or C-terminal half of SR1. These studies have uncovered that only the N-terminal half of the SR1 interacts with the IQD1. Since IQD1 has an important role in herbivory, its interaction with SR1 suggests that it might also be involved in plant responses to insect herbivory. Since AtSR1, like IQD1, is a calmodulin-binding protein and the mutant showed increased sensitivity to a herbivore, we analyzed WT, Atsr1 and the complemented line for the levels of GS to determine if the increased susceptibility of Atsr1 plants to T. ni feeding is associated with altered GS content. In general, Atsr1 showed a significant reduction in both aliphatic and aromatic GS levels as compared to WT. In order to study IQD1's molecular basis integration into hormone-signaling pathways we tested the epistatic relationships between IQD1 and hormone-signaling mutants. For that purpose we construct double mutants between IQD1ᴼXᴾ and mutants defective in plant-hormone signaling and GS accumulation. Epitasis with SA mutant NahG and npr1-1 and JA mutant jar1-1 suggested IQD1 function is dependent on both JA and SA as indicated by B. cinerea infection assays. We also verified the glucosinolate content in the crosses siblings and found that aliphatic GSL content is reduced in the double transgenic plants NahG:IQD1ᴼXᴾ as compare to parental lines while the aliphatic GSL content in the npr1-1:IQD1ᴼXᴾ and jar1-1: IQD1ᴼXᴾ double mutants was intimidated to the parental lines. This suggests that GSL content dependency on SA is downstream to IQD1. As a whole, this project should contribute to the development of new defense strategies that will improve crop protection and reduce yield losses and the amount of pesticides required; these will genuinely benefit farmers, consumers and the environment.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Chalutz, Edo, Michael Wisniewski, Samir Droby, Yael Eilam, and Ilan Chet. Mode of Action of Yeast Biocontrol Agents of Postharvest Diseases of Fruits. United States Department of Agriculture, June 1996. http://dx.doi.org/10.32747/1996.7613025.bard.

Повний текст джерела
Анотація:
In a previous BARD-supported study, three of the investigators of this research were involved in a study on biological control of postharvest diseases of citrus and deciduous fruits. Several naturally occurring, non-antibiotic producing yeast antagonists were identified. Application of some of these antagonists resulted in very high levels of biocontrol under laboratory conditions but lower efficacy in semi-commercial tests. It was felt that the lack of knowledge on the mode of action of the biocontrol agents was limiting their efficient use. The current study was aimed at narrowing this gap in our knowledge. Two specific objectives were outlined: to study the mechanism by which calcium salts enhance biocontrol activity and to determine the role, if any, of the yeast extracellular materials and/or enzymes which degrade fungal cell walls during the interaction between the antagonists, the pathogen and the host. CaCl2 but not MgCl2, inhibited spore germination, and germ-tube elongation of Botrytis cinerea, Penicillium expansum and P. digitatum in culture. It also inhibited the pectinolytic activity of the pathogens. Biocontrol of apple decay by isolate 182 of Candida oleophila, an effective biocontrol agent, was enhanced by the addition of CaCl2 whereas there was no effect on the biocontrol activity of isolate 247 of this yeast. Similarly, CaCl2 enhanced efficacy of the US-7 isolate of Pichia guilliermondii in reducing infection of P. digitatum in citrus fruit. CaCl2 by itself also reduced the infection of peel wounds and stimulated ethylene production by grapefruit peel. This antagonist exhibited a very high ability to maintain cytosolic Ca2+ homeostasis when exposed to high CaCl2 concentrations. It is postulated, therefore, that enhanced biocontrol activity by calcium is the result of direct inhibition of the pathogen by calcium ions on spore germination and metabolism and indirectly due to the ability of the biocontrol agent to maintain normal metabolism in the presence of high levels of calcium. The extracellular materials produced by P. guilliermondii in culture and on the fruit inhibited, at low concentrations, the pathogen in culture and reduced percent infection of the fruit. The direct inhibition of the pathogen by these materials may thus be involved in the mode of action of the antagonist. This study contributed to our knowledge on the action of calcium salts and the yeast antagonist extracellular materials on biocontrol activity and will contribute to a more efficient use of this technology in the control of postharvest diseases of fruits.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Hwa, Yue-Yi, and Lant Pritchett. Teacher Careers in Education Systems That Are Coherent for Learning: Choose and Curate Toward Commitment to Capable and Committed Teachers (5Cs). Research on Improving Systems of Education (RISE), December 2021. http://dx.doi.org/10.35489/bsg-rise-misc_2021/02.

Повний текст джерела
Анотація:
How can education authorities and organisations develop empowered, highly respected, strongly performance-normed, contextually embedded teaching professionals who cultivate student learning? This challenge is particularly acute in many low- and middle-income education systems that have successfully expanded school enrolment but struggle to help children master even the basics of reading, writing, and arithmetic. In this primer, we synthesise research from a wide range of academic disciplines and country contexts, and we propose a set of principles for guiding the journey toward an empowered, effective teaching profession. We call these principles the 5Cs: choose and curate toward commitment to capable and committed teachers. These principles are rooted in the fact that teachers and their career structures are embedded in multi-level, multi-component systems that interact in complex ways. We also outline five premises for practice, each highlighting an area in which education authorities and organisations can change the typical status quo approach in order to apply the 5Cs and realise the vision of empowered teaching profession.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Wicker, Louise, Ilan Shomer, and Uzi Merin. Membrane Processing of Citrus Extracts: Effects on Pectinesterase Activity and Cloud Stability. United States Department of Agriculture, October 1993. http://dx.doi.org/10.32747/1993.7568754.bard.

Повний текст джерела
Анотація:
The U.S. team studied the role of cations and pH on thermolabile (TL-PE) and thermostable (TS-PE), permeation in ultrafiltration (UF) membranes, affinity to ion exchange membranes, mechanism of cation and pH activation, and effect on PE stability. An optimum pH and cation concentration exists for activity and UF permeation, which is specific for each cation type. Incomplete release of PE from a pectin complex resulted in low PE binding to cationic and anionic membranes. Incubation of PE at low pH increases the surface hydrophobicity, especially TL-PE, but the secondary structure of TL-PE is not greatly affected. The Israeli team showed that stable cloud colloidal constituents flocculate following the conversion of soluble to insoluble biopolymers. First, formation of pectic acid by pectinesterase activity is followed by the formation of calcium pectate gel. This process initiates a myriad of poorly defined reactions that result in juice clarification. Second, protein coagulation by heat resulted in flocculation of proteinacous bound cloud constituents, particularly after enzymatic pectin degradation. Pectinesterase activity is proposed to be an indirect cause for clarification; whereas binding of cloud constituents is the primary event in clarification by pectate gel and coagulated proteins. Understanding the mechanism of interaction of protein and pectic polymers is key to understanding cloud instability. Based on the above, it was hypothesized that the structure of pectin-protein coagulates plays a key role in cloud instability.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Rafaeli, Ada, Russell Jurenka, and Daniel Segal. Isolation, Purification and Sequence Determination of Pheromonotropic-Receptors. United States Department of Agriculture, July 2003. http://dx.doi.org/10.32747/2003.7695850.bard.

Повний текст джерела
Анотація:
Moths constitute a major group of pest insects in agriculture. Pheromone blends are utilised by a variety of moth species to attract conspecific mates, which is under circadian control by the neurohormone, PBAN (pheromone-biosynthesis-activating neuropeptide). Our working hypothesis was that, since the emission of sex-pheromone is necessary to attract a mate, then failure to produce and emit pheromone is a potential strategy for manipulating adult moth behavior. The project aimed at identifying, characterising and determining the sequence of specific receptors responsible for the interaction with pheromonotropic neuropeptide/s using two related moth species: Helicoverpa armigera and H. lea as model insects. We established specific binding to a membrane protein estimated at 50 kDa in mature adult females using a photoaffinity-biotin probe for PBAN. We showed that JH is required for the up-regulation of this putative receptor protein. In vitro studies established that the binding initiates a cascade of second messengers including channel opening for calcium ions and intracellular cAMP production. Pharmacological studies (using sodium fluoride) established that the receptor is coupled to a G-protein, that is, the pheromone-biosynthesis-activating neuropeptide receptor (PBAN-R) belongs to the family of G protein-coupled receptor (GPCR)'s. We showed that PBAN-like peptides are present in Drosophila melanogaster based on bioassay and immunocytochemical data. Using the annotated genome of D. melanogaster to search for a GPCR, we found that some were similar to neuromedin U- receptors of vertebrates, which contain a similar C-terminal ending as PBAN. We established that neuromedin U does indeed induce pheromone biosynthesis and cAMP production. Using a PCR based cloning strategy and mRNA isolated from pheromone glands of H. zea, we successfully identified a gene encoding a GPCR from pheromone glands. The full-length PBAN-R was subsequently cloned and expressed in Sf9 insect cells and was shown to mobilize calcium in response to PBAN in a dose-dependent manner. The successful progress in the identification of a gene, encoding a GPCR for the neurohormone, PBAN, provides a basis for the design of a novel battery of compounds that will specifically antagonize pheromone production. Furthermore, since PBAN belongs to a family of insect neuropeptides with more than one function in different life stages, this rationale may be extended to other physiological key-regulatory processes in different insects.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Astafieva, Mariia M., Oleksii B. Zhyltsov, and Volodymyr V. Proshkin. E-learning as a mean of forming students' mathematical competence in a research-oriented educational process. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3896.

Повний текст джерела
Анотація:
The article is devoted to the substantiation of approaches to the effective use of advantages and minimization of disadvantages and losses of e-learning as a mean of forming mathematical competence of students in the conditions of research-oriented educational process. As a result of the ascertaining experiment, e-learning has certain disadvantages besides its obvious advantages (adaptability, possibility of individualization, absence of geographical barriers, ensuring social equality, unlimited number of listeners, etc.). However, the nature of these drawbacks lies not as much in the plane of opportunity itself as in the ability to use them effectively. On the example of the e-learning course (ELC) “Mathematical Analysis” (Calculus) of Borys Grinchenko Kyiv University, which is developed on the basis of the Moodle platform, didactic and methodical approaches to content preparation and organization of activities in the ELC in mathematics are offered. Given the specifics of mathematics as a discipline, the possibility of using ELCs to support the traditional learning process with full-time learning is revealed, introducing a partially mixed (combined) model. It is emphasized that effective formation of mathematical competence of students by means of e-learning is possible only in the conditions of research-oriented educational environment with active and concerned participation of students and partnership interaction. The prospect of further research in the analysis of e-learning opportunities for the formation of students’ mathematical competence, in particular, research and investigation tools, and the development of recommendations for the advanced training programs of teachers of mathematical disciplines of universities are outlined.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Koduru, Smitha, and Jason Skow. PR-244-153719-R01 Quantification of ILI Sizing Uncertainties and Improving Correction Factors. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), August 2018. http://dx.doi.org/10.55274/r0011518.

Повний текст джерела
Анотація:
Operators routinely perform verification digs to assess whether an inline inspection (ILI) tool meets the performance specified by the ILI vendors. Characterizing the actual ILI tool performance using available field and ILI data is a difficult problem due to uncertainties associated with measurements and geometric classification of features. The focus of this project is to use existing ILI and excavation data to develop better approaches for assessing ILI tool performance. For corrosion features, operators are primarily interested in quantifying magnetic flux leakage (MFL) ILI tool sizing error and its relationship to burst pressure estimates. In previously completed PRCI research, a limited MFL ILI dataset was used to determine the corrosion feature depth sizing bias and random error using principles published in API 1163 (2013). The research demonstrated the tendency for ILI predictions to be slightly lower than field measurements (i.e., under-call) for the dataset studied, and it provided a framework for characterizing this bias. The goal of this project was to expand on previous work by increasing the number and type of feature morphologies available for analysis, and by estimating the sizing error of ILI measured external corrosion features. New geometric classification criteria, complementing the current criteria suggested by the Pipeline Operator Forum (POF 2009), were also investigated. Lastly, correction factors based on burst pressure prediction accuracy were developed to account for the effect of adopting various feature interaction rules. This report has a related webinar (member login required).
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Wilson, Charles, and Edo Chalutz. Biological Control of Postharvest Diseases of Citrus and Deciduous Fruit. United States Department of Agriculture, September 1991. http://dx.doi.org/10.32747/1991.7603518.bard.

Повний текст джерела
Анотація:
The objectives of this research were to develop control measures of postharvest diseases of citrus and deciduous fruits by using naturally-occurring, non-antibiotic-producing antagonists; study the mode of action of effective antagonists and optimize their application methods. Several antagonists were found against a variety of diseases of fruits and vegetables. One particularly effective yeast antagonist (US-7) was chosen for more in-depth studies. This antagonist outcompetes rot pathogens at the wound site for nutrients and space; it is better adapted than the pathogen to extreme environmental conditions such as temperature, humidity and osmotic changes, and is relatively resistant to common postharvest fungicides. Our data suggests that other modes of action may also be involved. These are induction of host resistance by the antagonists or its products, and direct interaction between the antagonists and the pathogen with the possible involvement of an extracellular material and/or cell wall degrading enzymes produced by the antagonist. However, these interactions were not fully elucidated. The antagonistic activity of US-7 and other biocontrol agents isolated, was enhanced by calcium salts. While the mode of action is not known, the addition of these salts had a significant effect both in laboratory experiments and in large-scale tests. Compatibility of the yeast antagonist with present packinghouse treatments and procedures was determined. An integrated control procedure was developed, utilizing the antagonists together with ultra-low dosages of fungicides and activity-enhancing additives. This cooperative research resulted in numerous publications describing the antagonistic agents. their mode of action and possible commercial application. Patents were developed from this research and a commercial company is pursuing the licensing of these patents and the testing of the procedure on a commercial scale. Our research findings have expanded the potential for using non-antibiotic-producing antagonistic microorganisms in the control of postharvest diseases of fruits and vegetables; thus meeting a critical need to find alternatives to the use of synthetic fungicides on food products.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Nelson, Nathan, and Charles F. Yocum. Structure, Function and Utilization of Plant Photosynthetic Reaction Centers. United States Department of Agriculture, September 2012. http://dx.doi.org/10.32747/2012.7699846.bard.

Повний текст джерела
Анотація:
Light capturing and energy conversion by PSI is one of the most fundamental processes in nature. In the heart of these adaptations stand PSI, PSII and their light harvesting antenna complexes. The main goal of this grant proposal was to obtain by X-ray crystallography information on the structure of plant photosystem I (PSI) and photosystem II (PSII) supercomplexes. We achieved several milestones along this line but as yet, like several strong laboratories around the world, we have no crystal structure of plant PSII. We have redesigned the purification and crystallization procedures and recently solved the crystal structure of the PSI supercomplex at 3.3 Å resolution. Even though this advance in resolution appears to be relatively small, we obtained a significantly improved model of the supercomplex. The work was published in J. Biol. Chem. (Amunts et al., 2010). The improved electron density map yielded identification and tracing of the PsaK subunit. The location of an additional 10 ß-carotenes, as well as 5 chlorophylls and several loop regions that were previously uninterruptable have been modeled. This represents the most complete plant PSI structure obtained thus far, revealing the locations of and interactions among 17 protein subunits and 193 non-covalently bound photochemical cofactors. We have continued extensive experimental efforts to improve the structure of plant PSI and to obtain PSII preparation amenable to crystallization. Most of our efforts were devoted to obtain well-defined subcomplexes of plant PSII preparations that are amenable to crystallization. We studied the apparent paradox of the high sensitivity of oxygen evolution of isolated thylakoids while BBY particles exhibit remarkable resilience to the same treatment. The integrity of the photosystem II (PSII) extrinsic protein complement as well as calcium effects arise from the Ca2+ atom associated with the site of photosynthetic water oxidation were investigated. This work provides deeper insights into the interaction of PsbO with PSII. Sight-directed mutagenesis indicated the location of critical sites involved in the stability of the water oxidation reaction. When combined with previous results, the data lead to a more detailed model for PsbO binding in eukaryotic PSII.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Kidder, J. A., M. B. McClenaghan, M I Leybourne, M. W. McCurdy, P. Pelchat, D. Layton-Matthews, C. E. Beckett-Brown, and A. Voinot. Geochemical data for stream and groundwaters around the Casino Cu-Au-Mo porphyry deposit, Yukon (NTS 115 J/10 and 115 J/15). Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/328862.

Повний текст джерела
Анотація:
This open file reports geochemical data for stream and groundwater samples collected around the Casino porphyry Cu-Au-Mo deposit, one of the largest and highest-grade deposits of its kind in Canada. The calc-alkaline porphyry is hosted in a Late Cretaceous quartz monzonite and associated breccias in the unglaciated region of west central Yukon. Water chemistry around the deposit was investigated because: (i) the deposit has not yet been disturbed by mining; (ii) the deposit was known to have metal-rich waters in local streams; and (iii) the deposit has atypically preserved ore zones. Stream water samples were collected at 22 sites and groundwater samples were collected from eight sites. Surface and groundwaters around the Casino deposit are anomalous with respect to Cd (up to 5.4 µg/L), Co (up to 64 µg/L), Cu (up to 1657 µg/L), Mo (up to 25 µg/L), As (up to 17 µg/L), Re (up to 0.7 µg/L), and Zn (up to 354 µg/L) concentrations. The stable isotopes of O and H of the groundwaters are essentially identical to the surface waters and plot close to the local and global meteoric water lines, indicating that the waters represent modern recharge, consistent with the generally low salinities of all the waters (total dissolved solids range from 98 to 1320 mg/L). Sulfur and Sr isotopes are consistent with proximal waters interacting with the Casino rocks and mineralization; a sulfide-rich bedrock sample from the deposit has delta-34S = -1.2 permille and proximal groundwaters are only slightly heavier (-0.3 to 3.1 permille). These geochemical and isotopic results indicate that surface water geochemistry is a suitable medium for mineral exploration for porphyry-style mineralization in the Yukon, and similar unglaciated regions in Canada. The atypical geochemical signature (Mo, Se, Re, As, Cu) of these types of deposits are typically reflected in the water chemistry and S isotopes provide a more local vectoring tool.
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Calcul interactif" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії