Deutsche Akademie der Naturforscher Leopoldina Jahrbuch 2006

30,00 €
* Alle Preise inkl. der jeweils geltenden gesetzlichen Mehrwertsteuer, ggfs. zzgl. Versandkosten.
Alle Angaben ohne Gewähr. Preisänderungen sind in der Zwischenzeit möglich.
Daten vom 18.03.2018 01.25 Uhr

Regionale Angebote für Deutsche Akademie der Naturforscher Leopoldina Jahrbuch 2006

Jahrbuch 2006 Daten von Localhood GmbH

Details zum Produkt: Jahrbuch 2006

Das Jahrbuch berichtet über die wissenschaftlichen und wissenschaftspolitischen Aktivitäten der Leopoldina im Jahre 2006. Der Band enthält, neben Angaben zu Präsidium, Senatoren und Mitgliedern, Berichte über die Tagungen, Symposien und Meetings. Zusammenfassungen über die monatlichen Sitzungen der Akademie, die Berichte über die Aktivitäten des Präsidiums und des Leopoldina-Förderprogramms sowie Mitteilungen aus Archiv, Bibliothek und Redaktion der Akademie ergänzen die Jahresübersicht.

Zusatzinformation: Jahrbuch 2006 - Deutsche Akademie der Naturforscher Leopoldina

Publikationsdatum 10.01.2008
Untertitel Jahrgang 52
Titel Jahrbuch 2006
Bindungsform Paperback
Höhe 210
Breite 143
Gewicht 752
Autor(en) Deutsche Akademie der Naturforscher Leopoldina
ter Meulen, Volker
Kategorie Hardcover, Softcover / Naturwissenschaften allgemein
Geschichte der Medizin
Jahrbuch 2006
Jahrgang 52
Sprache ger
Verlagsname Wissenschaftliche Verlagsgesellschaft
Beschreibung Das Jahrbuch berichtet über die wissenschaftlichen und wissenschaftspolitischen Aktivitäten der Leopoldina im Jahre 2006. Der Band enthält, neben Angaben zu Präsidium, Senatoren und Mitgliedern, Berichte über die Tagungen, Symposien und Meetings. Zusammenfassungen über die monatlichen Sitzungen der Akademie, die Berichte über die Aktivitäten des Präsidiums und des Leopoldina-Förderprogramms sowie Mitteilungen aus Archiv, Bibliothek und Redaktion der Akademie ergänzen die Jahresübersicht.
Bestellnummer 18703016
Veröffentlichungsdatum 22.01.2008
Zuletzt geändert am 08.10.2016

