Combinatorial Algorithms [E-Book] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
Table of Contents: ... in Polynomial Time -- Computing Giant Graph Diameters -- Faster Computation of Path-Width -- The Solution Space of Sorting with Recurring Comparison Faults -- Combinatorics -- Monotone paths in geometric triangulations -- On computing the total displacement number...

Full text 
Microstructure-Property Optimization in Metallic Glasses [E-Book] /
Interactive Theorem Proving [E-Book] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
Table of Contents: ...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals -- Asynchronous processing of Coq documents: from the kernel up...

Full text 
Automata, Languages, and Programming [E-Book] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
Table of Contents: ... for k-Center Problems in Low Highway Dimension Graphs -- A Unified Framework for Strong Price of Anarchy in Clustering Games -- On the Diameter of Hyperbolic Random Graphs -- Tight Bounds for Cost-Sharing in Weighted Congestion Games -- Distributed Broadcast...

Full text 
Automata, Languages, and Programming [E-Book] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
Table of Contents: ... -- Approximately Counting Locally-Optimal Structures -- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths -- Hollow Heaps -- Linear-Time List Recovery of High...

Full text 
Artificial Computation in Biology and Medicine [E-Book] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I /
Table of Contents: ...) Intra-patient Images of the Brain -- Localisation of Pollen Grains in Digitised Real Daily Airborne Samples -- Estimation of the Arterial Diameter in Ultrasound Images of the Common Carotid Artery -- Comparison of Free Distribution Software for EEG Focal...

Full text 
Wireless Algorithms, Systems, and Applications [E-Book] : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings /
Xu, Kuai.
Table of Contents: ... Aware Data Acquisition Algorithm in Sensor Networks -- Constructing Virtual Backbone with Bounded Diameters in Cognitive Radio Networks -- A Simplified Attack-Defense Game Model for NSSA -- Hadoop-Based Analysis for Large-Scale Click-Through Patterns in 4G...

Full text 
Experimental Algorithms [E-Book] : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings /
Table of Contents: ... Algorithm for Diameters of Large Real Directed Graphs -- Graph Partitioning for Independent Sets -- Finding Connected Subgraphs of Fixed Minimum Density: Implementation and Experiments -- Combinatorial Optimization I -- On the Generation of Cutting Planes which...

Full text 
Computer Science -- Theory and Applications [E-Book] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
Table of Contents: ... for Outerplanar Diameter Improvement -- Editing to a Planar Graph of Given Degrees -- On the Satisfiability of Quantum Circuits of Small Treewidth -- Equations over Free Inverse Monoids with Idempotent Variables -- A Logical Characterization of Timed Pushdown Languages...

Full text 
New Insights From Recent Studies in Historical Astronomy: Following in the Footsteps of F. Richard Stephenson [E-Book] : A Meeting to Honor F. Richard Stephenson on His 70th Birthday /
Table of Contents: ... Eclipses and Considerations about Solar and Lunar Angular Diameters in Medieval Astronomy -- The Investigation of Stars, Star Clusters and Nebulae in Άbd al-Raḥmān al-Ṣūfī's Book of the Fixed Stars -- Άbd al-Raḥmān al-Ṣūfī's 3-Step Magnitude System -- A Thorough...

Full text 
On the Shores of Titan's Farthest Sea [E-Book] : A Scientific Novel /
Algorithms for Sensor Systems [E-Book] : 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers /
Gao, Jie.
Table of Contents: ... and Data Structures on Graphs Fast Rendezvous with Advice -- Computing the Dynamic Diameter of Non-Deterministic Dynamic Networks is Hard -- Improved Spanners in Networks with Symmetric Directional Antennas -- Wireless Networks -- Exploiting Geometry...

Full text 
Design and Applications of Nanomaterials for Sensors [E-Book] /
Table of Contents: ...A Quantum Chemistry Approach for the Design and Analysis of Nano sensors for Fissile Materials, Narendra Kumar and Jorge Seminario -- Distinct Diameter Dependences of Redox Property for Armchair, Zigzag Single-walled and Double-walled Carbon Nanotubes...

Full text 
Incoming Asteroid! [E-Book] : What Could We Do About It? /
Specialised membrane domains of plasmodesmata plant intercellular nanopores [E-Book] /
Development of large diameter amorphous ceramic SiCN fibres from selective chemical cross-linked oligosilazanes /
Distributed Computing [E-Book] : 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings /
Table of Contents: ... Announcement: k-Selection and Sorting in the SINR Model -- Brief Announcement: Distributed 3/2-Approximation of the Diameter -- Brief Announcement: Space-Optimal Silent Self-stabilizing Spanning Tree Constructions Inspired by Proof-Labeling Schemes -- Brief...

Full text 
Dynamics in Geometrical Confinement [E-Book] /
Fun with Algorithms [E-Book] : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings /
Table of Contents: ... Faster Graph Diameter and Radius Computation Method.- No Easy Puzzles: A Hardness Result for Jigsaw Puzzles.- Normal, Abby Normal, Prefix Normal.- Nonconvex Cases for Carpenter’s Rulers.-How to Go Viral: Cheaply and Quickly -- Synchronized Dancing of Oblivious...

Full text 
Bioinformatics Research and Applications [E-Book] : 10th International Symposium, ISBRA 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings /
Table of Contents: ... Output Controllability of Complex Networks -- NovoGMET: De Novo Peptide Sequencing Using Graphs with Multiple Edge Types (GMET) for ETD/ECD Spectra -- Duplication Cost Diameters -- Computational Identification of De-Centric Genetic Regulatory Relationships...

Full text