واقع در: بیجا
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Cappe ، Olivier، نویسنده عنوان : Inference in hidden markof models تکرار نام مولف : Eric Moulines , Tobias Ryden ناشر: بیجا : Springer سال نشر : 2007 صفحه شمار: 668 مندرجات 1.Introduction
2.Main definitions and notations
3.Filtering and smoothing recursions
4.Advanced topics in smoothing
5.Applications of smoothing
6.Monte carlo methods
7.Sequential monte carlo methods
8.Advanced topics in sequential monte carlo
9.Analysis of aequential monte carlo methods
10.maximum likelihood inference. Part I (Optimization through exact smoothing)
11.maximum likelihood inference. Part II (Monte carlon optimization)
12.Satistical properties of the maximum likelihood estimator
13.Fully bayesian approaches
14.Elements of markof cain theory
15.An information-theoric perspective onorder estimation
Appendix A. Conditioning
Appendix B.Linear perdication
Appendix C.Notationsلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=20 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Angeles ، Jorge، نویسنده عنوان : Fundamentals of Robotic mechanical systems : Theory, Methods, and Algorithms ناشر: بیجا : Springer سال نشر : 2003 صفحه شمار: 545 مندرجات 1.An overview of robotic mechanical systems
2.Mathematical Background
3.Fundamentals of Rigid-Body mechanicd
4.Kinetostics of simple robotic manipulators
5.Trajectory Planning: Pick-and-Place operations
6.Dynamics of serial robotic manipulators
7.Special topics in Rigid-Body kinematics
8.Kinematics of complex robotic mechanical systems
9.Trajectory Planning: Continuous-Path operations
10.Dynamics of complex robotic mechanical systems
Appendix A. Kinematics of Rotations
Appendix B. The Numerical solution of linear algebraic systemsلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=30 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه everest ، Graham، نویسنده عنوان : An Introduction to Number Theory تکرار نام مولف : Thomas ward ناشر: بیجا : Springer سال نشر : 2005 صفحه شمار: 294 مندرجات 1. A Brief History of Prime
2. Diophantine Equations
3. Quadratic Diophantine Equations
4. Recovering the Fundamental Theorem of Arithmetic
5. Elliptic Curves
6. Elliptic Functions
7. Heights
8. The Riemann Zeta Function
9. The Functional Equation of the
10. Primes in an Arithmetic Progression
11. Converging Streams
12. Computational Number Theoryلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=77 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه sepanski ، Mark r، نویسنده عنوان : Compact Lie Groups ناشر: بیجا : Springer سال نشر : 2005 صفحه شمار: 198 مندرجات 1. Compact Lie Groups
2. Representations
3. Harmonic Analysis
4. Lie Algebras
5. Abelian Lie Subgroups and Structure
6. Roots and Associated Structures
7. HighestWeight Theoryلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=78 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه garnett ، John b، نویسنده عنوان : Bounded Analytic Functions ناشر: بیجا : Springer سال نشر : 2007 صفحه شمار: 459 مندرجات I. PRELIMINARIES
II. HP SPACES
III. CONJUGATE FUNCTIONS
IV. SOME EXTREMAL PROBLEMS
V. SOME UNIFORM ALGEBRA
VI. BOUNDED MEAN OSCILLATION
VII. INTERPOLATING SEQUENCES
VIII. THE CORONA CONSTRUCTION
IX. DOUGLAS ALGEBRAS
X. INTERPOLATING SEQUENCES AND MAXIMAL IDEALSلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=79 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه antonelli ، Dr.gianluca، نویسنده عنوان : Underwater Robots : Motion and Force Control of Vehicle-Manipulator Systems ناشر: بیجا : Springer سال نشر : 2006 صفحه شمار: 265 مندرجات 1. Introduction
2. Modelling of Underwater Robots
3. Dynamic Control of 6-DOF AUVs
4. Fault Detection/Tolerance Strategies for AUVs and ROVs
5. Experiments of Dynamic Control of a 6-DOF AUV
6. Kinematic Control of UVMSs
7. Dynamic Control of UVMSs
8. Interaction Control of UVMSs
9. Coordinated Control of Platoons of AUVs
10. Concluding Remarks
A. Mathematical modelsلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=90 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه zaknich ، Anthony، نویسنده عنوان : Principles of adaptive filters and self-learning systems ناشر: بیجا : Springer سال نشر : 2005 صفحه شمار: 386 مندرجات 1.Adaptive Filtering
2.Linear Systems and Stochastic Processes
3.Optimisation and Least Square Estimation
4.Parametric Signal and SystemModelling
5.Optimum Wiener Filter
6.Optimal Kalman Filter
7.Power Spectral Density Analysis
8.Adaptive Finite Impulse Response Filters
9.Frequency Domain Adaptive Filters
10.Adaptive Volterra Filters
11.Adaptive Control Systems
12.Introduction to Neural Networks
13.Introduction to Fuzzy Logic Systems
14.Introduction to Genetic Algorithms
15.Applications of Adaptive Signal Processing
16.Generic Adaptive Filter Structuresلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=104 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Madisetti ، Vijay K، نویسنده عنوان : A Platform centric approach to system on chip (SOC) design تکرار نام مولف : Chonlameth arpikanondt ناشر: بیجا : Springer سال نشر : 2005 صفحه شمار: 205 مندرجات 1.INTRODUCTION TO SOC DESIGN
2.PLATFORM-CENTRIC SOC DESIGN METHODOLOGY
3.INTRODUCTION TO UML AND XML
4.LIBRARY OF PLATFORM OBJECTS
5.UML PROFILE FOR CODESIGN MODELING FRAME (CMF)
6.DESIGN CASE STUDY: A DIGITAL CAMERA
SUMMARYلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=108 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Meinel ، Christoph، نویسنده عنوان : Algorithms and data structures VLSI design تکرار نام مولف : Thorsten Theobald ناشر: بیجا : Springer سال نشر : 1998 صفحه شمار: 279 مندرجات 1. Introduction
2. Basics
3. Boolean functions
4. Calssical Representions
5. Requirements on data structures in formal circuit verification
6. OBBD s -Ordered decision diagrams
7. Efficient Implementation Of OBDDs
8. Influence Of the variable order on the complexity of OBDDs
9. Optimizing the variable order
10. Analysis of sequential systems
11. Symbolic model checking
12. Varaiants and extensions OF OBDDs
13. Transformation techniques for optimizationلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=146 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Marques de S? ، Joaquim P، نویسنده عنوان : Applied Statistics Using SPSS, STATISTICA, MATLAB and R ناشر: بیجا : Springer سال نشر : 2007 صفحه شمار: 520 مندرجات 1. Introduction
2. Presenting and Summarising the Data
3. Estimating Data Parameters
4. Parametric Tests of Hypotheses
5. Non-Parametric Tests of Hypotheses
6. Statistical Classification
7. Data Regression
8. Data Structure Analysis
9. Survival Analysis
10. Directional Data
Appendix A: Short Survey on Probability Theory
Appendix B :Distributions
Appendix C: Point Estimation
Appendix D :Tables
Appendix E -:Datasets
Appendix F :Toolsلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=167 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Lawrence ، Dave، نویسنده عنوان : Balanced Website Design تکرار نام مولف : Soheyla Tavakoli ناشر: بیجا : Springer سال نشر : 2007 صفحه شمار: 249 مندرجات 1.Grounding2.Methodology Process3.Implementation Issues لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=220 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Biglieri ، Ezio، نویسنده عنوان : Coding for wireless channels ناشر: بیجا : Springer سال نشر : 2005 صفحه شمار: 432 مندرجات 1.Tour d`horizon
2.Channel models for digital transmission
3.Coding in digital space
4.Fading channels
5.Trellis representation of codes
6.Coding on a trellis: Convolutional codes
7.Trellis-Coded modulation
8.Codes on graphs
9.LDPC and turbo codes
10.Multiple antennas
Appendix A.Facts from information theory
Appendix B.Facts from matrix theory
Appendix C.Random variables, Vectors< and matrics
Appendix D.Computation of error probabilitiesلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=226 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Renugopalakrishnan ، V، نویسنده عنوان : Bionanotechnology Proteins to Nanodevices تکرار نام مولف : Randolph V.Lewis ناشر: بیجا : Springer سال نشر : 2006 صفحه شمار: 301 مندرجات 1.Design principles for self-assembling devices from macromolecules
2.Metalloprotein-based electronic nanodevices
3.Mechanical consequences of biomolecular gradients in byssal threads
4.Bacteriorhodopsin-based 3D optical memory
5.Spider silk production
6.A Projection display based on a bacteriorhodopsin thin film
7.The role of collagen in energy storage and dissipation in extracellular matrix
8.Enhancement of protein thermal stability: Toward the design of robust protrins for bionanotechnological applications
9.Deciphering engineering principles for the design of protein-based nanomachines
10.Bioprocessing of silk proteins-controlling assembly
11.Nanobiotechnology enables new opportunities in material sciences: Bacteriorhodopsin as a first example
12.Synthetic photorefractive and photochromic materials and their comparison with bacteriorhodopsin mutants for optical information processing
13.Submonolayer measurments of adsorbed proteins in microfluidic channels
14.Programs of the european commission on organic materials for the electronics industry
15.Biodiversity: An archive of opportunity for nanodevicesلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=228 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Milutinovic ، Dejan Lj، نویسنده عنوان : Cells and robots : Modeling and Control of Large-Size Agent Populations ABC تکرار نام مولف : Pedro U. Lima ناشر: بیجا : Springer سال نشر : 2007 صفحه شمار: 124 مندرجات 1. Introduction
2. Immune system and T-cell receptor dynamics of a T-cell population
3. Micro-agent and stochastic micro-agent models
4. Micro-agent population dynamics
5. Stochastic micro-agent model of the T-cell receptor dynamics
6. Stochastic micro-agent model uncertainties
7. Stochastic modeling and control of a large-size robotic population
8. Conclusions and future work
Referencesلینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=283 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت
نوع مدرک: برنامهها و فایلهای کامپیوتری سرشناسه Palit ، Ajoy K، نویسنده عنوان : Computational intelligence in time series forecasting : theory and engineering applications تکرار نام مولف : Dobrivoje Popovic ناشر: بیجا : Springer سال نشر : 2005 صفحه شمار: 372 مندرجات 1. Introduction2. Basic intelligent computational technologies3. Hybrid computational technologies4. Recent developmentsReferencesIndex لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=310 زبان مدرک : English
شماره ثبت شماره بازیابی نام عام مواد محل نگهداری بخش وضعیت ثبت وضعیت امانت فاقد شماره ثبت