Dictionaire mathematique, ou Idee generale des mathematiques. Dans lequel sont contenus les termes de cette science, outre plusieurs termes des arts & des autres sciences, avec des raisonnemens qui conduisent peu a peu l'esprit a une connoissance universelle des mathematiques. Par M. Ozanam, professeur des mathematiques du roy tres-chretien a Paris [[electronic resource]]

• Record Nr.: UNINA9910481207203321
• Autore: Ozanam Jacques <1640-1717.>
• Pubbl/distr/stampa: Amsterdam, : [s.n.], 1691
• Descrizione fisica: Online resource ([16], 739, [5] p., [24] c. di tav., 4o)
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Reproduction of original in Biblioteca Nazionale Centrale di Firenze.

CAN and FPGA communication engineering : implementation of a CAN bus based measurement system on an FPGA development kit / / Yu Zhu

• Record Nr.: UNINA9910964510703321
• Autore: Zhu Yu
• Pubbl/distr/stampa: Hamburg, : Diplomica Verlag, c2010
• ISBN: 9783842816046; 3842816049; 9783836649254; 383664925X
• Edizione: [1st ed.]
• Descrizione fisica: 1 online resource (93 p.)
• Disciplina: 621.39/5
• Soggetti: Field programmable gate arrays
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references.
• Nota di contenuto: CAN and FPGA Communication Engineering; Preface; Contents; 1 Introduction; 2 CAN Introduction; 3 CAN and MCU Serial Port Effective Data Study; 4 Experiment Components and Setup; 5 Software Development; 6 Experiments and Results; 7 Conclusion; References; Appendix
• Sommario/riassunto: Hauptbeschreibung The Controller Area Network (CAN), invented by Bosch in 1983, is a serial field bus protocol which was originally used in road vehicles and now is widely applied in other industrial fields. Since its birth automotive electronic engineers have been use Microcontrollers (MCU) to control the CAN bus. Today, as the Field-programmable Gate Array (FPGA) has become very advance, this book introduces a new method which uses an FPGA and a MCU jointly instead of a single MCU is to design a CAN bus measurement system. Furthermore the designed system should be able to work at

Energy Minimization Methods in Computer Vision and Pattern Recognition : 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007, Proceedings / / edited by Alan L. Yuille, Song-Chun Zhu, Daniel Cremers, Yongtian Wang

• Record Nr.: UNINA9910483090303321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
• ISBN: 3-540-74198-4
• Edizione: [1st ed. 2007.]
• Descrizione fisica: 1 online resource (XII, 500 p.)
• Collana: Image Processing, Computer Vision, Pattern Recognition, and Graphics, , 3004-9954 ; ; 4679
• Disciplina: 006.37
• Soggetti: Computer vision; Pattern recognition systems; Artificial intelligence; Computer graphics; Algorithms; Data mining; Computer Vision; Automated Pattern Recognition; Artificial Intelligence; Computer Graphics; Data Mining and Knowledge Discovery
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "... the Sixth International Conference on Energy Minimization Methods on Computer Vision and Pattern Recognition (EMMCVPR 2007)"--Pref.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Algorithms -- An Effective Multi-level Algorithm Based on Simulated Annealing for Bisecting Graph -- Szemerédi’s Regularity Lemma and Its Applications to Pairwise Clustering and Segmentation -- Exact Solution of Permuted Submodular MinSum Problems -- Efficient Shape Matching Via Graph Cuts -- Simulating Classic Mosaics with Graph Cuts -- An Energy Minimisation Approach to Attributed Graph Regularisation -- Applications to Faces and Text -- A Pupil Localization Algorithm Based on Adaptive Gabor Filtering and Negative Radial Symmetry -- Decomposing Document Images by Heuristic Search -- CIDER: Corrected Inverse-Denoising Filter for Image Restoration -- Skew Detection Algorithm for Form Document Based on Elongate Feature -- Active Appearance Models Fitting with Occlusion -- Combining Left and Right Irises for Personal Authentication -- Image Parsing -- Bottom-Up Recognition and Parsing of the Human Body -- to a Large-Scale General Purpose Ground Truth Database: Methodology, Annotation Tool and Benchmarks -- An Automatic Portrait System Based on And-Or Graph Representation -- Object Category Recognition Using Generative Template Boosting -- Bayesian Inference for Layer Representation with Mixed Markov Random Field -- Image Processing -- Dichromatic Reflection Separation from a Single Image -- Noise Removal and Restoration Using Voting-Based Analysis and Image Segmentation Based on Statistical Models -- A Boosting Discriminative Model for Moving Cast Shadow Detection -- Motion Analysis -- An a Contrario Approach for Parameters Estimation of a Motion-Blurred Image -- Improved Object Tracking Using an Adaptive Colour Model -- Vehicle Tracking Based on Image Alignment in Aerial Videos -- Probabilistic Fiber Tracking Using Particle Filtering and Von Mises-Fisher Sampling -- Compositional ObjectRecognition, Segmentation, and Tracking in Video -- Bayesian Order-Adaptive Clustering for Video Segmentation -- Dynamic Feature Cascade for Multiple Object Tracking with Trackability Analysis -- Shape Analysis -- Discrete Skeleton Evolution -- Shape Classification Based on Skeleton Path Similarity -- Removing Shape-Preserving Transformations in Square-Root Elastic (SRE) Framework for Shape Analysis of Curves -- Shape Analysis of Open Curves in ?3 with Applications to Study of Fiber Tracts in DT-MRI Data -- Three-Dimensional Processing -- Energy-Based Reconstruction of 3D Curves for Quality Control -- 3D Computation of Gray Level Co-occurrence in Hyperspectral Image Cubes -- Continuous Global Optimization in Multiview 3D Reconstruction -- A New Bayesian Method for Range Image Segmentation -- Marked Point Process for Vascular Tree Extraction on Angiogram -- Surface Reconstruction from LiDAR Data with Extended Snake Theory.
• Sommario/riassunto: This volume contains the papers presented at the Sixth International Conference on Energy Minimization Methods on Computer Vision and Pattern Recognition (EMMCVPR 2007), held at the Lotus Hill Institute, Ezhou, Hubei, China, August 27–29, 2007. The motivation for this conference is the realization that many problems in computer vision and pattern recognition can be formulated in terms of probabilistic inference or optimization of energy functions. EMMCVPR 2007 addressed the critical issues of representation, learning, and inference. ; Important new themes include pr- abilistic grammars, image parsing, and the use of datasets with ground-truth to act as benchmarks for evaluating algorithms and as a way to train learning algorithms. Other themes include the development of efficient inference algorithms using advanced techniques from statistics, computer science, and applied mathematics. We received 140 submissions for this workshop. Each paper was reviewed by three committee members. Based on these reviews we selected 22 papers for oral presen- tion and 15 papers for poster presentation. This book makes no distinction between oral and poster papers. We have organized these papers in seven sections on al- rithms, applications, image parsing, image processing, motion, shape, and thr- dimensional processing. Finally, we thank those people who helped make this workshop happen. We - knowledge the Program Committee for their help in reviewing the papers.