الصفحة 44
الصفحة 44
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
Learning to Live in the Knowledge Society ; IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Learning Theory ; Vol. 3559 : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings
The technical program contained 45 papers selected from 120 submissions, 3 open problems selected from among 5 contributed, and 2 invited lectures. The invited lectures were given by Sergiu Hart on “Uncoupled Dynamics and Nash Equilibrium”, and by Satinder Singh on “Rethinking State, Action, and Reward in Reinforcement Learning”. These papers were not included in this volume. The Mark Fulk Award is presented annually for the best paper co-authored by a student. The student selected this year was Hadi Salmasian for the paper titled “The Spectral Method for General Mixture Models” co-authored with Ravindran Kannan and Santosh Vempala. The number of papers submitted to COLT this year was exceptionally high. In addition to the classical COLT topics, we found an increase in the number of submissions related to novel classi?cation scenarios such as ranking. This - crease re?ects a healthy shift towards more structured classi?cation problems, which are becoming increasingly relevant to practitioners.
Learning Design : A Handbook on Modelling and Delivering Networked Education and Training
Put together contributions from members of the "Valkenburg Group", consisting of 33 experts deeply involved in e-learning and more specifically learning design. The result is a rich and lasting source of information for both e-learning course and tool developers, providing information about the specification itself, how to implement it in practice, what tools to use, and what pitfalls to avoid. The book not only reports first experiences, but also goes beyond the current state of the art by looking at future prospects and emerging applications.
Learning Classifier Systems ; 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
Constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 2006, and in London, UK, in July 2007 - all hosted by the Genetic and Evolutionary Computation Conference, GECCO.The 14 revised full papers presented were carefully reviewed and selected from the workshop contributions. The papers are organized in topical sections on knowledge representation, analysis of the system, mechanisms, new directions, as well as applications.
Lean Business Systems and Beyond ; 1st IFIP TC 5 Advanced Production Management Systems Conference (APMS’2006), Wroclaw, Poland, September 18-20, 2006
Includes : foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Layce (Image data poisoning) = لايس (تسميم بيانات الصور )
The ongoing growth of image generative artificial intelligence models was paved with existing drawings and art pieces by great artists both past and present, and while generative models are very useful and helpful, there is the issue of the origin of the datasets trained on, and the morality of usage regarding copyrights and artistic identity. A novel line of defense that helps artists and visual content creators actively protect their pieces emerged, dubbed Data Poisoning and it works by misleading Artificial Intelligence models that attempt to use a Poisoned Image for training, or as a reference, as the Poisoned Image will appear to the human eye identical to the original art piece, while the Artificial Intelligence model will be seeing a remarkably different image, causing generative models to generate false positive results when given a prompt poisoned by the author or when trained on data poisoned by the original owner. This study aims to study image data poisoning methods and technologies, and build an application containing multiple image models, and poisoning models as well, accompanied by a Community for artists to share art and interact with each other.
Law and the Semantic Web : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications
As part of this objective, ICT (information and communication technologies) services should become available for every citizen, and for all schools, homes and businesses. The book you have in front of you is about Semantic Web technology and law. Law is something omnipresent; all citizens — at some points in their lives — have to deal with it. In addition, law involves a large group of professionals, and is a mul- billion business world wide. Information technology is important because it that can improve citizens’ interaction with law, as well as improve legal professionals’ work environment. Legal professionals dedicate a significant amount of their time to finding, reading, analyzing and synthesizing information in order to take decisions, and prepare advice and trials, among other tasks. As part of the “Semantic-Based Knowledge and Content Systems” Strategic Objective, the European Commission is funding projects to construct technology to make the Semantic Web vision come true. 1 The articles in this book are related to two current foci of the Strategic Objective : • Knowledge acquisition and modelling, capturing knowledge from raw information and multimedia content in webs and other distributed repositories to turn poorly structured information into machi- processable knowledge.
Laser additive manufacturing: design, materials, processes and applications
Laser-based additive manufacturing (LAM) is a revolutionary advanced digital manufacturing technology developed in recent decades, which is also a key strategic technology for technological innovation and industrial sustainability. This technology unlocks the design and constraints of traditional manufacturing and meets the needs of complex geometry fabrication and high-performance part fabrication. A deeper understanding of the design, materials, processes, structures, properties and applications is desired to produce novel functional devices, as well as defect-free structurally sound and reliable LAM parts.The topics in this Special Issue reprint include macro- and micro-scale additive manufacturing with lasers, such as structure/material design, fabrication, modeling and simulation, in situ characterization of additive manufacturing processes and ex situ materials characterization and performance, with an overview that covers various applications in aerospace, biomedicine, optics and energy.
Large-Scale Scientific Computing ; 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, 2007. The conference was organized by the Institute for Parallel Processing at the Bulgarian Academy of Sciences in cooperation with SIAM (Society for Industrial and Applied Ma- ematics). Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. The conference was devoted to the 60th anniversary of Richard E. Professor Ewing is internati- ally well known with his contributions in applied mathematics, mathematical modeling, and large-scale scientific computations.
Large-Scale Scientific Computing ; 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
The 5th International Conference on Large-Scale Scientific Computations (LSSC 2005) was held in Sozopol, Bulgaria, June 6–10, 2003. The conference was organized and sponsored by the Institute for Parallel Processing at the Bulgarian Academy of Sciences. Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. More than 120 participants from all over the world attended the conference representing some of the strongest research groups in the field of advanced largescale scientific computing. This volume contains 80 papers submitted by authors from over 20 countries. The 6th International Conference, LSSC 2007, will be organized in June 2007
Languages, Methodologies and Development Tools for Multi-Agent Systems ; 1st International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
Constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations.
Languages and Compilers for Parallel Computing ; Vol. 2481 : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
LCPC 2002 brought together over 60 researchers from academia and research institutions from many countries. The program of 26 papers was selected from 32 submissions. Each paper was reviewed by at least three Program Committee members and sometimes by additional reviewers. Prior to the workshop, revised versions of accepted papers were informally published on the workshop’s website and in a paper proceedings that was distributed at the meeting. This year, the workshopwas organizedinto sessions of papers on related topics, and each session consisted of two to three 30-minute presentations.Based on feedback from the workshop,the papers were revised and submitted for inclusion in the formal proceedings published in this volume. Two papers were presented at the workshop but later withdrawn from the ?nal proceedings by their authors. We were very lucky to have Bill Carlson from the Department of Defense give the LCPC 2002 keynote speech on “UPC: A C Language for Shared M- ory Parallel Programming.” Bill gave an excellent overview of the features and programming model of the UPC parallel programming language.
Languages and Compilers for Parallel Computing ; 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008, held in Edmonton, Canada, in July/August 2008.The 18 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 35 submissions. The papers address all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing and comprise
Languages and Compilers for Parallel Computing ; 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007.The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
Languages and Compilers for Parallel Computing ; 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers from around the world gathered together to present their latest results and to exchange ideas on topics ranging from parallel programming models, code generation,compilationtechniques,paralleldatastructureandparallelexecution models,toregisterallocationandmemorymanagementinparallelenvironments.
Knowledge-Based Intelligent Information and Engineering Systems ; Vol.3684 : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV
The KES conference series has been established for almost a decade, and it cont- ues each year to attract participants from all geographical areas of the world, including Europe, the Americas, Australasia and the Paci?c Rim. The KES conferences cover a wide range of intelligent systems topics. The broad focus of the conference series is the theory and applications of intelligent systems. From a pure research ?eld, intel- gent systems have advanced to the point where their abilities have been incorporated into many business and engineering application areas. KES 2005 provided a valuable mechanism for delegates to obtain an extensive view of the latest research into a range of intelligent-systems algorithms, tools and techniques. The conference also gave de- gates the chance to come into contact with those applying intelligent systems in diverse commercial areas. The combination of theory and practice represented a unique opp- tunity to gain an appreciation of the full spectrum of leading-edge intelligent-systems activity. The papers for KES 2005 were either submitted to invited sessions, chaired and organized by respected experts in their ?elds, or to a general session, managed by an extensive International Program Committee, or to the Intelligent Information Hiding and Multimedia Signal Processing (IIHMSP) Workshop, managed by an International Workshop Technical Committee.
Knowledge-Based Intelligent Information and Engineering Systems ; Vol. 4253 ; 10th International Conference, KES 2006, Bournemouth, UK, October 9-11 2006, Proceedings, Part III
Delegates and friends, we are very pleased to extend to you the sincerest of welcomes to this, the 10th International Conference on Knowledge Based and Intelligent Information and Engineering Systems at the Bournemouth International Centre in Bournemouth, UK, brought to you by KES International. This is a special KES conference, as it is the 10th in the series, and as such, it represents an occasion for celebration and an opportunity for reflection. The first KES conference was held in 1997 and was organised by the KES conference founder, Lakhmi Jain. In 1997, 1998 and 1999 the KES conferences were held in Adelaide, Australia. In 2000 the conference moved out of Australia to be held in Brighton, UK; in 2001 it was in Osaka, Japan; in 2002, Crema near Milan, Italy; in 2003, Oxford, UK; in 2004, Wellington, New Zealand; and in 2005, Melbourne, Australia. The next two conferences are planned to be in Italy and Croatia. Delegate numbers have grown from about 100 in 1997, to a regular figure in excess of 500. The conference attracts delegates from many different countries, in Europe, Australasia, the Pacific Rim, Asia and the Americas, and may truly be said to be ‘International’.
Knowledge-Based Intelligent Information and Engineering Systems ; 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II
The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense; topics covered in the second volume are artificial intelligence driven engineering design optimization; biomedical informatics: intelligent information management from nanomedicine to public health; communicative intelligence; computational intelligence for image processing and pattern recognition; computational intelligence in human cancer research; computational intelligence techniques for Web personalization; computational intelligent techniques for bioprocess modelling, monitoring and control; intelligent computing for Grid.
