Log in

Relevant bibliographies by topics / Incorrectness / Journal articles

To see the other types of publications on this topic, follow the link: Incorrectness.

Journal articles on the topic 'Incorrectness'

Author: Grafiati

Published: 4 June 2025

Last updated: 1 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Incorrectness.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Walach, Harald. "Political Incorrectness." Kompass Pneumologie 7, no. 2 (2019): 118. http://dx.doi.org/10.1159/000499207.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

O'Hearn, Peter W. "Incorrectness logic." Proceedings of the ACM on Programming Languages 4, POPL (2020): 1–32. http://dx.doi.org/10.1145/3371078.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Walach, Harald. "Political Incorrectness." Kompass Dermatologie 7, no. 2 (2019): 100. http://dx.doi.org/10.1159/000499417.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Walach, Harald. "Political Incorrectness." Karger Kompass Onkologie 6, no. 2 (2019): 128. http://dx.doi.org/10.1159/000499551.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Walach, Harald. "Political Incorrectness." Karger Kompass Ophthalmologie 5, no. 2 (2019): 104. http://dx.doi.org/10.1159/000499812.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Zilberstein, Noam, Derek Dreyer, and Alexandra Silva. "Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning." Proceedings of the ACM on Programming Languages 7, OOPSLA1 (2023): 522–50. http://dx.doi.org/10.1145/3586045.

Full text

Abstract:

Program logics for bug-finding (such as the recently introduced Incorrectness Logic) have framed correctness and incorrectness as dual concepts requiring different logical foundations. In this paper, we argue that a single unified theory can be used for both correctness and incorrectness reasoning. We present Outcome Logic (OL), a novel generalization of Hoare Logic that is both monadic (to capture computational effects) and monoidal (to reason about outcomes and reachability). OL expresses true positive bugs, while retaining correctness reasoning abilities as well. To formalize the applicabil

APA, Harvard, Vancouver, ISO, and other styles

7

Zhang, Cheng, Arthur Azevedo de Amorim, and Marco Gaboardi. "On incorrectness logic and Kleene algebra with top and tests." Proceedings of the ACM on Programming Languages 6, POPL (2022): 1–30. http://dx.doi.org/10.1145/3498690.

Full text

Abstract:

Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compiler optimizations, among many other areas. In his seminal work, Kozen proved that KAT subsumes propositional Hoare logic, showing that one can reason about the (partial) correctness of while programs by means of the equational theory of KAT. In this work, we investigate the support that KAT provides for reasoning about incorrectness, instead, as embodied by O'Hearn's recently proposed incorrectness logic. We show that

APA, Harvard, Vancouver, ISO, and other styles

8

Raad, Azalea, Josh Berdine, Derek Dreyer, and Peter W. O'Hearn. "Concurrent incorrectness separation logic." Proceedings of the ACM on Programming Languages 6, POPL (2022): 1–29. http://dx.doi.org/10.1145/3498695.

Full text

Abstract:

Incorrectness separation logic (ISL) was recently introduced as a theory of under-approximate reasoning, with the goal of proving that compositional bug catchers find actual bugs. However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL), which extends ISL to account for bug catching in concurrent programs. Inspired by the work on Views, we design CISL as a parametric framework, which can be instantiated for a number of bug catching scenarios, including race detection, deadlock detection, and memory safety error detection. For each insta

APA, Harvard, Vancouver, ISO, and other styles

9

Hood, Robert L. "Hurray for ‘Political Incorrectness’." Emergency Medicine News 24, no. 3 (2002): 53. http://dx.doi.org/10.1097/00132981-200203000-00037.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Bucher, Glenn R. "Political Incorrectness and Theological Education." Theology Today 49, no. 4 (1993): 534–37. http://dx.doi.org/10.1177/004057369304900410.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

FALLIS, DON. "The Source of Chaitin's Incorrectness." Philosophia Mathematica 4, no. 3 (1996): 261–69. http://dx.doi.org/10.1093/philmat/4.3.261.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Chen, Chia-Hui, and Junichiro Ishida. "Careerist experts and political incorrectness." Journal of Economic Behavior & Organization 120 (December 2015): 1–18. http://dx.doi.org/10.1016/j.jebo.2015.09.023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Levy, Leonard W. (Leonard Williams). "The Case for Religious Incorrectness." Reviews in American History 24, no. 4 (1996): 585–89. http://dx.doi.org/10.1353/rah.1996.0096.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Abbas, Ali, Muhammad Akbar Khan, and Aleesha Tabassum. "A Critical Evaluation of Political Incorrectness in Pakistani Political Discourse." Global Language Review VIII, no. II (2023): 368–81. http://dx.doi.org/10.31703/glr.2023(viii-ii).30.

