Search

Filters

Use filters to refine the search results.

Current Filters:



New Filters:

Showing 50 out of a total of 1148 results for collection: Open Access publications. (0.028 seconds)

Now showing items 1-50 of 1148

1
2
3
4
. . .
23
Next Page

Export Results

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

Expressive Logics for Coinductive Predicates

Kupke, C.; Rot, J.

2020, Article in monograph or in proceedings (Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain, pp. 26:1-26:17)
Separation and Renaming in Nominal Sets

Moerman, J.; Rot, J.

2020, Article in monograph or in proceedings (Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 13-16, 2020, Barcelona, Spain, January 13-16, 2020, Barcelona, Spain, pp. 31:1-31:17)
State Identification for Labeled Transition Systems with Inputs and Outputs

Bos, P. van den ; Vaandrager, F.W.

2020, Article in monograph or in proceedings (Arbab, F.; Jongmans, S.-S. (ed.), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019. Proceedings, pp. 191-212)
Comparing Rule-based, Feature-based and Deep Neural Methods for De-identification of Dutch Medical Records

Trienes, J.; Trieschnigg, D.; Seifert, C.; Hiemstra, D.

2020, Article in monograph or in proceedings (Eickhoff, C. (ed.), Health Search and Data Mining Workshop: Proceedings of the ACM WSDM 2020 Health Search and Data Mining Workshop co-located with the 13th ACM International WSDM Conference (WSDM 2020) Houston, Texas, USA, February 3, 2020, pp. 3-11)
In Hardware We Trust: Gains and Pains of Hardware-assisted Security

Batina, L.; Jauernig, P.; Mentens, N.; Sadeghi, A.-R.; Stapf, E.

2019, Article in monograph or in proceedings (DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019, Las Vegas, NV, USA — June 02 - 06, 2019, pp. 1-4)
Matching implementations to specifications: the corner cases of ioco

Janssen, R. ; Tretmans, J.

