Identifying model violations under the multispecies coalescent model using P2C2M.SNAPP by Drew J. Duckett, Tara A. Pelletier, Bryan C. Carstens

“…P2C2M.SNAPP represents a user-friendly way for researchers to perform posterior predictive model checks when using the popular SNAPP phylogenetic estimation program. …”
Get full text

Spoken ObjectNet: Creating a Bias-Controlled Spoken Caption Dataset by Palmer, Ian A.

“…We detail our data collection pipeline, which features several methods to improve caption quality, including automated language model checks. We also present an analysis of the vocabulary of our collected captions. …”
Get full text

An Application of the Node–Place Model to Explore the Land Use–Transport Development Dynamics of the I-287 Corridor by Amirhossein Baghestani, Shirin Najafabadi, Azarakhsh Salem, Ziqi Jiang, Mohammad Tayarani, Oliver Gao

“…Most commonly used for Transit Oriented Development (TOD), the node–place model checks the balance between transportation systems and land use. …”
Get full text

A behavioral analysis of the volatility of interbank interest rates in developed and emerging countries by Nara Rossetti, Marcelo Seido Nagano, Jorge Luis Faria Meirelles

“…Design/methodology/approach - To the volatility of interest rates returns, the study used models of auto-regressive conditional heteroscedasticity, autoregressive conditional heteroscedasticity (ARCH), generalized autoregressive conditional heteroscedasticity (GARCH), exponential generalized autoregressive conditional heteroscedasticity (EGARCH), threshold generalized autoregressive conditional heteroscedasticity (TGARCH) and periodic generalized autoregressive conditional heteroscedasticity (PGARCH), and a combination of these with autoregressive integrated moving average (ARIMA) models, checking which of these processes were more efficient in capturing volatility of interest rates of each of the sample countries. …”
Get full text

Religiosity and climate change: An eco-religious approach by Agusalim Lestari, Karim Muhamad

“…Robustness and sensitivity model checks were also performed, resulting in reliable regression analysis that can be generalized to various situations. …”
Get full text

Security Improvement of Unicast Management Frames In Ieee 802.11 Mac Layer by Malekzadeh, Mina

“…The proposed model uses a secret key and a new random sequence number (RSN) to secure communication between devices in WLAN and to prevent intruder from exposing the WLAN. The proposed model checks the authentication of a sender and the integrity of the management frames. …”
Get full text

JUSTIFICATION OF PARAMETERS OF ROBOTIC MEANS WITH SPRAYER AND MODULE MAGNETIC-PULSE PROCESSING OF PLANTS IN HORTICULTURE by A. Yu. Izmaylov, D. O. Khort, I. G. Smirnov, R. A. Filippov, A. I. Kutyrev

“…Calculations dynamic behavior of robot body at various movement modes are made for model check. The schedules of robot movement parameters received subsequent to results of acceleration dynamics modeling are presented. …”
Get full text

Variant configuration and management : challenges and opportunities by Shakeri, Mojdeh

Get full text

Towards verification of computation orchestration by Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian

“…The practical implication is that existing tool supports for Timed Automata, e.g., Uppaal, can be used to simulate and model check Orc programs. An experimental tool has been implemented to automate this approach. …”
Get full text
Get full text

User-Friendly Detention Pond Design Development Using Visual Basic 6.0 by Leong, Weng Chin

“…Even the manual calculation had been conducted to have this model checked and complemented. To verify its computation accuracy compared to spreadsheet (EXCEL), this model had been used to design the proposed wet community and regional detention pond located in a development area in Mukim 6, Daerah Seberang Perai Utara, P. …”
Get full text

A Study of User Activity Patterns and the Effect of Venue Types on City Dynamics Using Location-Based Social Network Data by Naimat Ullah Khan, Wanggen Wan, Shui Yu, A. A. M. Muzahid, Sajid Khan, Li Hou

“…The main purpose of this research is to study the effect of various types of venues on the density distribution of residents and model check-in data from a Location-Based Social Network for the city of Shanghai, China by using combination of multiple temporal, spatial and visualization techniques by classifying users’ check-ins into different venue categories. …”
Get full text

Adolescents’ daily social media use and mood during the COVID-19 lockdown period by Melissa J. Dreier, Simone Imani Boyd, Saskia L. Jorgensen, Ritika Merai, Jennifer Fedor, Krina C. Durica, Carissa A. Low, Jessica L. Hamilton

“…Prospectively (next-day models), checking SM more frequently than usual was uniquely associated with within-person increases in adolescents’ positive mood when using SM the next day (p < .05), but not negative mood when using SM the next day. …”
Get full text

Organizational and Methodological Approach to the Description and Standardization of Treatment and Diagnostic Processes in a Multidisciplinary Hospital by A. Y. Perminov, N. S. Fomenko, S. S. Petrikov, F. M. Navzadi

“…The article presents an organizational and methodological approach to the description and standardization of treatment and diagnostic processes, developed and tested by the authors, based on modified operogrammes and tables of summary resource characteristics.The organizational part of the approach is based on the principle of maximum involvement of medical personnel of various categories in the description and standardization of processes through the formation of small groups, as well as on a system of multi-level examination of the developed models, checking them on statistical data to confirm the adequacy of expert assessments.In N.V. …”
Get full text

A probabilistic visual-flowcharting-based model for consequence assessment of fire and explosion events involving leaks of flammable gases by Khalil, Y

“…Other inputs to the model include probability distribution of time to failure of mechanical ventilation in the enclosed space, likelihood of presence of an ignition source with energy ≥ minimum ignition energy (MIE) of formed flammable gas cloud, probability of leak detection prior to ignition, and conditional probabilities of fires and explosions, given ignition. The model checks whether randomly-selected times of leak initiation and ventilation failure are within user-specified mission time. …”

Structural Dynamics : Fundamentals and Advanced Applications. by Kabe, Alvar M., author 651618, Sako, Brian H., author 651619, ScienceDirect (Online service) 7722

Get full text

Development and validation of an interpretable 3 day intensive care unit readmission prediction model using explainable boosting machines by Stefan Hegselmann, Christian Ertmer, Thomas Volkert, Antje Gottschalk, Martin Dugas, Julian Varghese

“…A team of physicians inspected the model, checked the plausibility of each risk function, and removed problematic ones. …”
Get full text

Assessing the direct and spillover protective effectiveness of Wolbachia-mediated introgression to combat dengueResearch in context by Jo Yi Chow, Somya Bansal, Borame S.L. Dickens, Pei Ma, Ary Hoffmann, Yoon Ling Cheong, Nazni Wasi Ahmad, Jue Tao Lim

“…Tracking PEs by intervention time revealed a dose–response relationship, where PEs increased concomitantly with Wolbachia frequency. Model checks confirmed the robustness of these results, and ascertained that these PEs were not an artefact of poor control selection, pre-trends in dengue incidence or poor predictive ability of the fitted SCs. …”
Get full text

Latent representation models for mining geo-spatial data by Liu, Yiding

“…From the evaluation, we obtain several important findings, such as the superiority of modeling check-in as implicit feedback with ranking-based/weighted Matrix Factorization, and how to model the geographical influence for different types of users. …”
Get full text