Works matching Set Notation

Results: 209

An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations.

Published in:

Journal of Mathematical Logic, 2002, v. 2, n. 1, p. 91, doi. 10.1142/S0219061302000126

By:

Avigad, Jeremy

Publication type:

Article

A Note on Morse's Lambda-Notation in Set Theory.

Published in:

Mathematical Logic Quarterly, 1978, v. 24, n. 8, p. 113, doi. 10.1002/malq.19780240802

By:

Bridges, Douglas S.

Publication type:

Article

Some remarks on the notations and terminology in the ordered set theory.

Published in:

Creative Mathematics & Informatics, 2018, v. 27, n. 2, p. 191, doi. 10.37193/cmi.2018.02.11

By:

PĂCURAR, MĂDĂLINA;
RUS, IOAN A.

Publication type:

Article

Some Topological Notations via Maki's Λ-Sets.

Published in:

Complexity, 2020, p. 1, doi. 10.1155/2020/4237462

By:

Azzam, A. A.;
Nasef, A. A.

Publication type:

Article

Recommendation for a Standard Set of Statistical Symbols and Notations.

Published in:

Educational Researcher, 1972, v. 1, n. 11, p. 15, doi. 10.2307/1174966

By:

Sanders, James R.;
Pugh, Richard C.

Publication type:

Article

ラフ集合と形式概念分析を用いた包含関係併記決定ルール群表記法の提案

Published in:

Transactions of Japan Society of Kansei Engineering, 2022, v. 21, n. 1, p. 113, doi. 10.5057/jjske.TJSKE-D-21-00031

By:

中村鴻成;
原田利宣

Publication type:

Article

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

ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES.

Published in:

Journal of Aeronautics & Space Technologies / Havacilik ve Uzay Teknolojileri Dergisi, 2018, v. 11, n. 2, p. 119

By:

ÖZKAYA, Mert

Publication type:

Article

Investigation of supramolecular synthons and structural characterisation of aminopyridinecarboxylic acid derivatives.

Published in:

Chemistry Central Journal, 2014, v. 8, n. 1, p. 1, doi. 10.1186/1752-153X-8-31

By:

Hemamalini, Madhukar;
Wan-Sin Loh;
Ching Kheng Quah;
Hoong-Kun Fun

Publication type:

Article

Modeling Languages for Internet of Things (IoT) Applications: A Comparative Analysis Study.

Published in:

Mathematics (2227-7390), 2023, v. 11, n. 5, p. 1263, doi. 10.3390/math11051263

By:

Arslan, Sadik;
Ozkaya, Mert;
Kardas, Geylani

Publication type:

Article

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

Circular Chromatic Number of Mycielski Graphs.

Published in:

Journal of Systems Science & Information, 2005, v. 3, n. 3, p. 547

By:

Hongmei Liu;
Shichen Gao;
Dehong Feng

Publication type:

Article

Mobilization and counter-mobilization processes: From the "red years" (1919-20) to the "black years" (1921-22) in Italy.

Published in:

Theory & Society, 1997, v. 26, n. 2/3, p. 275, doi. 10.1023/A:1006888810997

By:

Franzosi, Roberto

Publication type:

Article

A proposal for a formalized, expandable approach to the taxonomy of writing systems.

Published in:

Written Language & Literacy, 2023, v. 26, n. 1, p. 5, doi. 10.1075/wll.00071.ost

By:

Osterkamp, Sven;
Schreiber, Gordian

Publication type:

Article

Geometric invariant theory and the generalized eigenvalue problem.

Published in:

Inventiones Mathematicae, 2010, v. 180, n. 2, p. 389, doi. 10.1007/s00222-010-0233-3

By:

Ressayre, N.

Publication type:

Article

On the Jacobson radical of the endomorphism ring of a homogeneous separable group.

Published in:

Mathematical Notes, 2010, v. 87, n. 1/2, p. 125, doi. 10.1134/S0001434610010165

By:

Budanov, A.

Publication type:

Article

A report on a game on the universe of sets.

Published in:

Mathematical Notes, 2007, v. 81, n. 5/6, p. 716, doi. 10.1134/S0001434607050197

By:

Savel’ev, D.

Publication type:

Article

JOINT CONFIDENCE INTERVALS FOR INCOME SHARES AND LORENZ CURVES.

Published in:

International Economic Review, 1985, v. 26, n. 2, p. 439, doi. 10.2307/2526594