Andere Bücher aus der Kategorie "Naturwissenschaften, Medizin, Informatik, Technik"

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
Keynote 1.- An Imaging Architecture Based on Derivative Estimation Sensors.- Image Coding, Processing and Analysis.- Landmark Real-Time Recognition and Positioning for Pedestrian Navigation.- A Binarization Method for a Scenery Image with the Fractal Dimension.- Selective Change-Driven Image Processing: A Speeding-Up Strategy.- Coding Long Contour Shapes of Binary 2000Objects.- Finding Images with Similar Lighting Conditions in Large Photo Collections.- Color Image Registration under Illumination Changes.- A Novel Approach to Robust Background Subtraction.- Automatic Choice of the Number of Nearest Neighbors in Locally Linear Embedding.- K-Medoids-Based Random Biometric Pattern for Cryptographic Key Generation.- A Hardware Architecture for SIFT Candidate Keypoints Detection.- Analysis of Non Local Image Denoising Methods.- Segmentation, Analysis of Shape and Texture.- Texture Characterization Using a Curvelet Based Descriptor.- Improving Fingerprint Matching Using an Orientation-Based Minutia Descriptor.- Morphological Shape Context: Semi-locality and Robust Matching in Shape Recognition.- On the Computation of the Common Labelling of a Set of Attributed Graphs.- Advances in Rotation-Invariant Texture Analysis.- SAR Image Segmentation Using Level Sets and Region Competition under the Model.- A New Segmentation Approach for Old Fractured Pieces.- Segmentation in 2D and 3D Image Using Tissue-Like P System.- Dynamic Image Segmentation Method Using Hierarchical Clustering.- A Study on Representations for Face Recognition from Thermal Images.- Fast Unsupervised Texture Segmentation Using Active Contours Model Driven by Bhattacharyya Gradient Flow.- A Distributed and Collective Approach for Curved Object-Based Range Image Segmentation.- Learning an Efficient Texture Model by Supervised Nonlinear Dimensionality Reduction Methods.- A Fuzzy Segmentation Method for Images of Heat-Emitting Objects.- Keynote 2.- Challenges and Opportunities for Extracting Cardiovascular Risk Biomarkers from Imaging Data.- Geometric Image Processing and Analysis.- A New Unsupervised Learning for Clustering Using Geometric Associative Memories.- Airway Tree Segmentation from CT Scans Using Gradient-Guided 3D Region Growing.- Geometric Approach to Hole Segmentation and Hole Closing in 3D Volumetric Objects.- Optimizations and Performance of a Robotics Grasping Algorithm Described in Geometric Algebra.- Homological Computation Using Spanning Trees.- Getting Topological Information for a 80-Adjacency Doxel-Based 4D Volume through a Polytopal Cell Complex.- Circular Degree Hough Transform.- Analysis of Signal, Speech and Language.- Isolate Speech Recognition Based on Time-Frequency Analysis Methods.- Feature Selection Based on Information Theory for Speaker Verification.- Simple Noise Robust Feature Vector Selection Method for Speaker Recognition.- Implementation of Three Text to Speech Systems for Kurdish Language.- Functional Feature Selection by Weighted Projections in Pathological Voice Detection.- Prediction of Sequential Values for Debt Recovery.- A Computer-Assisted Colorization Approach Based on Efficient Belief Propagation and Graph Matching.- Signal Analysis for Assessment and Prediction of the Artificial Habitat in Shrimp Aquaculture.- Document Processing and Recognition.- Learning Co-relations of Plausible Verb Arguments with a WSM and a Distributional Thesaurus.- Handwritten Word Recognition Using Multi-view Analysis.- A Speed-Up Hierarchical Compact Clustering Algorithm for Dynamic Document Collections.- Incorporating Linguistic Information to Statistical Word-Level Alignment.- Keynote 3.- When Pyramids Learned Walking.- Feature Extraction, Clustering and Classification.- A Simple Method for Eccentric Event Espial Using Mahalanobis Metric.- A Combine-Correct-Combine Scheme for Optimizing Dissimilarity-Based Classifiers.- BR: A New Method for Computing All Typical Testors.- Classifier Selection in a Family of Polyhedron Classifiers.- Characterisation of Feature Points in Eye Fundus Images.- Combining Functional Data Projections for Time Series Classification.- Finding Small Consistent Subset for the Nearest Neighbor Classifier Based on Support Graphs.- Analysis of the GRNs Inference by Using Tsallis Entropy and a Feature Selection Approach.- Clustering Ensemble Method for Heterogeneous Partitions.- Using Maximum Similarity Graphs to Edit Nearest Neighbor Classifiers.- A New Incremental Algorithm for Overlapped Clustering.- The Multi-level Learning and Classification of Multi-class Parts-Based Representations of U.S. Marine Postures.- The Representation of Chemical Spectral Data for Classification.- Visual Pattern Analysis in Histopathology Images Using Bag of Features.- A Brief Index for Proximity Searching.- Pigmented Skin Lesions Classification Using Dermatoscopic Images.- A Multi-class Kernel Alignment Method for Image Collection Summarization.- Statistical Pattern Recognition.- Correlation Pattern Recognition in Nonoverlapping Scene Using a Noisy Reference.- Particle Swarm Model Selection for Authorship Verification.- Image Characterization from Statistical Reduction of Local Patterns.- Semi-supervised Robust Alternating AdaBoost.- Robust Radio Broadcast Monitoring Using a Multi-Band Spectral Entropy Signature.- Real Time Hot Spot Detection Using FPGA.- Fast Pattern Classification of Ventricular Arrhythmias Using Graphics Processing Units.- SPC without Control Limits and Normality Assumption: A New Method.- Neural Networks for Pattern Recognition.- Improved Online Support Vector Machines Spam Filtering Using String Kernels.- Neural Network Ensembles from Training Set Expansions.- Leaks Detection in a Pipeline Using Artificial Neural Networks.- Computing the Weights of Polynomial Cellular Neural Networks Using Quadratic Programming.- Two-Dimensional Fast Orthogonal Neural Network for Image Recognition.- An Enhanced Probabilistic Neural Network Approach Applied to Text Classification.- Writer Identification Using Super Paramagnetic Clustering and Spatio Temporal Neural Network.- Recognition and Quantification of Area Damaged by Oligonychus Perseae in Avocado Leaves.- Neurocontroller for Power Electronics-Based Devices.- Keynote 4.- 3D and Appearance Modeling from Images.- Computer Vision.- Towards an Iterative Algorithm for the Optimal Boundary Coverage of a 3D Environment.- Measuring Cubeness of 3D Shapes.- Self-calibration from Planes Using Differential Evolution.- Graph-Cut versus Belief-Propagation Stereo on Real-World Images.- Combining Appearance and Range Based Information for Multi-class Generic Object Recognition.- Dealing with Inaccurate Face Detection for Automatic Gender Recognition with Partially Occluded Faces.- Rigid Part Decomposition in a Graph Pyramid.- Multimodal Algorithm for Iris Recognition with Local Topological Descriptors.- Scene Retrieval of Natural Images.- Use of Ultrasound and Computer Vision for 3D Reconstruction.- Two-Frame Optical Flow Formulation in an Unwarping Multiresolution Scheme.- Video Segmentation and Tracking.- Generating Video Textures by PPCA and Gaussian Process Dynamical Model.- Fuzzy Feature-Based Upper Body Tracking with IP PTZ Camera Control.- Experimental Assessment of Probabilistic Integrated Object Recognition and Tracking Methods.- Real-Time Stereo Matching Using Memory-Efficient Belief Propagation for High-Definition 3D Tele-Presence Systems.- Improving Recurrent CSVM Performance for Robot Navigation on Discrete Labyrinths.- Discrete Integral Sliding Mode Control in Visual Object Tracking Using Differential Kinematics.- Machine Learning and Geometric Technique for SLAM.- Compression and Key Feature Extraction for Video Transmission.- Robot Vision.- Robot Command Interface Using an Audio-Visual Speech Recognition System.- A Rapidly Trainable and Global Illumination Invariant Object Detection System.- Expanding Irregular Graph Pyramid for an Approaching Object.- Learning Relational Grammars from Sequences of Actions.- On Environmental Model-Based Visual Perception for Humanoids.- Dexterous Cooperative Manipulation with Redundant Robot Arms.- A Simple Sample Consensus Algorithm to Find Multiple Models.- Keynote 5.- Pulse Coupled Neural Networks for Automatic Urban Change Detection at Very High Spatial Resolution.- Intelligent Remote Sensing Imagery Research and Discovery Techniques.- Randomized Probabilistic Latent Semantic Analysis for Scene Recognition.- Object Contour Tracking Using Foreground and Background Distribution Matching.- Processing of Microarray Imag1f38es.- Multi-focus Image Fusion Based on Fuzzy and Wavelet Transform.- Unsupervised Object Discovery from Images by Mining Local Features Using Hashing.- CASI 2009 Workshop I: Intelligent Computing for Remote Sensing Imagery.- Spectral Estimation of Digital Signals by the Orthogonal Kravchenko Wavelets .- Video Denoising by Fuzzy Directional Filter Using the DSP EVM DM642.- Image Authentication Scheme Based on Self-embedding Watermarking.- Unified Experiment Design, Bayesian Minimum Risk and Convex Projection Regularization Method for Enhanced Remote Sensing Imaging.- Intelligent Experiment Design-Based Virtual Remote Sensing Laboratory.- CASI 2009 Workshop II: Intelligent Fussion and Classification Techniques.- Optimizing Classification Accuracy of Remotely Sensed Imagery with DT-CWT Fused Images.- Filter Banks for Hyperspectral Pixel Classification of Satellite Images.- Minimum Variance Gain Nonuniformity Estimation in Infrared Focal Plane Array Sensors.- Movement Detection and Tracking Using Video Frames.- A New Steganography Based on ? 2 Technic.- Near Real Time Enhancement of Remote Sensing Imagery Based on a Network of Systolic Arrays.
Theory and Applications of Satisfiability Testing - SAT 2010
Theory and Applications of Satisfiability Testing - SAT 2010
1. Invited Talks.- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.- Exact Algorithms and Complexity.- 2. Regular Papers.- Improving Stochastic Local Search for SAT with a New Probability Distribution.- Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas.- Proof Complexity of Propositional Default Logic.- Automated Testing and Debugging of SAT and QBF Solvers.- Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN.- Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT.- sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.- Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold.- Symmetry and Satisfiability: An Update.- A Non-prenex, Non-clausal QBF Solver with Game-State Learning.- SAT Solving with Reference Points.- Integrating Dependency Schemes in Search-Based QBF Solvers.- An Exact Algorithm for the Boolean Connectivity Problem for k-CNF.- Improving Unsatisfiability-Based Algorithms for Boolean Optimization.- Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.- Statistical Methodology for Comparison of SAT Solvers.- On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem.- The Seventh QBF Solvers Evaluation (QBFEVAL’10).- Complexity Results for Linear XSAT-Problems.- Bounds on Threshold of Regular Random k-SAT.- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.- 3. Short Papers.- Improved Local Search for Circuit Satisfiability.- A System for Solving Constraint Satisfaction Problems with SMT.- Two Techniques for Minimizing Resolution Proofs.- On Moderately Exponential Time for SAT.- Minimising Deterministic Büchi Automata Precisely Using SAT Solving.- Exploiting Circuit Representations in QBF Solving.- Reconstructing Solutions after Blocked Clause Elimination.- An Empirical Study of Optimal Noise and Runtime Distributions in Local Search.- Green-Tao Numbers and SAT.- Exact MinSAT Solving.- Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable.- Assignment Stack Shrinking.- Simple but Hard Mixed Horn Formulas.- Zero-One Designs Produce Small Hard SAT Instances.

Interessante Links