Full text

Abstract:

This study examines instances of political incorrectness in the context of contemporary Pakistani politics. It investigates the strategies employed by certain Pakistani politicians and political activists to advance their political objectives with political incorrectness. The research population consists of individuals from the online community on Twitter, specifically political activists and politicians. The data collection process was conducted by the researchers, ensuring accuracy and reliability and then was carefully examined and analyzed in detail with the help of the three-dimensional m

APA, Harvard, Vancouver, ISO, and other styles

15

Qian, Kelvin, Scott Smith, Brandon Stride, Shiwei Weng, and Ke Wu. "Semantic-Type-Guided Bug Finding." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 2183–210. http://dx.doi.org/10.1145/3689788.

Full text

Abstract:

In recent years, there has been an increased interest in tools that establish incorrectness rather than correctness of program properties. In this work we build on this approach by developing a novel methodology to prove incorrectness of semantic typing properties of functional programs, extending the incorrectness approach to the model theory of functional program typing. We define a semantic type refuter which refutes semantic typings for a simple functional language. We prove our refuter is co-recursively enumerable, and that it is sound and complete with respect to a semantic typing notion

APA, Harvard, Vancouver, ISO, and other styles

16

Yan, Peng, Hanru Jiang, and Nengkun Yu. "On incorrectness logic for Quantum programs." Proceedings of the ACM on Programming Languages 6, OOPSLA1 (2022): 1–28. http://dx.doi.org/10.1145/3527316.

Full text

Abstract:

Bug-catching is important for developing quantum programs. Motivated by the incorrectness logic for classical programs, we propose an incorrectness logic towards a logical foundation for static bug-catching in quantum programming. The validity of formulas in this logic is dual to that of quantum Hoare logics. We justify the formulation of validity by an intuitive explanation from a reachability point of view and a comparison against several alternative formulations. Compared with existing works focusing on dynamic analysis, our logic provides sound and complete arguments. We further demonstrat

APA, Harvard, Vancouver, ISO, and other styles

17

Sokolova, I. A. "Incorrectness of the Chapman-Enskog method." Doklady Physics 45, no. 9 (2000): 499–502. http://dx.doi.org/10.1134/1.1319000.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Ortega, A. "The incorrectness of the temperature criterion." Thermochimica Acta 276 (April 1996): 189–98. http://dx.doi.org/10.1016/0040-6031(95)02737-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Kondratyev, Dmitry A. "Logic for reasoning about bugs in loops over data sequences (IFIL)." Modeling and Analysis of Information Systems 30, no. 3 (2023): 214–33. http://dx.doi.org/10.18255/1818-1015-2023-3-214-233.

Full text

Abstract:

Classic deductive verification is not focused on reasoning about program incorrectness. Reasoning about program incorrectness using formal methods is an important problem nowadays. Special logics such as Incorrectness Logic, Adversarial Logic, Local Completeness Logic, Exact Separation Logic and Outcome Logic have recently been proposed to address it. However, these logics have two disadvantages. One is that they are based on under-approximation approaches, while classic deductive verification is based on the over-approximation approach. One the other hand, the use of the classic approach requ

APA, Harvard, Vancouver, ISO, and other styles

20

De Luca, Anna, Mark Feldman, Martins Paparinskis, and Catharine Titi. "Responding to Incorrect Decision-Making in Investor-State Dispute Settlement: Policy Options." Journal of World Investment & Trade 21, no. 2-3 (2020): 374–409. http://dx.doi.org/10.1163/22119000-12340176.

Full text

Abstract:

Abstract Criticism of the quality of investor-State dispute settlement (ISDS) decision-making often focuses on inconsistency (comparing ISDS decisions), and less frequently, incorrectness (evaluating individual ISDS decisions on a standalone basis). This article situates incorrect ISDS decision-making within the broader context of public international law and develops potential policy responses, guided by three considerations. First, criticism of ISDS decision-making has been significant. Second, criticism of particular ISDS decisions, even when widespread and intense, does not necessarily est

