Works matching DE "MATHEMATICAL logic"

Results: 5000

List of Publications of Ivo G. Rosenberg.

Published in:: Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 44, n. 5/6, p. 601
Publication type:: Article

Preface.

Published in:: Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 44, n. 5/6, p. 421
Publication type:: Article

Deductive systems and R-congruences of pre-Hilbert algebras.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2025, v. 29, n. 8, p. 3785, doi. 10.1007/s00500-025-10601-3

By:

Walendziak, Andrzej

Publication type:

Article

KAÇ YAYLA? DOĞA-KÜLTÜR DÜALİZMLERİ ELEŞTİRİSİNDE BATESON ANTROPOLOJİSİNDEN DELEUZE-GUATTARİ FELSEFESİNE KAVRAMLARIN SEYRİ.

Published in:

Felsefe ve Sosyal Bilimler Dergisi (FLSF), 2024, n. 38, p. 217, doi. 10.53844/flsf.1480661

By:

AKBABA, S. Mete

Publication type:

Article

Estrategia para el mejoramiento de la enseñanza-aprendizaje de secuencias de tamaño y forma en segundo año de Educación General Básica.

Published in:

Sinergia Académica, 2025, v. 8, n. 3, p. 248

By:

Moreno Delgado, Ramona Auxiliadora;
Aveiga Vera, Nancy Elvira;
Ortiz Aguilar, Wilber;
Hernández Hechavarría, Carlos Manuel

Publication type:

Article

Drozd Yuriy (for his 80<sup>th</sup> birthday).

Published in:

Carpathian Mathematical Publications / Karpats'kì Matematičnì Publìkacìï, 2024, v. 16, n. 2, p. 663

By:

Zagorodnyuk, Andriy;
Artemovych, Orest;
Lopushansky, Oleh;
Sharyn, Serhii;
Bodnar, Dmytro;
Derkach, Volodymyr;
Dmytryshyn, Roman;
Filevych, Petro;
Gavrylkiv, Volodymyr;
Goy, Taras;
Grigorchuk, Rostislav;
Hryniv, Rostyslav;
Ivashkovych, Serge;
Kachanovsky, Mykola;
Mel’nyk, Taras;
Nykyforchyn, Oleh;
Osypchuk, Mykhailo;
Petravchuk, Anatoliy;
Plichko, Anatolij;
Pylypiv, Volodymyr

Publication type:

Article

Why Kahneman matters.

Published in:: Behavioural Public Policy, 2025, v. 9, n. 2, p. 1, doi. 10.1017/bpp.2024.34
Publication type:: Article

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

Published in:

Mathematics (2227-7390), 2025, v. 13, n. 11, p. 1707, doi. 10.3390/math13111707

By:

Liang, Baoyu;
Wang, Yuchen;
Tong, Chao

Publication type:

Article

Some new results for the well-posedness of solutions for a parabolic-parabolic-elliptic chemotaxis model.

Published in:

Discrete & Continuous Dynamical Systems - Series B, 2025, v. 30, n. 10, p. N.PAG, doi. 10.3934/dcdsb.2025040

By:

Zhao, Fengxiang;
Li, Kaiqiang;
Zheng, Jiashan

Publication type:

Article

إسهامات المفكرين العرب والمسلمين في تطوير علم المنطق واستشكال واقعه الراهن في العالم العربي.

Published in:

Dirasat: Human & Social Sciences, 2025, v. 52, n. 5, p. 1, doi. 10.35516/hum.v52i5.7500

By:

تهاني صلاح الخطي;
أحمد عبد الله ال&#1571

Publication type:

Article

基于双混沌系统的双随机相位编码和压缩感知的图像加密算法.

Published in:

Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2025, v. 47, n. 5, p. 885, doi. 10.3969/j.issn.1007-130X.2025.05.012

By:

赵雪妍;
张钊;
贾静雯;
周红艳;
陈雪波

Publication type:

Article

An accuracy-privacy optimization framework considering user's privacy requirements for data stream mining.

Published in:

Journal of Big Data, 2025, v. 12, n. 1, p. 1, doi. 10.1186/s40537-025-01147-0

By:

Hewage, Waruni;
Sinha, R.;
Naeem, M. Asif

Publication type:

Article

Analysis on the behavior of the logistic fixed effort harvesting model through the difference equation under uncertainty.

Published in:

International Journal of Modelling & Simulation, 2025, v. 45, n. 3, p. 931, doi. 10.1080/02286203.2023.2246830

By:

Alamin, Abdul;
Rahaman, Mostafijur;
Prasad Mondal, Sankar;
Alam, Shariful;
Salimi, Mehdi;
Ahmadian, Ali

