Using models to model-check recursive schemes

Get full text

A Robust String-Stable Spacing Policy for ACC-Based Vehicle Platoons Using Adaptive Super-Twisting Sliding Mode Control

Get full text

A Low-Power, Analog-Integrated, Current-Mode, and Fully Tunable Artificial Neural Network Classifier Architecture for Biomedical Engineering Applications

Get full text

Analysis and Implementation of a High Power Interleaved Flyback Photovoltaic Microinverter With Valley Skip Conduction Mode for Low Cost and High Efficiency

Get full text

Aurally impressed, yet not more stressed: On the relationship between audiovisual realism, social anxiety, and presence in a virtual social stress scenario

Get full text

Have non-EU countries become more involved in the UK’s value-added trade? An input–output analysis following the EU referendum

Get full text

Acta Plantarum, more than a forum: a new national floristic distribution database completes the numerous online IPFI facilities

Get full text

One more new ring nematode of the Xenocriconemella macrodora species-complex (Nematoda, Criconematidae): Xenocriconemella persica sp. nov. from Iran

Get full text

Nitrate leaching from silage maize is more related to biomass N concentration at harvest time than inclusion of undersown cover crops

Get full text

More hidden diversity in a cryptic species complex: a new subspecies of Leptidea sinapis (Lepidoptera, Pieridae) from Northern Iran

Get full text

Changing the Plan: How “Feminist Cities” and Feminist Political Ecology Can Inform More Equitable and Climate- Just City Planning Practice

Get full text

Soil properties and road proximity likely influence plant and bacterial traits and diversity more than habitat size in small urban greenspaces

Get full text

“It takes more than brown paint to portray a realistic African American character”: Lessons Learned about Teaching Multicultural Literature

Get full text

More dwarfs: a new microendemic species of Vietnamophryne (Anura, Microhylidae) from limestone karst of Quang Tri Province, Central Vietnam

Get full text

Modelling email traffic workloads with RNN and LSTM models

Get full text

Estimation of Parasitic Resistance of Electrolytic Capacitor and Filter Inductor and Prediction of Input Filter Induced Oscillations in a Switch-Mode Magnet Power Supply

Get full text

Preventing Magnetic Saturation and Reducing Torque Ripples in Induction Motors Using an Improved Field-Oriented Control System Based on Sliding Mode Technology

Get full text

Formation mechanisms and modes of karst collapse columns based on multi-information exploration technology: a case study of Fengpei coalfield, North China

Get full text

Integration of Failure Mode and Effects Analysis and Full-Scale Treatment Plant Monitoring for the Management of Dairy Wastewater: Evidence from a Case Study

Get full text

The Model Mentor

Get full text