Formal Languages, Mathematical Models and Bike-Sharing

被引：0
|
作者：
Runciman B.
机构：
来源：
ITNOW | 2024年 / 66卷 / 01期
关键词：
D O I：
10.1093/itnow/bwae015
中图分类号：
学科分类号：
摘要：
F ormal languages are the basis for programming languages, but often in computer science we also use them for understanding whether things will behave correctly. Many people will be familiar with the idea of a state machine, where you examine the possible states a process may go through and perform an analysis to ensure that you avoid undesirable states.
引用
收藏
页码：30 / 31
页数：1
相关论文
共 50 条
  • [41] Health impacts of bike-sharing systems in the US
    Clockston, Raeven Lynn M.
    Rojas-Rueda, David
    ENVIRONMENTAL RESEARCH, 2021, 202
  • [42] Safety Challenges and Solutions in Bike-Sharing Systems
    Kealy, Anne
    Wu, Jie
    2021 IEEE 18TH INTERNATIONAL CONFERENCE ON MOBILE AD HOC AND SMART SYSTEMS (MASS 2021), 2021, : 651 - 656
  • [43] Bike-sharing inventory management for market expansion
    Fu, Chenyi
    Ma, Shoufeng
    Zhu, Ning
    He, Qiao-Chu
    Yang, Hai
    TRANSPORTATION RESEARCH PART B-METHODOLOGICAL, 2022, 162 : 28 - 54
  • [44] Study on the Impact of Subway on Bike-Sharing in Suburbs
    Song, Jiaqi
    Lu, Jian
    CICTP 2019: TRANSPORTATION IN CHINA-CONNECTING THE WORLD, 2019, : 1579 - 1590
  • [45] Impact Evaluation of Bike-Sharing on Bicycling Accessibility
    Song, Mingzhu
    Wang, Kaiping
    Zhang, Yi
    Li, Meng
    Qi, He
    Zhang, Yi
    SUSTAINABILITY, 2020, 12 (15)
  • [46] Dockless bike-sharing systems: what are the implications?
    Chen, Zheyan
    van Lierop, Dea
    Ettema, Dick
    TRANSPORT REVIEWS, 2020, 40 (03) : 333 - 353
  • [47] Analysing and visualising bike-sharing demand with outliers
    Nicola Rennie
    Catherine Cleophas
    Adam M. Sykulski
    Florian Dost
    Discover Data, 1 (1):
  • [48] Entry and competition in the European bike-sharing industry
    Fitzov, Hana
    Kalis, Richard
    Paril, Vilem
    Fila, Milan
    TRANSPORT POLICY, 2024, 149 : 100 - 107
  • [49] Detection of unusable bicycles in bike-sharing systems
    Kaspi, Mor
    Raviv, Tal
    Tzur, Michal
    OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, 2016, 65 : 10 - 16
  • [50] Bike Usage Forecasting for Optimal Rebalancing Operations in Bike-Sharing Systems
    Ruffieux, Simon
    Mugellini, Elena
    Abou Khaled, Omar
    2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 854 - 858
12345