33842 articles – 26701 Notices  [english version]
.:. Consultation > Par publications .:.
60543 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Development Of Homogeneity Concept For Time-Delay Systems
Efimov D., Perruquetti W., Richard J.-P.
SIAM Journal on Control and Optimization (2014) [hal-00956878 - version 1]
fulltext access Self-similar prior and wavelet bases for hidden incompressible turbulent motion
Héas P., Lavancier F., Kadri-Harouna S.
SIAM Journal on Imaging Sciences (2014) [hal-00793461 - version 2]
fulltext accessible on an other server The geometry of some parameterizations and encodings
Couveignes J.-M., Lercier R.
Advances in mathematics of communications (2014) 1-22 [hal-00870112 - version 1]
A Survey on Techniques for Improving the Energy Efficiency of Large Scale Distributed Systems
Orgerie A.-C., Dias De Asuncao M., Lefevre L.
ACM Computing Surveys 46, 4 (2014) [hal-00767582 - version 1]
Method and device for detecting a failure on an aircraft
Zolghadri A., Gheorghe A., Efimov D., Cieslak J., Goupil P., Dayre R.
(30/11/2014) US 06510051 - États-Unis [hal-01016216 - version 1]
Test Case Purification for Improving Fault Localization
Xuan J., Monperrus M.
Dans FSE - 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (2014) [hal-01018931 - version 1]
fulltext access A Principled Way of Assessing Visualization Literacy
Boy J., Rensink R. E., Bertini E., Fekete J.-D.
IEEE Transactions on Visualization and Computer Graphics (2014) [hal-01027582 - version 1]
Revisiting Bertin matrices: New Interactions for Crafting Tabular Visualizations
Perin C., Dragicevic P., Fekete J.-D.
IEEE Transactions on Visualization and Computer Graphics (2014) [hal-01023890 - version 1]
Conducting and permeable states of cell membrane submitted to high voltage pulses: Mathematical and numerical studies validated by the experiments
Leguebe M., Silve A., Mir L. M., Poignard C.
Journal of Theoretical Biology 360 (2014) 83-94 [hal-01027477 - version 1]
fulltext access A Language-Independent Proof System for Mutual Program Equivalence
Ciobâcǎ S., Lucanu D., Rusu V., Rosu G.
Dans ICFEM'14 - 16th International Conference on Formal Engineering Methods (2014) [hal-01030754 - version 1]