Finite Difference Methods,Theory and Applications, Ivan Dimov; Istv?n Farag?; Lubin Vulkov
Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock Название: Formal Methods: Foundations and Applications ISBN: 3642104517 ISBN-13(EAN): 9783642104510 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
Автор: Jianhua Yao; Toma? Vrtovec; Guoyan Zheng; Alejandr Название: Computational Methods and Clinical Applications for Spine Imaging ISBN: 3319550497 ISBN-13(EAN): 9783319550497 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: State-of-the-art techniques.- Novel and emerging analysis and visualization techniques.- Clinical challenges and open problems.- Major aspects of problems related to spine imaging.- Including clinical applications of spine imaging.- Computer aided diagnosis of spine conditions.- Computer aided detection of spine-related diseases.- Emerging computational imaging techniques for spinal diseases, .-Fast 3D reconstruction of spine, feature extraction, multiscale analysis, pattern recognition, image enhancement of spine imaging.- Image-guided spine intervention and treatment, multimodal image registration and fusion for spine imaging.- Novel visualization techniques, segmentation techniques for spine imaging, statistical and geometric modeling for spine and vertebra, spine and vertebra localization
Автор: Honglei Xu; Song Wang; Soon-Yi Wu Название: Optimization Methods, Theory and Applications ISBN: 3662470438 ISBN-13(EAN): 9783662470435 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the latest research findings and state-of-the-art solutions on optimization techniques and provides new research direction and developments. The conference is an official conference series of POP (The Pacific Optimization Research Activity Group;
Автор: Martin Wirsing; Jan A. Bergstra Название: Algebraic Methods: Theory, Tools and Applications ISBN: 3540516980 ISBN-13(EAN): 9783540516989 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Llu?s Alsed? i Soler; Jim M. Cushing; Saber Elayd Название: Difference Equations, Discrete Dynamical Systems and Applications ISBN: 3662529262 ISBN-13(EAN): 9783662529263 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings of the 18th International Conference on Difference Equations and Applications cover a number of different aspects of difference equations and discrete dynamical systems, as well as the interplay between difference equations and dynamical systems.
Автор: Ribeiro Название: Formal Methods: Foundations and Applications ISBN: 3319498142 ISBN-13(EAN): 9783319498140 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;
Описание: The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
Model Development and Incremental Learning Based on Case-Based Reasoning for Signal and Image Analysis.- CVT-Based 3D Image Segmentation for Quality Tetrahedral Meshing.- Structuring Digital Spaces by Path-partition Induced Closure Operators on Graphs.- Atypical (Rare) Elements Detection - A Conditional Nonparametric Approach.- Finding Shortest Isothetic Path inside a 3D Digital Object.- Unified Characterization of P-Simple Points in Triangular, Square, and Hexagonal Grids.- Concepts of Binary Morphological Operations Dilation and Erosion on the Triangular Grid.- Boundary and Shape Complexity of a Digital Object.- Interior and Exterior Shape Representations Using the Screened Poisson Equation.- Picture Scanning Automata.- Two-Dimensional Input-Revolving Automata.- Direct Phasing of Crystalline Materials from X-ray Powder Diffraction.- Detection of Counterfeit Coins Based on Modeling and Restoration of 3D Images.- Automated Brain Tumor Diagnosis and Severity Analysis from Brain MRI.- Medical Image Segmentation Using Improved Affinity Propagation.- Simple Signed-Distance Function Depth Calculation Applied to Measurement of the fMRI BOLD Hemodynamic Response Function in Human Visual Cortex.- A Study of Children Facial Recognition for Privacy in Smart TV.- Scrambling Cryptography Using Programmable SLM-based Filter for Video Streaming over a WDM Network.- An Accelerated H.264/AVC Encoder on Graphic Processing Unit for UAV Videos.
Автор: Ana Fred; Maria De Marsico; Gabriella Sanniti di B Название: Pattern Recognition Applications and Methods ISBN: 3319533746 ISBN-13(EAN): 9783319533742 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Are you interested in using argument-driven inquiry for middle school lab instruction but just aren`t sure how to do it? This title provides you with both the information and instructional materials you need to start using this method right away. The book is a one-stop source of expertise, advice, and investigations to help physical science students work the way scientists do.
Описание: This book constitutes the refereed proceedings of the Third International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2015, held in conjunction with MICCAI 2015, in Munich, Germany, in October 2015.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
