Hasil Pencarian  ::  Simpan CSV :: Kembali

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP), 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes, 7333 - computational methods, algorithms and scientific application, 7334 - geometric modelling, graphics and visualization, 7335 - information systems and technologies, 7336 - high performance computing and networks."

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP), 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes, 7333 - computational methods, algorithms and scientific application, 7334 - geometric modelling, graphics and visualization, 7335 - information systems and technologies, 7336 - high performance computing and networks."

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). "

"The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops, 7333 - advances in high performance algorithms and applications (AHPAA), bioinspired computing and applications (BIOCA), computational geometry and applicatons (CGA), chemistry and materials sciences and technologies (CMST), cities, technologies and planning (CTP), 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE), geographical analysis, urban modeling, spatial statistics (Geo-An-Mod), 7335 - optimization techniques and applications (OTA), mobile communications (MC), mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS), remote sensing (RS), 7336 - software engineering processes and applications (SEPA), software quality (SQ), security and privacy in computational sciences (SPCS), soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes, 7333 - computational methods, algorithms and scientific application, 7334 - geometric modelling, graphics and visualization, 7335 - information systems and technologies, 7336 - high performance computing and networks."

"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."

"This book constitutes the refereed proceedings of the 7th International Conference on Geographic Information Science, GIScience 2012, held in Columbus, OH, USA in September 2012. The 26 full papers presented were carefully reviewed and selected from 57 submissions. While the traditional research topics are well reflected in the papers, emerging topics that involve new research hot-spots such as cyber infrastructure, big data, web-based computing also occupy a significant portion of the volume."

"These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling, computing with words and decision making, soft computing in computer vision, rough sets and complex data analysis, theory and applications, intelligent databases and information system, information fusion systems, philosophical and methodological aspects of soft computing, basic issues in rough sets, 40th anniversary of the measures of fuziness, SPS11 uncertainty in profiling systems and applications, handling uncertainty with copulas, formal methods to deal with uncertainty of many-valued events, linguistic summarization and description of data; fuzzy implications, theory and applications, sensing and data mining for teaching and learning, theory and applications of intuitionistic fuzzy sets, approximate aspects of data mining and database analytics, fuzzy numbers and their applications, information processing and management of uncertainty in knowledge-based systems, aggregation functions, imprecise probabilities, probabilistic graphical models with imprecision, theory and applications, belief function theory, basics and/or applications, fuzzy uncertainty in economics and business, new trends in De Finetti's approach, fuzzy measures and integrals, multicriteria decision making, uncertainty in privacy and security, uncertainty in the spirit of Pietro Benvenuti, coopetition; game theory, probabilistic approach."

"This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems."

"The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India, in January 2012. The 55 revised full papers presented in this volume were carefully reviewed andselected from numerous submissions. The papers are organized in topical sectionson advances in computer science and information technology; and ad hoc andubiquitous computing."

"The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India, in January 2012. The 55 revised full papers presented in this volume were carefully reviewed andselected from numerous submissions. The papers are organized in topical sectionson advances in computer science and information technology, and ad hoc andubiquitous computing."