Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering."

"The 27 papers included (plus one invited paper) in this volume were carefully reviewed and selected from 57 full papers presented at the conference (out of 402 submissions). They reflect state-of-the-art research that is often driven by real-world applications, thus successfully relating the academic with the industrial community. The topics covered are: databases and information systems integration, artificial intelligence and decision support systems, information systems analysis and specification, software agents and Internet computing, and human-computer interaction."

"This book constitutes the thoroughly refereed post-conference proceedings of the Joint Meeting of the 2nd Luxembourg-Polish Symposium on Security and Trust and the 19th International Conference Intelligent Information Systems, held as International Joint Confererence on Security and Intelligent Information Systems, SIIS 2011, in Warsaw, Poland, in June 2011. The 29 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 60 initial submissions during two rounds of selection and improvement. The papers are organized in the following three thematic tracks: security and trust, data mining and machine learning, and natural language processing."

"The 21 revised full papers presented were carefully reviewed and selected from numerous contributions. The papers are organized in topical sections on mobile systems in education, SOC for mobile Apps (SOC), networking platforms (NW), mobile execution frameworks (MFW), mobile cloud (MC) and distributed execution, and mobile sensor networks."

"This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Large-Scale Scientific Computations, LSSC 2011, held in Sozopol, Bulgaria, in June 2011. The 74 revised full papers presented together with 3 plenary and invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on robust multigrid, multilevel and multiscale, deterministic and stochastic methods for modeling highly heterogeneous media, advanced methods for transport, control and uncertain systems, applications of metaheuristics to large-scale problems, environmental modelling, large scale computing on many-core architectures, multiscale industrial, enviromental and biomedical problems, efficient algorithms of computational geometry, high performance Monte Carlo simulations, voxel based computations and contributed papers."

"The session topic of this proceeding is intelligent control and robotics and automation, which includes papers about distributed control systems, intelligent fault detection and identification, machine learning in control, neural networks based control systems, fuzzy control, genetic algorithms, robot design, human-robots interfaces, network robotics, and autonomous systems, industrial networks and automation, modeling, simulation and architectures, vision, recognition and reconstruction, virtual reality, image processing, and so on."

"The conference is intended to bring together the researchers and engineers/technologists working in different aspects of intelligent control systems and optimization, robotics and automation, signal processing, sensors, systems modeling and control, industrial engineering, production and management.This part of proceedings includes 82 papers contributed by many researchers in relevant topic areas covered at ICAR2011 from various countries such as France, Japan, USA, Korea and China etc. The session topic of this proceeding is signal processing and industrial engineering, production and management, which includes papers about signal reconstruction, mechanical sensors, real-time systems control system identification, change detection problems, business process modeling, production planning, scheduling and control, computer-based manufacturing technologies, systems modeling and simulation, facilities planning and management, quality control and management, precision engineering, intelligent design and manufacturing."

"The 15 papers presented in this volume were carefully reviewed and selected from 36 submissions. They have been organized in topical sections on, knowledge management and the semantic web, business and information systems development, business, people, and systems interoperability, and business intelligence."

"This book constitutes the thoroughly refereed proceedings of the First International Symposium on Data-Driven Process Discovery and Analysis held in Campione d'Italia, Italy, in June/July 2011. The 11 revised full papers were carefully selected from 31 submissions. In addition to the thorough review process, the lively discussions at the event itself also helped the authors to improve their papers and to foster interesting extensions. The selected papers cover a wide range of topics spanning from theoretical issues related to process representation to practical experience in process discovery and analysis."

"This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems, model checking and quantitative extensions thereof, semantics and analysis of modern programming languages, probabilistic models for concurrency, and testing and run-time verification."