APA, Harvard, Vancouver, ISO, and other styles

21

Al-Jarf, Reima. "Political (In)correctness and the Cancel-Culture Attitude: The Case of Religious Sectarian Language After the Arab Spring." International Journal of Law and Politics Studies 5, no. 5 (2023): 96–104. http://dx.doi.org/10.32996/ijlps.2023.5.5.11.

Full text

Abstract:

This study investigated political correctness/incorrectness and the cancel culture attitudes in relation to sectarian language that has been prevalent on Arabic media since the onset of the Arab Spring in 2011, based on an examination of expressions describing religious sects such as Sunni, Shiites, Salafists, Muslim Brothers, Jihadists, Alawites, Houthis, Hamas, Hezbollah and Wahabis; the new lexical coinages introduced by Arab media that reflect hate speech and hostile sentiments against the religious sects that users oppose; Arab college students and instructors’ attitudes towards the diffe

APA, Harvard, Vancouver, ISO, and other styles

22

Cilento, Laura. "César Bruto: incorrectness from a Homo typographicus." Romanica Olomucensia 30, no. 2 (2019): 273–86. http://dx.doi.org/10.5507/ro.2018.016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Delbanco, Andrew. "The Political Incorrectness of Zora Neale Hurston." Journal of Blacks in Higher Education, no. 18 (1997): 103. http://dx.doi.org/10.2307/2998779.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Verbeek, Freek, Md Syadus Sefat, Zhoulai Fu, and Binoy Ravindran. "On Extending Incorrectness Logic with Backwards Reasoning." Proceedings of the ACM on Programming Languages 9, POPL (2025): 391–415. https://doi.org/10.1145/3704850.

Full text

Abstract:

This paper studies an extension of O'Hearn's incorrectness logic (IL) that allows backwards reasoning. IL in its current form does not generically permit backwards reasoning. We show that this can be mitigated by extending IL with underspecification. The resulting logic combines underspecification (the result, or postcondition, only needs to formulate constraints over relevant variables) with underapproximation (it allows to focus on fewer than all the paths). We prove soundness of the proof system, as well as completeness for a defined subset of presumptions. We discuss proof strategies that

APA, Harvard, Vancouver, ISO, and other styles

25

Esaki, Kazuhiro. "Design-Stage Prediction of Project Correctness or Incorrectness." Intelligent Information Management 10, no. 02 (2018): 49–68. http://dx.doi.org/10.4236/iim.2018.102004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Patil, Mayuresh J., Rudolph N. Yurkovich, and Dewey H. Hodges. "Incorrectness of the k Method for Flutter Calculations." Journal of Aircraft 41, no. 2 (2004): 402–5. http://dx.doi.org/10.2514/1.1444.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Prathap, G., S. Manju, and V. Senthilkumar. "The unsymmetric finite element formulation and variational incorrectness." Structural Engineering and Mechanics 26, no. 1 (2007): 31–42. http://dx.doi.org/10.12989/sem.2007.26.1.031.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Rajendran, S. "The unsymmetric finite element formulation and variational incorrectness." Structural Engineering and Mechanics 28, no. 6 (2008): 767–70. http://dx.doi.org/10.12989/sem.2008.28.6.767.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Martišek, Dalibor. "Mathematical Incorrectness of So-Called Higuchi‘s Fractal Dimension." MENDEL 28, no. 2 (2022): 93–96. http://dx.doi.org/10.13164/mendel.2022.2.093.

Full text

Abstract:

The so-called Higuchi’s method of fractal dimension estimation is widely used and the term Higuchi’s fractal dimension even occurs in many publications. This paper deals with this method from a mathematical point of view. Terms distance and dimension and its basic properties are explained and Higuchi’s dimension according the original source is defined. The definition of Higuchi’s dimension was compared with the mathematical definition of distance and dimension. It is shown, that the definition of Higuchi’s dimension does not satisfy axioms of distance and dimension. The so-called Higuchi’s me

APA, Harvard, Vancouver, ISO, and other styles

30

