Результаты поиска - interaction simulation program program array https

1

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Опубликовано 2005

Оглавление: “...: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets...”
Полный текст

Электронный ресурс eКнига

2

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Опубликовано 2015

Оглавление: “... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”
Полный текст

Электронный ресурс eКнига

3

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
Полный текст

Электронный ресурс eКнига

4

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Опубликовано 2012

Оглавление: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
Полный текст

Электронный ресурс eКнига

5

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Полный текст

Электронный ресурс eКнига

6

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Опубликовано 2012

Оглавление: “... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”
Полный текст

Электронный ресурс eКнига

7

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Полный текст

Электронный ресурс eКнига

8

Python Scripting for Computational Science

по Langtangen, Hans Petter., Langtangen, Hans Petter.
Опубликовано 2006

Оглавление: “... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...”
Полный текст

Электронный ресурс eКнига

9

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...”
Полный текст

Электронный ресурс eКнига

10

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Опубликовано 2010

Оглавление: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Полный текст

Электронный ресурс eКнига

11

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Опубликовано 2010

Оглавление: “... Sensors for Haptics -- FlexTorque: Exoskeleton Interface for Haptic Interaction with the Digital World...”
Полный текст

Электронный ресурс eКнига

12

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Опубликовано 2005

Оглавление: “... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”
Полный текст

Электронный ресурс eКнига

13

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Опубликовано 2005

Оглавление: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Полный текст

Электронный ресурс eКнига

14

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...”
Полный текст

Электронный ресурс eКнига

15

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Полный текст

Электронный ресурс eКнига

16

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Опубликовано 2012

Оглавление: “... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...”
Полный текст

Электронный ресурс eКнига

17

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Опубликовано 2005

Оглавление: “...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...”
Полный текст

Электронный ресурс eКнига

18

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Опубликовано 2010

Оглавление: “... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”
Полный текст

Электронный ресурс eКнига

19

Glycoinformatics

Опубликовано 2015

Оглавление: “...: Application of the Computer Program CASPER in Structural Analysis -- Handling and Conversion of Carbohydrate...”
Полный текст

Электронный ресурс eКнига

20

Computers and Creativity

Опубликовано 2012

Оглавление: “... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска