Littérature scientifique sur le sujet « Synthese interactive »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Synthese interactive ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Synthese interactive"
Weber, Ute, Laszlo Zsolnai et Gottfried Hüttner. « Synthesen und Strukturen von Distibankomplexen / Syntheses and Structures of Distibane Complexes ». Zeitschrift für Naturforschung B 40, no 11 (1 novembre 1985) : 1430–36. http://dx.doi.org/10.1515/znb-1985-1103.
Texte intégralSpikes, Tobias E., Martin G. Montgomery et John E. Walker. « Interface mobility between monomers in dimeric bovine ATP synthase participates in the ultrastructure of inner mitochondrial membranes ». Proceedings of the National Academy of Sciences 118, no 8 (4 février 2021) : e2021012118. http://dx.doi.org/10.1073/pnas.2021012118.
Texte intégralLi, Chunhong, Sreelatha Sarangapani, Qian Wang, Kumar Nadimuthu et Rajani Sarojam. « Metabolic Engineering of the Native Monoterpene Pathway in Spearmint for Production of Heterologous Monoterpenes Reveals Complex Metabolism and Pathway Interactions ». International Journal of Molecular Sciences 21, no 17 (26 août 2020) : 6164. http://dx.doi.org/10.3390/ijms21176164.
Texte intégralMoolhuijzen, Paula M., Mariano Jordi Muria-Gonzalez, Robert Syme, Catherine Rawlinson, Pao Theen See, Caroline S. Moffat et Simon R. Ellwood. « Expansion and Conservation of Biosynthetic Gene Clusters in Pathogenic Pyrenophora spp. » Toxins 12, no 4 (9 avril 2020) : 242. http://dx.doi.org/10.3390/toxins12040242.
Texte intégralWebby, Celia J., Mark L. Patchett et Emily J. Parker. « Characterization of a recombinant type II 3-deoxy-D-arabino-heptulosonate-7-phosphate synthase from Helicobacter pylori ». Biochemical Journal 390, no 1 (9 août 2005) : 223–30. http://dx.doi.org/10.1042/bj20050259.
Texte intégralBiuković, Goran, Sandip Basak, Malathy Sony Subramanian Manimekalai, Sankaranarayanan Rishikesan, Manfred Roessle, Thomas Dick, Srinivasa P. S. Rao, Cornelia Hunke et Gerhard Grüber. « Variations of Subunit ε of the Mycobacterium tuberculosis F1FoATP Synthase and a Novel Model for Mechanism of Action of the Tuberculosis Drug TMC207 ». Antimicrobial Agents and Chemotherapy 57, no 1 (22 octobre 2012) : 168–76. http://dx.doi.org/10.1128/aac.01039-12.
Texte intégralMühleip, Alexander W., Friederike Joos, Christoph Wigge, Achilleas S. Frangakis, Werner Kühlbrandt et Karen M. Davies. « Helical arrays of U-shaped ATP synthase dimers form tubular cristae in ciliate mitochondria ». Proceedings of the National Academy of Sciences 113, no 30 (11 juillet 2016) : 8442–47. http://dx.doi.org/10.1073/pnas.1525430113.
Texte intégralGu, Ying, et Chris Somerville. « Cellulose synthase interacting protein ». Plant Signaling & ; Behavior 5, no 12 (décembre 2010) : 1571–74. http://dx.doi.org/10.4161/psb.5.12.13621.
Texte intégralSotodosos-Alonso, Laura, María García-García, Enrique Calvo, Aleksandra Norczyk-Simón, Jesús Vázquez, Asier Echarri et Miguel A. Del Pozo. « Cell tension controlling pathways and nutrient availability regulate plasma membrane ATP synthase trafficking ». IBJ Plus 1, s5 (3 juin 2022) : 45. http://dx.doi.org/10.24217/2531-0151.22v1s5.00045.
Texte intégralRode, W., et A. Leś. « Molecular mechanism of thymidylate synthase-catalyzed reaction and interaction of the enzyme with 2- and/or 4-substituted analogues of dUMP and 5-fluoro-dUMP. » Acta Biochimica Polonica 43, no 1 (31 mars 1996) : 133–42. http://dx.doi.org/10.18388/abp.1996_4524.
Texte intégralThèses sur le sujet "Synthese interactive"
Ding, Hong. « Synthèse architecturale interactive et flexible ». Phd thesis, Grenoble INPG, 1996. http://www.theses.fr/1996INPG0053.
Texte intégralThis thesis presents an interactive High Level Synthesis environment called AMICAL. The synthesis process is decomposed into a set of refinement steps. The user can execute these steps automatically, manually or in interactive mode when needed. The synthesis scheme is flexible; it allows several architectural models for the generated data-path ( bus model, multiplexer model) and controller (hardwired, programmable). The main issues developed in this thesis are: The models and steps used for refinements in a synthesis process. Several architectural models are defined for bridging gap between two synthesis steps. The interactive synthesis model. It includes a performance model allowing to estimate the synthesized results, and allows the designer to be a real actor of the synthesis process. The generation of different architectures and their algorithm issues. These architectures are usable as inputs for lower synthesis tools
Heinrich, Stefan, et Maik Berger. « New concept of continuously interactive analysis-synthesis-parameter-adjustments (ASPA) for nonlinear drive assemblies ». Technische Universität Chemnitz, 2015. https://monarch.qucosa.de/id/qucosa%3A23320.
Texte intégralThis report shows that new opportunities and areas of development arise from using the domain spanning system simulation software SimulationX for the analysis and synthesis of nonlinear mechanisms. The idea to mathematically combine arbitrary motion demands to complex models in the form of support modules within a unique program interface now allows for a holistic mechanism synthesis with a continuous analysis-synthesis-parameter-adjustment (ASPA). Hence, the user may perform both mechanism analysis and synthesis employing one single program interface (e.g. to identify the ideal mechanism in terms of dynamics during an optimization process).
SALSALI, MEHDI. « Art et distance psychique a l'ere de la realite virtuelle recherche theorique et realisation interactive en images de synthese 3d ». Paris 8, 1999. http://www.theses.fr/1999PA081611.
Texte intégralBozianu, Rodica. « Synthesis of Interactive Reactive Systems ». Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1026/document.
Texte intégralWe study the problem of automatic synthesis of programs in multi-component architectures such that they satisfy the specifications by construction. The main goal of the thesis is to develop procedures to solve the synthesis problem that may lead to efficient implementations.Each component may have partial observation on the global state of the multi-component system.Therefore, the synthesis problem asks to provide observation-based protocols for the components that have to be synthesized that ensure that specifications hold on all interactions with their environment.The environment may be antagonist, or may have its own objectives and behave rationally.We first study the synthesis problem when the environment is presumed to be completely antagonist. For this setting, we propose a "Safraless" procedure for the synthesis of one partially informed component and an omniscient environment from KLTL+ specifications. It is implemented in the tool Acacia-K. Secondly, we study the synthesis problem when the components in the environment have their own objectives and are rational. For the more relaxed setting of perfect information, we provide tight complexities for particular omega-regular objectives. Then, for the case of imperfect information, we prove that the rational synthesis problem is undecidable in general, but we gain decidability if is asked to synthesize only one component against a rational omniscient environment
Ding, Hong. « Synthèse architecturale interactive et flexible ». Phd thesis, Grenoble INPG, 1996. http://tel.archives-ouvertes.fr/tel-00010765.
Texte intégralLe, Guillou-Clemencin Claire. « Effets secondaires des fluoroquinolones : synthèse de deux nouvelles fluoroquinolones ». Paris 5, 1994. http://www.theses.fr/1994PA05P256.
Texte intégralLelong, Amélie. « Convergence phonétique en interaction Phonetic convergence in interaction ». Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENT079/document.
Texte intégralThe work presented in this manuscript is based on the study of a phenomenon called phonetic convergence which postulates that two people in interaction will tend to adapt how they talk to their partner in a communicative purpose. We have developed a paradigm called “Verbal Dominoes“ to collect a large corpus to characterize this phenomenon, the ultimate goal being to fill a conversational agent of this adaptability in order to improve the quality of human-machine interactions.We have done several studies to investigate the phenomenon between pairs of unknown people, good friends, and between people coming from the same family. We expect that the amplitude of convergence is proportional to the social distance between the two speakers. We found this result. Then, we have studied the knowledge of the linguistic target impact on adaptation. To characterize the phonetic convergence, we have developed two methods: the first one is based on a linear discriminant analysis between the MFCC coefficients of each speaker and the second one used speech recognition techniques. The last method will allow us to study the phenomenon in less controlled conditions.Finally, we characterized the phonetic convergence with a subjective measurement using a new perceptual test called speaker switching. The test was performed using signals coming from real interactions but also with synthetic data obtained with the harmonic plus
Hughes, Roger Brett. « Automated interactive software verification and synthesis ». Thesis, Brunel University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.306741.
Texte intégralBozianu, Rodica. « Synthèse des systèmes réactifs interactifs ». Doctoral thesis, Universite Libre de Bruxelles, 2016. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/241954.
Texte intégralDoctorat en Sciences
info:eu-repo/semantics/nonPublished
Tramus, Marie-Hélène. « Dispositifs interactifs d'images de synthèse ». Paris 8, 1991. http://www.theses.fr/1991PA080589.
Texte intégralThis rhesis is theoretical and practical. It includes the realisation of interactive installations of synthetic images (la speakerine de synthese et la plume) which takes place in an interrogation on the interactivity and in an installation panorama in industrial, play and artistical activities
Livres sur le sujet "Synthese interactive"
Hughes, Roger Brett. Automated interactive software verification and synthesis. Uxbridge : Brunel University, 1992.
Trouver le texte intégralTausworthe, Robert C. Conjuctive programming : An interactive approach to software system synthesis. Pasadena, Calif : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology, 1992.
Trouver le texte intégralTurner, Stephen. Computer-assisted design for organic synthesis : An interactive teaching package. Chichester : Wiley, 1987.
Trouver le texte intégralAtlas forestier interactif du Cameroun (version 2.0) : Document de synthèse. 2e éd. Yaoundé, Cameroun : World Resources Institute, 2007.
Trouver le texte intégralUnited States. Federal Motor Carrier Safety Administration. Office of Research and Analysis. Highway/heavy vehicle interaction : A synthesis of safety practice. Washington, DC : U.S. Dept. of Transportation, Federal Motor Carrier Safety Administration, Office of Research and Analysis, 2007.
Trouver le texte intégralGarcia, Gérald. Advances in Computer Graphics : Images : Synthesis, Analysis, and Interaction. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991.
Trouver le texte intégralJacob, Réal. La PME apprenante : Information, connaissance, interaction, intelligence : rapport de veille-synthèse. Ottawa, Ont : Développement économique Canada, 2000.
Trouver le texte intégralGuntrip, Harry. Personality structure and human interaction : The developing synthesis of psychodynamic theory. London : Karnac, 1995.
Trouver le texte intégralPersonality Structure and Human Interaction : The Developing Synthesis of Psychodynamic Theory. London : Taylor and Francis, 2018.
Trouver le texte intégralKnirel, Yuriy A., et Miguel A. Valvano. Bacterial lipopolysaccharides : Structure, chemical synthesis, biogenesis, and interaction with host cells. Wien : Springer, 2011.
Trouver le texte intégralChapitres de livres sur le sujet "Synthese interactive"
Koenig, Reinhard, Yufan Miao, Katja Knecht, Peter Buš et Chang Mei-Chih. « Interactive Urban Synthesis ». Dans Communications in Computer and Information Science, 23–41. Singapore : Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-5197-5_2.
Texte intégralHippe, Z. S. « Human Interaction in Planning Chemical Syntheses. Some Problems of Retro-Synthesis ». Dans Human-Computer Systems Interaction, 67–79. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-62120-3_6.
Texte intégralFerreira, Margarida, Miguel Terra-Neves, Miguel Ventura, Inês Lynce et Ruben Martins. « FOREST : An Interactive Multi-tree Synthesizer for Regular Expressions ». Dans Tools and Algorithms for the Construction and Analysis of Systems, 152–69. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72016-2_9.
Texte intégralMeskhidze, Helen. « (What) Do We Learn from Code Comparisons ? A Case Study of Self-Interacting Dark Matter Implementations ». Dans Synthese Library, 171–86. Cham : Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_10.
Texte intégralYamada, Shinji. « Organic Synthesis ». Dans The Cation–π Interaction, 95–143. Singapore : Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-7335-2_4.
Texte intégralOkwechime, Dumebi, Eng-Jon Ong, Andrew Gilbert et Richard Bowden. « Social Interactive Human Video Synthesis ». Dans Computer Vision – ACCV 2010, 256–70. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19315-6_20.
Texte intégralSchmidt, Joshua, Sebastian Krings et Michael Leuschel. « Interactive Model Repair by Synthesis ». Dans Lecture Notes in Computer Science, 303–7. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33600-8_25.
Texte intégralGvero, Tihomir, Viktor Kuncak et Ruzica Piskac. « Interactive Synthesis of Code Snippets ». Dans Computer Aided Verification, 418–23. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22110-1_33.
Texte intégralGammie, Peter. « Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments ». Dans Interactive Theorem Proving, 87–102. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22863-6_9.
Texte intégralMiculan, Marino, et Marco Paviotti. « Synthesis of Distributed Mobile Programs Using Monadic Types in Coq ». Dans Interactive Theorem Proving, 183–200. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32347-8_13.
Texte intégralActes de conférences sur le sujet "Synthese interactive"
Jain, Sumit, et C. Karen Liu. « Interactive synthesis of human-object interaction ». Dans the 2009 ACM SIGGRAPH/Eurographics Symposium. New York, New York, USA : ACM Press, 2009. http://dx.doi.org/10.1145/1599470.1599476.
Texte intégralRybarova, Renata, Ivan Drozd et Gregor Rozinaj. « GUI for interactive speech synthesis ». Dans 2016 International Conference on Systems, Signals and Image Processing (IWSSIP). IEEE, 2016. http://dx.doi.org/10.1109/iwssip.2016.7502776.
Texte intégralLeung, Alan, John Sarracino et Sorin Lerner. « Interactive parser synthesis by example ». Dans PLDI '15 : ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2015. http://dx.doi.org/10.1145/2737924.2738002.
Texte intégralZhou, Zhanhui, Man To Tang, Qiping Pan, Shangyin Tan, Xinyu Wang et Tianyi Zhang. « INTENT : Interactive Tensor Transformation Synthesis ». Dans UIST '22 : The 35th Annual ACM Symposium on User Interface Software and Technology. New York, NY, USA : ACM, 2022. http://dx.doi.org/10.1145/3526113.3545653.
Texte intégralLarochelle, Pierre M. « Interactive Visualization of Spatial Triangles ». Dans ASME 2022 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/detc2022-90056.
Texte intégralThatch, B. R., et A. Myklebust. « A PHIGS-Based Graphics Input Interface for Spatial Mechanism Design ». Dans ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0049.
Texte intégralDong, Weiming, Ning Zhou et Jean-Claude Paul. « Interactive Example-Based Natural Scene Synthesis ». Dans 2009 Third International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications (PMA). IEEE, 2009. http://dx.doi.org/10.1109/pma.2009.50.
Texte intégralMukai, Tomohiko. « Motion rings for interactive gait synthesis ». Dans Symposium on Interactive 3D Graphics and Games. New York, New York, USA : ACM Press, 2011. http://dx.doi.org/10.1145/1944745.1944767.
Texte intégralBarman, Shaon, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya et David Culler. « Toward tool support for interactive synthesis ». Dans SPLASH '15 : Conference on Systems, Programming, Languages, and Applications : Software for Humanity. New York, NY, USA : ACM, 2015. http://dx.doi.org/10.1145/2814228.2814235.
Texte intégralZhang, Tianyi, London Lowmanstone, Xinyu Wang et Elena L. Glassman. « Interactive Program Synthesis by Augmented Examples ». Dans UIST '20 : The 33rd Annual ACM Symposium on User Interface Software and Technology. New York, NY, USA : ACM, 2020. http://dx.doi.org/10.1145/3379337.3415900.
Texte intégralRapports d'organisations sur le sujet "Synthese interactive"
McIntosh, Samuel C., Floyd Jr. et Michel A. Investigation of Interactive Structural and Controller Synthesis for Large Spacecraft. Fort Belvoir, VA : Defense Technical Information Center, janvier 1986. http://dx.doi.org/10.21236/ada172811.
Texte intégralRichard L. Blanton. The Dictyostelium discoideum cellulose synthase : Structure/function analysis and identification of interacting proteins. Office of Scientific and Technical Information (OSTI), février 2004. http://dx.doi.org/10.2172/821393.
Texte intégralMurty A. Akundi. Quarterly Technical Progress Report - Investigation of Syngas Interaction in Alcohol Synthesis Catalysts. Office of Scientific and Technical Information (OSTI), novembre 1998. http://dx.doi.org/10.2172/1625.
Texte intégralYaremchuk, Olesya. TRAVEL ANTHROPOLOGY IN JOURNALISM : HISTORY AND PRACTICAL METHODS. Ivan Franko National University of Lviv, février 2021. http://dx.doi.org/10.30970/vjo.2021.49.11069.
Texte intégralAkundi, MA. Investigation of syngas interaction in alcohol synthesis catalysts. Quarterly technical progress report, October 1,1995--December 31, 1995. Office of Scientific and Technical Information (OSTI), décembre 1993. http://dx.doi.org/10.2172/233294.
Texte intégralPendall, Elise, Kiona Ogle et William Parton. Data-model synthesis of grassland carbon metabolism. Quantifying direct, indirect & ; interactive effects of warming & ; elevated CO2. Office of Scientific and Technical Information (OSTI), février 2016. http://dx.doi.org/10.2172/1239688.
Texte intégralHorwitz, Benjamin A., et Barbara Gillian Turgeon. Fungal Iron Acquisition, Oxidative Stress and Virulence in the Cochliobolus-maize Interaction. United States Department of Agriculture, mars 2012. http://dx.doi.org/10.32747/2012.7709885.bard.
Texte intégralHasanzadeh, Sogand, Mirian Velay-Lizancos, Woei-Chyi Chang, Marina Lopez-Arias et Vito Francioso. Synthesis Study of Best Practices for Cleaning Tools and Paving Equipment : Asphalt Release Agents (ARAs) and Asphalt Cleaners (ACs). Purdue University, 2022. http://dx.doi.org/10.5703/1288284317381.
Texte intégralAkundi, M. A. Investigation of syngas interaction in alcohol synthesis catalysts. Quarterly technical progress report, January 1, 1995--March 31, 1995. Office of Scientific and Technical Information (OSTI), octobre 1995. http://dx.doi.org/10.2172/116681.
Texte intégralAkundi, M. A. Investigation of syngas interaction in alcohol synthesis catalysts. Quartery technical progress report, July 1, 1995--September 31, 1995. Office of Scientific and Technical Information (OSTI), février 1996. http://dx.doi.org/10.2172/196531.
Texte intégral