Zhang, Linpeng, and Benjamin Lucien Kaminski. "Quantitative strongest post: a calculus for reasoning about the flow of quantitative information." Proceedings of the ACM on Programming Languages 6, OOPSLA1 (2022): 1–29. http://dx.doi.org/10.1145/3527331.

Full text

Abstract:

We present a novel strongest-postcondition-style calculus for quantitative reasoning about non-deterministic programs with loops. Whereas existing quantitative weakest pre allows reasoning about the value of a quantity after a program terminates on a given initial state, quantitative strongest post allows reasoning about the value that a quantity had before the program was executed and reached a given final state. We show how strongest post enables reasoning about the flow of quantitative information through programs. Similarly to weakest liberal preconditions, we also develop a quantitative s

APA, Harvard, Vancouver, ISO, and other styles

31

Le, Quang Loc, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, and Peter W. O'Hearn. "Finding real bugs in big programs with incorrectness logic." Proceedings of the ACM on Programming Languages 6, OOPSLA1 (2022): 1–27. http://dx.doi.org/10.1145/3527325.

Full text

Abstract:

Incorrectness Logic (IL) has recently been advanced as a logical theory for compositionally proving the presence of bugs—dual to Hoare Logic, which is used to compositionally prove their absence. Though IL was motivated in large part by the aim of providing a logical foundation for bug-catching program analyses, it has remained an open question: is IL useful only retrospectively (to explain existing analyses), or can it actually be useful in developing new analyses which can catch real bugs in big programs? In this work, we develop Pulse-X, a new, automatic program analysis for catching memory

APA, Harvard, Vancouver, ISO, and other styles

32

Sapietova, Alzbeta, Milan Saga, Alexandr Shimanovsky, and Milan Sapieta. "Mobility of Multibody Systems in Terms of their Incorrectness." Communications - Scientific letters of the University of Zilina 16, no. 3A (2014): 6–12. http://dx.doi.org/10.26552/com.c.2014.3a.6-12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Levene, S. "Is there more to parental supervision than political incorrectness?" Injury Prevention 2, no. 1 (1996): 10–11. http://dx.doi.org/10.1136/ip.2.1.10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Naumov, Anatoly Aleksandrovich, and Anastasia Anatolievna Naumova. "ABOUT INCORRECTNESS OF ONE OPTIMIZATION OF CAPITAL STRUCTURE MODEL." Theoretical & Applied Science 17, no. 09 (2014): 170–73. http://dx.doi.org/10.15863/tas.2014.09.17.29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Ren, Gang. "Comment on “Generation of a superposition of coherent states in a resonant cavity and its nonclassicality and decoherence”." Canadian Journal of Physics 92, no. 10 (2014): 1281–82. http://dx.doi.org/10.1139/cjp-2014-0066.

Full text

Abstract:

Arpita Ghosh and P.K. Das (Can. J. Phys. 86: 811 (2008) doi:10.1139/p08-013 ) derived an analytic expression for the Wigner function of a superposition of coherent state. We point out the incorrectness of this result.

APA, Harvard, Vancouver, ISO, and other styles

36

Serenkov, P. S., V. M. Romanchak та I. E. Pesliak. "Application of Solutions of Uncorrected Tasksʼ Theory for Managing of Production Processesʼ Robustness". Devices and Methods of Measurements 12, № 4 (2021): 311–22. http://dx.doi.org/10.21122/2220-9506-2021-12-4-311-322.

Full text

Abstract:

The industrial revolution of “Industry 4.0” is currently underway at an active pace. Individualization of provided products and services, transition to single production, the issues of acceptability of production processes at the stage of development and design have became urgent. The aim of this work was to develop a strategy for a fundamental solution to the task of guaranteed acceptability of production processes as an integral quality characteristic.We have proposed a systematic approach to strategy development. The basis of the approach was the theory of incorrect tasks solving. We adapte

APA, Harvard, Vancouver, ISO, and other styles

37

Didenko, Larysa. "The legitimacy of using the term "Nova Doba" in historical and philosophical studies." Sententiae 8, no. 1 (2023): 26–34. http://dx.doi.org/10.31649/sent08.01.026.

Full text

Abstract:

