Publikationer pr. år
Publikationer pr. år
Publikation
Søgeresultater
-
2012
Improving the efficiency of priority-queue structures. Using data-structural transformations and number systems
Jensen, C., 2012, Faculty of Science, University of Copenhagen.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
-
Infinitary term graph rewriting is simple, sound and complete
Bahr, P., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 69-84 16 s. (Leibniz International Proceedings in Informatics, Bind 15).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
In-place heap construction with optimized comparisons, moves, and cache misses
Chen, J., Edelkamp, S., Elmasry, A. A. A. E. & Katajainen, J., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (red.). Springer, s. 259-270 12 s. (Lecture notes in computer science, Bind 7464).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Inspection-based evaluations
Cockton, G., Woolrych, A., Hornbæk, K. & Frøkjær, E., 2012, The human-computer interaction handbook: fundamentals, evolving technologies, and emerging applications. Jacko, J. A. (red.). 3 udg. CRC Press, s. 1279-1298 20 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
-
Interaction with deformable displays
Alexander, J., Kildal, J., Hornbæk, K., Aaltonen, V., Lucero, A. & Subramanian, S., 2012, MobileHCI '12: proceedings of the 14th International Conference on Human-Computer Interaction with Mobile Devices and Services companion . Association for Computing Machinery, s. 237-239 3 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Interactive Modelling and Simulation of Human Motion
Bidragets oversatte titel :Interaktiv modellering og simulation af menneskelig bevægelse Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
-
Interactive simulation of rigid body dynamics in computer graphics
Bender, J., Erleben, K., Trinkle, J. & Coumans, E., 2012, Eurographics 2012 - State of the Art Reports. Cani, M-P. & Ganovelli, F. (red.). Eurographics Association, 20 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Interesting interest points: a comparative study of interest point performance on a unique data set
Aanæs, H., Dahl, A. L. & Pedersen, K. S., mar. 2012, I: International Journal of Computer Vision. 97, 1, s. 18-35 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits
Burignat, S., Thomsen, M. K., Klimczak, M., Olczak, M. & De Vos, A., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 112-122 11 s. (Lecture notes in computer science, Bind 7165).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Interobserver variability in visual evaluation of thoracic CT scans and comparison with automatic computer measurements of CT lung density
Wille, M. M. W., Thomsen, L. H., Petersen, J., Shaker, S. B., Dirksen, A. & Pedersen, J. H., 2012, I: European Respiratory Journal. 40, Supplement 56, s. 25s 1 s., P270.Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review
-
Introduction to the special issue on machine learning for traffic sign recognition
Stallkamp, J., Schlipsing, M., Salmen, J. & Igel, C., 2012, I: I E E E Transactions on Intelligent Transportation Systems. 13, 4, s. 1481-1483 3 s.Publikation: Bidrag til tidsskrift › Leder
-
Is beautiful really usable? Toward understanding the relation between usability, aesthetics, and affect in HCI
Tuch, A. N., Roth, S. P., Hornbæk, K., Opwis, K. & Bargas-Avila, J. A., sep. 2012, I: Computers in Human Behavior. 28, 5, s. 1596-1607 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Jet-based local image descriptors
Boesen Lindbo Larsen, A., Darkner, S., Dahl, A. L. & Pedersen, K. S., 2012, Computer Vision – ECCV 2012: 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part III. Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y. & Schmid, C. (red.). Springer, s. 638-650 13 s. (Lecture notes in computer science, Bind 7574).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Kernel bundle EPDiff: evolution equations for multi-scale diffeomorphic image registration
Sommer, S. H., Lauze, F. B., Nielsen, M. & Pennec, X., 2012, Scale Space and Variational Methods in Computer Vision : Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers. Bruckstein, A., ter Haar Romeny, B. M., Bronstein, A. M. & Bronstein, M. M. (red.). Springer, s. 677-688 12 s. (Lecture notes in computer science, Bind 6667).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Lean programs, branch mispredictions, and sorting
Elmasry, A. A. A. E. & Katajainen, J., 2012, Fun with Algorithms: 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings. Kranakis, E., Krizanc, D. & Luccio, F. (red.). Springer, s. 119-130 12 s. (Lecture notes in computer science, Bind 7288).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Learning ∈ artificial intelligence ∩ cognitive technologies ∩ neural computation ∩ …
Igel, C., 1 aug. 2012, I: Kuenstliche Intelligenz. 26, 3, s. 209-212 4 s.Publikation: Bidrag til tidsskrift › Leder
-
Locally orderless registration code: fast normalized mutual information and P-Norm for MATLAB
Darkner, S. & Sporring, J., 2012Publikation: Bidrag der ikke har en tekstform › Softwareprogram › Forskning
660 Downloads (Pure) -
Local smoothness for global optical flow
Rakêt, L. L., 2012, 2012 19th IEEE International Conference on Image Processing (ICIP). IEEE, 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Logical inference techniques for loop parallelization
Oancea, C. E. & Rauchwerger, L., 2012, Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, s. 509-520 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Mammographic parenchymal texture analysis for estrogen-receptor subtype specific breast cancer risk estimation
Karemore, G., Keller, B. M., Oh, H., Tchou, J., Nielsen, M., Conant, E. F. & Kontos, D., 2012, Breast Imaging: 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings. Maidment, A. D. A., Bakic, P. R. & Gavenonis, S. (red.). Springer, s. 596-603 8 s. (Lecture notes in computer science, Bind 7361).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Man vs. computer: benchmarking machine learning algorithms for traffic sign recognition
Stallkamp, J., Schlipsing, M., Salmen, J. & Igel, C., aug. 2012, I: Neural Networks. 32, s. 323-332 10 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
-
Mass preserving image registration for lung CT
Gorbunova, V., Sporring, J., Lo, P. C. P., Loeve, M., Tiddens, H. A., Nielsen, M., Dirksen, A. & de Bruijne, M., maj 2012, I: Medical Image Analysis. 16, 4, s. 786-795 10 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Maximum a posteriori covariance estimation using a power inverse wishart prior
Nielsen, S. F. & Sporring, J., 2012, 29 s. (arXiv.org: Statistics).Publikation: Working paper › Forskning
11 Downloads (Pure) -
Medical data breaches: notification delayed is notification denied
Kierkegaard, P., apr. 2012, I: Computer Law & Security Review. 28, 2, s. 163-183 21 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Medical emplotment: Designing IT for distributed healthcare
Mønsted, T. S., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 100 s.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
-
Metric learning by directly minimizing the k-NN training error
Chernoff, K., Loog, M. & Nielsen, M., 2012, 2012 21st International Conference on Pattern Recognition (ICPR). IEEE, s. 1265-1268 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
1 Citationer (Scopus) -
Minimizing garbage size by generating reversible simulations
Yokoyama, T., Axelsen, H. B. & Glück, R., 2012, Proceedings of the 2012 Third International Conference on Networking and Computing (ICNC). IEEE, s. 379-387 9 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Mobile psychiatry: towards improving the care for bipolar disorder
Prociow, P., Wac, K. & Crowe, J., 29 maj 2012, I: International Journal of Mental Health Systems. 6, 5.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Modes of convergence for term graph rewriting
Bahr, P., 2012, I: Logical Methods in Computer Science. 8, 2, 60 s., 6.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting
Bahr, P., 31 okt. 2012, 466 s.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
1096 Downloads (Pure) -
Modular tree automata
Bahr, P., 2012, Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Gibbons, J. & Nogueira, P. (red.). Springer, s. 263-299 37 s. (Lecture notes in computer science, Bind 7342).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Moment constrained semi-supervised LDA
Loog, M., 2012, Proceedings of the 24th Benelux Conference on Artificial Intelligence. Uiterwijk, J. W. H. M., Roos, N. & Winands, M. H. M. (red.). Maastricht University , s. 303-304 2 s.Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning
-
Motion compensated frame interpolation with a symmetric optical flow constraint
Rakêt, L. L., Roholm, L., Bruhn, A. & Weickert, J., 2012, Advances in Visual Computing: 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I. Bebis, G., Boyle, R., Parvin, B., Koracin, D., Fowlkes, C., Wang, S., Choi, M-H., Mantler, S., Schulze, J., Acevedo, D., Mueller, K. & Papka, M. (red.). Springer, Bind Part I. s. 447-457 11 s. (Lecture notes in computer science, Bind 7431).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Multi-feature-based plaque characterization in ex vivo MRI trained by registration to 3D histology
Engelen, A. V., Niessen, W. J., Klein, S., Groen, H. C., Verhagen, H. J. M., Wentzel, J. J., Lugt, A. V. D. & de Bruijne, M., 7 jan. 2012, I: Physics in Medicine and Biology. 57, 1, s. 241-256 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Multiphase Flow of Immiscible Fluids on Unstructured Moving Meshes
Misztal, M. K., Erleben, K., Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., jul. 2012, EUROSCA'12 Proceedings of the 11th ACM SIGGRAPH / Eurographics conference on Computer Animation. ACM, s. 97 106 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Multiphase flow of immiscible fluids on unstructured moving meshes
Misztal, M. K., Erleben, K., Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., 29 jul. 2012, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Kry, P. & Lee, J. (red.). Eurographics Association, s. 97-106 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
33 Citationer (Scopus) -
Natural metrics and least-committed priors for articulated tracking
Hauberg, S., Sommer, S. H. & Pedersen, K. S., jun. 2012, I: Image and Vision Computing. 30, 6-7, s. 453-461 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Net4Care: towards a mission-critical software ecosystem
Christensen, H. B. & Hansen, K. M., 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture (WICSA) and European Conference on Software Architecture (ECSA). Ali Babar, M., Cuesta, C., Savolainen, J. & Männistö, T. (red.). IEEE, s. 224-228 5 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
On the ambiguity of quality of service and quality of experience requirements for eHealth services
Ullah, M., Fiedler, M. & Wac, K., 2 jul. 2012, 2012 6th International Symposium on Medical Information and Communication Technology, ISMICT 2012. 6203030Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
On the size of the subset partial order
Elmasry, A. A. A. E., 2012, I: Information Processing Letters. 112, 12, s. 487-489 3 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Optimizing reversible simulation of injective functions
Yokoyama, T., Axelsen, H. B. & Glück, R., 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 5-24 20 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
8 Citationer (Scopus) -
Osteoarthritis Imaging by Quantification of Tibial Trabecular Bone
Marques, J., 2012, Department of Computer Science, Faculty of Science, University of Copenhagen. 112 s.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
-
Outliers in usability testing: how to treat usability problems found for only one test participant?
Følstad, A., Law, E. L-C. & Hornbæk, K., 2012, Proceedings of the 7th Nordic Conference on Human-Computer Interaction: making sense through design. Association for Computing Machinery, s. 257-260 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Parametric compositional data types
Bahr, P. & Hvitved, T., 11 feb. 2012, Proceedings Fourth Workshop on Mathematically Structured Functional Programming. Chapman, J. & Levy, P. B. (red.). Open Publishing Association, s. 3-24 22 s. (Electronic Proceedings in Theoretical Computer Science, Bind 76).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Partial evaluation of Janus part 2: assertions and procedures
Mogensen, T. Æ., 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (red.). Springer, s. 289-301 13 s. (Lecture notes in computer science, Bind 7162).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Performance of segmentation software on large longitudinal database of pulmonary nodules in the Danish Lung Cancer Screening Trial (DLCST)
Saghir, Z., Jacobs, C., van Ginneken, B., de Bruijne, M., Dirksen, A. & Pedersen, J. H., 2012, I: European Respiratory Journal. 40, Supplement 56, s. 23s 1 s., P262.Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review
-
Personal health records
Kensing, F., 2012, Quality of life through quality of information: proceedings of MIE2012. Mantas, J., Andersen, S. K., Mazzoleni, M. C., Blobel, B., Quaglini, S. & Moen, A. (red.). IOS Press, s. 9-13 5 s. (Studies in Health Technology and Informatics, Bind 180).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Phone in the pocket: Pervasive self-tracking of physical activity levels
Hausmann, J., Wac, K. & Bonjour, J., 20 aug. 2012, Self-Tracking and Collective Intelligence for Personal Wellness - Papers from the AAAI Spring Symposium. Bind SS-12-05. s. 17-18 2 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
2 Citationer (Scopus) -
Pilot implementation: learning from field tests in IS development
Hertzum, M., Bansler, J. P., Havn, E. C. & Simonsen, J., 2012, I: Communications of the Association for Information Systems. 30, 1, s. 313-328 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2059 Downloads (Pure) -
Practical considerations when filtering documents.
Elliott, D. & Azzopardi, L., 2012, IIiX. s. 270-273 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review