Last 7 days
Bookmark and Share    
See detailThe European Public Prosecutor’s Office
Ligeti, Katalin UL

in Mitsilegas, Valsamis; Bergström, Maria; Konstadinides, Theodore (Eds.) Research Handbook on EU Criminal Law (in press)

See detailEuropol
Ligeti, Katalin UL; Giuffrida, Fabio

in Ambos, Kai; Rackow, Peter (Eds.) The Cambridge Companion to European Criminal Law (in press)

See detailComposite Enforcement and Comprehensive Judicial Protection
Ligeti, Katalin UL; Robinson, Gavin

in Luchtman, Michiel; Ligeti, Katalin; Vervaele, John (Eds.) EU enforcement authorities - Punitive law enforcement in a composite legal order (in press)

See detailIntroduction
Luchtman, Michiel; Ligeti, Katalin UL; Vervaele, John

in Luchtman, Michiel; Ligeti, Katalin; Vervaele, John (Eds.) EU enforcement authorities - Punitive law enforcement in a composite legal order (in press)

See detailEU enforcement authorities - Punitive law enforcement in a composite legal order
Luchtman, Michiel; Ligeti, Katalin UL; Vervaele, John

Book published by Bloomsbury Publishing (in press)

Full Text
Peer Reviewed
See detailMaximal and Typical topology of real polynomial singularities
lerario, Antonio; Stecconi, Michele UL

in Annales de l'Institut Fourier (in press)

Full Text
See detailRezension Christoph Ann Patentrecht (8. Aufl. 2022)
Stierle, Martin UL

in Gewerblicher Rechtsschutz und Urheberrecht. Internationaler Teil (in press)

See detailLe Parquet européen et le blanchiment de capitaux
Ligeti, Katalin UL; Constantinides, Panayiotis

in Marty, Marie; Kirmann, Florent (Eds.) Le droit criminel à l’épreuve de l’infraction de blanchiment (in press)

Full Text
Peer Reviewed
See detailTrace Diagnostics for Signal-based Temporal Properties
Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico UL et al

in IEEE Transactions on Software Engineering (in press)

Trace checking is a verification technique widely used in Cyber-physical system (CPS) development, to verify whether execution traces satisfy or violate properties expressing system requirements. Often ... [more ▼]

Trace checking is a verification technique widely used in Cyber-physical system (CPS) development, to verify whether execution traces satisfy or violate properties expressing system requirements. Often these properties characterize complex signal behaviors and are defined using domain-specific languages, such as SB-TemPsy-DSL, a pattern-based specification language for signal-based temporal properties. Most of the trace-checking tools only yield a Boolean verdict. However, when a property is violated by a trace, engineers usually inspect the trace to understand the cause of the violation; such manual diagnostic is time-consuming and error-prone. Existing approaches that complement trace-checking tools with diagnostic capabilities either produce low-level explanations that are hardly comprehensible by engineers or do not support complex signal-based temporal properties. In this paper, we propose TD-SB-TemPsy, a trace-diagnostic approach for properties expressed using SB-TemPsy-DSL. Given a property and a trace that violates the property, TD-SB-TemPsy determines the root cause of the property violation. TD-SB-TemPsy relies on the concepts of violation cause, which characterizes one of the behaviors of the system that may lead to a property violation, and diagnoses, which are associated with violation causes and provide additional information to help engineers understand the violation cause. As part of TD-SB-TemPsy, we propose a language-agnostic methodology to define violation causes and diagnoses. In our context, its application resulted in a catalog of 34 violation causes, each associated with one diagnosis, tailored to properties expressed in SB-TemPsy-DSL. We assessed the applicability of TD-SB-TemPsy on two datasets, including one based on a complex industrial case study. The results show that TD-SB-TemPsy could finish within a timeout of 1 min for ≈ 83.66% of the trace-property combinations in the industrial dataset, yielding a diagnosis in ≈ 99.84% of these cases; moreover, it also yielded a diagnosis for all the trace-property combinations in the other dataset. These results suggest that our tool is applicable and efficient in most cases. [less ▲]

Full Text
Peer Reviewed
See detailGame of Brains: Examining Researcher Brain Gain and Brain Drain and Research University Policy
Fu, Yuan Chih; Moradel Vasquez, Juan Jose UL; Macasaet, Bea Treena UL et al

in Higher Education Policy (in press), 36

We leverage a rich bibliometric dataset on Taiwanese academia to explore scientific migration patterns. We investigate the movement and productivity of 21,051 highly active researchers who served in ... [more ▼]

We leverage a rich bibliometric dataset on Taiwanese academia to explore scientific migration patterns. We investigate the movement and productivity of 21,051 highly active researchers who served in Taiwanese higher education institutions based on 30 years’ worth of publication and affiliation records from 1991 to 2020. The analysis shows evidence of brain drain in Taiwan since the 2010s, with the U.S. being both the biggest source of inbound researchers to Taiwan and top destination for researchers emigrating from Taiwan. China comes a close second to the U.S. as the top destination for outbound scholars. We also study how Taiwan’s universities recruited talent after the country adopted the 2005 excellence initiative and confirm the converging number of scholars recruited by World Class Universities (WCUs) and non-WCUs as WCUs, surprisingly, exhibit a dramatic decrease in new recruits. Our evidence uncovers that inbound scholars, after their move, are more productive than non-mobile colleagues; however, this effect declines over time. We discuss implications for the study of excellence initiatives and mechanisms of talent circulation that greatly impact research production and research university development. [less ▲]