Based on the etymological, historical and philosophical analysis, the author of the article examines the term «Nova Doba» and notes the positive and negative consequences of its use. Through the analysis of foreign language equivalents of this term, demarcation of the concepts of «chas» and «doba» and the word «novyy», the author reveals the incorrectness of the term «Novyy chas» (Modern age). The incorrectness of the concept is manifested in the discrepancy between the word «chas» and its foreign language analogues «Temps», «Age» and «Times». Also, according to the author, «chas» has the mean

APA, Harvard, Vancouver, ISO, and other styles

38

Cui, Ronghua. "The Incorrectness of Special Relativity and an Understanding of Time." Applied Physics Research 16, no. 1 (2024): 40. http://dx.doi.org/10.5539/apr.v16n1p40.

Full text

Abstract:

This paper has analyzed the original paper of special relativity of Einstein carefully. It was found that the derivation process of the theory based on a fatal logic error of physics, which indicates that the theory of special relativity lacks a correct theoretical basis, combined with the analysis of its conclusions, inference and experimental verification, the conclusion is that special relativity is a wrong theory. With the incorrectness found in special relativity, the four-dimensional space-time derived from it then lost the foundation, so, the understanding of time almost only can go bac

APA, Harvard, Vancouver, ISO, and other styles

39

Gantt Shafer, Jessica. "Donald Trump’s “Political Incorrectness”: Neoliberalism as Frontstage Racism on Social Media." Social Media + Society 3, no. 3 (2017): 205630511773322. http://dx.doi.org/10.1177/2056305117733226.

Full text

Abstract:

President Donald Trump’s popularized “political incorrectness” has become a signifier allowing for backstage, or overt, racist sentiments to become steadily normalized as logical in the public frontstage of political discourse and social media. This normalization is possible under the guise of neoliberal truth telling. In the current context of neoliberalism, touting postracial “colorblindness” and achieved equalities, there is subsequent Trump-backed whitelash against “political correctness,” or an acknowledgement of inequality, in US public discourse. Highly racialized public issues such as

APA, Harvard, Vancouver, ISO, and other styles

40

Vieriková, Lucia. "Липкая инфляция, или языковая игра на материале словацких и российских экономических текстов". Studia Rossica Posnaniensia 49, № 2 (2024): 135–47. https://doi.org/10.14746/strp.2024.49.2.8.

Full text

Abstract:

In modern linguistics, the understanding of language game refers to the field of speech communication, and the language games themselves are seen as a decoration of speech. Language gaming is multifarious. In this article we will focus on some forms of this phenomenon, manifested in the variation of words, their forms and meanings in Russian and Slovak economic media texts. In modern economic media texts, textual “expressivization” is observed, which is realized primarily with the help of the language games. Its evaluative function comes to the forefront – evaluativity is an integral category

APA, Harvard, Vancouver, ISO, and other styles

41

Zilberstein, Noam, Angelina Saliling, and Alexandra Silva. "Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects." Proceedings of the ACM on Programming Languages 8, OOPSLA1 (2024): 276–304. http://dx.doi.org/10.1145/3649821.

Full text

Abstract:

Separation logic’s compositionality and local reasoning properties have led to significant advances in scalable static analysis. But program analysis has new challenges—many programs display computational effects and, orthogonally, static analyzers must handle incorrectness too. We present Outcome Separation Logic (OSL), a program logic that is sound for both correctness and incorrectness reasoning in programs with varying effects. OSL has a frame rule—just like separation logic—but uses different underlying assumptions that open up local reasoning to a larger class of properties than can be h

APA, Harvard, Vancouver, ISO, and other styles

42

Perelmuter, A. V. "Inverse problems of structural mechanics." Vestnik Tomskogo gosudarstvennogo arkhitekturno-stroitel'nogo universiteta. JOURNAL of Construction and Architecture 22, no. 4 (2020): 83–101. http://dx.doi.org/10.31675/1607-1859-2020-22-4-83-101.

Full text

Abstract:

The paper presents a brief review of the main ideas on the extensive class of inverse problems in structural mechanics relating to the identification of design models, technical condition monitoring and finding damages. The numerical implementation of identified incorrectness of inverse problems requires regularization. References include works describing the cases of practical application of reverse problem solutions.

APA, Harvard, Vancouver, ISO, and other styles

43

