Hacker, Jörg Jahrbuch 2010

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 24.09.2018 01.25 Uhr

Regionale Angebote für Jahrbuch 2010

Online Preisvergleich für Jahrbuch 2010

  • Jahrbuch 2010
    Lieferzeit: 5-7 Tage
    30,00 €*
    30,00 € inkl. Versand
  • Jahrbuch 2010
    Lieferzeit: 5-7 Tage
    Versandkostenfrei ab 20,00 €
    30,00 €*
    30,00 € inkl. Versand
  • Jahrbuch 2010
    Lieferzeit: 1-4 Werktagen
    Versandkostenfrei ab 19,90 €
    30,00 €*
    30,00 € inkl. Versand
  • Jahrbuch 2010
    Lieferzeit: 1 bis 4 Werktage
    30,00 €*
    30,00 € inkl. Versand
  • Jahrbuch 2010
    Lieferzeit: 5-7 Tage
    30,00 €*
    30,00 € inkl. Versand

Jahrbuch 2010 Daten von Localhood GmbH

Details zum Produkt: Jahrbuch 2010

In neuer Gestalt gibt das Jahrbuch einen Überblick über die wissenschaftlichen und wissenschaftspolitischen Aktivitäten der Leopoldina im Jahr 2010. Außer Angaben zu Personen (Präsidium, Senatoren und Mitglieder) finden sich auch Berichte über das Wirken der Akademie und ihres Präsidiums, besonders in der Politikberatung und im internationalen Umfeld sowie zu Veranstaltungen, darunter die Jahreskonferenz Genetics and Neurobiology of Mental Retardation, das Fest-Symposium zu Ehren von Alt-Präsident Volker ter Meulen anlässlich der Verleihung der Leopoldina-Ehrenmitgliedschaft (Neue Entwicklungen in der Infektionsbiologie) und Meetings (u. a. Continents under Climate Change und Future of Sciences, Sciences for the Future: Chemistry and its Interfaces with Biology and Physics.Zusammenfassungen über die monatlichen Sitzungen der Akademie, der Bericht über die Aktivitäten des Leopoldina-Förderprogramms sowie Mitteilungen aus Archiv, Bibliothek und Redaktion ergänzen die Jahresübersicht.

Zusatzinformation: Jahrbuch 2010 - Hacker, Jörg

Publikationsdatum 16.12.2011
Titel Jahrbuch 2010
Bindungsform Paperback
Höhe 240
Breite 170
Gewicht 1146
Illustrationstext 20 schw.-w. u. 100 farb. Abb., 10 schw.-w. Tab.
Seitenanzahl 567
Autor(en) Hacker, Jörg
Deutsche Akademie der Naturfoscher Leopoldina
Kategorie Hardcover, Softcover / Naturwissenschaften allgemein
Naturwissenschaften, allgemein
56
Jahrbuch 2010
Leopoldina
Sprache ger
Verlagsname Wissenschaftliche Verlagsgesellschaft
Beschreibung In neuer Gestalt gibt das Jahrbuch einen Überblick über die wissenschaftlichen und wissenschaftspolitischen Aktivitäten der Leopoldina im Jahr 2010. Außer Angaben zu Personen (Präsidium, Senatoren und Mitglieder) finden sich auch Berichte über das Wirken der Akademie und ihres Präsidiums, besonders in der Politikberatung und im internationalen Umfeld sowie zu Veranstaltungen, darunter die Jahreskonferenz Genetics and Neurobiology of Mental Retardation, das Fest-Symposium zu Ehren von Alt-Präsident Volker ter Meulen anlässlich der Verleihung der Leopoldina-Ehrenmitgliedschaft (Neue Entwicklungen in der Infektionsbiologie) und Meetings (u. a. Continents under Climate Change und Future of Sciences, Sciences for the Future: Chemistry and its Interfaces with Biology and Physics.Zusammenfassungen über die monatlichen Sitzungen der Akademie, der Bericht über die Aktivitäten des Leopoldina-Förderprogramms sowie Mitteilungen aus Archiv, Bibliothek und Redaktion ergänzen die Jahresübersicht.
Bestellnummer 12237490
3371119
Veröffentlichungsdatum 06.06.2012

Andere Bücher von Hacker, Jörg

Threat of Infection
Threat of Infection
Infektionskrankheiten, hervorgerufen durch Erreger mit hohem pathogenem Potential stellen ein großes Problem in Entwicklungs- und Industrieländern dar. Trotz der Verfügbarkeit von Antibiotika und von Impfstoffen gegen einige dieser Mikroorganismen blieb die Mortalitätsrate in den letzten Jahren sehr hoch. Weltweit sind etwa 33 % aller Todesfälle auf Infektionskrankheiten zurückzuführen. Zwei Gründe sind verantwortlich für diese Entwicklung, zum einen ist es die dramatische Zunahme von Resistenzen gegen Chemotherapeutika, zum anderen das Fehlen von Impfstoffen, was auch auf die hohen Kosten zurückzuführen ist, die von den Entwicklungsländern nicht refinanziert werden können. Die antigenetische Variabilität und die Flexibilität von Oberflächenproteinen dieser pathogenen Mikroorganismen stellen eine weitere Schwierigkeit dar. Das Auftreten von neuen Pathogenen ist von großem öffentlichem Interesse begleitet, und neue antimikrobielle Substanzen sowie neue Vakzinierungsstrategien sind notwendig, um die heraufziehenden Mikroorganismen mit hohem pathogenem Potential wirksam bekämpfen zu können. Eine Voraussetzung, um gegen diese Infektionserreger zu kämpfen, ist es zu verstehen, wie diese Viren, Bakterien, Parasiten und Pilze das Immunsystem des Wirtes für ihre eigenen Belange nutzen und wie diese Mikroorganismen mit dem Wirt kommunizieren. Die verschiedenen Beiträge geben neue Einsichten in die Wirts-Pathogen-Interaktionen, die Evolution von Pathogenen sowie die Wirkung von Virulenzfaktoren und Toxinen. Auf der molekularen Ebene werden die Mechanismen der Genomflexibilität verschiedener Pathogene diskutiert, neue Strategien wie die RNA-Interferenz vorgestellt und Fragen der Herkunft und Übertragung von Infektionserregern sowie neue Identifizierungsstrategien behandelt. Einen weiteren Schwerpunkt bilden neue Ansätze zur Entwicklung von alternativen Präventions- und Therapiemöglichkeiten. Darüber hinaus werden auch politische und soziale Aspekte von Infektionskrankheiten in der Vergangenheit und der Gegenwart behandelt, und es wird auf Mißbrauchsmöglichkeiten (Biowaffen) eingegangen. Alle Beiträge sind in englischer Sprache verfaßt. Internationales Symposium WürzburgJuly 25 to 28, 2004 Organized byDeutsche Akademie der Naturforscher Leopoldina, Halle (Saale)Académie des sciences, ParisZentrum für Infektionsforschung der Universität Würzburg (ZINF)

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

Euro-Par 2010 - Parallel Processing
Euro-Par 2010 - Parallel Processing
Topic 1: Support Tools and Environments.- Distributed Systems and Algorithms.- Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs.- Automated Tuning in Parallel Sorting on Multi-core Architectures.- Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling.- Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling.- Efficient Graph Partitioning Algorithms for Collaborative Grid Workflow Developer Environments.- Profile-Driven Selective Program Loading.- Characterizing the Impact of Using Spare-Cores on Application Performance.- Topic 2: Performance Prediction and Evaluation.-187c Performance Prediction and Evaluation.- A Model for Space-Correlated Failures in Large-Scale Distributed Systems.- Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications.- jitSim: A Simulator for Predicting Scalability of Parallel Applications in Presence of OS Jitter.- pCFS vs. PVFS: Comparing a Highly-Available Symmetrical Parallel Cluster File System with an Asymmetrical Parallel File System.- Comparing Scalability Prediction Strategies on an SMP of CMPs.- Topic 3: Scheduling and Load-Balancing.- Scheduling and Load Balancing.- A Fast 5/2-Approximation Algorithm for Hierarchical Scheduling.- Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications.- Extremal Optimization Approach Applied to Initial Mapping of Distributed Java Programs.- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis and Simulation.- Code Scheduling for Optimizing Parallelism and Data Locality.- Hierarchical Work-Stealing.- Optimum Diffusion for Load Balancing in Mesh Networks.- A Dynamic, Distributed, Hierarchical Load Balancing for HLA-Based Simulations on Large-Scale Environments.- Topic 4: High Performance Architectures and Compilers.- High Performance Architectures and Compilers.- Power-Efficient Spilling Techniques for Chip Multiprocessors.- Scalable Object-Aware Hardware Transactional Memory.- Efficient Address Mapping of Shared Cache for On-Chip Many-Core Architecture.- Thread Owned Block Cache: Managing Latency in Many-Core Architecture.- Extending the Cell SPE with Energy Efficient Branch Prediction.- Topic 5: Parallel and Distributed Data Management.- Parallel and Distributed Data Management.- Federated Enactment of Workflow Patterns.- A Distributed Approach to Detect Outliers in Very Large Data Sets.- Topic 6: Grid, Cluster and Cloud Computing.- Grid, Cluster and Cloud Computing.- Deployment of a Hierarchical Middleware.- Toward Real-Time, Many-Task Applications on Large Distributed Systems.- Scheduling Scientific Workflows to Meet Soft Deadlines in the Absence of Failure Models.- A GPGPU Transparent Virtualization Component for High Performance Computing Clouds.- What Is the Price of Simplicity?.- User-Centric, Heuristic Optimization of Service Composition in Clouds.- A Distributed Market Framework for Large-Scale Resource Sharing.- Using Network Information to Perform Meta-scheduling in Advance in Grids.- Topic 7: Peer to Peer Computing.- Peer-to-Peer Computing.- Overlay Management for Fully Distributed User-Based Collaborative Filtering.- Dynamic Publish/Subscribe to Meet Subscriber-Defined Delay and Bandwidth Constraints.- Combining Hilbert SFC and Bruijn Graphs for Searching Computing Markets in a P2P System.- Sampling Bias in BitTorrent Measurements.- A Formal Credit-Based Incentive Model for Sharing Computer Resources.- Topic 8: Distributed Systems and Algorithms.- Distributed Systems and Algorithms.- Improving Message Logging Protocols Scalability through Distributed Event Logging.- Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems.- Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters.- Adaptive Conflict Unit Size for Distributed Optimistic Synchronization.- Frame Allocation Algorithms for Multi-threaded Network Cameras.- Scalable Distributed Simulation of Large Dense Crowds Using the Real-Time Framework (RTF).- The x-Wait-Freedom Progress Condition.
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.
Kehrseiten
Kehrseiten
In einem zunehmend technisch geprägten Umfeld suchen viele Menschen nach einer Gegenwelt. Die Natur dient ihnen als Zuflucht und als Projektionsfläche – doch der schwärmerische Blick auf "das Natürliche" ist vor Verklärung nicht gefeit. Denn es ist den technischen Errungenschaften zu verdanken, dass wir die schönen Seiten der Natur geniessen können, ohne uns allzu sehr vor Gefahren fürchten zu müssen. Die Akademie der Naturwissenschaften Schweiz (SCNAT) hat diese zwiespältige Sicht auf das Natürliche und ihre vordergründige Antithese, das Künstliche, zum Anlass für eine grundsätzliche Auseinandersetzung mit dem Thema genommen: In vier dialogischen Interviews bringt sie Fachleute miteinander ins Gespräch, die sich aus unterschiedlichstem Blickwinkel mit dem Thema befassen. Dans un environnement de plus en plus marqué par la technologie, beaucoup de personnes cherchent à contrebalancer ce monde. La nature leur sert alors de refuge tout comme de surface de projection. Toutefois, ce regard exalté sur la "naturalité" n'est pas exempt d’un certain enjolivement naïf. En effet, c'est bien grâce aux conquêtes de la technologie que nous pouvons savourer les bons côtés la nature sans que nous ayons trop à craindre de leurs dangers. Pour l'Académie suisse des sciences naturelles (SCNAT), cette attitude ambivalente envers la naturalité et son antithèse hypothétique, l'artificialité, a été l'occasion de lancer un débat fondamental sur ce thème. Quatre dialogues – plus qu'interviews – ont permis à la SCNAT de réunir des experts qui ont des approches et des points de vue bien différents sur les thèmes de la naturalité et de l'artificialité.
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
The 14th Iberoamerican Congress on Pattern Recognition (CIARP 2009, C- gresoIberoAmericanodeReconocimientodePatrones)formedthelatestofanow longseriesofsuccessfulmeetingsarrangedbytherapidlygrowingIberoamerican pattern recognition community. The conference was held in Guadalajara, Jalisco, Mexico and organized by the Mexican Association for Computer Vision, Neural Computing and Robotics (MACVNR). It was sponsodred by MACVNR and ?ve other Iberoamerican PR societies. CIARP 2009 was like the previous conferences in the series supported by the International Association for Pattern Recognition (IAPR). CIARP 2009 attracted participants from all over the world presenting sta- of-the-artresearchon mathematical methods and computing techniques for p- tern recognition, computer vision, image and signal analysis, robot vision, and speech recognition, as well as on a wide range of their applications. This time the conference attracted participants from 23 countries,9 in Ibe- america, and 14 from other parts of the world. The total number of submitted papers was 187, and after a serious review process 108 papers were accepted, all of them with a scienti?c quality above overall mean rating. Sixty-four were selected as oral presentations and 44 as posters. Since 2008 the conference is almost single track, and therefore there was no real grading in quality between oral and poster papers. As an acknowledgment that CIARP has established itself as a high-quality conference, its proceedings appear in the Lecture Notes in Computer Science series. Moreover, its visibility is further enhanced by a selection of a set of papers that will be published in a special issue of the journal Pattern Recognition Letters.
Meridiane : Die dritte Macht im Organismus, die Energetische. Teil 1. Interaktion, Balance und Dysbalance der Meridiane.
Meridiane : Die dritte Macht im Organismus, die Energetische. Teil 1. Interaktion, Balance und Dysbalance der Meridiane.
Die Macht der Meridiane Die dargestellte Arbeit ist ein Ergebnis langjähriger Forschungen, die mittels des VA-Testes, einer vom Autor entwickelten Methode zur Diagnostik der Meridianzustände, durchgeführt wurden. Auf der Basis der Analyse des Materials, das innerhalb von 19 Jahren bei den Untersuchungen von Patienten, gesunden Probanden, Profi-Sportlern und Freizeit-Sportlern gewonnen wurde, ließ sich feststellen, dass die ausgearbeitete Methodik eine korrekte Bewertung des gegenwärtigen Zustandes der Yin- und Yang-Meridiane im Organismus ermöglicht. Die eigentliche Einschätzung geschieht visuell, aber auch mithilfe der ermittelten Kriterien und der Korrelationsanalyse. Es wurde festgestellt, dass die Zusammenwirkung der Yin- und Yang-Meridiane bzw. Yin-Yang-Interaktion stark variieren kann. Dies geschieht in Abhängigkeit vom Zustand der absoluten Harmonie und Balance bis zu einer Dysbalance des kritischen Niveaus. Es hat sich herausgestellt, dass sich sowohl die Balance als auch die Dysbalance der Yin- und Yang-Meridiane nach bestimmten Merkmalen exakt klassifizieren lässt. Die vorliegende Arbeit ist nicht nur für die Akupunktur von theoretischem und auch praktischem Interesse, sondern auch für die heutige Medizin, wie z.B. für die Analyse des weiblichen Organismus während der Periode, bei Schwangerschaftskomplikationen und bei der Geburt. In all diesen Fällen lässt sich eine starke Aktivitätssenkung der Magen- und Milz-Pankreas-Meridiane beobachten. Die Analyse des gewonnenen Materials erlaubt dokumentarisch zu bestätigen, dass sich Yin- und Yang-Meridiane unter dem Einfluss eines in der modernen Medizin noch unbekannten Systems der physiologischen Selbstregulation befinden. Dieses unbekannte System, das ebenso mächtig wie das Humorale- oder das Nervensystem ist, ist an vielen physiologischen Prozessen beteiligt und spiegelt sich in den Interaktionen der Yin- und Yang-Meridiane wieder. Die Hauptschlussfolgerung der Arbeit besteht darin, dass jenes System, welches die Meridiane steuert, eine Dritte Macht - die Energetische - im Körper darstellt und dass ohne Berücksichtigung dieses Systems eine vollständige Diagnostik des Menschen und seine Heilung nicht möglich ist.
Medical Biostatistics for Complex Diseases
Medical Biostatistics for Complex Diseases
Preface (Emmert-Streib and Dehmer) GENERAL BIOLOGICAL AND STATISTICAL BASICS The biology of MYC in health and disease: a high altitude view (Turner, Bird and Refaeli) Cancer Stem Cells - Finding and Hitting the Roots of Cancer (Buss and Ho) Multiple Testing Methods (Farcomeni) STATISTICAL AND COMPUTATIONAL ANALYSIS METHODS Making Mountains Out of Molehills: Moving from Single Gene to Pathway Ba1b81sed Models of Colon Cancer Progression (Edelman, Garman, Potti, Mukherjee) Gene-Set Expression Analysis: Challenges and Tools (Oron) Hotelling's T-2 multivariate profiling for detecting differential expression in microarrays (Lu, Liu, Deng) Interpreting differential coexpression of gene sets (Ju Han Kim, Sung Bum Cho, Jihun Kim) Multivariate analysis of microarray data: Application of MANOVA (Hwang and Park) Testing Significance of a Class of Genes (Chen and Tsai) Differential dependency network analysis to identify topological changes in biological networks (Zhang, Li, Clarke, Hilakivi-Clarke and Wang) An Introduction to Time-Varying Connectivity Estimation for Gene Regulatory Networks (Fujita, Sato, Almeida Demasi, Miyano, Cleide Sogayar, and Ferreira) A systems biology approach to construct a cancer-perturbed protein-protein interaction network for apoptosis by means of microarray and database mining (Chu and Chen) NN, title not confirmed (Fishel, Ruppin) Kernel Classification Methods for Cancer Microarray Data (Kato and Fujibuchi) Predicting Cancer Survival Using Expression Patterns (Reddy, Kronek, Brannon, Seiler, Ganesan, Rathmell, Bhanot) Integration of microarray data sets (Kim and Rha) Model Averaging For Biological Networks With Prior Information (Mukherjeea, Speed and Hill)
Logics in Artificial Intelligence
Logics in Artificial Intelligence
Invited Talks.- Nonmonotonic Tools for Argumentation.- Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference.- Counter Systems for Data Logics.- Regular Papers.- Similarity-Based Inconsistency-Tolerant Logics.- Decomposition of Distributed Nonmonotonic Multi-Context Systems.- Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases.- A Decidable Constructive Description Logic.- A Normal Form for Linear Temporal Equilibrium Logic.- Rational Closure for Defeasible Description Logics.- Extensional Higher-Order Logic Programming.- dl2asp: Implementing Default Logic via Answer Set Programming.- Sets of Boolean Connectives That Make Argumentation Easier.- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs.- Preference-Based Inconsistency Assessment in Multi-Context Systems.- A Logical Semantics for Description Logic Programs.- An Incremental Answer Set Programming Based System for Finite ModelComputation.- Parametrized Logic Programming.- Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.- : A Context Description Logic.- Stable Belief Sets Revisited.- Efficient Inferencing for OWL EL.- Translating First-Order Causal Theories into Answer Set Programming.- Preprocessing Boolean Formulae for BDDs in a Probabilistic Context.- Minimal Knowledge and Belief via Minimal Topology.- A Logical Account of Lying.- Tabling with Answer Subsumption: Implementation, Applications and Performance.- Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic.- An Approximative Inference Method for Solving ???SO Satisfiability Problems.- Horn Contraction via Epistemic Entrenchment.- System Descriptions.- The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.- The mcs-ie System for Explaining Inconsistency in Multi-Context Systems.- Coala: A Compiler from Action Languages to ASP.- DLV MC : Enhanced Model Checking in DLV.- A Dynamic-Programming Based ASP-Solver.

Andere Bücher von Localhood GmbH

Interessante Links