default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICCSA 2011: Santander, Spain
- Andrés Iglesias, Bernady O. Apduhan, Osvaldo Gervasi, David Taniar, Marina L. Gavrilova:
International Conference on Computational Science and Its Applications, ICCSA 2011, Santander, Spain, June 20-23, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4404-5
Computer Graphics and Virtual Reality
- Pedro Valero-Lara, Fernando L. Pelayo
:
Towards a More Efficient Use of GPUs. 3-9 - Alberto Denia, José Ribelles, Angeles López, Oscar Belmonte:
Low Cost Virtual Animation Effects for Sports Broadcasting: Mosaics, Flags and Big-Sized Flags. 10-16 - Vit Kovalcík, Lukás Kalcok, Jiri Sochor:
Modular System for Haptic Interaction with Multi-contact Collision Detection. 17-23 - Jindrich Moravek, Vit Kovalcík:
Planet Generation: Mimicking the Nature's Way. 24-32 - Padma Polash Paul, Marina L. Gavrilova:
PCA Based Geometric Modeling for Automatic Face Detection. 33-38
Computer Algebra Systems and Their Applications
- Sinan Kapçak, Ünal Ufuktepe:
Multivariable Calculus on Time Scales. 41-50 - Haiduke Sarafian:
Trajectory of a Baseball and Its Characters Under the Influence of a Drag Force and the Magnus Effect. 51-59 - Yasuyuki Nakamura, Setsuo Takato:
Graphical User Interface for Drawing 3D Plots with KETpic. 60-65 - Tadashi Takahashi:
A Note on the Application of Elimination Ideal. 66-71 - Masataka Kaneko, Setsuo Takato:
A CAS Macro Package as LaTeX Graphical Command Generator and Its Applications. 72-81 - Diego Fabregat-Traver, Paolo Bientinesi:
Automatic Generation of Loop-Invariants for Matrix Operations. 82-92 - Satoshi Yamashita, Setsuo Takato:
Making Figures for Class Materials Using KETpic Based on Symbolic Thinking. 93-101 - Takeshi Osoekawa, Yuji Mochizuki, Kazuhiro Yokoyama:
Development of QC2AS - A Computer Algebra System for Symbolic Quantum Chemical Computations. 102-109 - Robert Ipanaqué Chero, Arnulfo Sandoval, Henry Giuseppe Sosa, Andrés Iglesias Prieto:
New Package in Maxima for Single-Valued Interval Computation on Real Numbers. 110-117 - Lauri Eskor, Marina Lepp, Eno Tõnisson:
Automatic Translation of Computer Algebra Systems' Worksheets. 118-123
Future Information System Technologies and Applications
- Kei Itoh, Hiroaki Higaki:
Estimation of Ad Hoc Network Topology Preserving Neighbor Relations among Nodes. 127-134 - Noriki Uchida, Kazuo Takahata, Yoshitaka Shibata:
Evaluation of Cognitive Wireless Networks in Rural Area for Disaster Information Network. 135-142 - Toshihiro Uchibayashi, Bernady O. Apduhan, Norio Shiratori:
Experiments and Functional Analysis in Integrating Sub-ontology Extraction and Tailoring. 143-149 - Flavio Vella, Riccardo M. Cefalá, Alessandro Costantini, Osvaldo Gervasi, Claudio Tanci:
GPU Computing in EGI Environment Using a Cloud Approach. 150-155
Tools and Techniques in Software Development Processes
- Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda:
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. 159-167
Short Papers
- Archit Yajnik:
Approximation of a Digital Signal Using Estimate Wavelet Transform. 171-175 - Sugwon Hong, Nhat-Phuong Tran, Myungho Lee:
Development of Smart Devices for Secure Communication in the SCADA System. 176-180
Ph.D. Showcase Papers
- Fazeleh S. Salehi, Seyed Naser Hashemi:
Controlling an Influenza Outbreak in Deterministic and Stochastic Models with the Emergence and Evolution of Drug Resistance. 183-190 - Velaphi Msomi, Graeme John Oliver, Oscar Philander, K. Sanusi:
A Newly Developed Alternative Way to Describe Shape Memory Alloy Behaviour. 191-197 - Wissem Labbadi:
Answering Conjunctive Fuzzy Query Using Views: Efficient Algorithm to Return the Best k-Tuples: Middleware Based Context-Aware Pervasive Healthcare Vase Study. 198-203
Poster Papers
- Jihn-Chang J. Jehng, Shihchieh Chou, Chin-Yi Cheng, Jia-Sheng Heh:
An Evaluation of the Formal Concept Analysis-Based Document Vector on Document Clustering. 207-210 - Theodor D. Popescu:
New Approach in Machine Monitoring Using Blind Source Separation. 211-214 - Yuesheng Cao, Jinwen Li, Jun Hu, Mingling Zheng, Baofeng Li:
Design Consideration for 10 Gbps Signal Transmission Channel in Copper Backplane System. 215-218 - Hone-Jay Chu, Yu-Pin Lin, Tsun-Kuo Chang:
Spatial Autocorrelation Analysis of Soil Pollution Data in Central Taiwan. 219-222 - Andrey E. Buzyurkin, Evgeny I. Kraus:
Powder Compaction in the Axisymmetric Case. 223-226 - Dongwoo Lee, Junghoon Kim, Ungmo Kim, Young Ik Eom, Hyung Kook Jun, Won Tae Kim:
A Fast Lock-Free User Memory Space Allocator for Embedded Systems. 227-230 - Su Mi Ji, Beom Seok Lee, Kyoung Il Kang, Sung Gook Kim, Cheolwhan Lee, Oh-Young Song, Joon Yeon Choeh, Ran Baik, Sung Wook Baik:
A Study on the Generation of OLAP Data Cube Based on 3D Visualization Interaction. 231-234 - Ran Baik:
Computing of Extremal Characteristic Values of Symmetric Matrices by Individual Homotopy Algorithm. 235-238 - Evgeny I. Kraus, Vasily M. Fomin, Ivan Shabalin:
A Few-Parameter Equation of State and Its Application to the High-Velocity Interaction of Solids. 239-242 - Marta García Vivanco, M. Ángeles González, Inmaculada Palomino, Juan Luis Garrido, Xavier Querol, Bertrand Bessagnet, Jesús de la Rosa, Ana M. Sanchez de la Campa:
Modelling Arsenic, Lead, Cadmium and Nickel Ambient Air Concentrations in Spain. 243-246 - JaeYong Kim, KangHee Lee, KyungHo Yoon, HyungKyu Kim, SungHo Ko:
New Methodology of Modal Analysis for a Dual Cooled Fuel Rod with and without Water in a Flow Channel. 247-249 - Andrey V. Utkin, Igor F. Golovnev, Vasily M. Fomin:
Molecular Dynamics Investigation of the Surface Coating Processes. 250-253 - Javier Melero, Davinia Hernández Leo, Josep Blat:
Towards the Support of Scaffolding in Customizable Puzzle-Based Learning Games. 254-257 - Ravin Ahuja, Asok De, Goldie Gabrani:
SLA Based Scheduler for Cloud for Storage & Computational Services. 258-262 - Saúl Martínez-Díaz, Vitaly Kober:
Morphological Correlation for Robust Image Recognition. 263-266 - Oscar Cosido, Jesús de Josè, David Piquero, Andrés Iglesias, Esteban Sainz:
Implementation and Deployment of Geographical Information System Services in the Municipality of Santander. 267-270 - Miguel Castro, Agustín Guillén, José L. Fuster, Antonio J. Jara, Miguel A. Zamora, Antonio Fernandez Gómez-Skarmeta:
Oxygen Cylinders Management Architecture Based on Internet of Things. 271-274 - Gian Marco Girgenti, Mauro Filippi, Federica Marrone:
Experiments on the Virtual City: Three-Dimensional Reconfigurations of Missing, Never Realized or Destroyed Urban Areas. 275-281 - Kazuaki Tanaka, Yukihiro Matsumoto, Hiroshi Arimori:
Embedded System Development by Lightweight Ruby. 282-285 - Beniamino Murgante, Pasquale Di Donato, Laura Berardi, Mauro Salvemini, Franco Vico:
Plan4all: European Network of Best Practices for Interoperability of Spatial Planning Information. 286-289 - Yiwen Su, Zhiguo Bao, Fangfang Wang, Takahiro Watanabe:
Efficient GA Approach Combined with Taguchi Method for Mixed Constrained Circuit Design. 290-293 - Kentaro Ishibashi, Kazuaki Tanaka:
Management of Classified Information for Information Dispersion Technology. 294-296
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-01 23:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