Turanov, Khabibulla, Yadgor Ruzmetov, and Jamol Shikhnazarov. "Incorrectness of the method of calculating cargo fastening on railway platforms." E3S Web of Conferences 164 (2020): 03040. http://dx.doi.org/10.1051/e3sconf/202016403040.

Full text

Abstract:

Inaccuracy of the existing methodology for calculating cargo fastening. Cargo fastening by flexible and retention elements. The paper should define the “shearing” force across the car as the sum of the transverse transport inertia and wind load, taking into account the safety factor from tipping over; determine the transverse force perceived by the means of securing the load, taking into account the reaction of the retention bars of only one direction; calculate the forces in the elastic fasteners when exposed to shearing forces, taking into account the geometry of the fasteners according to e

APA, Harvard, Vancouver, ISO, and other styles

44

Francis, Leslie J. "Book Review: Theological Incorrectness: Why Religious People Believe What They Shouldn't." Theology 108, no. 842 (2005): 148–49. http://dx.doi.org/10.1177/0040571x0510800228.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Byhhenkov, V. A., and V. A. Svidinskii. "Incorrectness of the model of elastoplastic flow in the Wilkins method." Combustion, Explosion, and Shock Waves 26, no. 1 (1990): 105–9. http://dx.doi.org/10.1007/bf00742283.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Galashev, A. E. "Incorrectness of the self-consistent field approximation for the argon crystal." Journal of Structural Chemistry 29, no. 2 (1988): 319–21. http://dx.doi.org/10.1007/bf00747997.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Ortigueira, Manuel Duarte. "Discrete-Time Fractional Difference Calculus: Origins, Evolutions, and New Formalisms." Fractal and Fractional 7, no. 7 (2023): 502. http://dx.doi.org/10.3390/fractalfract7070502.

Full text

Abstract:

Differences are introduced as outputs of linear systems called differencers, being considered two classes: shift and scale-invariant. Several types are presented, namely: nabla and delta, bilateral, tempered, bilinear, stretching, and shrinking. Both continuous and discrete-time differences are described. ARMA-type systems based on differencers are introduced and exemplified. In passing, the incorrectness of the usual delta difference is shown.

APA, Harvard, Vancouver, ISO, and other styles

48

Mao, Kai, and Bao Shi. "A New Criterion for the Global Exponential Stability of Neural Networks with Time Delays." Applied Mechanics and Materials 278-280 (January 2013): 1353–58. http://dx.doi.org/10.4028/www.scientific.net/amm.278-280.1353.

Full text

Abstract:

In this paper, we study the neural networks with time delays. By using of the Homeomorphism theory and employing an inequality, constructing a new Lyapunov-Krasovskill functional, we give a new sufficient condition, which is independent of the delays, guarantying the existence, uniqueness of the equilibrium point and it’s global exponential stable. Meanwhile, the incorrectness of calculation in the previous Refs is pointed out. We therefore improve the previous results.

APA, Harvard, Vancouver, ISO, and other styles

49

Balabanov, O. S. "Causal inference from data. On some inadequacy problems of structures with hidden causes." PROBLEMS IN PROGRAMMING, no. 2-3 (September 2020): 392–406. http://dx.doi.org/10.15407/pp2020.02-03.392.

Full text

Abstract:

The reliability of causal inference from data (by independence-based methods) is analyzed. We uncover some mechanisms which may result in model inadequacy due to sample bias and hidden variables. We detect some specific problems in recognition of direction of influence when some causes are hidden. Incorrectness of known rule for edge orientation (under causal insufficiency) is revealed. We suggest the correction to the rule aiming to retain model adequacy.

APA, Harvard, Vancouver, ISO, and other styles

50

Shavel, Sergey A. "Modern Belarusian strategy of society development." Journal of the Belarusian State University. Sociology, no. 1 (March 15, 2022): 4–10. http://dx.doi.org/10.33581/2521-6821-2022-1-4-10.

Full text

Abstract:

The paper presents a realised analysis of the formation and content of the modern strategy of socio-economic, cultural and political development of the Belarusian society. The tasks of the social policy of the Republic of Belarus are defined. The reasons why the liberal path and liberal tendencies are not supported in Belarus are exposed in the article. The liberal approach assumes some incorrectness, which lies in the fact that the strategic choice of each ethnic group can be made not by deciphering the historical question: Quo vadis? («Who we are, where we are from and where we are going?»),

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!