الصفحة 34
الصفحة 34
Constrained optimization and image space analysis ; Vol.1 : Separation of sets and optimality conditions
Constrained Optimization and Image Space Analysis unites his results and presents optimization theory and variational inequalities in their light.It presents a new approach to the theory of constrained extremum problems, including Mathematical Programming, Calculus of Variations and Optimal Control Problems. Such an approach unifies the several branches: Optimality Conditions, Duality, Penalizations, Vector Problems, Variational Inequalities and Complementarity Problems. The applications benefit from a unified theory.
Conservation Biology : Foundations, Concepts, Applications
Fred Van Dyke’s new textbook, Conservation Biology: Foundations, Concepts, Applications, 2nd Edition represents a major new text for anyone interested in conservation. Drawing on his experience as a conservation biologist, college teacher, and successful textbook author, Van Dyke’s organizational clarity and readable style make this book an invaluable resource for students in conservation around the globe.Presenting key information and well-selected examples, this student-friendly volume carefully integrates the science of conservation biology with its implications for ethics, law, policy and economics. In addition to rigorous examination of the scientific theory supporting conservation biology and its applications, this unique book includes a number of features which set it apart from others. These include its chapters on aquatic conservation, landscape ecology, and ecosystem management, and its direct explanation and invitation to students on how to enter the work of conservation as a professional and personal vocation.
Computing in Algebraic Geometry : A Quick Start using SINGULAR
Algebraic geometry generally studies the properties of solution sets of systems of polynomial equations without direct reference to the actual polynomials used in these systems. … This is especially desirable for classwork where the development of the abstract machinery generally outlasts the patience of the students, except possibly the most motivated ones.
Computers helping people with special needs ; 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part II
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
Computers helping people with special needs ; 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part I
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
Computers and Education : E-Learning, From Theory to Practice
This book contains a selection of contributions presenting the latest research in the field of Computers in Education and, more specifically, in E-Learning. The topics covered range from proposals regarding the newest "de facto" standards in E-Learning - such as IMS Learning Design - to the more practical aspects of the design, i.e. implementations and the actual application of educational tools in real settings. The volume reflects the diverse scenario of the application of computers in the educational field by describing previous experiences and addressing some of the present key issues such as Learning Management Systems as well as more innovative aspects such as personalized or ubiquitous learning.
Computer-Aided Design of User Interfaces V ; Proceedings of the 6th International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania)
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. Several methods [1,3,7,8,9,10,11,15,17,18,19] have been introduced to decompose this life cycle into steps and sub-steps, but these methods rarely provide the design knowledge that should be typically used for achieving each step. In addition, the development life cycle is more focusing directly on the programming - sues than on the design and analysis phases. This is sometimes reinforced by the fact that available tools for 3D UIs are toolkits, interface builders, r- dering engines, etc. When there is such a development life cycle defined, it is typically structured into the following set of activities: 1. The conceptual phase is characterized by the identification of the content and interaction requests. The meta-author discusses with the interface designer to take advantage of the current interaction technology. The int- face designer receives information about the content. The result of this phase is the production of UI schemes (e. g. , written sentences, visual schemes on paper) for defining classes of interactive experiences (e. g. , class Guided tour). Conceptual schemes are produced both for the final users and the authors. The meta-author has a deep knowledge of the c- tent domain and didactic skills too. He/she communicates with the final user too, in order to focus on didactic aspects of interaction. 2.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer Vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer Vision – ACCV 2007 ; 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and gesture, tracking, camera networks, and face/gesture/action detection and recognition. This book also covers learning, motion and tracking, retrival and search, and human pose estimation.
Computer Vision – ACCV 2007 ; 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and gesture, tracking, camera networks, and face/gesture/action detection and recognition. This book also covers learning, motion and tracking, retrival and search, and human pose estimation.
Computer Vision - ACCV 2006 ; Vol. 3851 ; 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I
proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is increasing and ACCV 2006 attracted about 500 submission. The evaluation team consisted of 27 experts serving as Area Chairs and about 270 reviewers in all. The whole process was conducted electronically in a double-blind manner,a ?rstfor ACCV.
Computer Simulations of Liquid Crystals and Polymers ; Proceedings of the NATO Advanced Research Workshop on Computational Methods for Polymers and Liquid Crystalline Polymers, Erice, Italy. 16-22 July 2003
Liquid crystals, polymers and polymer liquid crystals are soft condensed matter systems of major technological and scientific interest. An understanding of the macroscopic properties of these complex systems and of their many and interesting peculiarities at the molecular level can nowadays only be attained using computer simulations and statistical mechanical theories. Both in the Liquid Crystal and Polymer fields a considerable amount of simulation work has been done in the last few years with various classes of models at different special resolutions, ranging from atomistic to molecular and coarse-grained lattice models. Each of the two fields has developed its own set of tools and specialized procedures and the book aims to provide a state of the art review of the computer simulation studies of polymers and liquid crystals. This is of great importance in view of a potential cross-fertilization between these connected areas which is particularly apparent for a number of experimental systems like, e.g. polymer liquid crystals and anisotropic gels where the different fields necessarily merge. An effort has been made to assess the possibilities of a coherent description of the themes that have developed independently, and to compare and extend the theoretical and computational techniques put forward in the different areas.
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer Mathematics ; 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007.
Computer graphics and geometric modelling : Implementation & algorithms
Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume work covers implementation and theory in a thorough and systematic fashion. Computer Graphics and Geometric Modelling: Implementation and Algorithms, covers the computer graphics part of the field of geometric modelling and includes all the standard computer graphics topics. The first part deals with basic concepts and algorithms and the main steps involved in displaying photorealistic images on a computer. The second part covers curves and surfaces and a number of more advanced geometric modelling topics including intersection algorithms, distance algorithms, polygonizing curves and surfaces, trimmed surfaces, implicit curves and surfaces, offset curves and surfaces, curvature, geodesics, blending etc. The third part touches on some aspects of computational geometry and a few special topics such as interval analysis and finite element methods. The volume includes two companion programs.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
