الصفحة 2
الصفحة 2
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007; 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II
The 10th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI2007, washeldattheBrisbaneConventionandExhibition Centre, South Bank, Brisbane, Australia from 29th October to 2nd November 2007. MICCAI has become a premier international conference in this domain, with in-depth papers on the multidisciplinary ?elds of biomedical image computing, computer assisted intervention and medical robotics.
Medical image computing and computer-assisted intervention – MICCAI 2007 ; 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I
This title is part of a two-volume set that constitute the refereed proceedings of the 10th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2007.
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
Measure, Integration & Real Analysis
This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible approach, Axler lays the foundations for further study by promoting a deep understanding of key results.
Mathematical Morphology : 40 Years On ; Proceedings of the 7th International Symposium on Mathematical Morphology, April 18-20, 2005
Mathematical Morphology is a speciality in Image Processing and Analysis, which considers images as geometrical objects, to be analyzed through their interactions with other geometrical objects. It relies on several branches of mathematics, such as discrete geometry, topology, lattice theory, partial differential equations, integral geometry and geometrical probability. It has produced fast and efficient algorithms for computer analysis of images, and has found applications in bio-medical imaging, materials science, geoscience, remote sensing, quality control, document processing and data analysis. This book contains the 43 papers presented at the 7th International Symposium on Mathematical Morphology, held in Paris on April 18-20, 2005. It gives a lively state of the art of current research topics in this field. It also marks a milestone, the 40 years of uninterrupted development of this ever-expanding domain.
Introduction to Programming with Fortran : with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran contains: lots of clear and simple examples highlighting the key language features of the most recent versions of Fortran – Fortran 2003, 95 and 90. practical examples based on ISO TR 15580 and ISO TR 15581 which are widely supported and cover the ISO TR on Enhanced Modules – particularly important to large code suites common problems that occur when programming which are highlighted via clear examples and solutions Introduction to Programming with Fortran is an essential introduction for beginners as well as a concise reference for professionals. Overall the book gives a very effective hands-on coverage of Fortran, valuable to students and practitioners alike.
Introduction to Assembly Language Programming : For Pentium and RISC Processors
Assembly language continues to hold a core position in the programming world because of its similar structure to machine language and its very close links to underlying computer-processor architecture and design. These features allow for high processing speed, low memory demands, and the capacity to act directly on the system’s hardware. This completely revised second edition of the highly successful Introduction to Assembly Language Programming introduces readers to assembly language programming and its role in computer programming and design. It focuses on providing a firm grasp of the main features of assembly programming, and how it can be used to improve a computer's performance. The revised edition covers a broad scope of subjects and adds valuable material on protected-mode Pentium programming, MIPS assembly language programming, and use of the NASM and SPIM assemblers for a Linux orientation. All of the language's main features are covered in depth. The book requires only some basic experience with a structured, high-level language.
Intertwingled : The work and influence of Ted Nelson
This engaging volume celebrates the life and work of Theodor Holm “Ted” Nelson, a pioneer and legendary figure from the history of early computing. Presenting contributions from world-renowned computer scientists and figures from the media industry, the book delves into hypertext, the docuverse, Xanadu, and other products of Ted Nelson’s unique mind.
Interactive systems. design, specification, and verification ; 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008.The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications.
Intelligent robotics and applications ; 1st International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008, Proceedings, Part I
These two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised full papers presented were thoroughly reviewed and selected from 552 submissions; they are devoted but not limited to robot motion planning and manipulation; robot control; cognitive robotics; rehabilitation robotics; health care and artificial limb; robot learning; robot vision; human-machine interaction & coordination; mobile robotics.
Intelligent robotics and applications ; 1st International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part II
This two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised full papers presented were thoroughly reviewed and selected from 552 submissions; they are devoted but not limited to robot motion planning and manipulation; robot control; cognitive robotics; rehabilitation robotics; health care and artificial limb; robot learning; robot vision; human-machine interaction & coordination; mobile robotics.
Intelleger = انتليجر
The project management system is a web application designed to assist software managers in efficiently managing their projects, including websites, mobile apps, and other software initiatives. Utilizing artificial intelligence, the application streamlines project creation and management processes, offering significant benefits in terms of organization and accuracy. Managers can create projects by inputting essential details such as the name, scope, deadline, and tasks. The system generates AI-based functional and non-functional requirements tailored to the project scope using gpt2 model on Pure dataset. Managers can then review and edit these requirements as needed before finalizing the project. The application facilitates comprehensive task management by allowing managers to assign tasks to developers, edit task details, and ensure task deadlines align with project deadlines. Developers can log their start and end times automatically when they begin and complete tasks, providing accurate time tracking and performance analysis.also they can use code generation model to generate their task’s code using codebert model on concode and codesearchnet dataset Real-time notifications keep both managers and developers informed of task assignments, completions, and other critical updates.
Innovations for requirement analysis : From stakeholders needs to formal designs ; 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs.The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results.
Innopolis university - from zero to hero : Ten years of challenges and victories
The book is divided in five parts: “The Beginning” describes the very early days in general, from the foundation and start-up of the university with the related processes. “The People” reports on the initial hiring of the faculty members, the selection of students, and the curriculum development. “The Activities” provide information about the creation of the single research institutions and labs, and their relation to industry. “The Future” gives an outlook on the planned internationalization and faculty strategy. Eventually, “A Visual Journey” shows a selection of photographs illustrating highlights of the whole process and the current achievements.
Information security and privacy ; Vol. 4058 ; 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings
The 11th Australasian Conference on Information Security and Privacy (ACISP 2006) was held in Melbourne, 3–5 July, 2006. The conference was sponsored by Deakin University, the Research Network for a Secure Australia, and was organized in cooperation with the University of Wollongong. The conference brought together researchers,practitioners and a wide range of other users from academia, industries and government organizations. The program included 35 papers covering important aspects of information security technologies. The papers were selected from 133 submissions through a two-stage anonymous review process. Each paper received at least three reviews by members of the Program Committee, and was then scrutinized by the whole committee during a two-week discussion.
Information security and cryptology ; Vol. 3822 ; 1st SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
The first SKLOIS Conference on Information Security and Cryptography(CISC 2005) was organized by the State Key Laboratory of Information Security of the Chinese Academy of Sciences. It was held in Beijing, China, December 15-17, 2005 and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate School of the Chinese Academy of Sciences and the National Science Foundation of China. The conference proceedings, represe- ing invited and contributed papers, are published in this volume of Springer’s Lecture Notes in Computer Science (LNCS) series. The area of research covered by CISC has been gaining importance in recent years, and a lot of fundamental, experimental and applied work has been done, advancing the state of the art. The program of CISC 2005 covered numerous ?elds of research within the general scope of the conference.
Information and Communications Security ; Vol. 4307 ; 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings
It is our great pleasure to welcome you to the Eighth International Conference on Information and Communications Security (ICICS 2006), held in Raleigh, North Carolina, USA, December 4–7, 2006. The ICICS conference series is an established forum that brings together researchersand scholars involved in m- tiple disciplines of Information and Communications Security in order to foster exchangeof ideas. The past sevenICICS conferences wereheld in Beijing, China (ICICS 1997); Sydney, Australia (ICICS 1999); Xi’an China (ICICS 2001); S- gapore (ICICS 2002); Hohhot City, China (ICICS 2003); Malaga, Spain (ICICS 2004); and Beijing, China (ICICS 2005). The conference proceedings of the past seven events have been published by Springer in the Lecture Notes in Computer Science series, in LNCS1334,LNCS1726,LNCS2229,LNCS 2513,LNCS 2836, LNCS 3269, and LNCS 3783, respectively. This year we received a total of 119 submissions on various aspects of - hoc and sensor network security. The Program Committee selected 22 regular papers and 17 short papers that cover a variety of topics, including security protocols, applied cryptography and cryptanalysis, access control in distributed systems, privacy, malicious code, network and systems security, and security implementations. Putting together ICICS 2006 was a team e?ort. First of all, we would like to thank the authors of every paper, whether accepted or not, for submitting their papers to ICICS 2006. We would like to express our gratitude to the Program Committee members and the external reviewers, who worked very hard in - viewing the papers and providing suggestions for their improvements.
Implementation and application of automata ; 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16–18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference.
Imaging Beyond the Pinhole Camera
The world's first photograph was taken in 1826 using a pinhole camera called camera obscura. Cameras used since then are basically following the pinhole camera principle. This book looks at the development as well as the applications of alternative camera architectures.
Image Analysis and Recognition ; Vol. 3656 ; 2ond International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings
ICIAR 2005, the International Conference on Image Analysis and Recognition, was the second ICIAR conference, and was held in Toronto, Canada. ICIAR is organized annually, and alternates between Europe and North America. ICIAR 2004 was held in Porto, Portugal. The idea of o?ering these conferences came as a result of discussion between researchers in Portugal and Canada to encourage collaboration and exchange, mainly between these two countries, but also with the open participation of other countries, addressing recent advances in theory, methodology and applications. TheresponsetothecallforpapersforICIAR2005wasencouraging.From295 full papers submitted, 153 were ?nally accepted (80 oral presentations, and 73 posters). The review process was carried out by the Program Committee m- bers and other reviewers ; all are experts in various image analysis and recognition areas. Each paper was reviewed by at least two reviewers, and also checked by the conference co-chairs. The high quality of the papers in these proceedings is attributed ?rst to the authors,and second to the quality of the reviews provided by the experts. We would like to thank the authors for responding to our call, andwewholeheartedlythankthe reviewersfor theirexcellentwork,andfortheir timely response. It is this collective e?ort that resulted in the strong conference program and high-quality proceedings in your hands.
