Works matching Set Notation


Results: 209
    1
    2
    3
    4
    5
    6
    7
    8

    A comprehensive review of lot streaming.

    Published in:
    International Journal of Production Research, 2005, v. 43, n. 8, p. 1515, doi. 10.1080/00207540412331325396
    By:
    • Chang *, Jen Huei;
    • Chiu, Huan Neng
    Publication type:
    Article
    9
    10
    11

    Sums of Computable Ordinals.

    Published in:
    Journal of Mathematical Sciences, 2015, v. 211, n. 6, p. 719, doi. 10.1007/s10958-015-2627-7
    By:
    • Alaev, P.
    Publication type:
    Article
    12
    13

    New Bioactive Coordination Polymers With Sulfosalicylic Acid: Synthesis, Characterization, Cytotoxicity, Antiradical Activity, and Adsorption Properties.

    Published in:
    Applied Organometallic Chemistry, 2025, v. 39, n. 6, p. 1, doi. 10.1002/aoc.70177
    By:
    • Normamatov, Adkhamjon S.;
    • Aisa, Hoji Akber;
    • Jiangyu, Zhao;
    • Ruzmetov, Abror. Kh.;
    • Abdullaev, Ahrorjon Kh.;
    • Yakubov, Yuldosh Yu.;
    • Adizov, Bobirjon Z.;
    • Akhtar, Muhammad Nadeem;
    • Ibragimov, Bakhtiyar T.;
    • Ibragimov, Avazbek B.;
    • Kuziev, Sherali N.;
    • Gao, Junkuo;
    • Ibragimov, Aziz B.
    Publication type:
    Article
    14
    15

    Rodin: an open toolset for modelling and reasoning in Event-B.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 447, doi. 10.1007/s10009-010-0145-y
    By:
    • Abrial, Jean-Raymond;
    • Butler, Michael;
    • Hallerstede, Stefan;
    • Thai Son Hoang;
    • Mehta, Farhad;
    • Voisin, Laurent
    Publication type:
    Article
    16
    17
    18
    19

    EXTREME POINTS OF MOMENT SETS.

    Published in:
    Mathematics of Operations Research, 1988, v. 13, n. 4, p. 581, doi. 10.1287/moor.13.4.581
    By:
    • Winkler, Gerhard
    Publication type:
    Article
    20
    21
    22
    23
    24
    25
    26
    27
    28

    Using a Secure, Continually Updating, Web Source Processing Pipeline to Support the Real-Time Data Synthesis and Analysis of Scientific Literature: Development and Validation Study.

    Published in:
    2021
    By:
    • Vaghela, Uddhav;
    • Rabinowicz, Simon;
    • Bratsos, Paris;
    • Martin, Guy;
    • Fritzilas, Epameinondas;
    • Markar, Sheraz;
    • Purkayastha, Sanjay;
    • Stringer, Karl;
    • Singh, Harshdeep;
    • Llewellyn, Charlie;
    • Dutta, Debabrata;
    • Clarke, Jonathan M;
    • Howard, Matthew;
    • Curators, PanSurg REDASA;
    • Serban, Ovidiu;
    • Kinross, James;
    • PanSurg REDASA Curators
    Publication type:
    journal article
    29
    30
    31
    32
    33
    34

    Puzzle—Three Set Pieces.

    Published in:
    INFORMS Transactions on Education, 2014, v. 14, n. 2, p. 105, doi. 10.1287/ited.2013.0122
    By:
    • Chlond, Martin J.
    Publication type:
    Article
    35
    36
    37
    38
    39
    40
    41
    42

    Extending statecharts to model system interactions.

    Published in:
    Journal of Software Engineering Research & Development, 2015, v. 3, n. 1, p. 1, doi. 10.1186/s40411-015-0026-x
    By:
    • Ramos, Marcelo;
    • Masiero, Paulo;
    • Penteado, Rosangela;
    • Braga, Rosana
    Publication type:
    Article
    43
    44
    45
    46
    47
    48

    Action language ℬ𝒞+.

    Published in:
    Journal of Logic & Computation, 2020, v. 30, n. 4, p. 899, doi. 10.1093/logcom/exv062
    By:
    • Babb, Joseph;
    • Lee, Joohyung
    Publication type:
    Article
    49
    50