Full Text
Peer Reviewed
See detailGenerating Picard modular forms by invariant theory
Cléry, Fabien; van der Geer, Gerard UL

in Pure and Applied Mathematics Quarterly (in press)

Full Text
Peer Reviewed
See detailCurves over finite fields and moduli spaces
van der Geer, Gerard UL

in Curves over finite fields: past, present and future. (in press)

Full Text
Peer Reviewed
See detailA review: Suppression of the solidification cracks in the laser welding process by controlling the grain structure and chemical compositions
Norouzian, Mohammadhossein UL

in Advanced joining processes (2023), 7

Laser beam welding of miscellaneous material combinations is an effective joining technology useful for diverse industrial applications because it can provide high speed, flexibility, and precision ... [more ▼]

Laser beam welding of miscellaneous material combinations is an effective joining technology useful for diverse industrial applications because it can provide high speed, flexibility, and precision. However, welding defects like solidification cracking are some of the challenges in the joining process. The past decade has seen an extended effort to deal with this issue in many studies. However, there remains to be more comprehensive research regarding preventive procedures for solidification cracking by changing the grain structure. Following a thorough understanding of the solidification crack mechanism theories, we reviewed recent research on the critical role of metallurgical factors in the solidification cracks during laser welding. It considers the influence of the grain structure, intermetallic compounds, and laser welding parameters to propose preventive procedures to suppress the solidification cracks. Recent achievements show grain refiners, laser beam oscillation, ultrasonic vibration, and implementation of double laser sources are the main strategies that suppress or minimize solidification cracks. Furthermore, in laser beam welding of dissimilar materials, like steel-hard metal and copper-aluminum, brittle intermetallic compounds are recognized as one of the main reasons for the solidification crack susceptible increment. Recent approaches to overcome the formation or reduce the number of intermetallic compounds through various laser parameters and setups are discussed. [less ▲]

Full Text
Peer Reviewed
See detailTowards Log Slicing
Dawes, Joshua UL; Shin, Donghwan; Bianculli, Domenico UL

in Dawes, Joshua; Shin, Donghwan; Bianculli, Domenico (Eds.) Towards Log Slicing (2023, April)

This short paper takes initial steps towards developing a novel approach, called log slicing, that aims to answer a practical question in the field of log analysis: Can we automatically identify log ... [more ▼]

This short paper takes initial steps towards developing a novel approach, called log slicing, that aims to answer a practical question in the field of log analysis: Can we automatically identify log messages related to a specific message (e.g., an error message)? The basic idea behind log slicing is that we can consider how different log messages are "computationally related" to each other by looking at the corresponding logging statements in the source code. These logging statements are identified by 1) computing a backwards program slice, using as criterion the logging statement that generated a problematic log message; and 2) extending that slice to include relevant logging statements. The paper presents a problem definition of log slicing, describes an initial approach for log slicing, and discusses a key open issue that can lead towards new research directions. [less ▲]

Full Text
Peer Reviewed
See detailPerformance Analysis and Benchmarking of a Temperature Downscaling Deep Learning Model
Panner Selvam, Karthick UL; Brorsson, Mats Hakan UL

in 31st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Naples, Italy 1-3 March 2023 (2023, March)

We are presenting here a detailed analysis and performance characterization of a statistical temperature downscaling application used in the MAELSTROM EuroHPC project. This application uses a deep ... [more ▼]

We are presenting here a detailed analysis and performance characterization of a statistical temperature downscaling application used in the MAELSTROM EuroHPC project. This application uses a deep learning methodology to convert low-resolution atmospheric temperature states into high-resolution. We have performed in-depth profiling and roofline analysis at different levels (Operators, Training, Distributed Training, Inference) of the downscaling model on different hardware architectures (Nvidia V100 & A100 GPUs). Finally, we compare the training and inference cost of the downscaling model with various cloud providers. Our results identify the model bottlenecks which can be used to enhance the model architecture and determine hardware configuration for efficiently utilizing the HPC. Furthermore, we provide a comprehensive methodology for in-depth profiling and benchmarking of the deep learning models. [less ▲]

See detailThe Digital Archive and the Politics of Digitisation
Zaagsma, Gerben UL

Presentation (2023, February 17)

This paper will explore a key question for historians today: what are the politics of cultural heritage digitisation and its implications for historical research? What are the benefits and opportunities ... [more ▼]

This paper will explore a key question for historians today: what are the politics of cultural heritage digitisation and its implications for historical research? What are the benefits and opportunities afforded by digitisation and what challenges arise? How do digital resources shape the historical themes, topics, and debates that can be researched, and how might they influence research agendas more broadly? In what ways can they enable us to ask new research questions or open avenues of inquiry that challenge existing master narratives? Can digital resources facilitate research into transnational histories when most digitization projects are still nationally framed? In short, what biases might digital archives introduce in our work and how does that differ from issues of bias and selection in the ‘paper’ archive? To address questions such as these, I will discuss several key parameters of the politics of digitisation set within a broader historical and global context. [less ▲]