Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 40 dokumen yang sesuai dengan query
cover
Abstrak :
This book presents the proceedings of the Thirteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX), which took place in the Brunów Palace in Poland from 2nd to 6th July 2018. The conference has been organized at the Faculty of Electronics, Wrocław University of Science and Technology since 2006, and it continues the tradition of two other events: RELCOMEX (1977-89) and Microcomputer School (1985-95). The selection of papers in these proceedings illustrates the broad variety of topics that are investigated in dependability analyses of today's complex systems. Dependability came naturally as a contemporary answer to new challenges in the reliability evaluation of these systems. Such systems cannot be considered only as structures (however complex and distributed) built on the basis of technical resources (hardware): their analysis must take into account a unique blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud-based systems) and a large number of users dispersed geographically and producing an unimaginable number of applications (working online). A growing number of research methods apply the latest advances in artificial intelligence (AI) and computational intelligence (CI). Today's complex systems are really complex and are applied in numerous different fields of contemporary life
Switzerland: Springer, 2019
006.3 CON
Buku Teks  Universitas Indonesia Library
cover
Abstrak :
This monograph presents selected new developments in such areas of dependability research as system modelling, tools and methodologies for system analysis, data security, secure system design and specific dependability aspects in specialized technical applications. Many practical cases illustrate the universal rule that complexity and multiplicity of system processes, their concurrency and their reliance on embedded intelligence (human and artificial) significantly impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods.
Berlin: [Springer, ], 2012
e20398063
eBooks  Universitas Indonesia Library
cover
Abstrak :
This festschrift contains 20 papers that showcase the important scientific contributions of this remarkable man, describes the history of the field of parameterized complexity, and also reflects on other parts of Mike Fellows’s unique and broad range of interests, including his work on the popularization of discrete mathematics for young children.
Berlin: Springer, 2012
e 20406455
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized and Exact Computation, IPEC 2011, in Saarbrücken, Germany, in September 2011. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results, parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications, applications of parameterized and exact computation, and implementation issues of parameterized and exact algorithms.
Berlin: Springer-Verlag , 2012
e20408803
eBooks  Universitas Indonesia Library
cover
Gupta, Anupam, editor
Abstrak :
This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2012, and the 16th International Workshop on Randomization and Computation, RANDOM 2012, held in Cambridge, Massachusetts, USA, in August 2011. The volume contains 28 contributed papers, selected by the APPROX Program Committee out of 70 submissions, and 28 contributed papers, selected by the RANDOM Program Committee out of 67 submissions. APPROX focuses on algorithmic and complexity issues surrounding the development of efficient approximate solutions to computationally difficult problems. RANDOM is concerned with applications of randomness to computational and combinatorial problems.
Berlin : [, Springer-Verlag], 2012
e20410055
eBooks  Universitas Indonesia Library
cover
Abstrak :
This book constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability and Security, CD-ARES 2012, held in Prague, Czech Republic, in August 2012. The 50 revised papers presented were carefully reviewed and selected for inclusion in the volume. The papers concentrate on the many aspects of information systems bridging the gap between research results in computer science and the many application fields. They are organized in the following topical sections, cross-domain applications, aspects of modeling and validation, trust,security, privacy, and safety, mobile applications, data processing and management, retrieval and complex query processing, e-commerce, and papers from the colocated International Workshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2012.
Heidelberg: Springer-Verlag, 2012
e20410057
eBooks  Universitas Indonesia Library
cover
Abstrak :
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).
Berlin: Springer-Verlag, 2012
e20410517
eBooks  Universitas Indonesia Library
cover
Abstrak :
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.
Berlin: Springer-Verlag, 2012
e20410536
eBooks  Universitas Indonesia Library
cover
Abstrak :
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.
Berlin: Springer-Verlag, 2012
e20410538
eBooks  Universitas Indonesia Library
cover
Abstrak :
The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 5 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP; multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications.
Berlin : Springer-Verlag, 2012
e20410592
eBooks  Universitas Indonesia Library
<<   1 2 3 4   >>