Result 1 to 20 of 257 total
Cloud types for eventual consistency. (English)
Noble, James (ed.), ECOOP 2012 ‒ object-oriented programming. 26th European conference, Beijing, China, June 11‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31056-0/pbk). Lecture Notes in Computer Science 7313, 283-307 (2012).
1
Scale-space approaches to FTLE ridges. (English)
Peikert, Ronald (ed.) et al., Topological methods in data analysis and visualization II. Theory, algorithms, and applications. Based on the 4th workshop on topology-based methods in data analysis and visualization, TopoInVis 2011, Zurich, Switzerland, April 4‒6, 2011. Berlin: Springer (ISBN 978-3-642-23174-2/hbk; 978-3-642-23175-9/ebook). Mathematics and Visualization, 283-296 (2012).
2
Testing static analyzers with randomly generated programs. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 120-125 (2012).
3
Speed scaling for stretch plus energy. (English)
Oper. Res. Lett. 40, No. 3, 180-184 (2012).
4
Triangle contact representations and duality. (English)
Discrete Comput. Geom. 48, No. 1, 239-254 (2012).
5
A sparse-grid-based out-of-sample extension for dimensionality reduction and clustering with Laplacian eigenmaps. (English)
Wang, Dianhui (ed.) et al., AI 2011: Advances in artificial intelligence. 24th Australasian joint conference, Perth, Australia, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25831-2/pbk). Lecture Notes in Computer Science 7106. Lecture Notes in Artificial Intelligence, 112-121 (2011).
6
Detecting outlying subjects in high-dimensional neuroimaging datasets with regularized minimum covariance determinant. (English)
Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-23625-9/pbk). Lecture Notes in Computer Science 6893, 264-271 (2011).
7
Stimulating skill evolution in market-based crowdsourcing. (English)
Rinderle-Ma, Stefanie (ed.) et al., Business process management. 9th international conference, BPM 2011, Clermont-Ferrand, France, August 30‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23058-5/pbk). Lecture Notes in Computer Science 6896, 66-82 (2011).
8
Shape minimization of the dissipated energy in dyadic trees. (English)
Discrete Contin. Dyn. Syst., Ser. B 16, No. 3, 767-799 (2011).
9
Proof certificates for algebra and their application to automatic geometry theorem proving. (English)
Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22‒24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 42-59 (2011).
10
Sanitizing microdata without leak: Combining preventive and curative actions. (English)
Bao, Feng (ed.) et al., Information security practice and experience. 7th international conference, ISPEC 2011, Guangzhou, China, May 30 ‒ June 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21030-3/pbk). Lecture Notes in Computer Science 6672, 333-342 (2011).
11
Triangle contact representations and duality. (English)
Brandes, Ulrik (ed.) et al., Graph drawing. 18th international symposium, GD 2010, Konstanz, Germany, September 21‒24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18468-0/pbk). Lecture Notes in Computer Science 6502, 262-273 (2011).
12
Contracting chordal graphs and bipartite graphs to paths and trees (English)
Electronic Notes in Discrete Mathematics 37, 87-92 (2011).
13
An ontology-enabled user interface for simulation model construction and visualization (English)
J. Simulation 5, No. 3, 147-156 (2011).
14
A knowledge-driven framework for simulation application integration (English)
J. Simulation 5, No. 3, 166-189 (2011).
15
Hybrid single frequency network propagation channel sounding and antenna diversity measurements (English)
Int. J. Satellite Communications Networking 29, No. 1, 7-21 (2011).
16
Effects of scale change on distance perception in virtual environments (English)
TAP 8, No. 4, 26 (2011).
17
Prodsimplicial-neighborly polytopes (English)
Discrete & Computational Geometry 46, No. 1, 100-131 (2011).
18
io-port 50233569 Balderrama, V. S.;
Estrada, Magali;
Cerdeira, Antonio;
Soto-Cruz, B. S.;
Marsal, L. F.;
Pallares, J.;
Nolasco, J. C.;
Iñíguez, Benjamín;
Palomares, E.;
Albero, J.
Influence of P3HT: PCBM blend preparation on the active layer morphology and cell degradation (English)
Microelectronics Reliability 51, No. 3, 597-601 (2011).
19
A tutorial on amortized local competitiveness in online scheduling (English)
SIGACT News 42, No. 2, 83-97 (2011).
20
Result 1 to 20 of 257 total
Start
Contact
Print
General Help
