To see the other types of publications on this topic, follow the link: Calcul interactif.

Journal articles on the topic 'Calcul interactif'

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

Select a source type:

Consult the top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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
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
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 p
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éne
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 1
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. Result
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 combinatio
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 (R
APA, Harvard, Vancouver, ISO, and other styles
11

Smirnov, Pavel R., Ulyana S. Serdyutskaya, Alexander I. Strelnikov, Tatyana M. Moryganova, and Sofiya V. Gusakova. "MINERALOGICAL COMPOSITION, STRUCTURE AND LITHOLYSIS OF URATE URINARY STONES FOR PATIENTS OF IVANOVO REGION." IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII KHIMIYA KHIMICHESKAYA TEKHNOLOGIYA 63, no. 9 (2020): 93–100. http://dx.doi.org/10.6060/ivkkt.20206309.6272.

Full text
Abstract:
The quantitative mineralogical and chemical composition of urate urinary stones has been investigated using the X-ray powder method, scanning electron microscopy and X-ray spectral microanalysis for twenty five patients with urolithiasis of the Ivanovo region. The texture and surface composition of calculi have been carefully investigated and the peroral litholysis was simulated under laboratory conditions with dilute aqueous solutions of various pH values. The local change in the surface chemical composition for four stones during their destruction has been also studied via the X-ray spectral
APA, Harvard, Vancouver, ISO, and other styles
12

Zhumashev, K., A. Narembekova, and B. B. Katrenov. "Determination of the reaction mechanism of the calcium fluoride interaction with ammonium sulphate." Bulletin of the Karaganda University. "Chemistry" series 95, no. 3 (2019): 83–87. http://dx.doi.org/10.31489/2019ch3/83-87.

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

STRUTH, GEORG. "Hoare Semigroups." Mathematical Structures in Computer Science 28, no. 6 (2017): 775–99. http://dx.doi.org/10.1017/s096012951700007x.

Full text
Abstract:
A semigroup-based setting for developing Hoare logics and refinement calculi is introduced together with procedures for translating between verification and refinement proofs. A new Hoare logic for multirelations and two minimalist generic verification and refinement components, implemented in an interactive theorem prover, are presented as applications that benefit from this generalisation.
APA, Harvard, Vancouver, ISO, and other styles
14

Arguello-Astorga, Gerardo, Luisa Lopez-Ochoa, Ling-Jie Kong, Beverly M. Orozco, Sharon B. Settlage, and Linda Hanley-Bowdoin. "A Novel Motif in Geminivirus Replication Proteins Interacts with the Plant Retinoblastoma-Related Protein." Journal of Virology 78, no. 9 (2004): 4817–26. http://dx.doi.org/10.1128/jvi.78.9.4817-4826.2004.

Full text
Abstract:
ABSTRACT The geminivirus replication factor AL1 interacts with the plant retinoblastoma-related protein (pRBR) to modulate host gene expression. The AL1 protein of tomato golden mosaic virus (TGMV) binds to pRBR through an 80-amino-acid region that contains two highly predicted α-helices designated 3 and 4. Earlier studies suggested that the helix 4 motif, whose amino acid sequence is strongly conserved across geminivirus replication proteins, plays a role in pRBR binding. We generated a series of alanine substitutions across helix 4 of TGMV AL1 and examined their impact on pRBR binding using
APA, Harvard, Vancouver, ISO, and other styles
15

Goblin, Brice, Olivier Glück, and Pascale Vicat-Blanc Primet. "Interaction efficace entre les réseaux rapides et le stockage distribué dans les grappes de calcul." Techniques et sciences informatiques 27, no. 7 (2008): 910–40. http://dx.doi.org/10.3166/tsi.27.910-940.

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

Florentino, Lilian H., Anésia A. Santos, Mariana R. Fontenelle, et al. "A PERK-Like Receptor Kinase Interacts with the Geminivirus Nuclear Shuttle Protein and Potentiates Viral Infection." Journal of Virology 80, no. 13 (2006): 6648–56. http://dx.doi.org/10.1128/jvi.00173-06.

Full text
Abstract:
ABSTRACT The nuclear shuttle protein (NSP) from bipartite geminiviruses facilitates the intracellular transport of viral DNA from the nucleus to the cytoplasm and acts in concert with the movement protein (MP) to promote the cell-to-cell spread of the viral DNA. A proline-rich extensin-like receptor protein kinase (PERK) was found to interact specifically with NSP of Cabbage leaf curl virus (CaLCuV) and of tomato-infecting geminiviruses through a yeast two-hybrid screening. The PERK-like protein, which we designated NsAK (for NSP-associated kinase), is structurally organized into a proline-ric
APA, Harvard, Vancouver, ISO, and other styles
17

Hasan, H. A. H. "Gibberellin and auxin production by plant root-fungi and their biosynthesis under salinity-calcium interaction." Plant, Soil and Environment 48, No. 3 (2011): 101–6. http://dx.doi.org/10.17221/4207-pse.

Full text
Abstract:
Rhizosphere and rhizoplane of fababean (Vicia faba), melochia (Corchorus olitorius), sesame (Sesamum indicum) and soyabean (Glycine max) plants are inhabited with fungi, mostly Aspergillus flavus, A. niger, Fusarium oxysporum, Penicillium corylophilum, P. cyclopium, P. funiculosum and Rhizopus stolonifer. All fungal species have the ability to produce gibberellin (GA) but F. oxysporum was found to produce both GA and indole-acetic acid (IAA). The optimum period for GA and IAA production by F. oxysporum was 10 days in the mycelium and 15 days in the filtrate at 28°C. The contents of GA
APA, Harvard, Vancouver, ISO, and other styles
18

Zaychikova, Svetlana N., Vladimir V. Prudnikov, and Pavel V. Prudnikov. "Study of the equilibrium critical behavior of thin granular membranes by Monte Carlo methods." Herald of Omsk University 25, no. 4 (2020): 16–21. http://dx.doi.org/10.24147/1812-3996.2020.25(4).16-21.

Full text
Abstract:
Simulation of thin granular films and twolayer structures is carried out by Monte Carlo methods. Temperature dependence of equilibrium macroscopic characteristics of granular films such as magnetization, energy, heat capacity, and magnetic susceptibility are calcu-lated for different linear sizes of granules. Influence of exchange integral values for inter-action between granules in film and interlayer interaction in twolayer structure is studied.
APA, Harvard, Vancouver, ISO, and other styles
19

Emirkanian, Louisette, and Lorne H. Bouchard. "Conception et réalisation de logiciels : vers une plus grande intégration des connaissances de la langue." Revue québécoise de linguistique 16, no. 2 (2009): 189–220. http://dx.doi.org/10.7202/602599ar.

Full text
Abstract:
Résumé La souplesse d’adaptation et la puissance de calcul symbolique du micro-ordinateur permettent, d’une part, de créer une véritable interaction avec l’enfant et, d’autre part, de favoriser des activités amenant l’enfant à manipuler la langue et à réfléchir sur son fonctionnement. Ce sont ces deux caractéristiques du micro-ordinateur que nous avons essayé d’exploiter en réalisant des logiciels de français dont le but est d’amener l’enfant à une meilleure maîtrise de la langue écrite. L’un des logiciels porte sur les relatives complexes et a pour objectif de susciter chez l’enfant une réfle
APA, Harvard, Vancouver, ISO, and other styles
20

Golovanova and Tomashevsky. "Determination of the nature of the interaction of calcium ions with amino acids by potentiometric titration." Bulletin of the Karaganda University. "Chemistry" series 87, no. 3 (2017): 64–73. http://dx.doi.org/10.31489/2017ch3/64-73.

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

Nielsen, Helle Lykke, and Martin Carlsen. "Interactive Arabic Grammar on the Internet: Problems and Solutions." Computer Assisted Language Learning 16, no. 1 (2003): 95–112. http://dx.doi.org/10.1076/call.16.1.95.15527.

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

Maalej, A., M. Bahri, Y. Abid, and N. Jaïdane. "Modélisation moléculaire et calcul des fréquences de vibration du sous-réseau perovskite dans CH3NH3PbCl3." Canadian Journal of Physics 77, no. 9 (2000): 717–22. http://dx.doi.org/10.1139/p99-026.

Full text
Abstract:
The perovskite CH3NH3PbCl3 presents two low-temperature phase transitions [Formula: see text] The various phases are characterized by Raman scattering. We restrict ourselves to the low-frequency domain (10–250 cm–1), which includes the lattice vibrations, these being more sensitive to the symmetry variations and to the structural phase transitions. Studying the crystal dynamics and the spectral evolution requires a detailed assigment of the Raman spectrum. Consequently, we bring in a molecular model and carry out a theoretical calculation of the vibration frequencies of the perovskite sublatti
APA, Harvard, Vancouver, ISO, and other styles
23

Iosub, Ion, Viorel Malinovschi, Victor Grigorie, Alina Murariu, and Aurelia Meghea. "Effect of Drinking Water on Formation of Renal Calculi." Key Engineering Materials 415 (September 2009): 37–40. http://dx.doi.org/10.4028/www.scientific.net/kem.415.37.

Full text
Abstract:
The environmental impact on human health is of increasing concern mainly due to the complex interaction between various hazardous factors both on environment and within human organism. The aim of this paper is to investigate possible correlations between the quality parameters of drinking water and the formation of uroliths. The constituents of some kidney calculi sampled after surgery from 90 patients coming from the Horezu – Valcea area have been analysed, this region being identified as having the most cases of kidney lithiasis and that might be related with hard drinking waters. The study
APA, Harvard, Vancouver, ISO, and other styles
24

Coniam, David. "Interactive Evaluation of Listening Comprehension: How the Context May Help." Computer Assisted Language Learning 11, no. 1 (1998): 35–53. http://dx.doi.org/10.1076/call.11.1.35.5727.

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

Gómez, Edgar A., Santiago E. Arteaga, and Herbert Vinck-Posada. "DYNAMICS AND ENTANGLEMENT OF A QUANTUM DOT-CAVITY SYSTEM COUPLED BY A NON-LINEAR OPTICAL INTERACTION." MOMENTO, no. 54 (February 3, 2017): 29. http://dx.doi.org/10.15446/mo.n54.62429.

Full text
Abstract:
Se propone un modelo teórico sencillo para un sistema disipativo de punto cuántico-microcavidad que interactúan a través de una interacción óptica no lineal. El formalismo de la ecuación maestra en la forma de Lindblad es considerado para estudiar la dinámica del sistema en los regímenes de acoplamiento débil y fuerte, respectivamente. El espectro de fotoluminiscencia del sistema en el límite estacionario es calculado en forma exacta, y se muestra el efecto de la interacción óptica no lineal explícitamente sobre éste. Se calcula el entrelazamiento del sistema, y se encuentra resurgimientos y m
APA, Harvard, Vancouver, ISO, and other styles
26

Kübler, Raoul V. "La révolution dévorera-t-elle ses enfants ? L’impact de l’IA générative et interactive sur le marketing opérationnel et stratégique." Décisions Marketing N° 112, no. 4 (2024): 127–52. http://dx.doi.org/10.3917/dm.112.0127.

Full text
Abstract:
Au cours de la dernière décennie, nous avons observé un changement significatif dans le domaine du marketing, alimenté par la capacité à exploiter le volume croissant de données et d’informations sur les clients disponibles pour les spécialistes du marketing. Cette transformation a atteint une nouvelle phase grâce aux progrès de la puissance de calcul et des algorithmes d’apprentissage profond. Les modèles d’IA générative ont joué un rôle central dans la démocratisation de la création d’informations professionnelles sur les clients, offrant aux acteurs du marché des opportunités sans précédent
APA, Harvard, Vancouver, ISO, and other styles
27

Carey, Stephen. "The Use of WebCT for a Highly Interactive Virtual Graduate Seminar." Computer Assisted Language Learning 12, no. 4 (1999): 371–80. http://dx.doi.org/10.1076/call.12.4.371.5701.

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

Priyadarshini, Abhishek Negi, Chetna Faujdar, Lokesh Nigam, and Naidu Subbarao. "Exploring the Molecular Level Interaction of Human Serum Albumin with Calcium Oxalate Monohydrate Crystals." Protein & Peptide Letters 28, no. 11 (2021): 1281–89. http://dx.doi.org/10.2174/0929866528666210930165426.

Full text
Abstract:
Background: Human serum albumin (HSA) is one of the most abundant proteins in the blood plasma, urine as well as in the organic matrix of renal calculi. Macromolecules present in the urine modulate kidney stone formation either by stimulating or inhibiting the crystallization process. Objective: In the present study, the effect of HSA protein on the growth of calcium oxalate monohydrate crystal (COM) was investigated. Methods: Crystal growth assay was used to measure oxalate depletion in the crystal seeded solution in the presence of HSA. HSA concentrations exhibiting effect on crystal growth
APA, Harvard, Vancouver, ISO, and other styles
29

Arreola Olivarría, Claudia Gabriela, María Teresa Fernández Nistal, Javier José Vales García, and Pedro Antonio Sánchez Escobedo. "Factores asociados a las prácticas de enseñanza docentes con apoyo de las tecnologías de la información y comunicación." Educar 58, no. 1 (2022): 189–203. http://dx.doi.org/10.5565/rev/educar.1349.

Full text
Abstract:
La integración de las tecnologías de la información y comunicación (TIC) por parte de los docentes en el proceso de enseñanza es importante para mejorar la calidad de la educación. El presente estudio se propuso examinar las relaciones de la habilidad digital, la usabilidad, la utilidad y la gestión directiva con la frecuencia con que maestros de educación primaria utilizaban TIC en sus prácticas de enseñanza. Participaron en el estudio 252 docentes (M edad = 36,5 años, DE = 10,1) del Estado de Sonora (México). Se realizó un estudio transversal de alcance relacional. Se utilizaron escalas de a
APA, Harvard, Vancouver, ISO, and other styles
30

Mandel, N. "Crystal-membrane interaction in kidney stone disease." Journal of the American Society of Nephrology 5, no. 5 (1994): S37. http://dx.doi.org/10.1681/asn.v55s37.

Full text
Abstract:
Urolithiasis is a multifaceted process that initiates with the formation of microcrystals in the urine and terminates with the formation of mature renal calculi. The attachment of crystals by the urothelium is a major event in the successful formation of the mature stone. The papillary tip is the primary site for crystal attachment and stone maturation, and the attachment process appears to be mediated by specific molecular interactions between molecular structures on the surfaces of stone crystals and molecular arrays on the surfaces of cell membranes. Animal models have demonstrated the inte
APA, Harvard, Vancouver, ISO, and other styles
31

Wang, Jia, and Rui Li. "An Empirical Study on Pertinent Aspects of Sketch Maps for Navigation." International Journal of Cognitive Informatics and Natural Intelligence 7, no. 4 (2013): 26–43. http://dx.doi.org/10.4018/ijcini.2013100102.

Full text
Abstract:
Navigation systems which employ sequence-based directions have been found not effective in facilitating the spatial ability for humans to be aware of themselves in an environment. Traditional maps are found easily conveying the configuration of spatial objects but having difficulty to facilitate the correspondence to spatial objects in the real world. Sketch maps as schematic map-like representations have been suggested being a possible way of achieving goals of facilitating both navigation and spatial awareness. Moreover, sketch maps as externalizations of cognitive maps have been proved as r
APA, Harvard, Vancouver, ISO, and other styles
32

Dong, Yu, Ke Ren, Qiankun Wang, Gang Shao, and Yiguang Wang. "Interaction of multicomponent disilicate (Yb0.2Y0.2Lu0.2Sc0.2Gd0.2)2Si2O7 with molten calcia-magnesia-aluminosilicate." Journal of Advanced Ceramics 11, no. 1 (2021): 66–74. http://dx.doi.org/10.1007/s40145-021-0517-7.

Full text
Abstract:
AbstractEnvironmental barrier coating (EBC) materials that are resistant against molten calcia-magnesia-aluminosilicate (CMAS) corrosion are urgently required. Herein, multicomponent rare-earth (RE) disilicate ((Yb0.2Y0.2Lu0.2Sc0.2Gd0.2)2Si2O7, (5RE)2Si2O7) was investigated with regard to its CMAS interaction behavior at 1400 °C. Compared with the individual RE disilicates, the (5RE)2Si2O7 material exhibited improved resistance against CMAS attack. The dominant process involved in the interaction of (5RE)2Si2O7 with CMAS was reaction-recrystallization. A dense and continuous reaction layer pro
APA, Harvard, Vancouver, ISO, and other styles
33

Ghimire, Saurav, Selim Terhzaz, Pablo Cabrero, Michael F. Romero, Shireen A. Davies, and Julian A. T. Dow. "Targeted renal knockdown of Na+/H+ exchanger regulatory factor Sip1 produces uric acid nephrolithiasis in Drosophila." American Journal of Physiology-Renal Physiology 317, no. 4 (2019): F930—F940. http://dx.doi.org/10.1152/ajprenal.00551.2018.

Full text
Abstract:
Nephrolithiasis is one of the most common kidney diseases, with poorly understood pathophysiology, but experimental study has been hindered by lack of experimentally tractable models. Drosophila melanogaster is a useful model organism for renal diseases because of genetic and functional similarities of Malpighian (renal) tubules with the human kidney. Here, we demonstrated function of the sex-determining region Y protein-interacting protein-1 ( Sip1) gene, an ortholog of human Na+/H+ exchanger regulatory factor ( NHERF1), in Drosophila Malpighian tubules and its impact on nephrolithiasis. Abun
APA, Harvard, Vancouver, ISO, and other styles
34

Evdokimov, V. A. "Functional Organization of the User Interface of the Hardware and Software Computer System Equant Cloud." Èlektronnoe modelirovanie 45, no. 2 (2023): 83–94. http://dx.doi.org/10.15407/emodel.45.02.083.

Full text
Abstract:
The question of the functional organization of the interfaces of end-user interaction with the «Equant Cloud» computer system is considered. On the basis of the analysis of the technologi-cal process of its functioning in order to ensure the performance of the functions of preparation, carrying out calculations of activity options on the electric energy market and processing data of calculation results, the main typical operations were formulated, which include: making changes to calculation algorithms; collection and preparation of raw data; conducting calcula-tions of electricity market perf
APA, Harvard, Vancouver, ISO, and other styles
35

Ortega Montes, Jorge Eliecer, Nydia Nina Valencia Jiménez, and Jorge Samuel Humánez Otero. "Factores explicativos de la calidad de la educación media: análisis del caso de Córdoba, en Colombia." Educar 58, no. 1 (2022): 221–36. http://dx.doi.org/10.5565/rev/educar.1455.

Full text
Abstract:
Estudio correlacional con enfoque cuantitativo que buscó establecer la asociación entre los factores intrínsecos observables de las instituciones pedagógicas con la variabilidad de la calidad de la educación media en 27 municipios no certificados del Departamento de Córdoba, Colombia. La muestra se calculó con base en un muestreo probabilístico estratificado para un total de 109 escuelas rurales y urbanas; los datos se recolectaron a través de una encuesta integrada por 34 preguntas y aplicada a rectores o directivos docentes de dichos centros educativos. La evaluación de asociaciones entre va
APA, Harvard, Vancouver, ISO, and other styles
36

Tsutsui, Michio, Masashi Kato, and Bradley Mohr. "Closing the Gap between Practice Environments and Reality: An Interactive Multimedia Program for Oral Communication Training in Japanese." Computer Assisted Language Learning 11, no. 2 (1998): 125–51. http://dx.doi.org/10.1076/call.11.2.125.5688.

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

Xie, Ningning, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, and Meng Wang. "Staging with class: a specification for typed template Haskell." Proceedings of the ACM on Programming Languages 6, POPL (2022): 1–30. http://dx.doi.org/10.1145/3498723.

Full text
Abstract:
Multi-stage programming using typed code quotation is an established technique for writing optimizing code generators with strong type-safety guarantees. Unfortunately, quotation in Haskell interacts poorly with type classes, making it difficult to write robust multi-stage programs. We study this unsound interaction and propose a resolution, staged type class constraints, which we formalize in a source calculus λ ⇒ that elaborates into an explicit core calculus F . We show type soundness of both calculi, establishing that well-typed, well-staged source programs always elaborate to well-typed,
APA, Harvard, Vancouver, ISO, and other styles
38

Roget, Cyrille, Jean-Philippe Brazier, and Grégoire Casalis. "Comparaison d'un calcul de couche limite à forte interaction et d'une solution Navier-Stokes sur une aspérité en régime laminaire stationnaire." Comptes Rendus de l'Académie des Sciences - Series IIB - Mechanics-Physics-Chemistry-Astronomy 325, no. 4 (1997): 189–94. http://dx.doi.org/10.1016/s1251-8069(97)88277-2.

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

Fuente, María J. "Is SLA Interactionist Theory Relevant to CALL? A Study on the Effects of Computer-Mediated Interaction in L2 Vocabulary Acquisition." Computer Assisted Language Learning 16, no. 1 (2003): 47–81. http://dx.doi.org/10.1076/call.16.1.47.15526.

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

Freiermuth, Mark R. "Native Speakers or Non-Native Speakers: Who Has the Floor? Online and Face-to-Face Interaction in Culturally Mixed Small Groups." Computer Assisted Language Learning 14, no. 2 (2001): 169–99. http://dx.doi.org/10.1076/call.14.2.169.5780.

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

Rahimi, Shahram, Rishath A. S. Rias, and Elham S. Khorasani. "An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi." International Journal of Software Science and Computational Intelligence 4, no. 1 (2012): 55–83. http://dx.doi.org/10.4018/jssci.2012010103.

Full text
Abstract:
The complexity of designing concurrent and highly-evolving interactive systems has grown to a point where system verification has become a hurdle. Fortunately, formal verification methods have arrived at the right time. They detect errors, inconsistencies and incompleteness at early development stages of a system formally modeled using a formal specification language. -calculus (Milner, 1999) is one such formal language which provides strong mathematical base that can be used for verifying system specifications. But manually verifying the specifications of concurrent systems is a very tedious
APA, Harvard, Vancouver, ISO, and other styles
42

Smith, Niamh, Magdalena Weger, Gregor Pobegen, and Alexander L. Shluger. "P-Type Impurities in 4H-SiC Calculated Using Density Functional Theory." Defect and Diffusion Forum 426 (June 6, 2023): 35–42. http://dx.doi.org/10.4028/p-3d9axo.

Full text
Abstract:
We have investigated the p-dopant potential of 14 different impurities (Be, B, F, Mg, Al,Ca, Sc, Cu, Zn, Ga, In, Ba, Pt, and Tl) within 4H-SiC via Density Functional Theory (DFT) calcu-lations using a hybrid density functional. We analyse the incorporation energies of impurity atomson Si and C sites as well as the character of lattice distortion induced by impurities. The calculatedthermal ionization energies confirm that Al and Ga on the Si site are the best candidates for p-dopingof 4H-SiC. Although we find some correlation of incorporation energies with atomic radii of impuri-ties, the diff
APA, Harvard, Vancouver, ISO, and other styles
43

Montenegro Joo, Javier. "Virtual Lab para la binarización vía histograma de imágenes en niveles de gris: Umbral heurístico." Revista de Investigación de Física 17, no. 2 (2014): 1–6. http://dx.doi.org/10.15381/rif.v17i2.11541.

Full text
Abstract:
Se reporta la creación de un Virtual Lab, software interactivo e integrado, para llevar a cabo la binarización basada en histograma de imágenes en niveles de gris. En un intento de optimizar la binarización, el Virtual Lab que se reporta introduce un umbral heurístico de binarización. Durante el procesamiento, se extrae el histograma de la imagen y el módulo calcula un umbral heurístico, para lo cual extrae el promedio ponderado de los niveles de gris del primer plano de la imagen. A continuación se resaltan los niveles de gris en la imagen que están por encima del umbral detectado. Aunque aún
APA, Harvard, Vancouver, ISO, and other styles
44

Goyal, Meenakshi, and Rupinder Kaur. "Interactive effect of nitrogen nutrition, nitrate reduction and seasonal variation on oxalate synthesis in leaves of Napier-bajra hybrid (Pennisetum purpureum × P. glaucum)." Crop and Pasture Science 70, no. 8 (2019): 669. http://dx.doi.org/10.1071/cp18282.

Full text
Abstract:
Oxalate may cause hypocalcaemia or formation of urinary calculi in animals with prolonged grazing of Napier grass (Pennisetum purpureum) × pearl millet (bajra, P. glaucum) hybrid (NBH). We investigated the influence of nitrate metabolism, nitrogen (N) nutrition, N forms and seasonal variation on oxalate accumulation in leaves of NBH in a field experiment in Ludhiana, India. The experiment was a randomised block design with three N sources (nitrate, amide and ammonium), three application rates (50, 75 and 100 kg N/ha), four seasons (summer, monsoon, autumn, pre-winter) and three replicates. App
APA, Harvard, Vancouver, ISO, and other styles
45

Scarano de Mendonça, Júlia, Vera Sílvia Raad Bussab, Tânia Kiehl Lucci, and Joscha Kärtner. "La synchronie interactive entre pères et bébé dans les familles brésiliennes avec dépression maternelle." Devenir Vol. 35, no. 4 (2023): 311–19. http://dx.doi.org/10.3917/dev.234.0311.

Full text
Abstract:
Dans cette étude, l’intérêt principal portait sur le comportement paternel dans le contexte de la dépression maternelle. Plusieurs auteurs soulignent la flexibilité de l’investissement paternel dans la nature et argumentent qu’il est facultatif chez les humains, donc d’avantage ouvert à des calculs visant à maximiser son inclusive fitness que le comportement maternel. D’un point de vue évolutif, la dépression post-partum peut avoir une fonction de signalisation, communiquant le besoin de la mère d’un soutien supplémentaire lorsqu’elle est incapable de faire face à ses propres besoins et ceux d
APA, Harvard, Vancouver, ISO, and other styles
46

Pidlutskyi, Vasyl, and Vasyl Behan. "Identification of soil parameters in the calcu-lation of high-rise buildings on pile foundation." Bases and Foundations, no. 44 (June 27, 2022): 19–26. http://dx.doi.org/10.32347/0475-1132.44.2022.19-26.

Full text
Abstract:
The results of numerical modeling of the interaction of bored piles with the soil environment are presented. The process of identifying soil parameters according to static tests of piles was studied. The parameters of the soil, which have the greatest influence on the change in the graph of the dependence of the pile settlement on the load, are singled out.
 The research process can be divided into the following stages: creation of a numerical model of the interaction of the pile with the volumetric soil array in the PC «LIRA-Sapr». The size of the array is 30x30x40 m, based on the resear
APA, Harvard, Vancouver, ISO, and other styles
47

Lieske, J. C., R. Leonard, H. Swift, and F. G. Toback. "Adhesion of calcium oxalate monohydrate crystals to anionic sites on the surface of renal epithelial cells." American Journal of Physiology-Renal Physiology 270, no. 1 (1996): F192—F199. http://dx.doi.org/10.1152/ajprenal.1996.270.1.f192.

Full text
Abstract:
Adhesion of microcrystals to the apical surface of renal tubular cells could be a critical step in the formation of kidney stones. The role of membrane surface charge as a determinant of the interaction between renal epithelial cells (BSC-1 line) and the most common crystal in kidney stones, calcium oxalate monohydrate (COM), was studied in a tissue culture model system. Adhesion of COM crystals to cells was blocked by cationized ferritin. Other cations that bind to cells including cetylpyridinium chloride and polylysine, as well as cationic dyes such as Alcian blue, also inhibited adhesion of
APA, Harvard, Vancouver, ISO, and other styles
48

BRUNI, ROBERTO, HERNÁN MELGRATTI, and UGO MONTANARI. "cJoin: Join with communicating transactions." Mathematical Structures in Computer Science 25, no. 3 (2014): 566–618. http://dx.doi.org/10.1017/s0960129512000928.

Full text
Abstract:
This paper proposes a formal approach to the design and programming of long running transactions (LRTs). We exploit techniques from process calculi to define cJoin, which is an extension of the Join calculus with few well-disciplined primitives for LRT. Transactions in cJoin are intended to describe the transactional interaction of several partners, under the assumption that any partner executing a transaction may communicate only with other transactional partners. In such case, the transactions run by any party are bound to achieve the same outcome (i.e., all succeed or all fail). Hence, a di
APA, Harvard, Vancouver, ISO, and other styles
49

Iza Obando, Ricky Antonny, Milton Eduardo Escobar Sánchez, and Ximena del Rocio López Chico. "Tratamiento Alternativo en el Aprendizaje de Matemáticas con Entornos Digitales Basados en Realidad Aumentada para Niños con Síndrome de Down." Ciencia Latina Revista Científica Multidisciplinar 7, no. 4 (2023): 7129–45. http://dx.doi.org/10.37811/cl_rcm.v7i4.7467.

Full text
Abstract:
El síndrome de Down es una enfermedad genética que afecta a una de cada 700 a 800 personas en todo el mundo. Es la causa más común de discapacidad intelectual genética en niños. Se calcula que alrededor del 80% de los niños con síndrome de Down tienen una discapacidad intelectual de leve a moderada, mientras que el resto presenta una discapacidad intelectual más grave. Sin embargo, muchos niños pueden llevar una vida plena y satisfactoria con los cuidados adecuados. Por ello, esta investigación se centrará en el tratamiento alternativo del aprendizaje de las matemáticas para atraer la atención
APA, Harvard, Vancouver, ISO, and other styles
50

Meyssonnier, François. "Les dispositifs de pilotage de la performance en environnement innovant et incertain : étude comparative de huit startups." Revue internationale P.M.E. 28, no. 3-4 (2016): 171–93. http://dx.doi.org/10.7202/1035414ar.

Full text
Abstract:
Une étude comparative des dispositifs de pilotage de la performance dans huit startups appartenant au même écosystème montre que ces entreprises recourent d’abord au suivi de trésorerie et au compte de résultat de la comptabilité générale puis aux tableaux de bord de production ou commerciaux et seulement ensuite aux outils classiques du contrôle de gestion que sont les calculs de coûts, le système budgétaire et le tableau de bord de pilotage global. En environnement innovant et incertain, l’introduction du contrôle de gestion n’est pas toujours nécessaire quand l’entreprise est très petite, q
APA, Harvard, Vancouver, ISO, and other styles
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!