Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Oechsner, S. (2019). Constructions and Proof Techniques for Secure Computation. Aarhus Universitet.

Obremski, M. & Skorski, M. (2017). Renyi Entropy Estimation Revisited. I J. D. P. Rolim, K. Jansen, D. P. Williamson & S. S. Vempala (red.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 20th International Workshop, APPROX 2017 and 21st International Workshop, RANDOM 2017 (Bind 81, s. 20:1-20:15). Artikel 20 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20

Obremski, M. & Skorski, M. (2018). Inverted Leftover Hash Lemma. I 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Bind 2018-June, s. 1834-1838). Artikel 8437654 IEEE. https://doi.org/10.1109/ISIT.2018.8437654

Nyborg, J. C. & Assent, I. (2021). Weakly-Supervised Cloud Detection with Fixed-Point GANs. IEEE Transactions on Big Data, 4191-4198. https://doi.org/10.1109/BigData52589.2021.9671405

Nyborg, J. C., Pelletier, C., Lefevre, S. & Assent, I. (2022). TimeMatch: Unsupervised Cross-Region Adaptation by Temporal Shift Estimation. ISPRS Journal of Photogrammetry and Remote Sensing, 188, 301-313. https://doi.org/10.1016/j.isprsjprs.2022.04.018

Nyborg, J. C. (2022). Deep Learning for Remote Sensing in Precision Agriculture: Large-scale and label-efficient methods for satellite image data. Aarhus Universitet.

Nyborg, J. C., Pelletier, C. & Assent, I. (2022). Generalized Classification of Satellite Image Time Series with Thermal Positional Encoding. I Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2022 (s. 1391-1401). IEEE. https://doi.org/10.1109/CVPRW56347.2022.00145

Nunnari, F., Bachynskyi, M. & Heloir, A. (2016). Introducing postural variability improves the distribution of muscular loads during mid-air gestural interaction. I Motion in Games 2016: 9th International Conference on Motion in Games, MIG 2016 (s. 155-160). Artikel 2994278 Association for Computing Machinery. https://doi.org/10.1145/2994258.2994278

Nunes, F., Verdezoto, N., Fitzpatrick, G., Kyng, M., Grönvall, E. & Storni, C. (2015). Self-Care Technologies in HCI: Trends, Tensions, and Opportunities. A C M Transactions on Computer - Human Interaction, 22(6), Artikel 33. https://doi.org/10.1145/2803173

Nouwens, M., Borowski, M., Fog, B. V. & Klokmose, C. N. (2020). Between Scripts and Applications: Computational Media for the Frontier of Nanoscience. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376287 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376287

Nouwens, M., Bagge, R., Kristensen, J. B. & Klokmose, C. N. (2022). Consent-O-Matic: Automatically Answering Consent Pop-ups Using Adversarial Interoperability. I CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 238 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519683

Nørgaard, M., Merritt, T. R., Rasmussen, M. & Petersen, M. G. (2013). Exploring the design space of shape-changing objects: imagined physics. I Proceedings of the 6th International Conference on Designing Pleasurable Products and Interfaces (s. 251-260 ). Association for Computing Machinery. https://doi.org/10.1145/2513506.2513533

Nordstrøm Rasmussen, C., Pakanen, M. A. & Petersen, M. G. (2021). Designing Socially Acceptable Light Therapy Glasses for Self-managing Seasonal Affective Disorder. I J. Häkkilä, P. Lopes, T. Kosch, J. Nishida, P. Strohmeier & Y. Abdelrahman (red.), Proceedings - AHs 2021: Augmented Humans Conference 2021 (s. 307-312). Association for Computing Machinery. https://doi.org/10.1145/3458709.3458995

Nordholt, P. S. (2013). New Approaches to Practical Secure Two-Party Computation. Institut for Datalogi, Aarhus Universitet.

Nonnemann, L., Hogräfer, M., Schumann, H., Urban, B. & Schulz, H-J. (2021). Customizable Coordination of Independent Visual Analytics Tools. I J. Bernard & K. Vrotsou (red.), Proceedings of the 12th International EuroVis Workshop on Visual Analytics (EuroVA) (s. 25-29). Eurographics Association. https://doi.org/10.2312/eurova.20211094

Nonnemann, L., Schumann, H., Urban, B., Aehnelt, M. & Schulz, H-J. (2020). A Characterization of Data Exchange between Visual Analytics Tools. I 2020 24th International Conference Information Visualisation, IV 2020 (s. 340-349). Artikel 9373163 IEEE. https://doi.org/10.1109/IV51561.2020.00066

