الصفحة 4
الصفحة 4
Mathematical modeling of the human brain : From magnetic resonance images to finite element simulation
This book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating their first FEniCS brain meshes from T1-weighted images.
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Local Pattern Detection ; International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers
Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation of very large databases of scienti?c and commercial information. The need to analyze these masses of data has led to the evolution of the new field knowledge discovery in databases (KDD) at the intersection of machine learning, statistics and database technology. Being interdisciplinary by nature, the field offers the opportunity to combine the expertise of different fields into a common objective. Moreover, within each field diverse methods have been developed and justified with respect to different quality criteria. We have to investigate how these methods can contributet o solving the problem of KDD. Traditionally, KDD was seeking to end global models for the data that - plain most of the instances of the database and describe the general structure of the data. Examples are statistical time series models, cluster models, logic programs with high coverageor classi?cation models like decision trees or linear decision functions. In practice, though, the use of these models often is very l- ited, because global models tend to end only the obvious patterns in the data, 1 which domain experts already are aware of . What is really of interest to the users are the local patterns that deviate from the already-known background knowledge. David Hand, who organized a workshop in 2002, proposed the new field of local patterns.
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.
Knowledge discovery in databases : PKDD 2006 ; 10th European Conference on Principles and practice of knowledge discovery in databases, Berlin, Germany, September 18-22, 2006, Proceedings
The European Conference on Principles and Practice of Knowledge Discovery in Databases celebrates its tenth anniversary ; the first PKDD took place in 1997 in Trondheim, Norway. Over the years, the ECML/PKDD series has evolved into one of the largest and most selective international conferences in these areas, the only one that provides a common forum for the two closely related ?elds. In 2006, the 6th collocated ECML/PKDD took place during September 18-22, when the Humboldt-Universität zu Berlin hosted the 17th European Conference on Machine Learning (ECML) and the 10th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD). The successful model of a hierarchical reviewing process that was introduced last year for the ECML/PKDD 2005 in Porto has been taken over in 2006.
Java 17 Recipes : A Problem-Solution Approach
Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved! covers of some of the newest features, APIs, and more such as pattern matching for switch, Restore Always-Strict-Floating-Point-Semantics, enhanced pseudo-random number generators, the vector API, sealed classes, and enhancements in the use of String. Source code for all recipes is available in a dedicated GitHub repository. This must-have reference belongs in your library. You will learn : Look up solutions to everyday problems involving Java SE 17 LTS and other recent releases / Develop Java SE applications using the latest in Java SE technology / Incorporate Java major features introduced in versions 17, 16, and 15 into your code
Comparative genomics ; Vol. 3388 : RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers
This papers investigates the problem of conservation of combinatorial structures in genome rearrangement scenarios. We give a characterization of a class of scenarios that conserve all common intervals, called commuting scenarios, and a characterization of permutations for which commuting scenarios exist. We show that measuring conservation of common intervals can be useful tool in assessing the quality of rearrangement scenarios, by investigating in detail three specific scenarios involving the mouse, rat and human X chromosomes.
Certification and security in inter-organizational E-services ; IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France
This collection of papers offers real-life application experiences, research results and methodological proposals of direct interest to systems experts and users in governmental, industrial and academic communities. This book also documents several important developments. The uptake of distributed computational infrastructure oriented to service provision, like Web-Services and Grid, is making C&S even more important. E-services based on legacy systems managed by autonomous and independent organizations, a common situation in the public administration sector, increase overall complexity. The increased presence and use of e-service IT-infrastructures depends on the critical ability required for all security issues, from the basic (availability, authentication, integrity, confidentiality) to the more complex (e.g. authorization, non-repudiation).
C++ /CLI : The Visual C++ Language for .NET
C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the common language runtime the key to the heart of the .NET 3.0 platform. In 12 no-fluff chapters, Microsoft insider Gordon Hogenson takes you into the core of the C++/CLI language and explains both how the language elements work and how Microsoft intends them to be used.
Building a collaborative project management system: (Click)
Speaking on construction projects, we can imagine the huge amount of work, effort and time spent to complete any project. Because of the need for tools that facilitate the process of managing and tracking work and managing huge data and information and making it common to all the stockholder involved in the project, this system has been found to meet those needs of engineers, where it can manage employees, materials ,workers and the huge amount of data and enables it to track the progress of work .This system provides the possibility of communication between managers and this The system is considered a tool of the BIM system, which stands for Building Information Modeling.
Blind smart helmet
The Smart Helmet for the Blind is a project aimed at providing solutions for the challenges faced by blind individuals in their daily lives. The problem of detecting objects, identifying obstacles and distances, knowing the current location, and using a mobile application is a common issue for blind people. To address these problems, the Smart Helmet project was created, utilizing advanced technology and artificial intelligence to provide real-time assistance to the wearer. The helmet is connected to a Raspberry Pi 4, which processes information from the helmet's cameras and AI algorithms to analyze and predict the surrounding environment for a blind person.
Biomedical data mining for information retrieval : Methodologies, techniques, and applications
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers the topic of mining biomedical text, images and visual features towards information retrieval. Biomedical and health informatics is an emerging field of research at the intersection of information science, computer science, and healthcare and brings tremendous opportunities and challenges due to easily available and abundant biomedical data for further analysis. The aim of healthcare informatics is to ensure the high-quality, efficient healthcare, better treatment and quality of life by analyzing biomedical and healthcare data including patient’s data, electronic health records (EHRs) and lifestyle. Previously, it was a common requirement to have a domain expert to develop a model for biomedical or healthcare; however, recent advancements in representation learning algorithms allows us to automatically to develop the model. Biomedical image mining, a novel research area, due to the vast amount of available biomedical images, increasingly generates and stores digitally.
Biological and artificial intelligence environments
The book reports the proceedings of the 15th Italian workshop on neural networks issued by the Italian Society on Neural Networks SIREN. The longevity recipe of this conference stands in three main points that normally renders the reading of these proceedings so interesting as appealing. 1. The topics of the neural networks is considered an attraction pole for a set of researches centered on the inherent paradigm of the neural networks, rather than on a specific tool exclusively. Thus, the subsymbolic management of the data information content constitutes the key feature of papers in various fields such as Pattern Recognition, Stochastic Optimization, Learning, Granular Computing, and so on, with a special bias toward bioinformatics operational applications. An excerpt of all these matters may be found in the book. 2. Though managed at domestic level, the conference attracts contributions from foreign researchers as well, so that in the book the reader may capture the flavor of the state of the art in the international community. 3. The conference is a meeting of friends as well. Thus the papers generally reflect a relaxed atmosphere where researchers meet to generously exchange their thought and explain their actual results in view of a common cultural growing of the community.
Being apart from reasons : The role of reasons in public and private moral decision-making
The book presents objections to the most common response given by contemporary legal and political theorists to the moral complexity of decision-making in modern societies, namely: the attempt to release public agents from their argumentative burden by insulating a particular set of reasons from the general.
Beginning XSLT 2.0 : From novice to professional
This followup to Jeni Tennison's Beginning XSLT has been updated to accomodate the revised XSLT standard. Part one of this book introduces XML and XSLT at a comfortable pace, and gradually demonstrates techniques for generating HTML (plus other formats), from XML. In part two, Tennison applies theory to real-life XSLT capabilities—including generating graphics. Each chapter includes step-by-step examples (with code available online), plus review questions at the end, to help you grasp the discussed features. In fact, all of the examples and exercises revolve around an interesting common theme: making TV listings available online. This book lives up to its name, and will definitely take you from a novice to a professional, in no time!
Beginning Web Development with Perl
Beginning Perl Web Development: From Novice to Professional introduces you to the world of Perl Internet application development. This book tackles all areas crucial to developing your first web applications and includes a powerful combination of real-world examples coupled with advice. Topics range from serving and consuming RSS feeds, to monitoring Internet servers, to interfacing with e-mail. You'll learn how to use Perl with ancillary packages like Mason and Nagios. Though not version-specific, this book is an ideal read if you have had some grounding in Perl basics and now want to move into the world of web application development. Author Steve Suehring emphasizes the security implications of Perl, drawing on years of experience teaching readers how to think safe, avoid common pitfalls, and produce well-planned, secure code.
Beginning Ubuntu Linux
Beginning Ubuntu Linux, the award–winning and best–selling Ubuntu book for beginners, is now in its third edition, presenting readers with an up–to–the–minute introduction to the world of Linux and the open source community. A detailed overview of Ubuntu's installation and configuration process encourages you to take the plunge and switch to Linux, and from there you'll learn how to wield total control over your newly installed operating system. Guided through the most commonly desired tasks such as printer configuration, listening to audio CDs and MP3s, watching movies, performing office and Internet–related tasks, as well as general system maintenance matters, authors Keir Thomas and Jaime Sicam will soon have you using and enjoying Ubuntu Linux and never looking back.
Beginning SUSE Linux : From novice to professional
The book begins by discussing the background of Linux and open source software, then proceeds to guide you through the SUSE installation process. You'll learn how to use the basic functions, and modify the look and feel according to your tastes. This book is packed with troubleshooting tips, so even the most cautious beginner will feel right at home. Next, the book covers the daily usage tasks that are enjoyable and interesting to learn. You'll learn how to configure your system to listen to audio CDs and MP3s, burn CDs, watch movies, connect to the Internet, and reproduce common Windows tasks.
Beginning Java Data Structures and Algorithms : Sharpen your problem solving skills by learning core computer science concepts in a pain-free manner
Teaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big O notation, later explains bubble, merge, quicksort, and other popular programming patterns. You’ll also learn about data structures such as binary trees, hash tables, and graphs. The book progresses to advanced concepts, such as algorithm design paradigms and graph theory. By the end of the book, you will know how to correctly implement common algorithms and data structures within your applications.