Publication type:

Article

Green Supply Chain Management Capability Evaluation Using Neutrosophic TwoFold Algebra Decision Model.

Published in:

Neutrosophic Sets & Systems, 2025, v. 85, p. 703

By:

Hui Wang

Publication type:

Article

Advances in Dynamical Systems and Control.

Published in:

Axioms (2075-1680), 2025, v. 14, n. 5, p. 326, doi. 10.3390/axioms14050326

By:

Cardenas-Maciel, Selene Lilette;
Lopez-Renteria, Jorge Antonio;
Cazarez-Castro, Nohe Ramon

Publication type:

Article

Advancing Tensor Theories.

Published in:

Symmetry (20738994), 2025, v. 17, n. 5, p. 777, doi. 10.3390/sym17050777

By:

Ntelis, Pierros

Publication type:

Article

BSL volume 30 issue 4 Cover and Front matter.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. f1, doi. 10.1017/bsl.2025.12
Publication type:: Article

CONTENTS OF VOLUME 30.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. i, doi. 10.1017/bsl.2025.11
Publication type:: Article

2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 580, doi. 10.1017/bsl.2025.5
Publication type:: Article

BSL volume 30 issue 4 Cover and Back matter.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. b1, doi. 10.1017/bsl.2024.62
Publication type:: Article

NOTICES.

Published in:: 2024
Publication type:: Announcement

CCR 2024: THE 17TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Nagoya, Japan March 11–15, 2024.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 546, doi. 10.1017/bsl.2024.45
Publication type:: Article

2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14–17, 2024.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 547, doi. 10.1017/bsl.2024.43
Publication type:: Article

Procedural Explanations in Mathematics Writing.

Published in:

Written Communication, 2008, v. 25, n. 4, p. 441, doi. 10.1177/0741088308322343

By:

Kline, Susan;
Ishii, Drew K.

Publication type:

Article

An experimental study of native speaker perceptions of non-native request modification in e-mails in English.

Published in:

Intercultural Pragmatics, 2010, v. 7, n. 2, p. 221, doi. 10.1515/IPRG.2010.011

By:

Hendriks, Berna

Publication type:

Article

Videoconferencing with strangers: Teaching Japanese EFL students verbal backchannel signals and reactive expressions.

Published in:

Intercultural Pragmatics, 2010, v. 7, n. 2, p. 279, doi. 10.1515/IPRG.2010.013

By:

Sardegna, Veronica GABRIELA;
Molle, Daniella

Publication type:

Article

Using task-based pragmatics tutorials while studying abroad in China.

Published in:

Intercultural Pragmatics, 2010, v. 7, n. 2, p. 363, doi. 10.1515/IPRG.2010.016

By:

Winke, Paula M.;
Chunhong Teng

Publication type:

Article

Linguistic mitigating devices in American and Jordanian students' requests.

Published in:

Intercultural Pragmatics, 2010, v. 7, n. 2, p. 311, doi. 10.1515/IPRG.2010.014

By:

Al-Ali, Mohammed Nahar;
Alawneh, Rami

Publication type:

Article

On trying and lying: Cultural configurations of Grice's Maxim of Quality.

Published in:

Intercultural Pragmatics, 2010, v. 7, n. 2, p. 199, doi. 10.1515/IPRG.2010.010

By:

Danziger, Eve

Publication type:

Article

Intra-lingual pragmatic variation in the performance of reprimanding.

Published in:

Intercultural Pragmatics, 2009, v. 6, n. 4, p. 443, doi. 10.1515/IPRG.2009.024

By:

García, Carmen

Publication type:

Article

Religious references in contemporary Irish English: ‘for the love of God almighty. . . . I'm a holy terror for turf’.

Published in:

Intercultural Pragmatics, 2009, v. 6, n. 4, p. 535, doi. 10.1515/IPRG.2009.027

By:

Farr, Fiona;
Murphy, Bróna

Publication type:

Article

Adolescents and identity.

Published in:

Intercultural Pragmatics, 2009, v. 6, n. 4, p. 597, doi. 10.1515/IPRG.2009.029

By:

Macaulay, Ronald K. S.

Publication type:

Article

The functional and social reality of discourse variants in a northern English dialect: I DON'T KNOW and I DON'T THINK compared.

Published in:

Intercultural Pragmatics, 2009, v. 6, n. 4, p. 561, doi. 10.1515/IPRG.2009.028

By:

Pichler, Heike

Publication type:

Article

