Brooks, David R. Programming in HTML and PHP [[electronic resource] :] : coding for Scientists and Engineers / / David R. Brooks ; . - 1st ed. 2017. - [S. l. : s. n.]. - XI, 293 p. 2 illus. - Б. ц. Зміст: Introducing -- HTML Document Basics -- HTML Tables, Forms, Lists, and Frames -- Creating a PHP Environment -- Introduction to PHP -- Arrays -- Functions -- Input/Output and Functions for Files, Strings, and Arrays -- PHP Graphics -- PHP from a Command Line -- Appendices -- Exercises. Рубрики: Software engineering. Microprogramming . Client/server computing. Computer graphics. Software Engineering/Programming and Operating Systems. Control Structures and Microprogramming. Servers. Computer Graphics. Анотація: This concise and accessible textbook will enable readers to quickly develop the working skills necessary to solve computational problems in a server-based environment, using HTML and PHP. The importance of learning by example (as opposed to simply learning by copying) is emphasized through extensive use of hands-on exercises and examples, with a specific focus on useful science and engineering applications. The clearly-written text is designed to be simple to follow for the novice student, without requiring any background in programming or mathematics beyond algebra. Topics and features: Describes the creation of HTML pages and the characteristics of HTML documents, showing how to use HTML tables, forms, lists, and frames to organize documents for use with PHP applications Explains how to set up a PHP environment, using a local or remote server Introduces the capabilities and syntax of the PHP language, including coverage of array syntax and use Examines user-defined functions in programming, summarizing PHP functions for reading and writing files, viewing the content of variables, and manipulating strings Reviews the PHP GD graphics library, presenting applications for creating pie charts, bar graphs, and line graphs suitable for displaying scientific data Includes appendices listing HTML and ASCII special characters, and highlighting the essential basic strategies for solving computational problems Supplying all of the tools necessary to begin coding in HTML and PHP, this invaluable textbook is ideal for undergraduate students taking introductory courses in programming. The book will also serve as a helpful self-study text for professionals in any technical field. Dr. David R. Brooks is the president and founder of the Institute for Earth Science Research and Education, Eagleville, PA, USA. He was formally a research professor at Drexel University, Philadelphia, PA, USA. He is the author of a number of successful Springer titles, including Guide to HTML, JavaScript and PHP, An Introduction to PHP for Scientists and Engineers, An Introduction to HTML and JavaScript, C Programming, and Problem Solving with Fortran 90. Перейти: https://doi.org/10.1007/978-3-319-56973-4 Дод.точки доступу: Brooks, David R. \.\; SpringerLink (Online service) Свободных экз. нет |
System Level Design from HW/SW to Memory for Embedded Systems [[electronic resource] :] : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguacu, Brazil, November 3–6, 2015, Proceedings / / ed. Gotz, Marcelo. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XII, 231 p. 92 illus. - Б. ц. Рубрики: Special purpose computers. Computer hardware. Architecture, Computer. Software engineering. Special Purpose and Application-Based Systems. Computer Hardware. Computer System Implementation. Software Engineering/Programming and Operating Systems. Анотація: This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguacu, Brazil, in November 2015. The 18 full revised papers presented were carefully reviewed and selected from 25 submissions. The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design methodologies, verification, performance analysis, and real-time systems design. They are organized in the following topical sections: cyber-physical systems, system-level design; multi/many-core system design; memory system design; and embedded HW/SW design and applications. Перейти: https://doi.org/10.1007/978-3-319-90023-0 Дод.точки доступу: Gotz, Marcelo. \ed.\; Schirner, Gunar. \ed.\; Wehrmeister, Marco Aurelio. \ed.\; Al Faruque, Mohammad Abdullah. \ed.\; Rettberg, Achim. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Youn, Chan-Hyun. Cloud Broker and Cloudlet for Workflow Scheduling [[electronic resource] /] : монография / Chan-Hyun. Youn, Chen, Min., Dazzi, Patrizio. ; . - 1st ed. 2017. - [S. l. : s. n.]. - IX, 212 p. 92 illus., 48 illus. in color. - Б. ц. Зміст: 1 Integrated Cloud Broker System and Its Experimental Evaluation -- 2 VM Placement via Resource Brokers in a Cloud Datacenter -- 3 Cost Adaptive Workflow Resource Broker in Cloud -- 4 A Cloud Broker System for Connected Car Services with an Integrated Simulation Framework -- 5 Mobile Device as Cloud Broker for Computation Offloading at Cloudlets -- 6 Opportunistic Task Scheduling over Co-Located Clouds -- 7 Mobility-Aware Resource Scheduling Cloudlets in Mobile Environment -- 8 Machine-learning based approaches for cloud brokering. . Рубрики: Computer organization. Computational intelligence. Software engineering. Application software. Information technology. Business—Data processing. Computer Systems Organization and Communication Networks. Computational Intelligence. Software Engineering/Programming and Operating Systems. Information Systems Applications (incl. Internet). IT in Business. Анотація: This book blends the principles of cloud computing theory and discussion of emerging technologies in cloud broker systems, enabling users to realise the potential of an integrated broker system for scientific applications and the Internet of Things (IoT). Due to dynamic situations in user demand and cloud resource status, scalability has become crucial in the execution of complex scientific applications. Therefore, data analysts and computer scientists must grasp workflow management issues in order to better understand the characteristics of cloud resources, allocate these resources more efficiently and make critical decisions intelligently. Thus, this book addresses these issues through discussion of some novel approaches and engineering issues in cloud broker systems and cloudlets for workflow scheduling. This book closes the gaps between cloud programmers and scientific applications designers, describing the fundamentals of cloud broker system technology and the state-of-the-art applications in implementation and performance evaluation. The books gives details of scheduling structures and processes, providing guidance and inspiration for users including cloud programmers, application designers and decision makers with involvement in cloud resource management. Перейти: https://doi.org/10.1007/978-981-10-5071-8 Дод.точки доступу: Chen, Min.; Dazzi, Patrizio.; Youn, Chan-Hyun. \.\; SpringerLink (Online service) Свободных экз. нет |
Muller-Schloer, Christian. Organic Computing – Technical Systems for Survival in the Real World [[electronic resource] /] : монография / Christian. Muller-Schloer, Tomforde, Sven. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XXVI, 578 p. 207 illus., 175 illus. in color. - Б. ц. Зміст: 1 Self-organised order: Examples -- 2 Problem statement -- 3 Systems -- 4 Quantitative OC -- 5 Building OC Systems -- 6 Design Time to Runtime -- 7 Basic Methods -- 8 Applications -- 9 Related Approaches. - 10 Outline -- 11 Glossary. Рубрики: Software engineering. Artificial intelligence. Control engineering. Robotics. Mechatronics. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Control, Robotics, Mechatronics. Анотація: This book is a comprehensive introduction into Organic Computing (OC), a technology for self-organising, self-adaptive, autonomous systems. OC has been conceived about 15 years ago. In the mean time many aspects of OC have been investigated in much detail. A DFG Priority Program and a DFG Research Unit have developed basic OC concepts and have shown their utility in practical applications. This book systematically presents the current state-of-the-art in OC. It starts with motivating examples of self-organising, self-adaptive and emergent systems, derives their common characteristics and explains the fundamental ideas for a formal characterisation of such systems. Special emphasis is given to a quantitative treatment of concepts like self-organisation, emergence, autonomy, robustness, and adaptivity. The book shows practical examples of architectures for OC systems and their applications in traffic control, grid computing, sensor networks, robotics, and smart camera systems. The extension of single OC systems into collective systems consisting of social agents based on concepts like trust and reputation is explained. OC makes heavy use of learning and optimisation technologies; a compact overview of these technologies and related approaches to self-organising systems is provided. Перейти: https://doi.org/10.1007/978-3-319-68477-2 Дод.точки доступу: Tomforde, Sven.; Muller-Schloer, Christian. \.\; SpringerLink (Online service) Свободных экз. нет |
Gorrieri, Roberto. Process Algebras for Petri Nets [[electronic resource] :] : the Alphabetization of Distributed Systems / / Roberto. Gorrieri ; . - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 302 p. 64 illus., 4 illus. in color. - Б. ц. Зміст: Introduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous Parallel Composition: CFM and BPP -- Adding Communication and Restriction: FNC -- Adding Multi-party Communication: FNM -- Adding Atomic Tests for Absence: NPL -- Generalizations and Conclusions. Рубрики: Computers. Mathematical logic. Software engineering. Theory of Computation. Mathematical Logic and Foundations. Software Engineering/Programming and Operating Systems. Анотація: This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science. Перейти: https://doi.org/10.1007/978-3-319-55559-1 Дод.точки доступу: Gorrieri, Roberto. \.\; SpringerLink (Online service) Свободных экз. нет |
Alebrahim, Azadeh. Bridging the Gap between Requirements Engineering and Software Architecture [[electronic resource] :] : a Problem-Oriented and Quality-Driven Method / / Azadeh. Alebrahim ; . - 1st ed. 2017. - [S. l. : s. n.]. - XXVI, 500 p. 141 illus. - Б. ц. Зміст: Context Elicitation & Problem Analysis -- Architectural Pattern Selection & Application -- Domain Knowledge Analysis -- Requirements Interaction Analysis -- Software Architecture Alternatives Derivation & Evaluation -- Problem-Oriented Requirements Engineering for Software Product Lines. Рубрики: Software engineering. Software Engineering/Programming and Operating Systems. Анотація: This book systematically identifies the lack of methodological support for development of requirements and software architecture in the state-of-the-art. To overcome this deficiency, the QuaDRA framework is proposed as a problem-oriented approach. It provides an instantiation of the Twin Peaks model for supporting the intertwining relationship of requirements and software architecture. QuaDRA includes several structured methods which guide software engineers in quality- and pattern-based co-development of requirements and early design alternatives in an iterative and concurrent manner. Contents Context Elicitation & Problem Analysis Architectural Pattern Selection & Application Domain Knowledge Analysis Requirements Interaction Analysis Software Architecture Alternatives Derivation & Evaluation Problem-Oriented Requirements Engineering for Software Product Lines Target Groups Students in the software engineering discipline Researchers who aim at investigating the relationship between requirements engineering and software architecture Practitioners such as software engineers working in the areas of requirements engineering and software architecture design The Author Ms. Azadeh Alebrahim is currently working as an IT consultant. She advises the customers on IT Service Management, process optimization, restructuring the IT organization, and digitalization. Перейти: https://doi.org/10.1007/978-3-658-17694-5 Дод.точки доступу: Alebrahim, Azadeh. \.\; SpringerLink (Online service) Свободных экз. нет |
Technologies and Innovation [[electronic resource] :] : third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings / / ed. Valencia-Garcia, Rafael. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 334 p. 93 illus. - Б. ц. Зміст: Cloud and mobile computing -- Migrating SOA Applications to Cloud: A Systematic Mapping Study -- Analysis of Mobile Applications for Self-healthcare of Panamanian Patients with Hepatitis -- Intelligent Agents and Semantic Web Services: friends or foes -- Knowledge based and expert systems -- An Ontology-based Decision Support System for the Management of Home Gardens -- A Collaborative Filtering Based Recommender System for Disease Self-Management -- Analysis of a Network Fault Detection System to Support Decision Making -- Knowledge-Based Expert System for Control of Corn Crops -- Applying a Software Estimation Method to the Human Resources Management based on PMBOK Evaluation of vulnerability and seismic risk parameters through a fuzzy logic approach -- Applications in Healthcare and Wellness -- An IoT-based architecture to develop a healthcare smart platform -- A Development Model of an Embedded System for Improving the Mobility of People with Physical Disabilities -- A Decision Support Visualization Tool for Infection Management based on BMPN and DMN -- Automatic Recording and Analysis of Somniloquy through the use of Mobile Devices to Support the Diagnosis of Psychological Pathologies -- Clinical assessment using an algorithm based on Fuzzy c-means clustering -- Kushkalla: a web-based platform to improve functional movement rehabilitation -- E-learning -- Competences as Services in the Autonomic Cycles of Learning Analytic Tasks for a Smart Classroom -- A Cloud-Based Architecture for Robotics Virtual Laboratories.-A Reference Framework for Empowering the Creation of Projects with Arduino in the Ecuadorian Universities -- Ontology Model for the Knowledge Management in the Agricultural Teaching at the UAE -- ICT in Agronomy -- The Current State and Effects of Agromatic: A Systematic Literature Review -- A Photogrammetry Software as a Tool for Precision Agriculture: A Case Study -- Search for optimum color space for the recognition of oranges in agricultural fields -- Predictive models for the detection of diseases in crops through supervised learning -- Selection of Agricultural Technology: A Multi-Attribute Approach. . Рубрики: Artificial intelligence. Database management. Software engineering. Artificial Intelligence. Database Management. Software Engineering/Programming and Operating Systems. Анотація: This book constitutes the proceedings of the Third International Conference on Technologies and Innovation, CITI 2017, held in Guayaquil, Ecuador, in October 2017. The 24 papers presented in this volume were carefully reviewed and selected from 68 submissions. They were organized in topical sections named: cloud and mobile computing; knowledge based and expert systems; applications in healthcare and wellness; e-learning; and ICT in agronomy. . Перейти: https://doi.org/10.1007/978-3-319-67283-0 Дод.точки доступу: Valencia-Garcia, Rafael. \ed.\; Lagos-Ortiz, Katty. \ed.\; Alcaraz-Marmol, Gema. \ed.\; Del Cioppo, Javier. \ed.\; Vera-Lucio, Nestor. \ed.\; Bucaram-Leverone, Martha. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Applied Computer Sciences in Engineering [[electronic resource] :] : 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings / / ed. Figueroa-Garcia, Juan Carlos. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XVII, 681 p. 364 illus. - Б. ц. Зміст: Computer science -- Computational intelligence -- Simulation systems -- Internet of things -- Fuzzy sets and systems -- Power systems -- Logistics and operations management -- Miscellaneous applications. . Рубрики: Software engineering. Artificial intelligence. Education—Data processing. Computer engineering. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Computers and Education. Computer Engineering. Анотація: This book constitutes the refereed proceedings of the Forth Workshop on Engineering Applications, WEA 2017, held in Cartagena, Colombia, in September 2017. The 59 revised full papers presented were carefully reviewed and selected from156 submissions. The papers are organized in topical sections such as computer science; computational intelligence; simulation systems; internet of things; fuzzy sets and systems; power systems; logistics and operations management; miscellaneous applications. . Перейти: https://doi.org/10.1007/978-3-319-66963-2 Дод.точки доступу: Figueroa-Garcia, Juan Carlos. \ed.\; Lopez-Santana, Eduyn Ramiro. \ed.\; Villa-Ramirez, Jose Luis. \ed.\; Ferro-Escobar, Roberto. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Advances in Computing [[electronic resource] :] : 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings / / ed.: Solano, Andres., Ordonez, Hugo. - 1st ed. 2017. - [S. l. : s. n.]. - XX, 807 p. 310 illus. - Б. ц. Зміст: Information and knowledge management -- Software engineering and IT architectures -- Educational informatics -- Intelligent systems and robotics -- Human-computer interaction -- Distributed systems and large-scale architectures -- Image processing, computer vision and multimedia -- Security of the information -- Formal methods, computational logic and theory of computation. Рубрики: Software engineering. Computers. Artificial intelligence. Software Engineering/Programming and Operating Systems. Information Systems and Communication Service. Artificial Intelligence. Анотація: This book constitutes the refereed proceedings of the 12th Colombian Conference on Computing, CCC 2017, held in Cali, Colombia, in September 2017. The 56 revised full papers presented were carefully reviewed and selected from 186 submissions. The papers are organized in topical sections on information and knowledge management, software engineering and IT architectures, educational informatics, intelligent systems and robotics, human-computer interaction, distributed systems and large-scale architectures, image processing, computer vision and multimedia, security of the information, formal methods, computational logic and theory of computation. Перейти: https://doi.org/10.1007/978-3-319-66562-7 Дод.точки доступу: Solano, Andres. \ed.\; Ordonez, Hugo. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Kolesnikov, Andrey. Load Modelling and Generation in IP-based Networks [[electronic resource] :] : a Unified Approach and Tool Support / / Andrey. Kolesnikov ; . - 1st ed. 2017. - [S. l. : s. n.]. - XXI, 316 p. 58 illus., 11 illus. in color. - Б. ц. Зміст: Overview of the State of the Art in Workload Modelling and Generation -- A Formal Workload Description Technique -- Load Models for Voice, Video, and Web Traffic Sources -- Architecture of the Unified Load Generator -- Traffic Generation at Network (IPv4), Transport (TCP/UDP), and Application (HTTP) Service Interfaces -- QoS Measurements for Video Streaming in WLANs. Рубрики: Application software. Software engineering. Computer organization. Information Systems Applications (incl. Internet). Software Engineering/Programming and Operating Systems. Computer Systems Organization and Communication Networks. Анотація: Andrey Kolesnikov proposes an interesting unified approach and corresponding tools for modelling and effective generation of realistic workloads and traffic in networks. As a result of the general applicability in IP-based networks, the outcome of his research can be used for different service interfaces in combination with various workload models and modelling techniques. His work is both broad and deep in focus in order to demonstrate the application of the proposed approach in different realistic scenarios. Contents Overview of the State of the Art in Workload Modelling and Generation A Formal Workload Description Technique Load Models for Voice, Video, and Web Traffic Sources Architecture of the Unified Load Generator Traffic Generation at Network (IPv4), Transport (TCP/UDP), and Application (HTTP) Service Interfaces QoS Measurements for Video Streaming in WLANs Target Groups Lecturers and students in computer science, especially computer networks, multimedia communication, performance evaluation Internet and/or application service providers (ISPs/ASPs), telecoms, network researchers, developers of new network and distributed application services, QoS engineers, network administrators and operators The Author Dr. Andrey Kolesnikov defended his PhD thesis in computer science at the University of Hamburg in 2017. His major research interests include multimedia communication, performance evaluation, load modelling and traffic generation in computer networks. Перейти: https://doi.org/10.1007/978-3-658-19102-3 Дод.точки доступу: Kolesnikov, Andrey. \.\; SpringerLink (Online service) Свободных экз. нет |
Information, Communication and Computing Technology [[electronic resource] :] : second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers / / ed. Kaushik, Saroj. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 388 p. 163 illus. - Б. ц. Зміст: Network systems and communication security -- Software engineering -- Algorithm and high performance computing. Рубрики: Computer organization. Software engineering. Computer Systems Organization and Communication Networks. Software Engineering/Programming and Operating Systems. Анотація: This book constitutes the refereed proceedings of the Second International Conference on Information, Communication and Computing Technology, ICICCT 2017, held in New Delhi, India, in May 2017. The 29 revised full papers and the 5 revised short papers presented in this volume were carefully reviewed and selected from 219 submissions. The papers are organized in topical sections on network systems and communication security; software engineering; algorithm and high performance computing. Перейти: https://doi.org/10.1007/978-981-10-6544-6 Дод.точки доступу: Kaushik, Saroj. \ed.\; Gupta, Daya. \ed.\; Kharb, Latika. \ed.\; Chahal, Deepak. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Sajja, Priti Srinivas. Essence of Systems Analysis and Design [[electronic resource] :] : a Workbook Approach / / Priti Srinivas. Sajja ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVII, 148 p. 64 illus. - Б. ц. Зміст: Chapter 1. Introductory Concepts of Systems Analysis and Design -- Chapter 2. Requirements Determination -- Chapter 3. Structured System Development Approach -- Chapter 4. Systems Prototype Approach -- Chapter 5. Computer Assisted Tools for Software Development -- Chapter 6. Systems Design -- Chapter 7. System Quality and Implementation Issues. Рубрики: Software engineering. Management information systems. Application software. Computer science. Computers. Software Engineering/Programming and Operating Systems. Business Information Systems. Information Systems Applications (incl. Internet). Management of Computing and Information Systems. The Computing Profession. Анотація: The main objective is to provide quick and essential knowledge for the subject with the help of summary and solved questions /case studies without going into detailed discussion. This book will be much helpful for the students as a supplementary text/workbook; and to the non-computer professionals, who deal with the systems analysis and design as part of their business. Such problem solving approach will be able to provide practical knowledge of the subject and similar learning output, without going into lengthy discussions. Though the book is conceived as supplementary text/workbook; the topics are selected and arranged in such a way that it can provide complete and sufficient knowledge of the subject. Перейти: https://doi.org/10.1007/978-981-10-5128-9 Дод.точки доступу: Sajja, Priti Srinivas. \.\; SpringerLink (Online service) Свободных экз. нет |
Bruni, Roberto. Models of Computation [[electronic resource] /] : монография / Roberto. Bruni, Montanari, Ugo. ; . - 1st ed. 2017. - [S. l. : s. n.]. - XXII, 395 p. 34 illus., 1 illus. in color. - Б. ц. Зміст: Preliminaries -- Operational Semantics of IMP -- Induction and Recursion -- Partial Orders and Fixpoints -- Denotational Semantics of IMP -- Operational Semantics of HOFL -- Domain Theory -- HOFL Denotational Semantics -- Equivalence Between HOFL Denotational and Operational Semantics -- Calculus for Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains -- Markov Chains with Actions and Non-determinism -- Performance Evaluation Process Algebra (PEPA). Рубрики: Computers. Software engineering. Theory of Computation. Software Engineering/Programming and Operating Systems. Анотація: This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models. The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book. Перейти: https://doi.org/10.1007/978-3-319-42900-7 Дод.точки доступу: Montanari, Ugo.; Bruni, Roberto. \.\; SpringerLink (Online service) Свободных экз. нет |
Applied Reconfigurable Computing [[electronic resource] :] : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / / ed. Wong, Stephan. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XX, 332 p. 142 illus. - Б. ц. Рубрики: Computer hardware. Software engineering. Artificial intelligence. Optical data processing. Computer organization. Computer Hardware. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Computer Imaging, Vision, Pattern Recognition and Graphics. Computer Systems Organization and Communication Networks. Анотація: This book constitutes the refereed proceedings of the 13th International Symposium on Applied Reconfigurable Computing, ARC 2017, held in Delft, The Netherlands, in April 2017. The 17 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They are organized in topical sections on adaptive architectures, embedded computing and security, simulation and synthesis, design space exploration, fault tolerance, FGPA-based designs, neural neworks, and languages and estimation techniques. Перейти: https://doi.org/10.1007/978-3-319-56258-2 Дод.точки доступу: Wong, Stephan. \ed.\; Beck, Antonio Carlos. \ed.\; Bertels, Koen. \ed.\; Carro, Luigi. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Towards Integrative Machine Learning and Knowledge Extraction [[electronic resource] :] : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers / / ed. Holzinger, Andreas. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XVI, 207 p. 57 illus. - Б. ц. Зміст: Towards integrative Machine Learning & Knowledge Extraction -- Machine Learning and Knowledge Extraction in Digital Pathology needs an integrative approach -- Comparison of Public-Domain Software and Services for Probabilistic Record Linkage and Address Standardization -- Better Interpretable Models for Proteomics Data Analysis Using rule-based Mining -- Probabilistic Logic Programming in Action -- Persistent topology for natural data analysis — A survey -- Predictive Models for Differentiation between Normal and Abnormal EEG through Cross-Correlation and Machine Learning Techniques -- A Brief Philosophical Note on Information -- Beyond Volume: The Impact of Complex Healthcare Data on the Machine Learning Pipeline -- A Fast Semi-Automatic Segmentation Tool for Processing Brain Tumor Images -- Topological characteristics of oil and gas reservoirs and their applications -- Convolutional and Recurrent Neural Networks for Activity Recognition in Smart Environment. Рубрики: Artificial intelligence. Computers. Mathematical statistics. Software engineering. Computer organization. Artificial Intelligence. Information Systems and Communication Service. Probability and Statistics in Computer Science. Software Engineering/Programming and Operating Systems. Computer Systems Organization and Communication Networks. Анотація: The BIRS Workshop “Advances in Interactive Knowledge Discovery and Data Mining in Complex and Big Data Sets” (15w2181), held in July 2015 in Banff, Canada, was dedicated to stimulating a cross-domain integrative machine-learning approach and appraisal of “hot topics” toward tackling the grand challenge of reaching a level of useful and useable computational intelligence with a focus on real-world problems, such as in the health domain. This encompasses learning from prior data, extracting and discovering knowledge, generalizing the results, fighting the curse of dimensionality, and ultimately disentangling the underlying explanatory factors in complex data, i.e., to make sense of data within the context of the application domain. The workshop aimed to contribute advancements in promising novel areas such as at the intersection of machine learning and topological data analysis. History has shown that most often the overlapping areas at intersections of seemingly disparate fields are key for the stimulation of new insights and further advances. This is particularly true for the extremely broad field of machine learning. Перейти: https://doi.org/10.1007/978-3-319-69775-8 Дод.точки доступу: Holzinger, Andreas. \ed.\; Goebel, Randy. \ed.\; Ferri, Massimo. \ed.\; Palade, Vasile. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Euro-Par 2016: Parallel Processing Workshops [[electronic resource] :] : euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers / / ed. Desprez, Frederic. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXXIX, 829 p. 281 illus. - Б. ц. Зміст: Parallel and distributed computing education for undergraduate students.– Algorithms, models and tools for parallel computing on heterogeneous platforms -- Multicore software engineering -- Large-scale distributed virtual environments -- Parallel and distributed agent-based simulations -- Parallelism in bioinformatics.-Performance engineering for large-scale graph analytics -- Reproducibility in parallel computing -- Resilience in high performance computing in clusters, clouds, and grids -- Runtime and operating systems for the many-core era) -- UnConventional high-performance computing. Рубрики: Computer system failures. Software engineering. Computer communication systems. Database management. Algorithms. Application software. System Performance and Evaluation. Software Engineering/Programming and Operating Systems. Computer Communication Networks. Database Management. Algorithm Analysis and Problem Complexity. Information Systems Applications (incl. Internet). Анотація: This book constitutes the proceedings of the workshops of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France in August 2016. The 65 full papers presented were carefully reviewed and selected from 95 submissions. The volume includes the papers from the following workshops: Euro-EDUPAR (Second European Workshop on Parallel and Distributed Computing Education for Undergraduate Students) – HeteroPar 2016 (the 14th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) – IWMSE (5th International Workshop on Multicore Software Engineering) – LSDVE (Fourth Workshop on Large-Scale Distributed Virtual Environments) - PADABS (Fourth Workshop on Parallel and Distributed Agent-Based Simulations) – PBio (Fourth International Workshop on Parallelism in Bioinformatics) – PELGA (Second Workshop on Performance Engineering for Large-Scale Graph Analytics) – REPPAR (Third International Workshop on Reproducibility in Parallel Computing) – Resilience (9th Workshop in Resilience in High Performance Computing in Clusters, Clouds, and Grids) – ROME (Fourth Workshop on Runtime and Operating Systems for the Many-Core Era) – UCHPC (9th Workshop on UnConventional High-Performance Computing). Перейти: https://doi.org/10.1007/978-3-319-58943-5 Дод.точки доступу: Desprez, Frederic. \ed.\; Dutot, Pierre-Francois. \ed.\; Kaklamanis, Christos. \ed.\; Marchal, Loris. \ed.\; Molitorisz, Korbinian. \ed.\; Ricci, Laura. \ed.\; Scarano, Vittorio. \ed.\; Vega-Rodriguez, Miguel A. \ed.\; Varbanescu, Ana Lucia. \ed.\; Hunold, Sascha. \ed.\; Scott, Stephen L. \ed.\; Lankes, Stefan. \ed.\; Weidendorfer, Josef. \ed.\; SpringerLink (Online service) Свободных экз. нет |
High Performance Computing for Computational Science – VECPAR 2016 [[electronic resource] :] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / / ed. Dutra, Ines. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 272 p. 133 illus. - Б. ц. Зміст: Applications -- Performance modeling and analysis -- Low level support.-Environments/libraries to support parallelization. Рубрики: Computer science—Mathematics. Computers. Software engineering. Computer simulation. Computer system failures. Arithmetic and logic units, Computer. Mathematics of Computing. Theory of Computation. Software Engineering/Programming and Operating Systems. Simulation and Modeling. System Performance and Evaluation. Arithmetic and Logic Structures. Анотація: This book constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016. The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on applications; performance modeling and analysis; low level support; environments/libraries to support parallelization. Перейти: https://doi.org/10.1007/978-3-319-61982-8 Дод.точки доступу: Dutra, Ines. \ed.\; Camacho, Rui. \ed.\; Barbosa, Jorge. \ed.\; Marques, Osni. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Descriptional Complexity of Formal Systems [[electronic resource] :] : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / / ed.: Pighizzini, Giovanni., Campeanu, Cezar. - 1st ed. 2017. - [S. l. : s. n.]. - X, 311 p. 76 illus. - Б. ц. Зміст: Sensing as a Complexity Measure -- Avoiding Overlaps in Pictures -- Descriptional Complexity and Operations - Two non-Classical Cases -- Applications of Transducers in Independent Languages, Word Distances, Codes -- On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages -- On the Average Complexity of Strong Star Normal Form -- Most Complex Non-Returning Regular Languages -- Uncountable realtime probabilistic classes -- A Parametrized Analysis of Algorithms on Hierarchical Graphs -- Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity -- Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors -- Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete -- Self-attraction removal from oritatami systems -- One-Time Nondeterministic Computations -- Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languages -- Branching Measures and Nearly Acyclic NFAs -- Square on Deterministic, Alternating, and Boolean Finite Automata -- A Pumping Lemma for Ordered Restarting Automata -- Concise Representations of Reversible Automata -- State Complexity of Unary SV-XNFA with Different Acceptance Conditions -- Reset Complexity of Ideal Languages Over a Binary Alphabet -- 2-state 2-symbol Turing machines with periodic support produce regular sets -- State Complexity of Suffix Distance -- The quotient operation on input-driven pushdown automata. Рубрики: Computer logic. Computers. Mathematical logic. Algorithms. Software engineering. Logics and Meanings of Programs. Computation by Abstract Devices. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity. Software Engineering/Programming and Operating Systems. Анотація: This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017. The 20 full papers presented together with 4 invited talks were carefully reviewed and selected from 26 submissions.Descriptional Complexity is a ?eld in Computer Science that deals with the size of all kinds of objects that occur in computational models, such as turing machines, ?nite automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity. Перейти: https://doi.org/10.1007/978-3-319-60252-3 Дод.точки доступу: Pighizzini, Giovanni. \ed.\; Campeanu, Cezar. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Cryptographic Hardware and Embedded Systems – CHES 2017 [[electronic resource] :] : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings / / ed.: Fischer, Wieland., Homma, Naofumi. - 1st ed. 2017. - [S. l. : s. n.]. - XIV, 710 p. 210 illus. - Б. ц. Рубрики: Computer communication systems. Software engineering. Data encryption (Computer science). Computer hardware. Architecture, Computer. Special purpose computers. Computer Communication Networks. Software Engineering/Programming and Operating Systems. Cryptology. Computer Hardware. Computer System Implementation. Special Purpose and Application-Based Systems. Анотація: This book constitutes the proceedings of the 19th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2017, held in Taipei, Taiwan, in September 2017. The 33 full papers presented in this volume were carefully reviewed and selected from 130 submissions. The annual CHES conference highlights new results in the design and analysis of cryptographic hardware and soft- ware implementations. The workshop builds a valuable bridge between the research and cryptographic engineering communities and attracts participants from industry, academia, and government organizations. Перейти: https://doi.org/10.1007/978-3-319-66787-4 Дод.точки доступу: Fischer, Wieland. \ed.\; Homma, Naofumi. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Progress in Artificial Intelligence [[electronic resource] :] : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings / / ed. Oliveira, Eugenio. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XXXI, 895 p. 253 illus. - Б. ц. Рубрики: Artificial intelligence. Algorithms. Computers. Special purpose computers. Software engineering. Application software. Artificial Intelligence. Algorithm Analysis and Problem Complexity. Information Systems and Communication Service. Special Purpose and Application-Based Systems. Software Engineering/Programming and Operating Systems. Computer Appl. in Social and Behavioral Sciences. Анотація: This book constitutes the refereed proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, held in Porto, Portugal, in September 2017. The 69 revised full papers and 2 short papers presented were carefully reviewed and selected from a total of 177 submissions. The papers are organized in 16 tracks devoted to the following topics: agent-based modelling for criminological research (ABM4Crime), artificial intelligence in cyber-physical and distributed embedded systems (AICPDES), artificial intelligence in games (AIG), artificial intelligence in medicine (AIM), artificial intelligence in power and energy systems (AIPES), artificial intelligence in transportation systems (AITS), artificial life and evolutionary algorithms (ALEA), ambient intelligence and affective environments (AmIA), business applications of artificial intelligence (BAAI), intelligent robotics (IROBOT), knowledge discovery and business intelligence (KDBI), knowledge representation and reasoning (KRR), multi-agent systems: theory and applications (MASTA), software engineering for autonomous and intelligent systems (SE4AIS), social simulation and modelling (SSM), and text mining and applications (TeMA). Перейти: https://doi.org/10.1007/978-3-319-65340-2 Дод.точки доступу: Oliveira, Eugenio. \ed.\; Gama, Joao. \ed.\; Vale, Zita. \ed.\; Lopes Cardoso, Henrique. \ed.\; SpringerLink (Online service) Свободных экз. нет |