Academic literature on the topic 'Synthese interactive'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Synthese interactive.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Synthese interactive"
Weber, Ute, Laszlo Zsolnai, and Gottfried Hüttner. "Synthesen und Strukturen von Distibankomplexen / Syntheses and Structures of Distibane Complexes." Zeitschrift für Naturforschung B 40, no. 11 (November 1, 1985): 1430–36. http://dx.doi.org/10.1515/znb-1985-1103.
Full textSpikes, Tobias E., Martin G. Montgomery, and 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 (February 4, 2021): e2021012118. http://dx.doi.org/10.1073/pnas.2021012118.
Full textLi, Chunhong, Sreelatha Sarangapani, Qian Wang, Kumar Nadimuthu, and 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 (August 26, 2020): 6164. http://dx.doi.org/10.3390/ijms21176164.
Full textMoolhuijzen, Paula M., Mariano Jordi Muria-Gonzalez, Robert Syme, Catherine Rawlinson, Pao Theen See, Caroline S. Moffat, and Simon R. Ellwood. "Expansion and Conservation of Biosynthetic Gene Clusters in Pathogenic Pyrenophora spp." Toxins 12, no. 4 (April 9, 2020): 242. http://dx.doi.org/10.3390/toxins12040242.
Full textWebby, Celia J., Mark L. Patchett, and 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 (August 9, 2005): 223–30. http://dx.doi.org/10.1042/bj20050259.
Full textBiuković, Goran, Sandip Basak, Malathy Sony Subramanian Manimekalai, Sankaranarayanan Rishikesan, Manfred Roessle, Thomas Dick, Srinivasa P. S. Rao, Cornelia Hunke, and 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 (October 22, 2012): 168–76. http://dx.doi.org/10.1128/aac.01039-12.
Full textMühleip, Alexander W., Friederike Joos, Christoph Wigge, Achilleas S. Frangakis, Werner Kühlbrandt, and 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 (July 11, 2016): 8442–47. http://dx.doi.org/10.1073/pnas.1525430113.
Full textGu, Ying, and Chris Somerville. "Cellulose synthase interacting protein." Plant Signaling & Behavior 5, no. 12 (December 2010): 1571–74. http://dx.doi.org/10.4161/psb.5.12.13621.
Full textSotodosos-Alonso, Laura, María García-García, Enrique Calvo, Aleksandra Norczyk-Simón, Jesús Vázquez, Asier Echarri, and Miguel A. Del Pozo. "Cell tension controlling pathways and nutrient availability regulate plasma membrane ATP synthase trafficking." IBJ Plus 1, s5 (June 3, 2022): 45. http://dx.doi.org/10.24217/2531-0151.22v1s5.00045.
Full textRode, W., and 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 (March 31, 1996): 133–42. http://dx.doi.org/10.18388/abp.1996_4524.
Full textDissertations / Theses on the topic "Synthese interactive"
Ding, Hong. "Synthèse architecturale interactive et flexible." Phd thesis, Grenoble INPG, 1996. http://www.theses.fr/1996INPG0053.
Full textThis 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, and 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.
Full textThis 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.
Full textBozianu, Rodica. "Synthesis of Interactive Reactive Systems." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1026/document.
Full textWe 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.
Full textLe, Guillou-Clemencin Claire. "Effets secondaires des fluoroquinolones : synthèse de deux nouvelles fluoroquinolones." Paris 5, 1994. http://www.theses.fr/1994PA05P256.
Full textLelong, Amélie. "Convergence phonétique en interaction Phonetic convergence in interaction." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENT079/document.
Full textThe 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.
Full textBozianu, 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.
Full textDoctorat 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.
Full textThis 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
Books on the topic "Synthese interactive"
Hughes, Roger Brett. Automated interactive software verification and synthesis. Uxbridge: Brunel University, 1992.
Find full textTausworthe, 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.
Find full textTurner, Stephen. Computer-assisted design for organic synthesis: An interactive teaching package. Chichester: Wiley, 1987.
Find full textAtlas forestier interactif du Cameroun (version 2.0): Document de synthèse. 2nd ed. Yaoundé, Cameroun: World Resources Institute, 2007.
Find full textUnited 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.
Find full textGarcia, Gérald. Advances in Computer Graphics: Images: Synthesis, Analysis, and Interaction. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991.
Find full textJacob, Réal. La PME apprenante: Information, connaissance, interaction, intelligence : rapport de veille-synthèse. Ottawa, Ont: Développement économique Canada, 2000.
Find full textGuntrip, Harry. Personality structure and human interaction: The developing synthesis of psychodynamic theory. London: Karnac, 1995.
Find full textPersonality Structure and Human Interaction: The Developing Synthesis of Psychodynamic Theory. London: Taylor and Francis, 2018.
Find full textKnirel, Yuriy A., and Miguel A. Valvano. Bacterial lipopolysaccharides: Structure, chemical synthesis, biogenesis, and interaction with host cells. Wien: Springer, 2011.
Find full textBook chapters on the topic "Synthese interactive"
Koenig, Reinhard, Yufan Miao, Katja Knecht, Peter Buš, and Chang Mei-Chih. "Interactive Urban Synthesis." In Communications in Computer and Information Science, 23–41. Singapore: Springer Singapore, 2017. http://dx.doi.org/10.1007/978-981-10-5197-5_2.
Full textHippe, Z. S. "Human Interaction in Planning Chemical Syntheses. Some Problems of Retro-Synthesis." In Human-Computer Systems Interaction, 67–79. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-62120-3_6.
Full textFerreira, Margarida, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, and Ruben Martins. "FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions." In 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.
Full textMeskhidze, Helen. "(What) Do We Learn from Code Comparisons? A Case Study of Self-Interacting Dark Matter Implementations." In Synthese Library, 171–86. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_10.
Full textYamada, Shinji. "Organic Synthesis." In The Cation–π Interaction, 95–143. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-7335-2_4.
Full textOkwechime, Dumebi, Eng-Jon Ong, Andrew Gilbert, and Richard Bowden. "Social Interactive Human Video Synthesis." In Computer Vision – ACCV 2010, 256–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19315-6_20.
Full textSchmidt, Joshua, Sebastian Krings, and Michael Leuschel. "Interactive Model Repair by Synthesis." In Lecture Notes in Computer Science, 303–7. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33600-8_25.
Full textGvero, Tihomir, Viktor Kuncak, and Ruzica Piskac. "Interactive Synthesis of Code Snippets." In Computer Aided Verification, 418–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22110-1_33.
Full textGammie, Peter. "Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments." In Interactive Theorem Proving, 87–102. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22863-6_9.
Full textMiculan, Marino, and Marco Paviotti. "Synthesis of Distributed Mobile Programs Using Monadic Types in Coq." In Interactive Theorem Proving, 183–200. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32347-8_13.
Full textConference papers on the topic "Synthese interactive"
Jain, Sumit, and C. Karen Liu. "Interactive synthesis of human-object interaction." In the 2009 ACM SIGGRAPH/Eurographics Symposium. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1599470.1599476.
Full textRybarova, Renata, Ivan Drozd, and Gregor Rozinaj. "GUI for interactive speech synthesis." In 2016 International Conference on Systems, Signals and Image Processing (IWSSIP). IEEE, 2016. http://dx.doi.org/10.1109/iwssip.2016.7502776.
Full textLeung, Alan, John Sarracino, and Sorin Lerner. "Interactive parser synthesis by example." In 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.
Full textZhou, Zhanhui, Man To Tang, Qiping Pan, Shangyin Tan, Xinyu Wang, and Tianyi Zhang. "INTENT: Interactive Tensor Transformation Synthesis." In 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.
Full textLarochelle, Pierre M. "Interactive Visualization of Spatial Triangles." In 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.
Full textThatch, B. R., and A. Myklebust. "A PHIGS-Based Graphics Input Interface for Spatial Mechanism Design." In ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0049.
Full textDong, Weiming, Ning Zhou, and Jean-Claude Paul. "Interactive Example-Based Natural Scene Synthesis." In 2009 Third International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications (PMA). IEEE, 2009. http://dx.doi.org/10.1109/pma.2009.50.
Full textMukai, Tomohiko. "Motion rings for interactive gait synthesis." In Symposium on Interactive 3D Graphics and Games. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/1944745.1944767.
Full textBarman, Shaon, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler. "Toward tool support for interactive synthesis." In 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.
Full textZhang, Tianyi, London Lowmanstone, Xinyu Wang, and Elena L. Glassman. "Interactive Program Synthesis by Augmented Examples." In 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.
Full textReports on the topic "Synthese interactive"
McIntosh, Samuel C., Floyd Jr., and Michel A. Investigation of Interactive Structural and Controller Synthesis for Large Spacecraft. Fort Belvoir, VA: Defense Technical Information Center, January 1986. http://dx.doi.org/10.21236/ada172811.
Full textRichard L. Blanton. The Dictyostelium discoideum cellulose synthase: Structure/function analysis and identification of interacting proteins. Office of Scientific and Technical Information (OSTI), February 2004. http://dx.doi.org/10.2172/821393.
Full textMurty A. Akundi. Quarterly Technical Progress Report - Investigation of Syngas Interaction in Alcohol Synthesis Catalysts. Office of Scientific and Technical Information (OSTI), November 1998. http://dx.doi.org/10.2172/1625.
Full textYaremchuk, Olesya. TRAVEL ANTHROPOLOGY IN JOURNALISM: HISTORY AND PRACTICAL METHODS. Ivan Franko National University of Lviv, February 2021. http://dx.doi.org/10.30970/vjo.2021.49.11069.
Full textAkundi, 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), December 1993. http://dx.doi.org/10.2172/233294.
Full textPendall, Elise, Kiona Ogle, and 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), February 2016. http://dx.doi.org/10.2172/1239688.
Full textHorwitz, Benjamin A., and Barbara Gillian Turgeon. Fungal Iron Acquisition, Oxidative Stress and Virulence in the Cochliobolus-maize Interaction. United States Department of Agriculture, March 2012. http://dx.doi.org/10.32747/2012.7709885.bard.
Full textHasanzadeh, Sogand, Mirian Velay-Lizancos, Woei-Chyi Chang, Marina Lopez-Arias, and 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.
Full textAkundi, 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), October 1995. http://dx.doi.org/10.2172/116681.
Full textAkundi, 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), February 1996. http://dx.doi.org/10.2172/196531.
Full text