Littérature scientifique sur le sujet « Interactive computation »
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 « Interactive computation ».
À 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 "Interactive computation"
Takagi, Hideyuki, et Hitoshi Iba. « Interactive evolutionary computation ». New Generation Computing 23, no 2 (juin 2005) : 113–14. http://dx.doi.org/10.1007/bf03037488.
Texte intégralData, Deepesh, Gowtham R. Kurri, Jithin Ravi et Vinod M. Prabhakaran. « Interactive Secure Function Computation ». IEEE Transactions on Information Theory 66, no 9 (septembre 2020) : 5492–521. http://dx.doi.org/10.1109/tit.2020.2980789.
Texte intégralKadanoff, Leo P. « Interactive Computation for Undergraduates ». Physics Today 41, no 12 (décembre 1988) : 9–11. http://dx.doi.org/10.1063/1.2811656.
Texte intégralMaddocks, John H., Robert S. Manning, Randy C. Paffenroth, Kathleen A. Rogers et Jeremy A. Warner. « Interactive Computation, Parameter Continuation, and Visualization ». International Journal of Bifurcation and Chaos 07, no 08 (août 1997) : 1699–715. http://dx.doi.org/10.1142/s0218127497001333.
Texte intégralParisi, Luciana. « Interactive Computation and Artificial Epistemologies ». Theory, Culture & ; Society 38, no 7-8 (19 octobre 2021) : 33–53. http://dx.doi.org/10.1177/02632764211048548.
Texte intégralHannay, David G. « Interactive tools for computation theory ». ACM SIGCSE Bulletin 34, no 4 (décembre 2002) : 68–70. http://dx.doi.org/10.1145/820127.820169.
Texte intégralSkowron, Andrzej, Andrzej Jankowski et Soma Dutta. « Interactive granular computing ». Granular Computing 1, no 2 (5 janvier 2016) : 95–113. http://dx.doi.org/10.1007/s41066-015-0002-1.
Texte intégralYan, Jun Rong, et Yong Min. « User Fatigue in Interactive Evolutionary Computation ». Applied Mechanics and Materials 48-49 (février 2011) : 1333–36. http://dx.doi.org/10.4028/www.scientific.net/amm.48-49.1333.
Texte intégralKamitani, Motoki, et Tadashi Ae. « Augmented interactive evolutionary computation for composition ». International Journal of Technology, Policy and Management 4, no 4 (2004) : 337. http://dx.doi.org/10.1504/ijtpm.2004.006616.
Texte intégralGülcü, T. C., et A. M. Barg. « Interactive function computation via polar coding ». Problems of Information Transmission 52, no 1 (janvier 2016) : 66–91. http://dx.doi.org/10.1134/s0032946016010063.
Texte intégralThèses sur le sujet "Interactive computation"
Thaler, Justin R. « Practical Verified Computation with Streaming Interactive Proofs ». Thesis, Harvard University, 2013. http://dissertations.umi.com/gsas.harvard:11086.
Texte intégralEngineering and Applied Sciences
Wetherall, David James. « An interactive programming system for media computation ». Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/38033.
Texte intégralIncludes bibliographical references (p. 103-106).
by David James Wetherall.
M.S.
Skeith, William E. « Homomorphic encryption and non-interactive secure computation ». Diss., Restricted to subscribing institutions, 2007. http://proquest.umi.com/pqdweb?did=1383474491&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.
Texte intégralMcCandless, Michael Kyle. « A model for interactive computation : applications to speech research ». Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/47517.
Texte intégralIncludes bibliographical references (p. 157-159).
by Michael K. McCandless.
Ph.D.
Silva, Marco Jorge Tome da. « Pre-computation for controlling character behavior in interactive physical simulations ». Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/62415.
Texte intégralCataloged from PDF version of thesis.
Includes bibliographical references (p. 129-136).
The development of advanced computer animation tools has allowed talented artists to create digital actors, or characters, in films and commercials that move in a plausible and compelling way. In interactive applications, however, the artist does not have total control over the scenarios the character will experience. Unexpected changes in the environment of the character or unexpected interactions with dynamic elements of the virtual world can lead to implausible motions. This work investigates the use of physical simulation to automatically synthesize plausible character motions in interactive applications. We show how to simulate a realistic motion for a humanoid character by creating a feedback controller that tracks a motion capture recording. By applying the right forces at the right time, the controller is able to recover from a range of interesting changes to the environment and unexpected disturbances. Controlling physically simulated humanoid characters is non-trivial as they are governed by non-linear, non-smooth, and high-dimensional equations of motion. We simplify the problem by using a linearized and simplified dynamics model near a reference trajectory. Tracking a reference trajectory is an effective way of getting a character to perform a single task. However, simulated characters need to perform many tasks form a variety of possible configurations. This work also describes a method for combining existing controllers by adding their output forces to perform new tasks. This allows one to reuse existing controllers. A surprising fact is that combined controllers can perform optimally under certain conditions. These methods allow us to interactively simulate many interesting humanoid character behaviors in two and three dimensions. These characters have many more degrees of freedom than typical robot systems and move much more naturally. Simulation is fast enough that the controllers could soon be used to animate characters in interactive games. It is also possible that these simulations could be used to test robotic designs and biomechanical hypotheses.
by Marco Jorge Tome da Silva.
Ph.D.
Battle, Leilani Marie. « Interactive visualization of big data leveraging databases for scalable computation ». Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/84906.
Texte intégralCataloged from PDF version of thesis.
Includes bibliographical references (pages 55-57).
Modern database management systems (DBMS) have been designed to efficiently store, manage and perform computations on massive amounts of data. In contrast, many existing visualization systems do not scale seamlessly from small data sets to enormous ones. We have designed a three-tiered visualization system called ScalaR to deal with this issue. ScalaR dynamically performs resolution reduction when the expected result of a DBMS query is too large to be effectively rendered on existing screen real estate. Instead of running the original query, ScalaR inserts aggregation, sampling or filtering operations to reduce the size of the result. This thesis presents the design and implementation of ScalaR, and shows results for two example applications, visualizing earthquake records and satellite imagery data, stored in SciDB as the back-end DBMS.
by Leilani Marie Battle.
S.M.
Poon, Chun-ho. « Efficient occlusion culling and non-refractive transparency rendering for interactive computer visualization / ». Hong Kong : University of Hong Kong, 2000. http://sunzi.lib.hku.hk:8888/cgi-bin/hkuto%5Ftoc%5Fpdf?B22925880.
Texte intégralHUANG, Weixin. « PROBLEM SOLVING BEHAVIOR EMPLOYED IN APARTMENT INTERIOR WORKS DESIGN USING INTERACTIVE EVOLUTIONARY COMPUTATION ». 京都大学 (Kyoto University), 2007. http://hdl.handle.net/2433/49131.
Texte intégralDesign problem solving behavior refers to the way in which people solve their creative problem of design in their mind. It is one of the basic problems in the area of design methodology, which varies greatly by cases and designers. On the other hand, there are still some general ways or commonness as the core. Because of the complexity of design problem solving behavior, it is still not understood very well. This dissertation dives into the problem of design problem solving behavior too and tried to provide a general view of it, including both the general strategies and the temporary tactics. But differs from many other researches, it employed a confined and well-structured simulation of manual design process by employing the method of interactive evolutionary computation (IEC) to extract design problem solving behavior objectively. The simulated design process provided a comparable and statistically analyzable model for exploring design problem solving behavior of people, and made the findings of this dissertation more reliable. The design problem of interior works of Chinese residents, which need little special knowledge to solve, was selected as the design problem in this dissertation. The method of IEC was applied in interior works design for helping the Chinese residents to solve the practical interior works design problems, and inducing the design problem solving behavior of them. The dissertation contains 6 chapters, including the general introduction (chapter 1), the main body (chapter 2 to 5), and the conclusion (chapter 6). The main body can be further divided into two parts. In the first part (chapter 2 and 3) the IEC interior works (IECIW) design system was developed, and evaluated by a large amount of Chinese residents on its usability and disadvantage. After the preparation of method in the first part, the second part (chapter 4 and 5) presented two parallel researches on participants’ design problem solving behavior in design process using IEC in order to approach the design problem solving behavior in common design processes. Chapter 1 introduces the background and purpose of the research, reviewed related literatures, and the frame work of the dissertation. In chapter 2, IEC method was tentatively applied in the problem of interior works design. 7 color and texture related factors of the living room of a typical apartment in Beijing were selected as design factors in the IEC IW design system. Through 3 experiments, the IEC IW design system was found effective in interior works design and heuristic for the two tested Chinese students. The effect of increasing population size was also found significantly increasing the efficiency of the system. In chapter 3, the developed IEC IW design system was tentatively used by 231 Chinese residents to evaluate its usability and disadvantage in real design problems of interior works. It was concluded that the IEC IW design system is useful for the residents, and it was also found that older participants, and those with lower education and family income levels, gave the system better evaluations. Chapter 4 started to explore problem solving behavior of people in design tasks through simulated design process for interior works using IEC. Data of design process employing IEC of 8 Chinese participants were collected. Through analysis of design problem solving process, it was revealed that people tend to do what they are certain of firstly, and make harder decisions later. It was also found that people did not tend to move their eyes to a faraway image in the interface constantly, which was considered more convenient for them. Chapter 5 continued to explore problem solving behavior of the 8 participants' interior works design process employing IEC. The method of protocol analysis was employed to analyze verbal reports of the participants. It was revealed that different parts of the interior scene have different influence on people's evaluation, and people tended to use same evaluation criterion continuously on several images, then switch to another evaluation criterion. 3 stages of design problem solving behavior along the process were also explained. Chapter 6 summarizes the findings in the dissertation, presents the general discussion and perspective, and proposed some research in the future.
Kyoto University (京都大学)
0048
新制・課程博士
博士(工学)
甲第13384号
工博第2855号
新制||工||1420(附属図書館)
25540
UT51-2007-Q785
京都大学大学院工学研究科建築学専攻
(主査)教授 宗本 順三, 教授 上谷 宏二, 教授 加藤 直樹
学位規則第4条第1項該当
Poon, Chun-ho, et 潘仲豪. « Efficient occlusion culling and non-refractive transparency rendering for interactive computer visualization ». Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2000. http://hub.hku.hk/bib/B2974328X.
Texte intégralWoolley, Brian G. « Novelty-Assisted Interactive Evolution of Control Behaviors ». Doctoral diss., University of Central Florida, 2012. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/5579.
Texte intégralID: 031001574; System requirements: World Wide Web browser and PDF reader.; Mode of access: World Wide Web.; Adviser: Kenneth O. Stanley.; Title from PDF title page (viewed August 26, 2013).; Thesis (Ph.D.)--University of Central Florida, 2012.; Includes bibliographical references (p. 129-138).
Ph.D.
Doctorate
Electrical Engineering and Computing
Engineering and Computer Science
Computer Engineering
Livres sur le sujet "Interactive computation"
Goldin, Dina, Scott A. Smolka et Peter Wegner, dir. Interactive Computation. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/3-540-34874-3.
Texte intégralGarg, Akash. Interactive, Computation Assisted Design Tools. [New York, N.Y.?] : [publisher not identified], 2020.
Trouver le texte intégralFrance, Société mathématique de, dir. Interactive models of computation and program behavior. Paris : Société mathématique de France, 2009.
Trouver le texte intégralPaulson, Lawrence C. Logic and Computation : Interactive Proof with Cambridge LCF. Cambridge : Cambridge University Press, 1987.
Trouver le texte intégralPaulson, Lawrence C. Logic and computation : Interactive proof with Cambridge LCF. Cambridge : Cambridge University Press, 1987.
Trouver le texte intégralBarkey, Derek A. Manual for program PSTRESS : Peel stress computation. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1987.
Trouver le texte intégralC, Madan Ram, et Langley Research Center, dir. Manual for program PSTRESS : Peel stress computation. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1987.
Trouver le texte intégralM, Vose Emily, dir. Oracle Hyperion interactive reporting 11 expert guide : Master advanced dashboards, JavaScript and computation features of Oracle Hyperion Interactive Reporting 11 and much more. Birmingham, U.K : Packt Pub., 2011.
Trouver le texte intégralAman, Bogdan. Mobility in Process Calculi and Natural Computing. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.
Trouver le texte intégralE, Taplin John H., dir. Cost-benefit analysis and evolutionary computing : Optimal scheduling of interactive road projects. Cheltenham, UK : E. Elgar Pub., 2005.
Trouver le texte intégralChapitres de livres sur le sujet "Interactive computation"
van Leeuwen, Jan, et Jiří Wiedermann. « A Theory of Interactive Computation ». Dans Interactive Computation, 119–42. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/3-540-34874-3_6.
Texte intégralZhan, Bohua, Yuheng Fan, Weiqiang Xiong et Runqing Xu. « Iscalc : An Interactive Symbolic Computation Framework (System Description) ». Dans Automated Deduction – CADE 29, 577–89. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_33.
Texte intégralXu, Runqing, Liming Li et Bohua Zhan. « Verified Interactive Computation of Definite Integrals ». Dans Automated Deduction – CADE 28, 485–503. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_28.
Texte intégralPattinson, Dirk, et Mukesh Tiwari. « Schulze Voting as Evidence Carrying Computation ». Dans Interactive Theorem Proving, 410–26. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66107-0_26.
Texte intégralYao, Andrew Chi-Chih. « Interactive Proofs for Quantum Computation ». Dans Algorithms and Computation, 1. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24587-2_1.
Texte intégralBraun, Jasper, Daniel Cruz et Nataša Jonoska. « Platform Color Designs for Interactive Molecular Arrangements ». Dans Unconventional Computation and Natural Computation, 69–81. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-58187-3_6.
Texte intégralIshai, Yuval, Eyal Kushilevitz, Rafail Ostrovsky, Manoj Prabhakaran et Amit Sahai. « Efficient Non-interactive Secure Computation ». Dans Advances in Cryptology – EUROCRYPT 2011, 406–25. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20465-4_23.
Texte intégralChase, Melissa, Yevgeniy Dodis, Yuval Ishai, Daniel Kraschewski, Tianren Liu, Rafail Ostrovsky et Vinod Vaikuntanathan. « Reusable Non-Interactive Secure Computation ». Dans Advances in Cryptology – CRYPTO 2019, 462–88. Cham : Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-26954-8_15.
Texte intégralMerelli, Emanuela, et Anita Wasilewska. « Topological Interpretation of Interactive Computation ». Dans From Reactive Systems to Cyber-Physical Systems, 205–24. Cham : Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-31514-6_12.
Texte intégralMorgan, Andrew, Rafael Pass et Antigoni Polychroniadou. « Succinct Non-interactive Secure Computation ». Dans Advances in Cryptology – EUROCRYPT 2020, 216–45. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45724-2_8.
Texte intégralActes de conférences sur le sujet "Interactive computation"
Suh, Changho, et Michael Gastpar. « Interactive function computation ». Dans 2013 IEEE International Symposium on Information Theory (ISIT). IEEE, 2013. http://dx.doi.org/10.1109/isit.2013.6620642.
Texte intégralTorabi, Solmaz, et John MacLaren Walsh. « Distributed lossy interactive function computation ». Dans 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 2016. http://dx.doi.org/10.1109/allerton.2016.7852258.
Texte intégralMarques, Viriato M., Cecilia Reis et J. A. Tenreiro Machado. « Interactive Evolutionary Computation in music ». Dans 2010 IEEE International Conference on Systems, Man and Cybernetics - SMC. IEEE, 2010. http://dx.doi.org/10.1109/icsmc.2010.5642417.
Texte intégralRezagah, Farideh Ebrahim, et Elza Erkip. « Interactive function computation with reconstruction constraints ». Dans 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 2013. http://dx.doi.org/10.1109/allerton.2013.6736620.
Texte intégralGulcu, Talha Cihad, et Alexander Barg. « Interactive function computation via polar coding ». Dans 2014 52nd Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 2014. http://dx.doi.org/10.1109/allerton.2014.7028539.
Texte intégralMitchell, Thomas, Peter Bennett, Sebastian Madgwick, Edward Davies et Philip Tew. « Tangible Interfaces for Interactive Evolutionary Computation ». Dans CHI'16 : CHI Conference on Human Factors in Computing Systems. New York, NY, USA : ACM, 2016. http://dx.doi.org/10.1145/2851581.2892405.
Texte intégralIshibashi, Ken. « Interactive Texture Chooser Using Interactive Evolutionary Computation and Similarity Search ». Dans 2018 Nicograph International (NicoInt). IEEE, 2018. http://dx.doi.org/10.1109/nicoint.2018.00015.
Texte intégralHettenhausen, Jan, Andrew Lewis, Marcus Randall et Timoleon Kipouros. « Interactive multi-objective particle swarm optimisation using decision space interaction ». Dans 2013 IEEE Congress on Evolutionary Computation (CEC). IEEE, 2013. http://dx.doi.org/10.1109/cec.2013.6557988.
Texte intégralYanagisawa, Hideyoshi, et Shuichi Fukuda. « Interactive Reduct Evolutional Computation for Aesthetic Design ». Dans ASME 2003 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/detc2003/cie-48287.
Texte intégralTaylor, Kendall, et Xiaodong Li. « Interactive multiobjective optimisation ». Dans GECCO '18 : Genetic and Evolutionary Computation Conference. New York, NY, USA : ACM, 2018. http://dx.doi.org/10.1145/3205455.3205624.
Texte intégralRapports d'organisations sur le sujet "Interactive computation"
Avigad, Jeremy, et Robert Harper. Type Theory, Computation and Interactive Theorem Proving. Fort Belvoir, VA : Defense Technical Information Center, septembre 2015. http://dx.doi.org/10.21236/ad1003773.
Texte intégralWegman, Edward J. Instrumentation in Support of Interactive Visualization, Computation and Simulation. Fort Belvoir, VA : Defense Technical Information Center, juin 1997. http://dx.doi.org/10.21236/ada328337.
Texte intégralKimble, Harry. STIC : Photonic Quantum Computation through Cavity Assisted Interaction. Fort Belvoir, VA : Defense Technical Information Center, décembre 2007. http://dx.doi.org/10.21236/ada482257.
Texte intégralBoyd, Iain D. Particle Computations of Hypersonic Shock Interaction Flows. Fort Belvoir, VA : Defense Technical Information Center, mars 2004. http://dx.doi.org/10.21236/ada422121.
Texte intégralDagotto, Elbio. Computational Studies of Strongly Interacting Electrons. Fort Belvoir, VA : Defense Technical Information Center, janvier 1997. http://dx.doi.org/10.21236/ada328576.
Texte intégralChandler, Graham V. Continuum and Particle Computations of Hypersonic Shock Interaction Flows. Fort Belvoir, VA : Defense Technical Information Center, novembre 2003. http://dx.doi.org/10.21236/ada428392.
Texte intégralDeutsch, Stephen, et Michael Young. A Computational Dual-Process Model of Social Interaction. Fort Belvoir, VA : Defense Technical Information Center, janvier 2014. http://dx.doi.org/10.21236/ada612453.
Texte intégralTezduyar, Tayfun E. Multiscale and Sequential Coupling Techniques for Fluid-Structure Interaction Computations. Fort Belvoir, VA : Defense Technical Information Center, octobre 2012. http://dx.doi.org/10.21236/ada585768.
Texte intégralMurty, U. S. Nanobioinformatics : Emerging Computational Tools to Understand Nano-Bio Interaction. Fort Belvoir, VA : Defense Technical Information Center, novembre 2012. http://dx.doi.org/10.21236/ada570548.
Texte intégralGreenberg, Donald P., et Brandon M. Hencey. Recovery Act : Advanced Interaction, Computation, and Visualization Tools for Sustainable Building Design. Office of Scientific and Technical Information (OSTI), août 2013. http://dx.doi.org/10.2172/1090620.
Texte intégral