By:

Beach, Charles M.;
Richmond, James

Publication type:

Article

Ukrainian vowel phones in the IPA context.

Published in:

Govor, 2018, v. 35, n. 2, p. 189, doi. 10.22210/govor.2018.35.11

By:

Vakulenko, Maksym O.

Publication type:

Article

Methyl-2-methyl-2-(4-methyl-phenyl)sulfonamido propanoate: structural study, supramolecular architecture and analysis of molecular surface electrostatic potential.

Published in:

Zeitschrift für Kristallographie. Crystalline Materials, 2016, v. 231, n. 9, p. 541, doi. 10.1515/zkri-2016-1958

By:

Chatterjee, Paramita;
Dey, Tanusri;
Das, Uday;
Sureshbabu, Vommina V.;
Mukherjee, Alok K.

Publication type:

Article

EQUIVALENCE SCALE RELATIVITIES AND THE EXTENT OF INEQUALITY AND POVERTY.

Published in:

Economic Journal, 1992, v. 102, n. 414, p. 1067, doi. 10.2307/2234376

By:

Coulter, Fiona A.E.;
Cowell, Frank A.;
Jenkins, Stephen P.

Publication type:

Article

Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements.

Published in:

e-Informatica, 2020, v. 14, n. 1, p. 97, doi. 10.37190/e-Inf200104

By:

Iqbal, Saqib;
Al-Azzoni, Issam;
Allen, Gary;
Khan, Hikmat Ullah

Publication type:

Article

What really happens in pictures? Misreading with Nelson Goodman.

Published in:

Word & Image, 1993, v. 9, n. 4, p. 349, doi. 10.1080/02666286.1993.10435496

By:

ELKINS, JAMES

Publication type:

Article

DOMINIKANSKI ANTIFONARIJ FRANJEVAČKOGA SAMOSTANA NA OTOKU BADIJA KOD KORČULE: ANALIZA RUKOPISA.

Published in:

Croatian Musicological Review / Arti Musices, 2010, v. 41, n. 2, p. 167

By:

Beban, Hrvoje

Publication type:

Article

WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 6, p. 709, doi. 10.1142/S0129054113400145

By:

OLIVEIRA, JOSÉ N.

Publication type:

Article

New substitution bases for complexity classes.

Published in:

Mathematical Logic Quarterly, 2020, v. 66, n. 1, p. 37, doi. 10.1002/malq.201800055

By:

Mazzanti, Stefano

Publication type:

Article

Rice and Rice-Shapiro Theorems for transfinite correction grammars.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 504, doi. 10.1002/malq.201020054

By:

Case, John;
Jain, Sanjay

Publication type:

Article

Computable metrization.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 381, doi. 10.1002/malq.200710009

By:

Grubba, Tanja;
Schröder, Matthias;
Weihrauch, Klaus

Publication type:

Article

Reconstructible and Half-Reconstructible Tournaments: Application to Their Groups of Hemimorphisms.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 3, p. 421, doi. 10.1002/malq.19990450313

By:

Boudabbous, Youssef

Publication type:

Article

Finite Homogeneous 3-Graphs.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 3, p. 287, doi. 10.1002/malq.19950410302

By:

Lachlan, Alistair H.;
Tripp, Allyson

Publication type:

Article

The Length Problem for Co-R.E. Sets.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 277, doi. 10.1002/malq.19880340311

By:

Kummer, Martin

Publication type:

Article

Construction of Large Sets of Clones.

Published in:

Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 127, doi. 10.1002/malq.19870330207

By:

Demetrovics, J.;
Hannák, L.

Publication type:

Article

COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY.

Published in:

Mathematical Logic Quarterly, 1984, v. 30, n. 13-16, p. 193, doi. 10.1002/malq.19840301302

By:

Forti, Marco;
Honsell, Furio

Publication type:

Article

Using process diagrams for the graphical representation of biological networks.

Published in:

Nature Biotechnology, 2005, v. 23, n. 8, p. 961, doi. 10.1038/nbt1111

By:

Kitano, Hiroaki;
Funahashi, Akira;
Matsuoka, Yukiko;
Oda, Kanae

Publication type:

Article

Educational design of live coding environments for the browser.

Published in:

Journal of Music, Technology & Education, 2016, v. 9, n. 1, p. 95, doi. 10.1386/jmte.9.1.95_1

