This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and Tissues, IPCAT 2015, held in San Diego, CA, USA, in September 2015. The 19 papers presented in this vol...
详细信息
ISBN:
(数字)9783319231082
ISBN:
(纸本)9783319231075
This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and Tissues, IPCAT 2015, held in San Diego, CA, USA, in September 2015.
The 19 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: biochemical information processing; collective and distributed behavior; patterning and rhythm generation; biochemical regulatory networks; metabolomics and phenotypes; and neural modelling and neural networks.
This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers prese...
详细信息
ISBN:
(数字)9783642365638
ISBN:
(纸本)9783642365621
This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.
Das Entwerfen und Analysieren von effizienten Algorithmen ist eine der Haupt aufgaben eines/r jeden Informatikers/in. Obwohl für viele Probleme schon seit Jahrzehnten effiziente Algorithmen bekannt sind, ta...
详细信息
ISBN:
(数字)9783322968371
Das Entwerfen und Analysieren von effizienten Algorithmen ist eine der Haupt aufgaben eines/r jeden Informatikers/in. Obwohl für viele Probleme schon seit Jahrzehnten effiziente Algorithmen bekannt sind, tauchen dennoch immer wieder verblüffende und unerwartete Verbesserungen auf. Dies macht die Algorithmik zu einem höchst interessanten und spannenden Teilgebiet der Informatik, dessen Attraktivität und Reiz wir in diesem Buch einzufangen versuchen. Anhand alltäglicher Probleme aus der Welt der Informatik wollen wir die Methodik des Algorithmenentwurfs erläutern. Zum einen werden wir effiziente Algorithmen zur Lösung grundlegender Probleme kennen lernen und dabei auch auf die zum Teil überraschend einfachen, aber wirkungsvollen Verbesserungen ein gehen. Zum anderen werden wir die zugrunde liegenden, allgemein anwendbaren Methoden und Paradigmen präsentieren, die tagtäglich beim Algorithmenentwurf zum Einsatz kommen. Begleitend dazu stellen wir die grundlegenden Techniken zur Analyse von Algorithmen vor, ohne die Effizienzaussagen nicht möglich wären. Außerdem werden wir die Grenzen dessen aufzeigen, was algorithmisch überhaupt lösbar bzw. effizient realisierbar ist. Ein Hauptaugenmerk dieses Buch ist der Vollständigkeit der behandelten Algorithmen gewidmet, d.h. es wurde in der Regel vermieden, nur eine Beschrei bung von Algorithmen anzugeben, ohne deren Korrektheit zu beweisen bzw. deren Komplexität zu analysieren. Daher werden auch Themen angesprochen, die in Einführungsvorlesungen zur Algorithmik normalerweise nicht ausführlich behan delt werden, wie z.B. die Analyse des Boyer-Moore-Algorithmus oder der Beweis des Bertrandschen Postulats. Damit wird zu jedem behandelten Problemkreis eine möglichst abgeschlossene Einführung geboten.
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on computermathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster ...
详细信息
ISBN:
(数字)9783540878278
ISBN:
(纸本)9783540878261
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on computermathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.
This book addresses the key issues in the modeling and simulation of diffusive processes from a wide spectrum of different applications across a broad range of disciplines. Features: discusses diffusion and molecular ...
详细信息
ISBN:
(数字)9783319056579
ISBN:
(纸本)9783319056562;9783319380254
This book addresses the key issues in the modeling and simulation of diffusive processes from a wide spectrum of different applications across a broad range of disciplines. Features: discusses diffusion and molecular transport in living cells and suspended sediment in open channels; examines the modeling of peristaltic transport of nanofluids, and isotachophoretic separation of ionic samples in microfluidics; reviews thermal characterization of non-homogeneous media and scale-dependent porous dispersion resulting from velocity fluctuations; describes the modeling of nitrogen fate and transport at the sediment-water interface and groundwater flow in unconfined aquifers; investigates two-dimensional solute transport from a varying pulse type point source and futile cycles in metabolic flux modeling; studies contaminant concentration prediction along unsteady groundwater flow and modeling synovial fluid flow in human joints; explores the modeling of soil organic carbon and crop growth simulation.
This book constitutes the proceedings of the 14th International Conference on Queueing Theory and Network applications, QTNA 2019, held in Ghent, Belgium, in August 2019.;The 23 full papers included in this volume wer...
详细信息
ISBN:
(数字)9783030271817
ISBN:
(纸本)9783030271800
This book constitutes the proceedings of the 14th International Conference on Queueing Theory and Network applications, QTNA 2019, held in Ghent, Belgium, in August 2019.;The 23 full papers included in this volume were carefully reviewed and selected from 49 initial submissions. The papers are organized in topical sections on Retrial Queues; Controllable Queues; Strategic Queues; Queueing Networks; Scheduling Policies; Multidimensional Systems; and Queueing Models in applications.
Ausgehend von den Verfahren, die zu den hochgenauen Pi-Berechnungen eingesetzt werden, stellen die Autoren das mathematische, programmtechnische sowie historische Umfeld der Zahl Pi ausführlich dar.;So werden sow...
详细信息
ISBN:
(数字)9783662127117
Ausgehend von den Verfahren, die zu den hochgenauen Pi-Berechnungen eingesetzt werden, stellen die Autoren das mathematische, programmtechnische sowie historische Umfeld der Zahl Pi ausführlich dar.;So werden sowohl Themen wie die modernen arithmetischen Hochleistungsalgorithmen wie FFT-Multiplikation und superlinear konvergente Iterationen von Gauß, Brent, Salamin und Borwein als auch der Algorithmus "digitextract", der Tröpfelalgorithmus und die Formeln von Ramanujan behandelt.;Der Leser findet einerseits historisch Interessantes wie die Wiederentdeckung der AGM-Formeln im Gauß-Nachlaß, andererseits aber auch Skurriles und Anregendes wie die Untersuchungen zur Normalität von Pi.;Die CD-ROM umfaßt unter anderem die in C++ ausgeführte Langzahlarithmetik "hfloat" und viele weitere Programme zu Algorithmen für die Pi-Berechnung, die jeweils im Sourcecode beigefügt sind.
This book constitutes the refereed proceedings of the 13;International Conference on Parallel Computational Technologies, PCT 2019, held in Kaliningrad, Russia, in April 2019.
ISBN:
(数字)9783030281632
ISBN:
(纸本)9783030281625
This book constitutes the refereed proceedings of the 13;International Conference on Parallel Computational Technologies, PCT 2019, held in Kaliningrad, Russia, in April 2019.
暂无评论