2019, Article in monograph or in proceedings (Hung, C.-C. (ed.), SAC'19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus — April 08 - 12, 2019, pp. 2196-2205)
RERS 2019: Combining Synthesis with Real-World Models

Jasper, M.; Mues, M.; Murtovi, A.; Schlüter, M.; Howar, F.; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.C.W. ; Vaandrager, F.W. et al. sine al.

2019, Article in monograph or in proceedings (Beyer, D.; Huisman, M.; Kordon, F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, pp. 101-115)
Guarded Recursion in Agda via Sized Types

Veltri, N.; Weide, N.M. van der

2019, Article in monograph or in proceedings (Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, pp. 32:1-32:18)
Polymorphic Higher-Order Termination

Czajka, L.; Kop, C.L.M.

2019, Article in monograph or in proceedings (Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, pp. 12:1-12:18)
Shepherding Hordes of Markov Chains

Češka, M.; Jansen, Nils; Junges, S.; Katoen, J.-P.

2019, Article in monograph or in proceedings (Vojnar, T.; Zhang, L. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019., pp. 172-190)
Bicategories in Univalent Foundations

Ahrens, B.; Frumin, D.; Maggesi, M.; Weide, N.M. van der

2019, Article in monograph or in proceedings (Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, pp. 5:1-5:17)
A Static Higher-Order Dependency Pair Framework

Fuhs, C.; Kop, C.L.M.

2019, Article in monograph or in proceedings (Caires, L. (ed.), Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings, pp. 752-782)
Vendor-independent soft tissue lesion detection using weakly supervised and unsupervised adversarial domain adaptation

Vugt, J. van; Marchiori, E. ; Mann, R.; Gubern-Mérida, A.; Moriakov, N.; Teuwen, J.

2019, Article in monograph or in proceedings (Mori, K. (ed.), Medical Imaging 2019: Computer-Aided Diagnosis: 16-21 February 2019 San Diego, California, United States, pp. 1-4)
Causal Inference by String Diagram Surgery

Jacobs, B. ; Zanasi, Fabio; Kissinger, A.

2019, Article in monograph or in proceedings (Bojanczyk, M. (ed.), Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, pp. 313-329)
Who's Afraid of Adversarial Queries?: The Impact of Image Modifications on Content-based Image Retrieval

Liu, Z.; Zhao, Z.; Larson, M.

2019, Article in monograph or in proceedings (Saddik, A. El (ed.), ICMR '19: Proceedings of the 2019 on International Conference on Multimedia Retrieval, Ottawa ON, Canada — June 10 - 13, 2019, pp. 306-314)
Speaking but not gesturing predicts motion event memory within and across languages

Bekke, M.E. ter ; Özyürek, A. ; Ünal, E.

2019, Article in monograph or in proceedings (Goel, A.K.; Seifert, C.M.; Freska, C. (ed.), Proceedings of the 41st Annual Conference of the Cognitive Science Society (CogSci 2019), pp. 2940-2946)
Agency drives category structure in instrumental events

Rissman, L.R. ; Majid, A.

2019, Article in monograph or in proceedings (Goel, A.K.; Seifert, C.M.; Freksa, C. (ed.), Proceedings of the 41st Annual Conference of the Cognitive Science Society (CogSci 2019), pp. 2661-2667)
Multimodal training facilitates L2 phoneme acquisition: An acoustic analysis of Dutch learners’ segment production in Spanish.

Maastricht, L.J. van ; Hoetjes, M.W. ; Heijden, L. van der

2019, Article in monograph or in proceedings (Calhoun, S.; Escudero, P.; Tabain, M. (ed.), Proceedings of the 19th International Congress of Phonetic Sciences, Melbourne, Australia 2019, pp. 3528-3532)
The energy scale of cosmic rays detected with LOFAR

Mulrey, K.; Bonardi, A.; Buitink, S. ; Corstanje, A.; Falcke, H. ; Hare, B.M.; Horandel, J.; Huege, T.; Krampah, G.; Mitra, P.; Nelles, A.; Pandya, H.; Rachen, J.P.; Rossetto, L.; Scholten, O.; Veen, S. ter; Trinh, T.N.G.; Winchen, T. et al. sine al.

2019, Article in monograph or in proceedings (ICRC 2019: 36th International Cosmic Ray Conference, July 24th - August 1st, 2019 Madison, WI, U.S.A., pp. 1-8)
Towards an improved mass composition analysis with LOFAR

Corstanje, A.; Buitink, S. ; Bonardi, A.; Falcke, H.D.E. ; Hare, B.M.; Horandel, J.; Huege, T.; Krampah, G.K.; Mitra, P.; Nelles, A.; Pandya, H.; Rachen, J.P.; Rossetto, L.; Scholten, O.; Veen, S. ter; Trinh, T.N.G.; Winchen, T. et al. sine al.

2019, Article in monograph or in proceedings (ICRC 2019: 36th International Cosmic Ray Conference, July 24th - August 1st, 2019 Madison, WI, U.S.A., pp. 1-8)
Current constraints from cosmogenic neutrinos on the fraction of protons in UHECRs

Vliet, A. van; Batista, R. Alves; Horandel, J.

2019, Article in monograph or in proceedings (ICRC 2019: 36th International Cosmic Ray Conference, July 24th - August 1st, 2019 Madison, WI, U.S.A., pp. 1-8)
REXUS-25 Rocket Flight of a CubeSat Cosmic-Ray Detector

Pont, B.B.T.; Beurskens, J.; Dalderup, J.; Dolron, P.; Gubbels, J. ; Horandel, J.; Jordans, R.; Pourshaghaghi, H.R.; Szálas-Motesiczky, D.; Vliet, T. van; Wijtvliet, M.; Witteman, J. et al. sine al.

2019, Article in monograph or in proceedings (ICRC 2019: 36th International Cosmic Ray Conference, July 24th - August 1st, 2019 Madison, WI, U.S.A., pp. 1-8)
Reconstructing air showers with LOFAR using event specific GDAS atmospheres

Mitra, P.; Bonardi, A.; Corstanje, A.; Buitink, S. ; Krampah, G.K.; Falcke, H.D.E. ; Hare, B.M.; Horandel, J.; Huege, T.; Mulrey, K.; Nelles, A.; Pandya, H.; Rachen, J.P.; Rossetto, L.; Scholten, O.; Veen, S. ter; Trinh, T.N.G.; Winchen, T. et al. sine al.

2019, Article in monograph or in proceedings (ICRC 2019: 36th International Cosmic Ray Conference, July 24th - August 1st, 2019 Madison, WI, U.S.A., pp. 1-8)
Extension of the LOFAR Radboud Air Shower Array

Mulrey, K.; Bonardi, A.; Buitink, S. ; Corstanje, A.; Falcke, H.D.E. ; Hare, B.M.; Horandel, J.; Huege, T.; Krampah, G.; Mitra, P.; Nelles, A.; Pandya, H.; Rachen, J.P.; Rossetto, L.; Scholten, O.; Veen, S. ter; Trinh, T.N.G.; Veberic, D.; Winchen, T. et al. sine al.

2019, Article in monograph or in proceedings (ICRC 2019: 36th International Cosmic Ray Conference, July 24th - August 1st, 2019 Madison, WI, U.S.A., pp. 1-8)
Monte Carlo Theory and Techniques

Kleiss, R.H.P.

2019, Article in monograph or in proceedings (4th Joint Dutch-Brazil School on Theoretical Physics February 11-15, 2019 São Paulo, Brazil, pp. 1-120)
Effects of blindfolding on verbal and gestural expression of path in auditory motion events

Mamus, A.E. ; Rissman, L.R. ; Majid, A. ; Özyürek, A.

2019, Article in monograph or in proceedings (Goel, A.K.; Seifert, C.M.; Freksa, C. (ed.), Proceedings of the 41st Annual Conference of the Cognitive Science Society (CogSci 2019), pp. 2275-2281)
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

Carr, S.; Jansen, Nils; Wimmer, R.; Serban, A.C.; Becker, B.; Topcu, U.

2019, Article in monograph or in proceedings (Kraus, S. (ed.), IJCAI 2019: International Joint Conferences on Artificial Intelligence, Macao, P.R. China from August 10-16, 2019, pp. 5532-5539)
How to Build Pseudorandom Functions From Public Random Permutations

Chen, Y.L.; Lambooij, Eran; Mennink, B.J.M.

2019, Article in monograph or in proceedings (Boldyreva, A. (ed.), Advances in Cryptology – CRYPTO 2019: 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I, pp. 266-293)
IFAL: Issue First Activate Later Certificates for V2X

Verheul, E. ; Hicks, C.; Garcia, F.D.

2019, Article in monograph or in proceedings (Papadimitratos, P. (ed.), EUROS&P 2019: 4th IEEE European Symposium on Security and Privacy, June 17-19, 2019 in Stockholm, Sweden. Proceedings, pp. 279-293)
Self-encrypting deception: weaknesses in the encryption of solid state drives (SSDs)

Meijer, C.F.J.; Gastel, B.E. van

2019, Article in monograph or in proceedings (2019 IEEE Symposium on Security and Privacy (SP) May 20 2019 to May 22 2019 San Fransisco, CA, US, pp. 72-87)
Value Co-creation in Parkinson Networks

Proper, H.A. ; Alkema, M.P.T.; Barlatier, P.-J.

2019, Article in monograph or in proceedings (Johannesson, P. (ed.), VMBO 2019: Value Modeling and Business Ontologies. Short Paper Proceedings of the 13th International Workshop on Value Modeling and Business Ontologies Stockholm, Sweden, March 4-5, 2019, pp. 1-8)
CSI NN: Reverse Engineering of Neural Network Architectures Through Electromagnetic Side Channel

Batina, L.; Bhasin, S.; Jap, D.; Picek, S.

2019, Article in monograph or in proceedings (CSI NN: Reverse Engineering of Neural Network Architectures Through Electromagnetic Side Channel, pp. 1-19)
Unexpected and Unpredictable: Factors That Make Personalized Advertisements Creepy

Herder, E.; Zhang, B.

2019, Article in monograph or in proceedings (Herder, E. (ed.), ABIS '19: Proceedings of the 23rd International Workshop on Personalization and Recommendation on the Web and Beyond, Hof, Germany — September 17 - 17, 2019, pp. 1-6)
Kleene Algebra with Observations

Kappé, T.; Brunet, P.; Rot, J.; Silva, Alexandra; Wagemaker, J.; Zanasi, Fabio

2019, Article in monograph or in proceedings (Fokkink, W. (ed.), CONCUR 2019: 30th International Conference on Concurrency Theory, pp. 41:1-41:16)
Data Masking for Recommender Systems: Prediction Performance and Rating Hiding

Slokom, M.; Larson, M. ; Hanjalic, A.

2019, Article in monograph or in proceedings (Tkalcic, M. (ed.), ACM RecSys LBR 2019 ACM RecSys 2019 Late-breaking Results: Proceedings of ACM RecSys 2019 Late-breaking Results co-located with the 13th ACM Conference on Recommender Systems (RecSys 2019) Copenhagen, Denmark, September 16-20, 2019, pp. 21-25)
Automata Learning and Galois Connections (Invited Talk)

Vaandrager, F.

2019, Article in monograph or in proceedings (Baier, C. (ed.), ICALP 2019: 46th International Colloquium on Automata, Languages, and Programming, pp. 4:1)
Learning to produce difficult L2 vowels. The effects of awareness-raising, exposure and feedback

Troncoso Ruiz, M.A. ; Ernestus, M.T.C. ; Broersma, M.

2019, Article in monograph or in proceedings (Calhoun, S.; Escudero, P.; Tabain, M. (ed.), Proceedings of the 19th International Congress of Phonetic Sciences, pp. 1094-1098)
Understanding reduced words. The relevance of reduction degree and frequency of occurrence

Brand, S.W.M.; Ernestus, M.T.C.

2019, Article in monograph or in proceedings (Calhoun, S.; Escudero, P. (ed.), Proceedings of the 19th International Congress of Phonetic Sciences, pp. 97-81)
Evaluating dictation task measures for the study of speech perception

Felker, E.R. ; Ernestus, M.T.C. ; Broersma, M.

2019, Article in monograph or in proceedings (Calhoun, S.; Escudero, P.; Tabain, M. (ed.), Proceedings of the 19th International Congress of Phonetic Sciences, pp. 383-387)
Alignment of pitch and articulation rate

Eijk, L.D. ; Ernestus, M.T.C. ; Schriefers, H.J.

2019, Article in monograph or in proceedings (Calhoun, S.; Escudero, P.; Tabain, M. (ed.), Proceedings of the 19th International Congress of Phonetic Sciences, pp. 2690-2694)
ERP signal analysis with temporal resolution using a time window bank

Nijveld, A. ; Bosch, L.F.M. ten ; Ernestus, M.T.C.

2019, Article in monograph or in proceedings (Proceedings of Interspeech 2019. Crossroads of Speech and Language, pp. 1208-1212)
FFORT: A benchmark suite for fault tree analysis

Ruijters, E.; Budde, C.E.; Nakhaee, M.C.; Stoelinga, M.I.A.; Bucur, D.; Hiemstra, D.; Schivo, S.

2019, Article in monograph or in proceedings (Beer, M. (ed.), ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference, 22 – 26 September 2019 Hannover, Germany, pp. 878-885)
Strategy Synthesis in POMDPs via Game-Based Abstractions

Winterer, L.; Junges, S.; Wimmer, R.; Jansen, Nils; Topcu, U.; Katoen, J.-P.; Becker, B.

2019, Article in monograph or in proceedings (RSS 2019: Robust autonomy: tools for safety in real-world uncertain environments, Freiburg, Germany, Jan 23rd 2019. Workshop on Safe Autonomy, pp. 1-3)
Up Close, but not too Personal: Hypotargeting for Recommender Systems

Larson, M. ; Slokom, M.

2019, Article in monograph or in proceedings (Shalom, O.S. (ed.), ImpactRS 2019: Impact of Recommender Systems 2019, Proceedings of the 1st Workshop on the Impact of Recommender Systems co-located with 13th ACM Conference on Recommender Systems (ACM RecSys 2019) Copenhagen, Denmark, September 19, 2019, pp. 1-2)
Legal and Ethical Challenges in Multimedia Research

Singh, V.K.; André, E.; Boll, S.; Hildebrandt, M. ; Shamma, D.A.; Chua, T.-S.

2019, Article in monograph or in proceedings (Amsaleg, L. (ed.), MM '19: 27th Proceedings of the ACM International Conference on Multimedia, Nice, France — October 21 - 25, 2019, pp. 2514-2515)
EU Data Protection Law: An Ally for Scientific Reproducibility?

Hildebrandt, M.

2019, Article in monograph or in proceedings (Amsaleg, L. (ed.), MM '19: Proceedings of the 27th ACM International Conference on Multimedia, Nice, France — October 21 - 25, 2019, pp. 1155-1156)
Do gestures during training facilitate L2 lexical stress acquisition by Dutch learners of Spanish?

Maastricht, L.J. van ; Hoetjes, M.W. ; Drie, E. van

2019, Article in monograph or in proceedings (Proceedings of the 15th International Conference on Auditory-Visual Speech Processing (AVSP2019))
Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2019)

Perez, J.A.; Rot, J.

2019, Article in monograph or in proceedings (Rot, J. (ed.), Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2019), pp. 1-113)
Gestural training benefits L2 phoneme acquisition. Findings from a production and perception perspective

Hoetjes, M.W. ; Maastricht, L.J. van ; Heijden, L. van der

2019, Article in monograph or in proceedings (Grimminger, A. (ed.), Proceedings of the 6th Gesture and Speech in Interaction conference (GeSpIn), pp. 50-55)
Individual Articulatory Control in Speech Enrichment

Shen, C. ; Cooke, M.; Janse, E.

2019, Article in monograph or in proceedings (Ochmann, M.; Vorländer, M.; Fels, J. (ed.), Proceedings of the ICA 2019 and EAA Euroregio, pp. 5761-5765)

Now showing items 1-50 of 1148

1
2
3
4
. . .
23
Next Page

Radboud Repository

Search

Showing 50 out of a total of 1148 results for collection: Open Access publications. (0.028 seconds)

Explore

Author

Document type

Date Issued

Journal

Departments

Browse

All of Repository

This Collection