By:

Roberts, Charlie;
Allison, Jesse;
Holmes, Daniel;
Taylor, Benjamin;
Wright, Matthew;
Kuchera-Morin, JoAnn

Publication type:

Article

A Realistic Understanding of James' Theory of Truth.

Published in:

Transactions of the Charles S. Peirce Society, 1980, v. 16, n. 1, p. 34

By:

Ford, Marcus P.

Publication type:

Article

Formalizing process-based risk with Value-Focused Process Engineering.

Published in:

Information Systems & e-Business Management, 2011, v. 9, n. 4, p. 447, doi. 10.1007/s10257-009-0125-5

By:

Rotaru, Kristian;
Wilkin, Carla;
Churilov, Leonid;
Neiger, Dina;
Ceglowski, Andrzej

Publication type:

Article

Evaluating the accessibility of a PoN-enabled misuse case notation by the red–green colorblind community.

Published in:

Software & Systems Modeling, 2023, v. 22, n. 1, p. 247, doi. 10.1007/s10270-022-00992-4

By:

El-Attar, Mohamed

Publication type:

Article

A reference requirements set for public service provision enterprise architectures.

Published in:

Software & Systems Modeling, 2014, v. 13, n. 3, p. 991, doi. 10.1007/s10270-012-0303-7

By:

Tambouris, Efthimios;
Kaliva, Eleni;
Liaros, Michail;
Tarabanis, Konstantinos

Publication type:

Article

$E_{\infty}$ -structure for $Q_*(R)$.

Published in:

Mathematische Annalen, 2000, v. 316, n. 3, p. 547, doi. 10.1007/s002080050343

By:

Richter, Birgit

Publication type:

Article

Fourth-order tensors – tensor differentiation with applications to continuum mechanics. Part I: Classical tensor analysis.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2006, v. 86, n. 4, p. 291, doi. 10.1002/zamm.200410242

By:

Kintzel, O.;
Başar, Y.

Publication type:

Article

On the Execution and Runtime Verification of UML Activity Diagrams.

Published in:

Software (2674-113X), 2025, v. 4, n. 1, p. 4, doi. 10.3390/software4010004

By:

Siewe, François;
Ngounou, Guy Merlin

Publication type:

Article

Symbols and Suggestions: Communication of Mathematics in Print.

Published in:

Mathematical Intelligencer, 2001, v. 23, n. 2, p. 59, doi. 10.1007/BF03026630

By:

Gray, Jeremy

Publication type:

Article

Rough approximations based on different topologies via ideals.

Published in:

Turkish Journal of Mathematics, 2022, v. 46, n. 4, p. 1177, doi. 10.55730/1300-0098.3150

By:

ÇAKSU GÜLER, Ayşegül;
DALAN YILDIRIM, Esra;
BEDRE ÖZBAKIR, Oya

Publication type:

Article

Enhancing Structured Review with Model-Based Verification.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 736, doi. 10.1109/TSE.2004.86

By:

Traoré, Issa;
Aredo, Demissie B.

Publication type:

Article

Timed State Space Analysis of Real-Time Preemptive Systems.

Published in:

IEEE Transactions on Software Engineering, 2004, v. 30, n. 2, p. 97, doi. 10.1109/TSE.2004.1265815

By:

Bucci, Giacomo;
Fedeli, Andrea;
Sassoli, Luigi;
Vicario, Enrico

Publication type:

Article

Decoding Gentzen's Notation.

Published in:

History & Philosophy of Logic, 2018, v. 39, n. 3, p. 270, doi. 10.1080/01445340.2017.1422092

By:

Bellotti, Luca

Publication type:

Article

Defining Web services and data through mathematical expressions in Z-language.

Published in:

International Journal of Science, Innovation & New Technology, 2012, p. 1

By:

HALILI, Festim;
RAHMANI, Burhan;
KASA, Merita

Publication type:

Article

Ordinal arithmetic and ...-elementarity.

Published in:

Archive for Mathematical Logic, 1999, v. 38, n. 7, p. 449, doi. 10.1007/s001530050150

By:

Carlson, Timothy J.

Publication type:

Article

Relativized projecta and ...-r.e. sets.

Published in:

Archive for Mathematical Logic, 1997, v. 36, n. 4/5, p. 289, doi. 10.1007/s001530050066

By:

Bailey, Colin G.

Publication type:

Article