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 条
  • [1] A review on bike-sharing: The factors affecting bike-sharing demand
    Eren, Ezgi
    Uz, Volkan Emre
    SUSTAINABLE CITIES AND SOCIETY, 2020, 54
  • [2] Bike Fleet Allocation Models for Repositioning in Bike-Sharing Systems
    Chen, Qun
    Liu, Mei
    Liu, Xinyu
    IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2018, 10 (01) : 19 - 29
  • [3] Bike-sharing In China
    何明博
    初中生学习指导, 2023, (29) : 50 - 50
  • [4] Is bike-sharing unegalitarian?
    Morabia, Alfredo
    Costanza, Michael C.
    PREVENTIVE MEDICINE, 2012, 55 (01) : 1 - +
  • [5] Study on the Bike-sharing Inventory Rebalancing and Vehicle Routing for Bike-sharing System
    Shi, Lei
    Zhang, Yong
    Rui, Weina
    Yang, Xinzheng
    3RD INTERNATIONAL CONFERENCE GREEN CITIES - GREEN LOGISTICS FOR GREENER CITIES, 2019, 39 : 624 - 633
  • [6] Innovative Bike-Sharing in China: Solving Faulty Bike-Sharing Recycling Problem
    Song, Rui (rsong@bjtu.edu.cn), 1600, Hindawi Limited, 410 Park Avenue, 15th Floor, 287 pmb, New York, NY 10022, United States (2018):
  • [7] Innovative Bike-Sharing in China: Solving Faulty Bike-Sharing Recycling Problem
    Chang, Shan
    Song, Rui
    He, Shiwei
    Qiu, Guo
    JOURNAL OF ADVANCED TRANSPORTATION, 2018,
  • [8] Stochastic optimization models for a bike-sharing problem with transshipment
    Maggioni, Francesca
    Cagnolari, Matteo
    Bertazzi, Luca
    Wallace, Stein W.
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2019, 276 (01) : 272 - 283
  • [9] Can bike-sharing contribute to transport justice? Exploring a municipal bike-sharing system
    Henriksson, Malin
    Wallsten, Anna
    Ihlstrom, Jonas
    TRANSPORTATION RESEARCH PART D-TRANSPORT AND ENVIRONMENT, 2022, 103
  • [10] Bike Sharing Atlas: Visual Analysis of Bike-Sharing Networks
    Oppermann, Michael
    Moeller, Torsten
    Sedlmair, Michael
    INTERNATIONAL JOURNAL OF TRANSPORTATION, 2018, 6 (01): : 1 - 14
12345