Result 1 to 20 of 187 total
Singular sources mining using evidential conflict analysis. (English)
Int. J. Approx. Reasoning 52, No. 9, 1433-1451 (2011).
1
Hierarchical modeling and formal verification. An industrial case study using Reo and Vereofy. (English)
Salaün, Gwen (ed.) et al., Formal methods for industrial critical systems. 16th international workshop, FMICS 2011, Trento, Italy, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24430-8/pbk). Lecture Notes in Computer Science 6959, 228-243 (2011).
2
io-port 05961767 Alférez, Mauricio;
Amálio, Nuno;
Ciraci, Selim;
Fleurey, Franck;
Kienzle, Jörg;
Klein, Jacques;
Kramer, Max;
Mosser, Sebastien;
Mussbacher, Gunter;
Roubtsova, Ella;
Zhang, Gefei
Aspect-oriented model development at different levels of abstraction. (English)
France, Robert B. (ed.) et al., Modelling foundations and applications. 7th European conference, ECMFA 2011, Birmingham, UK, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21469-1/pbk). Lecture Notes in Computer Science 6698, 361-376 (2011).
3
A compositional framework for controller synthesis. (English)
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 ‒ concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 512-527 (2011).
4
Magnetic look-up table (MLUT) featuring radiation hardness, high performance and low power. (English)
Koch, Andreas (ed.) et al., Reconfigurable computing: architectures, tools and applications. 7th international symposium, ARC 2011, Belfast, UK, March 23‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19474-0/pbk). Lecture Notes in Computer Science 6578, 275-280 (2011).
5
Benchmarking the quality of diffusion-weighted images. (English)
Comput. Res. Repos. 2011, Article No. 1104.1556 (2011).
6
Modeling and verification of components and connectors. (English)
Bernardo, Marco (ed.) et al., Formal methods for eternal networked software systems. 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13‒18, 2011. Advanced lectures. Berlin: Springer (ISBN 978-3-642-21454-7/pbk). Lecture Notes in Computer Science 6659, 114-147 (2011).
7
Ray-based and graph-based methods for fiber bundle boundary estimation. (English)
Comput. Res. Repos. 2011, Article No. 1103.1952 (2011).
8
A semi-automatic graph-based approach for determining the boundary of eloquent fiber bundles in the human brain. (English)
Comput. Res. Repos. 2011, Article No. 1103.1475 (2011).
9
Natural images from the birthplace of the human eye. (English)
Comput. Res. Repos. 2011, Article No. 1102.0817 (2011).
10
io-port 05891235 Bartsch, Annekathrin;
Bunk, Boyke;
Haddad, Isam;
Klein, Johannes;
Münch, Richard;
Johl, Thorsten;
Kärst, Uwe;
Jänsch, Lothar;
Jahn, Dieter;
Retter, Ida
Genereporter - sequence-based document retrieval and annotation. (English)
Bioinformatics 27, No. 7, 1034-1035 (2011).
11
Cutpoint selection for discretizing a continuous covariate for generalized estimating equations (English)
Computational Statistics & Data Analysis 55, No. 1, 226-235 (2011).
12
Approaches to understanding and measuring interdisciplinary scientific research (IDR): A review of the literature (English)
J. Informetrics 5, No. 1, 14-26 (2011).
13
Design considerations and strategies for high-reliable STT-MRAM (English)
Microelectronics Reliability 51, No. 9-11, 1454-1458 (2011).
14
io-port 50338622 Liao, Si-Yu;
Retrouvey, Jean-Marie;
Agnus, Guillaume;
Zhao, Weisheng;
Maneux, Cristell;
Fregonese, Sébastien;
Zimmer, Thomas;
Chabi, Djaafar;
Filoramo, Ariana;
Derycke, Vincent;
Gamrat, Christian;
Klein, Jacques-Olivier
Design and modeling of a neuro-inspired learning circuit using nanotube-based memory devices (English)
IEEE Trans. on Circuits and Systems 58-I, No. 9, 2172-2181 (2011).
15
Understanding organizational memory (English)
Encyclopedia of Knowledge Management, 1536-1544 (2011).
16
A compositional framework for controller synthesis (English)
CONCUR, 512-527 (2011).
17
Intelligent selection of human mirnas and mouse mrnas related to obstructive nephropathy (English)
EANN/AIAI (2), 464-471 (2011).
18
Design of MRAM based logic circuits and its applications (English)
ACM Great Lakes Symposium on VLSI, 431-436 (2011).
20
Result 1 to 20 of 187 total
Start
Contact
Print
General Help
