- document
-
Roy, Devjeet (author), Zhang, Ziyi (author), Ma, Maggie (author), Arnaoudova, Venera (author), Panichella, A. (author), Panichella, Sebastiano (author), Gonzalez, Danielle (author), Mirakhorli, Mehdi (author)Automated test case generation tools have been successfully proposed to reduce the amount of human and infrastructure resources required to write and run test cases. However, recent studies demonstrate that the readability of generated tests is very limited due to (i) uninformative identifiers and (ii) lack of proper documentation. Prior...conference paper 2020
- document
-
Van Benthem, C. (author), Shanahan, C. (author), Ma, C. (author), Fraser, A. (author), Herdman, C.M. (author)Prospective memory is essential for flight, where failures can result in incorrect flight control settings, leading to loss of life and equipment. Furthermore, prospective memory is highly-sensitive to pilot age, cognition, and experience. This research reports on the relation of the NASA Multi-Attribute Test Battery-II (MATB-II) to prospective...conference paper 2019
- document
-
Ommerli, C. (author), Mirzaagha, J. (author), Ma, C. (author), Van Benthem, K. (author), Herdman, C. (author)While vivid virtual reality (VR) environments may afford better performance for some flight tasks, it is possible that enhanced stimuli could overload some cognitive resources. Prospective memory (PM) is a cognitive factor sensitive to working memory and visual processing demands, and it may be a performance factor either adversely affected or...conference paper 2019
- document
-
Chia, Vincent (author), Hartel, P.H. (author), Hum, Qingze (author), Ma, Sebastian (author), Piliouras, Georgios (author), Reijsbergen, Daniël (author), van Staalduinen, Mark (author), Szalachowski, Pawel (author)Blockchain technology has become almost as famous for incidents involving security breaches as for its innovative potential. We shed light on the prevalence and nature of these incidents through a database structured using the STIX format. Apart from OPSEC-related incidents, we find that the nature of many incidents is specific to blockchain...conference paper 2019
- document
-
Abate, Alessandro (author), Blom, H.A.P. (author), Cauchi, Nathalie (author), Degiorgio, Kurt (author), Franzle, Martin (author), Hahn, Ernst Moritz (author), Haesaert, Sofie (author), Ma, H. (author), Oishi, Meeko (author)This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year’s edition of the competition. The friendly competition took place as part of the workshop Applied...conference paper 2019
- document
-
Zhou, Nan (author), Zhan, X. (author), Ma, Qiang (author), Lin, Song (author), Zhang, Jun (author), Zhang, Zi-Ke (author)The rapid development of World Wide Web accelerates information spreading in various ways. Thanks to the emergence of multiple social platforms, some events which are not much attractive in the past can become social hot spots nowadays. In this paper, we study the information diffusion process of “IP MAN3 box office fraud”, which is widely...conference paper 2018
- document
-
Markine, V.L. (author), Liu, X. (author), Mashal, Abdul Ahad (author), Ma, Y. (author)The paper presents an integrated approach for analysis and improvement of performance of railway crossings. The approach consists of a detailed finite element (FE) model of a wheel rolling over a crossing (validated against the measured crossing accelerations) and experimental tools installed on the crossings in situ. The studied crossings are...conference paper 2017
- document
-
Ma, S. (author), Ilyushkin, A.S. (author), Stegehuis, Alexander (author), Iosup, A. (author)Complex workflows that process sensor data are useful for industrial infrastructure management and diagnosis. Although running such workflows in clouds promises reduced operational costs, there are still numerous scheduling challenges to overcome. Such complex workflows are dynamic, exhibit periodic patterns, and combine diverse task groupings...conference paper 2017
- document
-
Ma, X. (author), Copuroglu, Oguzhan (author), Schlangen, E. (author), Han, N (author), Xing, F (author)External sulfate attack is one of the situations that may cause gradual but severe damage in cementitious materials, which may lead to cracking, increased permeability and strength loss. In this paper, thin-walled hollow cement paste cylinders with a wall thickness of 2.5mm were made considering the slow penetration process of sulfate ions under...conference paper 2016
- document
-
Ma, J. (author), Qian, QK (author), Ye, Q (author), Song, K. (author), Visscher, H.J. (author), Zhao, Q (author)In 2006, China published the first National Evaluation Standard for Green Building (ESGB), which soon became the most widely spread evaluation system in the country. With the fast growth of urbanization, ESGB 2006 version no longer meets the current needs and requires an update. Based on the implementation outcomes of ESGB 2006 and expert...conference paper 2016
- document
-
Ma, Y. (author), Markine, V.L. (author)Since no effective experimental approaches have been proposed to assess wheel and rail (W/R) contact performance till now, numerical computational analysis is known as an alternative to approximately simulate the W/R interaction. In this paper, one numerical procedure is proposed on the basis of explicit finite element method to analyse the...conference paper 2015
- document
-
Ma, Y. (author), Markine, V.L. (author)In the present paper, a numerical procedure for surface crack initiation analysis based on the critical plane approach is proposed. The complex stress/strain state of wheel and rail (W/R) contact is analysed by means of submodelling approach together with the transient contact nodal loads obtained from dynamic W/R rolling contact analysis....conference paper 2015
- document
-
Ma, Y. (author), Markine, V.L. (author), Mashal, A. (author)A concurrent multi-scale computational strategy for rail surface crack initiation analysis is introduced in current paper. It attempts to take advantage of the efficiency of macroscopic models and the accuracy of the mesoscopic models. The solving procedure is, through the coupling of individual approaches, beginning from the largest scale to...conference paper 2015
- document
-
Menenti, M. (author), Li, X. (author), Wang, J. (author), Vereecken, H. (author), Li, J. (author), Mancini, M. (author), Liu, Q. (author), Jia, L. (author), Li, J. (author), Kuenzer, C. (author), Huang, S. (author), Yesou, H. (author), Wen, J. (author), Kerr, Y. (author), Cheng, X. (author), Gourmelen, N. (author), Ke, C. (author), Ludwig, R. (author), Lin, H. (author), Eineder, M. (author), Ma, Y. (author), Su, Z.B. (author)Ten Dragon 3 projects deal with hydrologic and cryosphere processes, with a focus on the Himalayas and Qinghai – Tibet Plateau, but not limited to that. At the 1st Dragon 3 Progress Symposium in 2013 a significant potential for a better and deeper integration appeared very clearly and we worked out an overview of the ten projects identifying...conference paper 2015
- document
-
Ma, X (author), Kato, Y (author), van Kempen, F.C.M. (author), Hirai, Y (author), Tsuchiya, T (author), van Keulen, A. (author), Tabata, O (author)We report a multiple patterning approach utilizing digital-micromirror-device (DMD)-based grayscale lithography, providing a solution to improve fabrication accuracy for entire target three-dimensional structure. Because DMD-based lithography system consists a projection lens system, better resolution can be obtained around focal position...conference paper 2015
- document
-
Ma, X (author), Kato, Y (author), Hirai, Y (author), van Kempen, F.C.M. (author), van Keulen, A. (author), Tsuchiya, T (author), Tabata, O (author)Digital Micromirror Device (DMD)-based grayscale lithography is a promising tool for three dimensional (3D) microstructuring of thick-film photoresist since it is a maskless process, provides possibility for the free-form of 3D microstructures, and therefore rapid and cost-effective microfabrication. However, process parameter determination...conference paper 2015
- document
-
Ma, L. (author), Naud, B. (author), Roekaerts, D.J.E.M. (author)MILD Combustion, also known as flameless combustion, is attracting wide scientific interest due to its potential of high efficiency and low NOx emission. This paper focuses on the numerical modeling of one of the ethanol spray flame cases from the Delft Spray-in-Hot-Coflow (DSHC) burner, which has been used to study MILD oxidation of liquid...conference paper 2014
- document
-
Zhuo, Yuefei (author), Ma, Zhimin (author), Lemmen, Christiaan (author), Bennett, Rohan (author)The integration of land and housing law, processes, and data is a significant issue in China. Prior to the design of any integrated information system, the legal requirements of such a system must first be assessed. To date, this has not been fully studied. In this paper, we identify and review the requirements for the integration of land and...conference paper 2013
- document
- Hsiao, C.-T. (author), Wu, X. (author), Ma, J. (author), Chahine, G.L. (author) conference paper 2013
- document
- Li, K. (author), Liu, W. (author), Markine, V.L. (author), Ma, L. (author) conference paper 2012