 |
LNCS 4708 - Finite Model Theory on Tame Classes of Structures by Anuj Dawar313.6 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids by Christoph Behle, Andreas Krebs & Mark Mercer419.5 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Nearly Private Information Retrieval by Amit Chakrabarti & Anna Shubina442.3 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - On (<TEX>{\itshape k}</TEX>,l)-Leaf Powers by Andreas Brandstädt & Peter Wagner400.9 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - On the Complexity of Computing Treelength by Daniel Lokshtanov492.8 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - NP by Means of Lifts and Shadows by Gábor Kun & Jaroslav Nešetril318.7 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - On Time Lookahead Algorithms for the Online Data Acknowledgement Problem by Csanád Imreh & Tamás Németh439.7 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Optimal Gossiping in Directed Geometric Radio Networks in Presence of Dynamical Faults by Andrea E.F. Clementi, Angelo Monti, Francesco Pasquale & Riccardo Silvestri454.8 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Packing and Squeezing Subgraphs into Planar Graphs by Fabrizio Frati, Markus Geyer & Michael Kaufmann424.8 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Progresses in the Analysis of Stochastic 2D Cellular Automata: A Study of Asynchronous 2D Minority by Damien Regnault, Nicolas Schabanel & Éric Thierry582.5 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Randomized and Approximation Algorithms for Blue-Red Matching by Christos Nomikos, Aris Pagourtzis & Stathis Zachos449.4 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Rewriting Conjunctive Queries Determined by Views by Foto Afrati449.2 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Selfish Load Balancing Under Partial Knowledge by Elias Koutsoupias, Panagiota N. Panagopoulou & Paul G. Spirakis539.2 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Shuffle Expressions and Words with Nested Data by Henrik Björklund & Mikolaj Bojanczyk364.2 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Traces of Term-Automatic Graphs by Antoine Meyer429.6 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Transition Graphs of Rewriting Systems over Unranked Trees by Christof Löding & Alex Spelten440.6 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4791 - A New Benchmark for Shape Correspondence Evaluation by Brent C. Munsell, Pahal Dalal & Song Wang463.5 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - 3D/2D Image Registration: The Impact of X-Ray Views and Their Number by Dejan Tomaževic, Boštjan Likar & Franjo Pernuš419.2 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Cardiac-Motion Compensated MR Imaging and Strain Analysis of Ventricular Trabeculae by Andrew W. Dowsey, Jennifer Keegan & Guang-Zhong Yang7 MB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Automatic Trajectory Planning for Deep Brain Stimulation: A Feasibility Study by Ellen J.L. Brunenberg, Anna Vilanova, Veerle Visser-Vandewalle, Yasin Temel, Linda Ackermans, Bram Platel & Bart M. ter Haar Romeny704.3 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Boundary-Specific Cost Functions for Quantitative Airway Analysis by Atilla P. Kiraly, Benjamin L. Odry, David P. Naidich & Carol L. Novak428.3 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Contraction Detection in Small Bowel from an Image Sequence of Wireless Capsule Endoscopy by Hai Vu, Tomio Echigo, Ryusuke Sagawa, Keiko Yagi, Masatsugu Shiba, Kazuhide Higuchi, Tetsuo Arakawa & Yasushi Yagi3.3 MB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Characterizing Task-Related Temporal Dynamics of Spatial Activation Distributions in fMRI BOLD Signals by Bernard Ng, Rafeef Abugharbieh, Samantha J. Palmer & Martin J. McKeown208.1 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Deformable Density Matching for 3D Non-rigid Registration of Shapes by Arunabha S. Roy, Ajay Gopinath & Anand Rangarajan633.7 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|
 |
LNCS 4791 - Effects of Registration Regularization and Atlas Sharpness on Segmentation Accuracy by B.T. Thomas Yeo, Mert R. Sabuncu, Rahul Desikan, Bruce Fischl & Polina Golland933.3 KB - 16 Oct, 2020 Tags=[Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007]
|