Добірка наукової літератури з теми "Synthese interactive"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Synthese interactive".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "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.
Повний текст джерелаSpikes, 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.
Повний текст джерелаLi, 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.
Повний текст джерелаMoolhuijzen, 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.
Повний текст джерелаWebby, 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.
Повний текст джерелаBiuković, Goran, Sandip Basak, Malathy Sony Subramanian Manimekalai, Sankaranarayanan Rishikesan, Manfred Roessle, Thomas Dick, Srinivasa P. S. Rao, Cornelia Hunke та 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, № 1 (22 жовтня 2012): 168–76. http://dx.doi.org/10.1128/aac.01039-12.
Повний текст джерелаMü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.
Повний текст джерелаGu, 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.
Повний текст джерелаSotodosos-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.
Повний текст джерелаRode, 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.
Повний текст джерелаДисертації з теми "Synthese interactive"
Ding, Hong. "Synthèse architecturale interactive et flexible." Phd thesis, Grenoble INPG, 1996. http://www.theses.fr/1996INPG0053.
Повний текст джерелаThis 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.
Повний текст джерелаThis 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.
Повний текст джерелаBozianu, Rodica. "Synthesis of Interactive Reactive Systems." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1026/document.
Повний текст джерелаWe 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.
Повний текст джерелаLe, Guillou-Clemencin Claire. "Effets secondaires des fluoroquinolones : synthèse de deux nouvelles fluoroquinolones." Paris 5, 1994. http://www.theses.fr/1994PA05P256.
Повний текст джерелаLelong, Amélie. "Convergence phonétique en interaction Phonetic convergence in interaction." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENT079/document.
Повний текст джерелаThe 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.
Повний текст джерелаBozianu, 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.
Повний текст джерелаDoctorat 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.
Повний текст джерелаThis 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
Книги з теми "Synthese interactive"
Hughes, Roger Brett. Automated interactive software verification and synthesis. Uxbridge: Brunel University, 1992.
Знайти повний текст джерелаTausworthe, 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.
Знайти повний текст джерелаTurner, Stephen. Computer-assisted design for organic synthesis: An interactive teaching package. Chichester: Wiley, 1987.
Знайти повний текст джерелаAtlas forestier interactif du Cameroun (version 2.0): Document de synthèse. 2nd ed. Yaoundé, Cameroun: World Resources Institute, 2007.
Знайти повний текст джерелаUnited 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.
Знайти повний текст джерелаGarcia, Gérald. Advances in Computer Graphics: Images: Synthesis, Analysis, and Interaction. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991.
Знайти повний текст джерелаJacob, Réal. La PME apprenante: Information, connaissance, interaction, intelligence : rapport de veille-synthèse. Ottawa, Ont: Développement économique Canada, 2000.
Знайти повний текст джерелаGuntrip, Harry. Personality structure and human interaction: The developing synthesis of psychodynamic theory. London: Karnac, 1995.
Знайти повний текст джерелаPersonality Structure and Human Interaction: The Developing Synthesis of Psychodynamic Theory. London: Taylor and Francis, 2018.
Знайти повний текст джерелаKnirel, Yuriy A., and Miguel A. Valvano. Bacterial lipopolysaccharides: Structure, chemical synthesis, biogenesis, and interaction with host cells. Wien: Springer, 2011.
Знайти повний текст джерелаЧастини книг з теми "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.
Повний текст джерелаHippe, 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.
Повний текст джерелаFerreira, 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.
Повний текст джерелаMeskhidze, 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.
Повний текст джерелаYamada, Shinji. "Organic Synthesis". У The Cation–π Interaction, 95–143. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-7335-2_4.
Повний текст джерелаOkwechime, 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.
Повний текст джерелаSchmidt, 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.
Повний текст джерелаGvero, 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.
Повний текст джерелаGammie, 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.
Повний текст джерелаMiculan, 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.
Повний текст джерелаТези доповідей конференцій з теми "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.
Повний текст джерелаRybarova, 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.
Повний текст джерелаLeung, 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.
Повний текст джерелаZhou, 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.
Повний текст джерелаLarochelle, 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.
Повний текст джерелаThatch, 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.
Повний текст джерелаDong, 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.
Повний текст джерелаMukai, 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.
Повний текст джерелаBarman, 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.
Повний текст джерелаZhang, 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.
Повний текст джерелаЗвіти організацій з теми "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.
Повний текст джерелаRichard 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.
Повний текст джерелаMurty 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.
Повний текст джерелаYaremchuk, 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.
Повний текст джерелаAkundi, 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.
Повний текст джерелаPendall, 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.
Повний текст джерелаHorwitz, 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.
Повний текст джерелаHasanzadeh, 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.
Повний текст джерелаAkundi, 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.
Повний текст джерелаAkundi, 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.
Повний текст джерела