الصفحة 1
الصفحة 1
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 ; 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. A morphological representation of the anatomy of interest is first obtained using highdimensional template warping, from which regions that display strong correlations between morphological measurements and the classification (clinical) variable are extracted using a watershed segmentation, taking into account the regional smoothness of the correlation map which is estimated by a crossvalidation strategy in order to achieve robustness to outliers. A Support Vector Machine-Recursive Feature Elimination (SVM-RFE) technique is then used to rank computed features from the extracted regions, according to their effect on the leave-one-out error bound. Finally, SVM classification is applied using the best set of features, and it is tested using leave-one-out. The results from a group of 61 brain images of female normal controls and schizophrenia patients demonstrate not only high classification accuracy (91.8%) and steep ROC curves, but also exceptional stability with respect to the number of selected features and the SVM kernel size
Introduction pratique aux bases de données relationnelles = A practical introduction to relational databases
Cet ouvrage introduit le lecteur dans le domaine des bases de données relationnelles en présentant une vaste sélection de sujets portant sur la modélisation des données, les langages de base de données, l'architecture des systèmes et l'évolution post-relationnelle. - Notions fondamentales: le modèle relationnel, les composants d’un système de gestion de bases de données, l’organisation de la mise en œuvre d’une base de données, les tâches de gestion des données. - De l'analyse à la base de données : le modèle entité association, la généralisation et l’agrégation, les dépendances et les formes normales,les contraintes d’intégrité. - Aperçu des langages de requête et de manipulation des données: l’algèbre relationnelle, le calcul des prédicats, SQL, QUEL, QBE, le traitement des valeurs nulles, la protection des données. - Les composants de l'architecture d'un système de bases de données : la compilation, l’interprétation et l’optimisation des requêtes, l’environnement multiutilisateur, le concept de transaction et la sérialisation, les méthodes optimiste et pessimiste, les structures de stockage et les méthodes d’accès. L’intégration et la migration des bases de données: l’exploitation des bases de données hétérogènes, les bases de données sur le Web, les règles de conversion pour effectuer l’intégration et la migration, les variantes de migration des bases de données hétérogènes, la planification de l’intégration et de la migration.
Grammatical Picture Generation : A Tree-Based Approach
The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, the treatment influenced by the theory of computation, and the theory of formal languages in particular. It guides the reader through the basics of the tree-based approach on to dedicated chapters on line-drawing languages, collage grammars, iterated function systems, grid picture languages, languages of fractals, and languages of coloured collages, while presenting results about (un)decidable, NP-complete, or efficiently solvable problems, normal forms, hierarchies of language classes, and related phenomena.
Generator remote controlling using internet connection
The traditional technique of monitoring the electricity generated through regular checks on the alternator variables: oil, temperature, voltage and current on a daily basis. Therefore, maintaining a normal performance cycle requires hard work and is often imprecise. The idea is to create an application that monitors wireless generators using the popular smartphone Android operating system. Implemented sensors deliver analog signals that provide real-time data on the status of the generator. This data is converted and programmed through the Node MCU microcontroller, which reads the results from the sensors and then converts into a signal, which is transmitted to the android phone, through a router. Thus live feedback of the generator status is ensured. In addition, this project provides a control button that can actually turn this generator on and off. This project is the first step towards bringing systems and control together as it revolutionizes the ideology of monitoring and displaying real-time data that can be implemented in different fields according to different needs. These fields include electricity, mechanics, and communications.
Fuzzy probabilities : New approach and applications
In probability and statistics we often have to estimate probabilities and parameters in probability distributions using a random sample. Instead of using a point estimate calculated from the data we propose using fuzzy numbers which are constructed from a set of confidence intervals. In probability calculations we apply constrained fuzzy arithmetic because probabilities must add to one. Fuzzy random variables have fuzzy distributions. A fuzzy normal random variable has the normal distribution with fuzzy number mean and variance. Applications are to queuing theory, Markov chains, inventory control, decision theory and reliability theory.
Evolutionary Multi-Criterion Optimization ; 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings
Multicriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must be simultaneously satisfied. Evolutionary algorithms have been used for solving multicriterion optimization problems for over two decades, gaining an increasing attention from industry. This book included four keynote speakers: Hirotaka Nakayama on aspiration level methods, Kay Chen Tan on large and computationally intensive real-world MO optimization problems, Carlos Fonseca on decision making, and Gary B. Lamont on design of large-scale network centric systems.
Digital self-tuning controllers : Algorithms, implementation and applications
Digital Self-tuning Controllers presents you with a complete course in self-tuning control, beginning with a survey of adaptive control and the formulation of adaptive control problems. Modelling and identification are dealt with before passing on to algebraic design methods and particular PID and linear-quadratic forms of self-tuning control. Finally, laboratory verification and experimentation will show you how to ground your theoretical knowledge in real plant control.
Detection of intrusions and malware, and vulnerability assessment ; 3rd International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2006, held in Berlin, Germany in July 2006.The 11 revised full papers presented were carefully reviewed and selected from 41 submissions.
Cryptography Arithmetic : Algorithms and Hardware Architectures
Modern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, medical-record keeping, government affairs, social media etc. - are based on sophisticated mathematics and algorithms that in implementation involve much computer arithmetic. And for speed it is necessary that the arithmetic be realized at the hardware (chip) level. This book is an introduction to the implementation of cryptosystems at that level.
Codici cifrati: Arne Beurling e la crittografia nella II guerra mondiale = Cipher codes : Arne Beurling and cryptography in world war II
The story of the German codebreaking is told in detail for the first time and has all the makings of a thriller, but with elements that make it an excellent introduction to the field of cryptography, as well as a vibrant and human portrait of the society of the time: a desperate wartime situation, political and espionage intrigue, the sometimes incomprehensible yet always fascinating genius of the main architect of its success — mathematician Arne Beurling—the difficulties and tricks of the trade, but also the systematic and obscure work of a crowd of codebreakers who treat their situation as if it were a normal job. The author, Bengt Beckman, was for years, after the war, head of the cryptanalysis department of the Swedish intelligence agency.
Citation Analysis in Research Evaluation
This book is written for members of the scholarly research community, and for persons involved in research evaluation and research policy. More specifically, it is directed towards the following four main groups of readers: – All scientists and scholars who have been or will be subjected to a quantitative assessment of research performance using citation analysis. – Research policy makers and managers who wish to become conversant with the basic features of citation analysis, and about its potentialities and limitations. – Members of peer review committees and other evaluators, who consider the use of citation analysis as a tool in their assessments. – Practitioners and students in the field of quantitative science and technology studies, informetrics, and library and information science. Citation analysis involves the construction and application of a series of indicators of the ‘impact’, ‘influence’ or ‘quality’ of scholarly work, derived from citation data, i.e. data on references cited in footnotes or bibliographies of scholarly research publications. Such indicators are applied both in the study of scholarly communication and in the assessment of research performance. The term ‘scholarly’ comprises all domains of science and scholarship, including not only those fields that are normally denoted as science – the natural and life sciences, mathematical and technical sciences – but also social sciences and humanities.
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.
Artificial intelligence in the financial services industry
Today, the financial services sector is facing a period of rapid disruption and innovation, and artificial intelligence (AI) is at the heart of these changes. Artificial intelligence can be used to gather enormous amounts of data, detect abnormalities, and solve complex problems. Financial institutions are already experimenting extensively with AI strategies to enhance and streamline financial institutions, BSA and AML compliance, CRA requirements, fraud detection, and real estate valuations, all while reducing cost levels. This book looks at how artificial intelligence is affecting the financial services industry.
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in Applied Artificial Intelligence ; 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings
Intelligent Design and complex problem solving are twined like wife and husband.” In the current competitive global industrial environment there are many pr- lems which need intelligent systems technology for optimal solutions. The central theme of the 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2006) is to focus on the research methodologies and practical implementations of these methodologies for intelligent solutions of problems in real-world applications. We are pleased to present the papers in these proceedings which cover va- ous aspects of applications of applied intelligent systems. We received more than 330 papers from many countries and each paper was reviewed by at least two reviewers. Only 134 papers were selected for presentation in the normal and special sessions.
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
3D Segmentation for medical images (OsteoVision) = التقطيع ثلاثي الأبعاد للصور الطبية
With the increasing integration of AI across various sectors, artificial intelligence (AI) is already playing a significant role in the healthcare industry, and its use is expected to grow further. AI systems used in image processing and computer vision algorithms have shown a significant ability to perform many operations such as segmentation, classification, and detection. This project presents the application of computer vision algorithms in the field of medical imaging for diagnostic, therapeutic, and interventional purposes. This thesis explores the use of several computer vision algorithms to address different pathologies, specifically brain tumors (glioma) (see Appendix A) and knee osteoarthritis (OA), as well as tracking the progression of knee osteoarthritis using the Kellgren and Lawrence (KL) grading system, a common method for classifying the severity of OA into five grades. To achieve the desired impact, the project employs various techniques, including 3D segmentation for brain tumors, 2D segmentation for knee joints, and multinomial classification for determining the severity of knee OA injuries. The primary aims of the project are to enhance diagnostic accuracy, assist in creating treatment plans, provide an assistive tool for healthcare providers to make more informed decisions, leverage AI's capabilities to detect abnormalities that might escape the human eye, and streamline workflow. To facilitate these goals, the project incorporates a user-friendly UI, a website, and a Flutter-based mobile application, enabling healthcare providers to efficiently integrate these tools into their practice and improve patient care.