Nonnemann, L., Hogräfer, M., Röhlig, M., Schumann, H., Urban, B. & Schulz, H-J. (2022). A Data-Driven Platform for the Coordination of Independent Visual Analytics Tools. Computers & Graphics, 106, 152-160. https://doi.org/10.1016/j.cag.2022.05.023

Nocke, T., Buschmann, S., Donges, J. F., Marwan, N., Schulz, H-J. & Tominski, C. (2015). Review: Visual Analytics of climate networks. Nonlinear Processes in Geophysics, 22, 545-570. https://doi.org/10.5194/npg-22-545-2015

Niu, Y., Sterling, J., Grodin, H. & Harper, R. (2022). A cost-Aware logical framework. Proceedings of the ACM on Programming Languages , 6(POPL), Artikel 3498670. https://doi.org/10.1145/3498670

Nitulescu, A. (2019). Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits. I P. Schwabe & N. Thériault (red.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings (s. 217-236). Springer. https://doi.org/10.1007/978-3-030-30530-7_11

Nissim, K., Orlandi, C. & Smorodinsky, R. (2012). Privacy-aware mechanism design. I B. Faltings (red.), Proceedings of the ACM Conference on Electronic Commerce, EC '12 (s. 774-789). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229073

Nilges, T. (2016). Efficient Resettably Secure Two-Party Computation. http://eprint.iacr.org/2016/1009

Nieto Rodriguez, A., Birkedal, L., Gondelman, L., Timany, A. & Daby-Seesaram, A. (Accepteret/In press). Modular Verification of State-Based CRDTs in Separation Logic. Leibniz International Proceedings in Informatics (LIPIcs). https://doi.org/10.4230/LIPIcs.ECOOP.2023.22

Nieto Rodriguez, A. (2023). Conflict-free Replicated Data Types have Abstract Data Types. Aarhus University.

Nieto, A., Gondelman, L., Reynaud, A., Timany, A. & Birkedal, L. (2022). Modular verification of op-based CRDTs in separation logic. Proceedings of the ACM on Programming Languages, 6(OOPSLA2), 1788-1816. Artikel 188. https://doi.org/10.1145/3563351

Nielsen, J. & Grønbæk, K. (2006). MultiLightTracker: Vision based simultaneous multi object tracking on semi-transparent surfaces. I Proceedings of the Conference on Computer Vision Theory and Applications Institute for Systems and Technologies of Information, Control and Communication.

Nielsen, J. & Sand, A. (2011). Algorithms for a parallel implementation of Hidden Markov Models with a small state space. I 2011 IEEE IPDPS Workshops & PhD Forum (s. 447-454). IEEE Computer Society Press. https://doi.org/10.1109/IPDPS.2011.181

Nielsen, J., Kristensen, A. K., Mailund, T. & Pedersen, C. N. S. (2011). A sub-cubic time algorithm for computing the quartet distance between two general trees. Algorithms for Molecular Biology, 6(15). https://doi.org/10.1186/1748-7188-6-15

Nielsen, J. B., Nordholt, P. S., Orlandi, C. & Burra, S. S. (2011). A New Approach to Practical Active-Secure Two-Party Computation. http://eprint.iacr.org/2011/091

Nielsen, M. & Krukow, K. (2012). Transfer of Trust in Event-based Reputation Systems. Theoretical Computer Science, 429, 236-246. https://doi.org/10.1016/j.tcs.2011.12.044,

Nielsen, J. B., Nordholt, P. S., Orlandi, C. & Burra, S. S. (2012). A New Approach to Practical Active-Secure Two-Party Computation. Lecture Notes in Computer Science, 7417, 681-700 . https://doi.org/10.1007/978-3-642-32009-5_40

Nielsen, M. B. & Østerby, O. (2013). A Two-Continua Approach to Eulerian Simulation of Water Spray. A C M Transactions on Graphics, 32(4), Artikel Article No. 67 . https://doi.org/10.1145/2461912.2461918

Nielsen, J. B., Venturi, D. & Zottarel, A. (2013). On the Connection between Leakage Tolerance and Adaptive Security. I K. Kurosawa & G. Hanaoka (red.), Public-Key Cryptography – PKC 2013: 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings (s. 497-515 ). Springer VS. https://doi.org/10.1007/978-3-642-36362-7_30

Nielsen, M. (2014). Trust in Event Structures. Theoretical Computer Science, 546(August), 3-6. https://doi.org/10.1016/j.tcs.2014.02.039

Nielsen, M. B., Söderström , A. & Bridson, R. (2013). Synthesizing Waves from Animated Height Fields. A C M Transactions on Graphics, 32(1), Artikel Article 2. https://doi.org/10.1145/2421636.2421638

Nielsen, M. M., Tataru, P., Madsen, T., Hobolth, A. & Pedersen, J. S. (2016). Motif discovery in ranked lists of sequences. (s. 1-4). http://biorxiv.org/content/biorxiv/suppl/2016/01/11/035956.DC2/035956-1.pdf

Nielsen, N., Pedersen, S. B., Sørensen, J. A., Verdezoto, N. & Øllegaard, N. (2015). EcoBears: Augmenting Everyday Appliances with Symbolic and Peripheral Feedback. I S. Nanayakkara & E. Y-L. Do (red.), AH '15 Proceedings of the 6th Augmented Human International Conference. SIGCHI ACM. (s. 155-156). Association for Computing Machinery. https://doi.org/10.1145/2735711.2735817

Nielsen, J. B., Venturi, D. & Zottarel, A. (2014). Leakage-resilient signatures with graceful degradation. I H. Krawczyk (red.), Public-Key Cryptography – PKC 2014: 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings (s. 362-379). Springer. https://doi.org/10.1007/978-3-642-54631-0_21

Nielsen, M. & Grønbæk, K. (2015). PivotViz: Interactive Visual Analysis of Multidimensional Library Transaction Data. I Proceedings of the 15th ACM/IEEE-CS Joint Conference on Digital Libraries, JCDL '15 : Large, Dynamic and Ubiquitous –The Era of the Digital Library (s. 139-142). Association for Computing Machinery. https://doi.org/10.1145/2756406.2756937

Nielsen, M. & Grønbæk, K. (2015). Towards highly affine visualizations of consumption data from buildings. I IVAPP 2015 - 6th International Conference on Information Visualization Theory and Applications; VISIGRAPP, Proceedings (s. 247-255). SCITEPRESS Digital Library.

Nielsen, J. A. S. (2015). Implicit Data Structures, Sorting, and Text Indexing. Department of Computer Science, Aarhus University.

Nielsen, M., Kjærgaard, M. B. & Grønbæk, K. (2013). Exploring Interaction Techniques and Task Types for Direct-Touch as Input Modality. Poster session præsenteret på VAST Infovis Scivis, Atlanta, Georgia, USA.

Nielsen, M. (2016). Interactive Visual Analytics of Big Data - a Web-Based Approach. Department of Computer Science, Aarhus University.

Nielsen, J. B. (2015). Tamper and leakage resilient von Neumann architectures from continuous non-malleable codes. I S. Wolf & A. Lehmann (red.), 8th International Conference on Information Theoretic Security, ICITS 2015 (Bind 9063, s. XI-XII). Springer.

Nielsen, M., Brewer, R. S. & Grønbæk, K. (2016). Supporting interactive visual analytics of energy behavior in buildings through affine visualizations. I Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (s. 238-247). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010950

Nielsen, M., Elmqvist, N. & Grønbæk, K. (2016). Scribble query: fluid touch brushing for multivariate data visualization. I Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (s. 381-390). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010951

Nielsen, J. B. & Orlandi, C. (2016). Cross and Clean: Amortized Garbled Circuits with Constant Overhead. I M. Hirt & A. Smith (red.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings (Bind 9985, s. 582-603). Springer VS. https://doi.org/10.1007/978-3-662-53641-4_22

Nielsen, J. B. & Ranellucci, S. (2016). Reactive garbling: Foundation, instantiation, application. I J. H. Cheon & T. Takagi (red.), Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Bind 10032, s. 1022-1052). Springer VS. https://doi.org/10.1007/978-3-662-53890-6_34

Nielsen, J. B. & Ranellucci, S. (2016). On the Computational Overhead of MPC with Dishonest Majority. http://eprint.iacr.org/2016/643

Nielsen, J. B., Schneider, T. & Trifiletti, R. (2017). Constant Round Maliciously Secure 2PC with Function-independent Preprocessing using LEGO. I NDSS ’17 (s. 1-15). Internet Society. https://doi.org/10.14722/ndss.2017.23075

Viser resultater 601 til 650 ud af 2606

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series