Pragmatic variation across Spanish(es): Requesting in Mexican, Costa Rican and Dominican Spanish.

Published in:

Intercultural Pragmatics, 2009, v. 6, n. 4, p. 473, doi. 10.1515/IPRG.2009.025

By:

Félix-Brasdefer, J. César

Publication type:

Article

An Indian solution to ‘incompleteness’.

Published in:

AI & Society, 2009, v. 24, n. 4, p. 351, doi. 10.1007/s00146-009-0209-2

By:

Kumar, U. A. Vinaya

Publication type:

Article

Controlador de modelo interno con filtro difuso (IMCFD).

Published in:

Ingeniería y Desarrollo, 2005, n. 17, p. 68

By:

García, Yohn;
Sanjuán, Marco;
Smith, Carlos

Publication type:

Article

Measures on circle coarse-grained systems of sets.

Published in:

Positivity, 2010, v. 14, n. 2, p. 247, doi. 10.1007/s11117-009-0015-6

By:

De Simone, Anna;
Pták, Pavel

Publication type:

Article

Universal logic elements constructed on the Turing Tumble.

Published in:

Natural Computing, 2020, v. 19, n. 4, p. 787, doi. 10.1007/s11047-019-09760-8

By:

Tomita, Takahiro;
Lee, Jia;
Isokawa, Teijiro;
Peper, Ferdinand;
Yumoto, Takayuki;
Kamiura, Naotake

Publication type:

Article

A universal non-conservative reversible elementary triangular partitioned cellular automaton that shows complex behavior.

Published in:

Natural Computing, 2019, v. 18, n. 3, p. 413, doi. 10.1007/s11047-017-9655-9

By:

Morita, Kenichi

Publication type:

Article

Geometric computations by broadcasting automata.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 623, doi. 10.1007/s11047-012-9330-0

By:

Martin, Russell;
Nickson, Thomas;
Potapov, Igor

Publication type:

Article

Networks of evolutionary processors: computationally complete normal forms.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 595, doi. 10.1007/s11047-012-9331-z

By:

Dassow, Jürgen;
Manea, Florin;
Truthe, Bianca

Publication type:

Article

A survey of recursive analysis and Moore's notion of real computation.

Published in:

Natural Computing, 2012, v. 11, n. 1, p. 37, doi. 10.1007/s11047-011-9278-5

By:

Gomaa, Walid

Publication type:

Article

Learning from interpretation transition using differentiable logic programming semantics.

Published in:

Machine Learning, 2022, v. 111, n. 1, p. 123, doi. 10.1007/s10994-021-06058-8

By:

Gao, Kun;
Wang, Hanpin;
Cao, Yongzhi;
Inoue, Katsumi

Publication type:

Article

A cache-oblivious self-adaptive full multigrid method.

Published in:

Numerical Linear Algebra with Applications, 2006, v. 13, n. 2/3, p. 275, doi. 10.1002/nla.481

By:

Mehl, M.;
Weinzierl, T.;
Zenger, Chr.

Publication type:

Article

Regions of Convergence of the Rayleigh Quotient Iteration Method.

Published in:

Numerical Linear Algebra with Applications, 1995, v. 2, n. 3, p. 251, doi. 10.1002/nla.1680020307

By:

Pantazis, Ricardo D.;
Szyld, Daniel B.

Publication type:

Article

Localic Krull dimension.

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 897, doi. 10.1002/pamm.201610437

By:

Bezhanishvili, Guram;
Bezhanishvili, Nick;
Lucero-Bryan, Joel;
van Mill, Jan

Publication type:

Article

Where can we really prove instances of the Paris-Harrington principle?

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 903, doi. 10.1002/pamm.201610440

By:

Freund, Anton

Publication type:

Article

Using a fuzzy logic decision system to optimize the land suitability evaluation for a sprinkler irrigation method.

Published in:

Outlook on Agriculture, 2018, v. 47, n. 4, p. 298, doi. 10.1177/0030727018798381

By:

Hoseini, Yaser;
Kamrani, Morteza

Publication type:

Article

Anomalous spreading speeds of cooperative recursion systems.

Published in:

Journal of Mathematical Biology, 2007, v. 55, n. 2, p. 207, doi. 10.1007/s00285-007-0078-6

By:

Hans Weinberger;
Mark Lewis;
Bingtuan Li

Publication type:

Article

Mining parametric temporal logic properties in model-based design for cyber-physical systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 79, doi. 10.1007/s10009-017-0447-4

By:

Hoxha, Bardh;
Dokhanchi, Adel;
Fainekos, Georgios

Publication type:

Article