الصفحة 67
الصفحة 67
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Applied algebra, algebraic algorithms and error-correcting codes ; 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-16, held in Las Vegas, NV, USA in February 2006. The 25 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 32 submissions. Among the subjects addressed are block codes; algebra and codes: rings, fields, and AG codes; cryptography; sequences; decoding algorithms; and algebra: constructions in algebra, Galois groups, differential algebra, and polynomials.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
Applications of simulation methods in environmental and resource economics
Simulation methods are revolutionizing the practice of applied economic analysis. This volume collects eighteen chapters written by leading researchers from prestigious research institutions the world over. The common denominator of the papers is their relevance for applied research in environmental and resource economics. The topics range from discrete choice modeling with heterogeneity of preferences, to Bayesian estimation, to Monte Carlo experiments, to structural estimation of Kuhn-Tucker demand systems, to evaluation of simulation noise in maximum simulated likelihood estimates, to dynamic natural resource modeling. Empirical cases are used to show the practical use and the results brought forth by the different methods.
Applications of Graph Transformations with Industrial Relevance ; 3rd International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.
Applications of evolutionary computing ; Vol. 3907 : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings
This book constitutes the refereed joint proceedings of seven workshops on evolutionary computing, EvoWorkshops 2006, held in Budapest, Hungary, in April 2006. The 65 revised full papers and 13 revised short papers presented were carefully reviewed and selected from a total of 149 submissions. In accordance with the seven workshops covered, the papers are organized in topical sections on evolutionary bioinformatics, evolutionary computation in communications, networks, and connected systems, evolutionary computation in hardware optimization, evolutionary computation in image analysis and signal processing, interactive evolution and humanized computational intelligence, evolutionary music and art, and evolutionary algorithms in stochastic and dynamic environments.
Applications of evolutionary computing ; Vol. 3449 ; Evoworkshops : EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
Evolutionary computation (EC) techniques are e?cient nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and the simple underlying principles, these methods can be used for a large number of problems in the context of problem solving,optimization,andmachinelearning. Alargeandcontinuouslyincreasing number of researchers and practitioners make use of EC techniques in many - plication domains. The book at hand presents a careful selection of relevant EC applications combined with thorough examinations of techniques for a successful application of EC. The presented papers illustrate the current state of the art in the application of EC and should help and inspire researchers and practitioners to develop e?cient EC methods for design and problem solving.
Applications of evolutionary computing ; EvoWorkshops 2008 : EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The papers in the volume illustrate the current state of the art in the application of EC and should help and - spire researchers and professionals to develop e?cient EC methods for design and problem solving.
Applications of evolutionary computing ; EvoWorkshops 2007 : EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings
This volume contains contributions for EvoCOMNET, EvoFIN, EvoIHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOC. The 51 revised full papers presented were carefully reviewed and selected from numerous submissions. This volume presents an overview about the latest research in EC. Areas where evolutionary computation techniques have been applied range from telecommunication networks to complex systems, finance and economics, games, image analysis, evolutionary music and art, parameter optimization, scheduling, and logistics. These papers may provide guidelines to help new researchers tackling their own problem using EC.
Applications of declarative programming and knowledge management ; 15th international conference on applications of declarative programming and knowledge management, INAP 2004, and 18th workshop on logic programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Applications and Usability of Interactive TV; 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers
This book constitutes the refereed proceedings of the 8th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2019, in Rio de Janeiro, Brazil, in October 2019. The 10 full papers presented were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on Design and Development; Second Screen and Crossmedia; Interaction Techniques and Technologies; Accessibility; User Experience.
Applications and Techniques in Information Security ; 11th International Conference, ATIS 2020, Brisbane, QLD, Australia, November 12–13, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Applications and Techniques in Information Security, ATIS 2020, held in Brisbane, QLD, Australia, in November 2020. Due to the COVID-19 pandemic the conference was be held online. The 8 full papers presented in the volume were carefully reviewed and selected from 24 submissions. The papers are focused on all aspects on techniques and applications in information security research.
Applications and Innovations in Intelligent Systems XV ; Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
The papers in this volume are the refereed application papers presented at AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2007.
Applications and Innovations in Intelligent Systems XIII ; Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artifical Intelligence
The papers in this volume present new and innovative developments in the field, divided into sections on Applied AI in Information Processing, Techniques for Applied AI, Industrial Applications and Medical Applications.This is the thirteenth volume in the Applications and Innovations series. The series serves as a key reference as to how AI technology has enabled organisations to solve complex problems and gain significant business benefit.
Applications and innovations in intelligent systems XII ; Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innhovative Techniques and Applications of Artificial Intelligence
The papers in this volume are the refereed application papers presented at AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge 2004. The papers present new and innovative developments in the field, divided into sections on Synthesis and Prediction, Scheduling and Search, Diagnosis and Monitoring, Classification and Design, and Analysis and Evaluation. This is the twelth volume in the Applications and Innovations series. The series serves as a key reference on the use of AI Technology to enable organisations to solve complex problems and gain significant business benefits. The Technical Stream papers are published as a companion volume under the title Research and Development in Intelligent Systems XXI.
Application and Theory of Petri Nets 2002 ; 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002. The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.
Application and theory of multimedia signal processing using machine learning or advanced methods
Consists of a collection of peer-reviewed published papers on various advanced technology researches related to signal processing applications and theories for multimedia systems using machine learning or advanced methods. Multimedia signals include image, video, audio, character recognition, and communication channel optimization for networks. The specific contents included in this book are data hiding, encryption, object detection, image classification, and character recognition.
Ant Colony Optimization and Swarm Intelligence ; 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings
ANTS – The International Workshop on Ant Colony Optimization and Swarm Intelligence is now at its ?fth edition. The series started in 1998 with the - ganization of ANTS 1998. At that time the goal was to gather in a common meeting those researchers interested in ant colony optimization: more than 50 researchers from around the world joined for the ?rst time in Brussels, Belgium, to discuss ant colony optimization and swarm intelligence related research. A selectionofthebest paperspresentedatthe workshopwaspublished asa special issue of the Future Generation Computer Systems journal (Vol. 16, No. 8, 2000). Two years later, ANTS 2000, organized again in Brussels, attracted more than 70 participants. The 41 extended abstracts presented as talks or posters at the workshopwere collected in a booklet distributed to participants, and a selection of the best papers was published as a special section of the IEEE Transactions on Evolutionary Computation (Vol. 6, No. 4, 2002).
Annotating, Extracting and Reasoning about Time and Events ; International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers
The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently been adopted as a candidate for an ISO standard, and is currently being reviewed in this capacity.It discussions focussed on the following three Time- related issues: using the TimeML language efiectively for consistent annotation, determining how useful such annotation is for further processing,and describing modifications that should be applied to the standard for applications such as question-answering and information retrieval. Discussions at the Dagstuhl Seminar led to new researchideas, and a variety
Animal cell technology meets genomics ; Proceedings of the 18th ESACT Meeting. Granada, Spain, May 11-14, 2003
Reflects the spirit and scientific excellence of the 18th ESACT meeting in different chapters. This book presents, in form of short papers, a high number of the contributions to the meeting, and has been prepared with the aim to provide a relevant reference of the research efforts in Animal Cell Technology
