Log in

Relevant bibliographies by topics / Conditional correctness / Journal articles

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

Journal articles on the topic 'Conditional correctness'

Author: Grafiati

Published: 7 June 2025

Last updated: 16 July 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 'Conditional correctness.'

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

Hasanoglu, Kaplan. "Against the conditional correctness of scepticism." South African Journal of Philosophy 35, no. 1 (2016): 82–91. http://dx.doi.org/10.1080/02580136.2015.1128241.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

SRIVASTAVA, JAIDEEP, JAU-HWANG WANG, KUO WEI HWANG, and WEI TEK TSAI. "A TRANSACTION MODEL FOR PARALLEL RULE EXECUTION PART I: MODEL AND ALGORITHMS." International Journal on Artificial Intelligence Tools 02, no. 03 (1993): 395–429. http://dx.doi.org/10.1142/s0218213093000205.

Full text

Abstract:

This paper introduces a transaction model for parallel production systems, where rules can be fired in a completely asynchronous parallel manner. A model is developed to describe two properties of a serial production system execution, namely, conditional dependence (a rule firing removes another from the conflict set) and prioritization (by the conflict resolution mechanism). These are used as the basis to define the correctness criteria for parallel production execution, namely, conditional serializability, prioritized serializability, and prioritized conditional serializability. A graph mode

APA, Harvard, Vancouver, ISO, and other styles

3

Fayazov, K. S., and Y. K. Khudayberganov. "Nonlocal boundary value problem for a nonhomogeneous parabolic type equation with two degenerate lines." Uzbek Mathematical Journal 68, no. 3 (2024): 53–65. http://dx.doi.org/10.29229/uzmj.2024-3-6.

Full text

Abstract:

This work is devoted to the study of the conditional correctness of the nonlocal boundary value problem for a nonhomogeneous parabolic type equation with two degenerate lines. In this article we investigated well-posed of the problem depending of coefficients in conditions for a problem. In the case of ill-posed, based on the idea of A.N. Tikhonov, the conditional correctness of the problem are proved, namely, the theorems of uniqueness and conditional stability on the set of correctness are proved. For all cases we get a priori estimate of the solution we used the logarithmic convexity method

APA, Harvard, Vancouver, ISO, and other styles

4

Xudong Luo and Chengqi Zhang. "Proof of the correctness of EMYCIN sequential propagation under conditional independence assumptions." IEEE Transactions on Knowledge and Data Engineering 11, no. 2 (1999): 355–59. http://dx.doi.org/10.1109/69.761668.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Fayazov, K. S., and I. O. Khazhiev. "Conditional correctness of boundary-value problem for a composite fourth-order differential equation." Russian Mathematics 59, no. 4 (2015): 54–62. http://dx.doi.org/10.3103/s1066369x15040088.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Valiña, Mª Dolores, Gloria Seoane, Mª José Ferraces, and Montserrat Martín. "The Importance of Pragmatic Aspects in Conditional Reasoning." Spanish Journal of Psychology 2 (May 1999): 20–31. http://dx.doi.org/10.1017/s1138741600005424.

Full text

Abstract:

The importance of pragmatic aspects in conditional reasoning was assessed in the performance of 54 subjects (26 female and 28 male; mean age 17.6 years) on 48 conditional inference problems, using a 3 × 2 × 4 design, with repeated measurements. The independent variables were probability of empirical frequency in the real world, type of conditional rule, and scenario availability. Number of correct responses and subjects' certainty about the correctness of their responses were the dependent variables. The results showed: a) the scenario availability is not sufficient in itself to explain differ

APA, Harvard, Vancouver, ISO, and other styles

7

TU, PHAN HUY, TRAN CAO SON, and CHITTA BARAL. "Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming." Theory and Practice of Logic Programming 7, no. 4 (2007): 377–450. http://dx.doi.org/10.1017/s1471068406002948.

Full text

Abstract:

AbstractWe extend the 0-approximation of sensing actions and incomplete information in Son and Baral (2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation isNP-complete. We then present an answer set programming based conditional planner, called ASCP, that is capable of generating both conformant plans and conditional plans in the presence of sensing actions, incomplete information about the initial state, and static causal laws. We prove the c

APA, Harvard, Vancouver, ISO, and other styles

8

Cheng, Yongkang, Shaoli Huang, Xuelin Chen, Jifeng Ning, and Mingming Gong. "DIDiffGes: Decoupled Semi-Implicit Diffusion Models for Real-time Gesture Generation from Speech." Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 3 (2025): 2464–72. https://doi.org/10.1609/aaai.v39i3.32248.

Full text

Abstract:

Diffusion models have demonstrated remarkable synthesis quality and diversity in generating co-speech gestures. However, the computationally intensive sampling steps associated with diffusion models hinder their practicality in real-world applications. Hence, we present DIDiffGes, for a Decoupled Semi-Implicit Diffusion model-based framework, that can synthesize high-quality, expressive gestures from speech using only a few sampling steps. Our approach leverages Generative Adversarial Networks (GANs) to enable large-step sampling for diffusion model. We decouple gesture data into body and hand

APA, Harvard, Vancouver, ISO, and other styles

9

Li, John M., Amal Ahmed, and Steven Holtzen. "Lilac: A Modal Separation Logic for Conditional Probability." Proceedings of the ACM on Programming Languages 7, PLDI (2023): 148–71. http://dx.doi.org/10.1145/3591226.

Full text

Abstract:

We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures probabilistic independence. Inspired by an analogy with mutable state where sampling corresponds to dynamic allocation, we show how probability spaces over a fixed, ambient sample space appear to be the natural analogue of heap fragments, and present a new combining operation on them such that probability spaces behave like heaps and measurability of random variables behaves like ownership. This combining operation forms the basis for our model of separation, and produces a log

APA, Harvard, Vancouver, ISO, and other styles

10

Zhang, Huazong, Sumin Yang, Rundong Zhao, and Qiming Liu. "Finite-time flocking with collision-avoiding problem of a modified Cucker-Smale model." Mathematical Biosciences and Engineering 19, no. 10 (2022): 10332–43. http://dx.doi.org/10.3934/mbe.2022483.

Full text

Abstract:

<abstract><p>To achieve collision-avoiding flocking in finite time, a modified Cucker-Smale model with general inter-driving force is proposed. First, it is proved that the system can achieve conditional collision-avoiding flocking in finite time by imposing appropriate restrictions on the initial states. Moreover, a special case of the inter-driving force is demonstrated. Last, the correctness of the results is verified through numerical simulations.</p></abstract>

APA, Harvard, Vancouver, ISO, and other styles

11

Bhattacharyya, Rishiraj, Sourav Chakraborty, Yash Pote, Uddalok Sarkar, and Sayantan Sen. "Testing Self-Reducible Samplers." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 8 (2024): 7952–60. http://dx.doi.org/10.1609/aaai.v38i8.28632.

Full text

Abstract:

Samplers are the backbone of the implementations of any randomized algorithm. Unfortunately, obtaining an efficient algorithm to test the correctness of samplers is very hard to find. Recently, in a series of works, testers like Barbarik, Teq, Flash for testing of some particular kinds of samplers, like CNF-samplers and Horn-samplers, were obtained. However, their techniques have a significant limitation because one can not expect to use their methods to test for other samplers, such as perfect matching samplers or samplers for sampling linear extensions in posets. In this paper, we present a

APA, Harvard, Vancouver, ISO, and other styles

12

MAGRO, Valeriy, Valentine MOROZOV, and Serhii MARCHENKO. "ELECTRODYNAMIC ALGORITHM FOR CALCULATION OF THE REFLECTIVE ELEMENT OF A RECONFIGURABLE INTELLIGENT SURFACES." Information Technology: Computer Science, Software Engineering and Cyber Security, no. 1 (April 30, 2025): 143–48. https://doi.org/10.32782/it/2025-1-19.

Full text

Abstract:

The article is devoted to the study of a new approach to calculating the reflective element of a reconfigured intelligent surface. The solution of the electrodynamic problem is carried out based on a conditional division of the entire region of determination of the electromagnetic field in a single reflective element into two regions. The correctness of the application of the proposed approach for calculating the characteristics of a single reflective element is shown. In this article, a calculation of a single reflective element of a reconfigured intelligent surface is carried out. The numeri

APA, Harvard, Vancouver, ISO, and other styles

13

Ayem, Gabriel Terna, Augustine Shey Nsang, Bernard Igoche Igoche, and Garba Naankang. "Design and Validation of Structural Causal Model: A focus on SENSE-EGRA Datasets." International Journal of Advanced Science Computing and Engineering 6, no. 1 (2024): 45–51. http://dx.doi.org/10.62527/ijasce.6.1.200.

Full text

Abstract:

Designing and validation of causal model correctness from a dataset whose background knowledge is gotten from a research process is not a common phenomenon. In fact, studies have shown that in many critical areas such as healthcare and education, researchers develop models from direct acyclic graphs without testing them. This phenomenon is worrisome and is bound to cast a dark shadow on the inference estimates that many arise from such models. In this study, we have design a novel application-based SCM for the first time using the background knowledge gotten from the American university of Nig

APA, Harvard, Vancouver, ISO, and other styles

14

Ayem, Gabriel Terna, Augustine Shey Nsang, Bernard Igoche Igoche, and Garba Naankang. "Design and Validation of Structural Causal Model: A focus on SENSE-EGRA Datasets." International Journal of Advanced Science Computing and Engineering 5, no. 3 (2023): 257–68. http://dx.doi.org/10.62527/ijasce.5.3.177.

Full text

Abstract:

Designing and validation of causal model correctness from a dataset whose background knowledge is gotten from a research process is not a common phenomenon. In fact, studies have shown that in many critical areas such as healthcare and education, researchers develop models from direct acyclic graphs without testing them. This phenomenon is worrisome and is bound to cast a dark shadow on the inference estimates that many arise from such models. In this study, we have design a novel application-based SCM for the first time using the background knowledge gotten from the American university of Nig

APA, Harvard, Vancouver, ISO, and other styles

15

Lv, Xiaodie, Yi Liu, and Yihua Zhong. "A novel method to solve the optimization problem of uncertain network system based on uncertainty theory." AIMS Mathematics 8, no. 3 (2022): 5445–61. http://dx.doi.org/10.3934/math.2023274.

Full text

Abstract:

<abstract> <p>When the network optimization problem is discussed, in the actual situation, it is necessary to consider the uncertain factors in the network. This paper employs the theories of uncertainty, uncertain programming and network optimization to solve the uncertain network optimization problem. First, based on uncertainty theory and uncertainty graph, we redefine the concept of an uncertain network system, and propose a unified identification method for an uncertain network system based on a conditional uncertain measure matrix. Second, we establish the network optimizatio

APA, Harvard, Vancouver, ISO, and other styles

16

Ayem, Gabriel Terna, Ozcan Asilkan, and Aamo Iorliam. "Design and Validation of Structural Causal Model: A Focus on EGRA Dataset." Journal of Computing Theories and Applications 1, no. 2 (2023): 86–103. http://dx.doi.org/10.33633/jcta.v1i2.9304.

Full text

Abstract:

Designing and validating structural causal model (SCM) correctness from a dataset whose background knowledge is obtained from a research process is not a common phenomenon. Studies have shown that in many critical areas, such as healthcare and education, researchers develop models from direct acyclic graphs (DAG), a component of an SCM, without testing them. This phenomenon is worrisome and is bound to cast a shadow on the inference estimates that may arise from such models. In this study, we have designed a novel application-based SCM for the first time using the background knowledge obtained

APA, Harvard, Vancouver, ISO, and other styles

17

Bagnall, Alexander, Gordon Stewart, and Anindya Banerjee. "Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning." Proceedings of the ACM on Programming Languages 7, PLDI (2023): 1–24. http://dx.doi.org/10.1145/3591220.

Full text

Abstract:

We present Zar: a formally verified compiler pipeline from discrete probabilistic programs with unbounded loops in the conditional probabilistic guarded command language (cpGCL) to proved-correct executable samplers in the random bit model. We exploit the key idea that all discrete probability distributions can be reduced to unbiased coin-flipping schemes. The compiler pipeline first translates cpGCL programs into choice-fix trees, an intermediate representation suitable for reduction of biased probabilistic choices. Choice-fix trees are then translated to coinductive interaction trees for exe

APA, Harvard, Vancouver, ISO, and other styles

18

Fayazov, Kudratillo Sadridinovich, and Ikrombek Ozodovich Khajiev. "Conditional correctness of the initial-boundary value problem for a system of high-order mixed-type equations." Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, no. 2 (2022): 62–75. http://dx.doi.org/10.26907/0021-3446-2022-2-62-75.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Fayazov, Kudratillo Sadridinovich, and Zamira Shamshaddinovna Abdullayeva. "Conditional Correctness of the Internal Boundary Value Problem of the Pseudoparabolic Equation with a Changing Time Direction." Missouri Journal of Mathematical Sciences 32, no. 1 (2020): 49–60. http://dx.doi.org/10.35834/2020/3201049.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Fayazov, K. S., and I. O. Khajiev. "Conditional Correctness of the Initial-Boundary Value Problem for a System of High-Order Mixed-Type Equations." Russian Mathematics 66, no. 2 (2022): 53–63. http://dx.doi.org/10.3103/s1066369x22020025.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Kudratillo, Fayazov, and Khajiev Ikrombek. "Conditional stability and regularized solution of a boundary value problem for a system of mixed type equations in three-dimensional space." Filomat 38, no. 19 (2024): 6773–84. https://doi.org/10.2298/fil2419773k.

Full text

Abstract:

In this paper, we study the initial-boundary value problem for the system of second-order mixed-type equations in three-dimensional space. Boundary value problems for equations of mixed type are used in problems of gas dynamics, the theory of infinitesimal bending of surfaces, mathematical biology and other fields. An a priory estimate of the solution is obtained. Theorems of uniqueness and conditional stability are given. A regularized approximate solution is constructed in two cases, which is stable on the set of correctness. Estimates of effectiveness of the regularization method are obtain

APA, Harvard, Vancouver, ISO, and other styles

22

Ikrombek O., Khajiev. "Conditional Correctness and Approximate Solution of Boundary Value Problem for the System of Second Order Mixed-type Equations." Journal of Siberian Federal University. Mathematics & Physics 11, no. 2 (2018): 231–41. http://dx.doi.org/10.17516/1997-1397-2018-11-2-231-241.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Yamagishi, Kimihiko. "Facilitating Normative Judgments of Conditional Probability: Frequency or Nested Sets?" Experimental Psychology 50, no. 2 (2003): 97–106. http://dx.doi.org/10.1026//1618-3169.50.2.97.

Full text

Abstract:

Abstract. Recent probability judgment research contrasts two opposing views. Some theorists have emphasized the role of frequency representations in facilitating probabilistic correctness; opponents have noted that visualizing the probabilistic structure of the task sufficiently facilitates normative reasoning. In the current experiment, the following conditional probability task, an isomorph of the “Problem of Three Prisoners” was tested. “A factory manufactures artificial gemstones. Each gemstone has a 1/3 chance of being blurred, a 1/3 chance of being cracked, and a 1/3 chance of being clea

APA, Harvard, Vancouver, ISO, and other styles

24

Hein, Thura Aung, and Hone Pha Sao. "Building Footprint Delineation from UAV Image Using Deep Learning." International Journal of Advance Study and Research Work 3, no. 1 (2020): 07–12. https://doi.org/10.5281/zenodo.3614890.

Full text

Abstract:

<em>Manual digitization of building footprints from high-resolution images takes more time and human resources, and it is more difficult for future updates.  In this paper, building footprints are automatically delineated using a deep learning algorithm, which is a conditional generative adversarial network (CGAN).  First, the red, green, blue (RGB) Unmanned Aerial Vehicle (UAV) image of the Yangon Technological University (YTU) campus is manually digitized for building footprints.  Second, both UAV image and digitized images are sliced into smaller images, and the sliced images

APA, Harvard, Vancouver, ISO, and other styles

25

Suominen, Hanna, Maree Johnson, Liyuan Zhou, et al. "Capturing patient information at nursing shift changes: methodological evaluation of speech recognition and information extraction." Journal of the American Medical Informatics Association 22, e1 (2014): e48-e66. http://dx.doi.org/10.1136/amiajnl-2014-002868.

Full text

Abstract:

Abstract Objective We study the use of speech recognition and information extraction to generate drafts of Australian nursing-handover documents. Methods Speech recognition correctness and clinicians’ preferences were evaluated using 15 recorder–microphone combinations, six documents, three speakers, Dragon Medical 11, and five survey/interview participants. Information extraction correctness evaluation used 260 documents, six-class classification for each word, two annotators, and the CRF++ conditional random field toolkit. Results A noise-cancelling lapel-microphone with a digital voice reco

APA, Harvard, Vancouver, ISO, and other styles

26

Du, Yang, and Ma. "Multi-Harmonic Source Localization Based on Sparse Component Analysis and Minimum Conditional Entropy." Entropy 22, no. 1 (2020): 65. http://dx.doi.org/10.3390/e22010065.

Full text

Abstract:

Aiming at the fact that the independent component analysis algorithm requires more measurement points and cannot solve the problem of harmonic source location under underdetermined conditions, a new method based on sparse component analysis and minimum conditional entropy for identifying multiple harmonic source locations in a distribution system is proposed. Under the condition that the network impedance is unknown and the number of harmonic sources is undetermined, the measurement node configuration algorithm selects the node position to make the separated harmonic current more accurate. The

APA, Harvard, Vancouver, ISO, and other styles

27

Razin, Paula, and Iwona Grabarek. "The concept of driver takeover assessment in the vehicles with conditional automation." WUT Journal of Transportation Engineering 121 (June 1, 2018): 319–27. http://dx.doi.org/10.5604/01.3001.0014.4614.

Full text

Abstract:

The article presents the concept of driver takeover assessment in the vehicles with conditional automation. The signals are used to inform the driver about the necessity to take over the control in automated vehicles when considering automated driving scenarios (e.g. highway chauffeur). The article presents preliminary results of the research concerning the efficiency of different modality signals. The research was carried out on multisensoric stand in driving simulator AS1200-6. Such research on one hand enabled the verification of the efficiency of multisensoric stand’s operation. On the oth

APA, Harvard, Vancouver, ISO, and other styles

28

Bogdanovic, Milos. "Quine’s naturalized epistemology and skepticism." Theoria, Beograd 67, no. 4 (2024): 27–40. https://doi.org/10.2298/theo2404027b.

Full text

Abstract:

When it comes to Quine?s position on the naturalization of epistemological research, it is generally considered that as the first and most important step, that position implies the abandonment of Cartesianism and the skepticism it implies. However, here we will argue that such a diagnosis is inappropriate, and that, in principle at least, Quine?s attitude towards skepticism, even of the Cartesian type, is much more flexible than is usually thought, and perhaps even than Quine himself thought. In this regard, we will try to show how Quine was actually the one who accepted what Barry Stroud call

APA, Harvard, Vancouver, ISO, and other styles

29

A.V., Sedelnikov. "Algorithm for Experimental Estimation of the Conditional Threshold for the Duration of Low Temperatures Exposure on the Example of the Laboratory-Reared Population of Lymanrtia Dispar." WSEAS TRANSACTIONS ON BIOLOGY AND BIOMEDICINE 19 (December 15, 2022): 215–21. http://dx.doi.org/10.37394/23208.2022.19.23.

Full text

Abstract:

The paper substantiates the introduction of a new parameter into the development model of the laboratory-reared population of Lymantria dispar, formulates and mathematically formalizes the parameter, and develops an algorithm for its experimental evaluation. It increases the correctness and adequacy of the mathematical description of the population development in terms of assessing the main parameters of its development used earlier in the model. The obtained results can be used to study the development of laboratory-reared populations of Lymantria dispar, as well as to understand the dynamics

APA, Harvard, Vancouver, ISO, and other styles

30

Golysheva, Valentina. "Intercultural Language Competence and Business Communication." Armenian Folia Anglistika 10, no. 1-2 (12) (2014): 107–11. http://dx.doi.org/10.46991/afa/2014.10.1-2.107.

Full text

Abstract:

Teaching modern languages for specific purposes requires the investigation of the interaction of language and socio-cultural aspects, the knowledge of which predetermines successful acquisition of intercultural competence by the students. Students studying business language should be recommended to do the research in the theory of language planning namely Political Correctness (PC). Observing politeness strategy, i.e. avoiding direct imposition either in conditional requests or imperatives might be useful for students studying English to be learned as value one. To reduce the level of impositi

APA, Harvard, Vancouver, ISO, and other styles

31

Zygmunt, Maciej. "Ważenie praw i wolności konstytucyjnych w procesie sądowego stosowania prawa." Przegląd Prawa Konstytucyjnego 73, no. 3 (2023): 127–39. http://dx.doi.org/10.15804/ppk.2023.03.09.

Full text

Abstract:

The article analyzes the issue of the cognition of courts to weigh constitutional rights and freedoms, both in relation to vertical and horizontal relations. The view is defended that the courts are obliged to apply the weighing mechanism to constitutional rights – pursuant to Art. 31 sec. 3 and Art. 31 sec. 2 sentences 1 of the Constitution of the Republic of Poland. The constitutional adequacy of the final determination of the conditional priority relationship between the competing principles of law by the legislator is being examined. It is shown that the conclusiveness and correctness of e

APA, Harvard, Vancouver, ISO, and other styles

32

Burla, Maria Cristina, Giovanni Luca Cascarano, Carmelo Giacovazzo, and Giampiero Polidori. "The phantom derivative method when a structure model is available: about its theoretical basis." Acta Crystallographica Section A Foundations and Advances 73, no. 3 (2017): 218–26. http://dx.doi.org/10.1107/s2053273317001334.

Full text

Abstract:

This study clarifies why, in the phantom derivative (PhD) approach, randomly created structures can help in refining phases obtained by other methods. For this purpose the joint probability distribution of target, model, ancil and phantom derivative structure factors and its conditional distributions have been studied. Since PhD may usenphantom derivatives, withn≥ 1, a more general distribution taking into account all the ancil and derivative structure factors has been considered, from which the conditional distribution of the target phase has been derived. The corresponding conclusive formula

APA, Harvard, Vancouver, ISO, and other styles

33

Kenduiywo, B. K., D. Bargiel, and U. Soergel. "CROP TYPE MAPPING FROM A SEQUENCE OF TERRASAR-X IMAGES WITH DYNAMIC CONDITIONAL RANDOM FIELDS." ISPRS Annals of Photogrammetry, Remote Sensing and Spatial Information Sciences III-7 (June 7, 2016): 59–66. http://dx.doi.org/10.5194/isprsannals-iii-7-59-2016.

Full text

Abstract:

Crop phenology is dynamic as it changes with times of the year. Such biophysical processes also look spectrally different to remote sensing satellites. Some crops may depict similar spectral properties if their phenology coincide, but differ later when their phenology diverge. Thus, conventional approaches that select only images from phenological stages where crops are distinguishable for classification, have low discrimination. In contrast, stacking images within a cropping season limits discrimination to a single feature space that can suffer from overlapping classes. Since crop backscatter

APA, Harvard, Vancouver, ISO, and other styles

34

Kenduiywo, B. K., D. Bargiel, and U. Soergel. "CROP TYPE MAPPING FROM A SEQUENCE OF TERRASAR-X IMAGES WITH DYNAMIC CONDITIONAL RANDOM FIELDS." ISPRS Annals of Photogrammetry, Remote Sensing and Spatial Information Sciences III-7 (June 7, 2016): 59–66. http://dx.doi.org/10.5194/isprs-annals-iii-7-59-2016.

Full text

Abstract:

Crop phenology is dynamic as it changes with times of the year. Such biophysical processes also look spectrally different to remote sensing satellites. Some crops may depict similar spectral properties if their phenology coincide, but differ later when their phenology diverge. Thus, conventional approaches that select only images from phenological stages where crops are distinguishable for classification, have low discrimination. In contrast, stacking images within a cropping season limits discrimination to a single feature space that can suffer from overlapping classes. Since crop backscatter

APA, Harvard, Vancouver, ISO, and other styles

35

Hu, Qiguo, and Jinyin He. "Path Sets Combination Method for Reliability Analysis of Phased-Mission Systems Based on Cumulative Exposure Model." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 36, no. 5 (2018): 995–1003. http://dx.doi.org/10.1051/jnwpu/20183650995.

Full text

Abstract:

The modeling of phased-mission systems is difficult and the solving process is complex because of the relevance of the phase tasks and the sharing of components existing in different phases or between phases. To solve the problem, based on the cumulative exposure model, the path sets combination method of phased-mission systems is proposed. Aiming at the problem of the cross-stage correlation of components and its different failure rate in each phase, the cumulative exposure model considering the historical damage of components is used to solve by obtaining the cumulative damage distribution o

APA, Harvard, Vancouver, ISO, and other styles

36

Liu, Xiaohua, Li Kuan, Ming Zhou, and Zhongyang Xiong. "Enhancing Semantic Role Labeling for Tweets Using Self-Training." Proceedings of the AAAI Conference on Artificial Intelligence 25, no. 1 (2011): 896–901. http://dx.doi.org/10.1609/aaai.v25i1.7965.

Full text

Abstract:

Semantic Role Labeling (SRL) for tweets is a meaningful task that can benefit a wide range of applications such as fine-grained information extraction and retrieval from tweets. One main challenge of the task is the lack of annotated tweets, which is required to train a statistical model. We introduce self-training to SRL, leveraging abundant unlabeled tweets to alleviate its depending on annotated tweets. A novel strategy of tweet selection is presented, ensuring the chosen tweets are both correct and informative. More specifically, the correctness is estimated according to the labeling confi

APA, Harvard, Vancouver, ISO, and other styles

37

Bachor, Pascal, and Gregor Behnke. "Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 18 (2024): 20028–35. http://dx.doi.org/10.1609/aaai.v38i18.29980.

Full text

Abstract:

Domain learning is the task of finding an action model that can explain given observed plan executions, so-called traces. It allows us to automate the identification of actions' preconditions and effects instead of relying on hand-modeled expert knowledge. While previous research has put forth various techniques and covers multiple planning formalisms, the theoretical foundations of domain learning are still in their infancy. We investigate the most basic setting, that is grounded classical planning without negative preconditions or conditional effects with full observability of the state vari

APA, Harvard, Vancouver, ISO, and other styles

38

Wei, Jiacheng, Tong Chen, Haolin Wen, and Haobang Liu. "Time-Varying Reliability Analysis of Integrated Power System Based on Dynamic Bayesian Network." Systems 13, no. 7 (2025): 541. https://doi.org/10.3390/systems13070541.

Full text

Abstract:

In response to the limitations of traditional static reliability analysis methods in characterizing the reliability changes of the Integrated Power System, this paper proposes a time-varying reliability analysis framework based on a Dynamic Bayesian Network. By embedding a multi-physics coupled degradation model into the conditional probability nodes of the Dynamic Bayesian Network, a joint stochastic differential equation for the degradation process was constructed, and the dynamic correlation between continuous degradation and discrete fault events throughout the entire life cycle was achiev

APA, Harvard, Vancouver, ISO, and other styles

39

Wang, Xinyang, Haozhe Li, Qiao Sun, et al. "The g-Good-Neighbor Conditional Diagnosability of Exchanged Crossed Cube under the MM* Model." Symmetry 14, no. 11 (2022): 2376. http://dx.doi.org/10.3390/sym14112376.

Full text

Abstract:

Diagnosability plays an important role in appraising the reliability and fault tolerance of symmetrical multiprocessor systems. The novel g-good-neighbor conditional diagnosability restrains that every fault-free node contains at least g fault-free neighbors and is suitable for large scale multiprocessor systems, attracting a lot of research attention. The relationships between the g-good-neighbor connectivity and g-good-neighbor diagnosability of graphs under the MM* model are separately studied, but only applicable in regular graphs or just ranges rather than exact values. As a promising net

APA, Harvard, Vancouver, ISO, and other styles

40

Tanana, V. P., M. E. Korzhova, and B. A. Markov. "On the protective layer boundary determining error in the thermal conductivity inverse problem." Journal of Physics: Conference Series 2099, no. 1 (2021): 012048. http://dx.doi.org/10.1088/1742-6596/2099/1/012048.

Full text

Abstract:

Abstract The article studies the problem of determining the error introduced by the inaccuracy of determining the thickness of a protective heat-resistant coating for composite materials. The mathematical problem is the heat conduction equation on an inhomogeneous half-line. The temperature on the outer side of the half-line (x = 0) is considered unknown on an infinite time interval. To find it, the temperature is measured at the media section at the point x = x0. An analytical study of the direct problem is carried out in the work. It made it possible to formulate the inverse problem mathemat

APA, Harvard, Vancouver, ISO, and other styles

41

Liu, Weiyi, Kun Yue, Mingliang Yue, Zidu Yin, and Binbin Zhang. "A Bayesian Network-Based Approach for Incremental Learning of Uncertain Knowledge." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 26, no. 01 (2018): 87–108. http://dx.doi.org/10.1142/s021848851850006x.

Full text

Abstract:

Bayesian network (BN) is the well-accepted framework for representing and inferring uncertain knowledge. To learn the BN-based uncertain knowledge incrementally in response to the new data is useful for analysis, prediction, decision making, etc. In this paper, we propose an approach for incremental learning of BNs by focusing on the incremental revision of BN’s graphical structures. First, we give the concept of influence degree to describe the influence of new data on the existing BN by measuring the variation of BN’s probability parameters w.r.t. the likelihood of the new data. Then, for th

APA, Harvard, Vancouver, ISO, and other styles

42

Zuo, Xin. "Visualization of Football Tactics with Deep Learning Models." Wireless Communications and Mobile Computing 2022 (June 2, 2022): 1–11. http://dx.doi.org/10.1155/2022/9259328.

Full text

Abstract:

In the last several years, computer vision tasks involving visual identification and tracking have seen a rise in the usage of deep learning technologies in recent years. An extremely difficult but rewarding endeavor is identifying and following football players’ targets. This may be used to study football tactical visualization. Due to the similar appearance and frequent occlusion of targets in football video, traditional methods often can only segment targets such as players and balls in the image but cannot track them or can only track them for a short time. Based on the related research of

APA, Harvard, Vancouver, ISO, and other styles

43

Wu, Xingyu, Bingbing Jiang, Tianhao Wu, and Huanhuan Chen. "Practical Markov Boundary Learning without Strong Assumptions." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 9 (2023): 10388–98. http://dx.doi.org/10.1609/aaai.v37i9.26236.

Full text

Abstract:

Theoretically, the Markov boundary (MB) is the optimal solution for feature selection. However, existing MB learning algorithms often fail to identify some critical features in real-world feature selection tasks, mainly because the strict assumptions of existing algorithms, on either data distribution, variable types, or correctness of criteria, cannot be satisfied in application scenarios. This paper takes further steps toward opening the door to real-world applications for MB. We contribute in particular to a practical MB learning strategy, which can maintain feasibility and effectiveness in

APA, Harvard, Vancouver, ISO, and other styles

44

Trofimenko, J. V., V. A. Ginzburg, V. I. Komkov, and V. M. Lytov. "INFLUENCE OF THE MOTOR VEHICLE PARKING STRUCTURE BY FUEL TYPE AND ECOLOGICAL CLASS ON GREENHOUSE GAS EMISSIONS." Russian Automobile and Highway Industry Journal 15, no. 6 (2019): 898–910. http://dx.doi.org/10.26518/2071-7296-2018-6-898-910.

Full text

Abstract:

Introduction. The results of estimating greenhouse gas (GHG) emissions by a vehicle fleet are described, using the COPERT-4 methodology and the baseline data contained in 1-BDD form, concerning the number of vehicle fleets in Russia and three options for detailing the fleet structure by the fuel type and ecological class in different organizations. Such data is not provided in the forms of state statistical reports and is generated by the researchers.Materials and methods. Various approaches to the structuring of the park by the fuel type and the ecological class give a slight variation in the

APA, Harvard, Vancouver, ISO, and other styles

45

BAKANOV, G. B., and S. К. MELDEBEKOVA. "STABILITY OF THE DIFFERENTIAL-DIFFERENCE ANALOG OF THE INTEGRAL GEOMETRY PROBLEM WITH A WEIGHT FUNCTION." Q A Iasaýı atyndaǵy Halyqaralyq qazaq-túrіk ýnıversıtetіnіń habarlary (fızıka matematıka ınformatıka serııasy), no. 1 (March 15, 2022): 67–75. http://dx.doi.org/10.47526/2022-2/2524-0080.06.

Full text

Abstract:

In this paper, we consider the problem of Integral geometry, which is brought to the problem of difference for a mixed-type equation for a bunch of curves that satisfy some regularity conditions. The study of distinctive analogues of Integral geometry problems has its own complex points, due to the fact that for limited-distinctive analogues of independent derivatives, the main relations are carried out with a certain shift over a discrete variable. Therefore, many relationships obtained in continuous representation take on a more complex form when switching to a discrete analog, and require f

APA, Harvard, Vancouver, ISO, and other styles

46

Elchishcheva, Yulia B., Natalya Sergeevna Lakhtina, and Petr Timofeevich Pavlov. "Investigation of the reaction of complex formation of Co(II) ions with N-(2-hydroxybenzoyl)-N'-(p-tosyl)hydrazine in ammonia medium." Вестник Пермского университета. Серия «Химия» = Bulletin of Perm University. CHEMISTRY 12, no. 2 (2022): 78–87. http://dx.doi.org/10.17072/2223-1838-2022-2-78-87.

Full text

Abstract:

A technique has been developed for the spectrophotometric determination of Co(II) ions with N-(2-hydroxybenzoyl)-N'-(p-tosyl)hydrazine (GBSH) in an ammonia medium. The absorption spectra of the reagent and its complex with Co(II) ions have been recorded and analyzed. The optimal conditions for the formation of the complex compound were found: the pH range of complex formation; optimal time for color development; amount of photometric reagent. Under optimal conditions for the complexation of GBSG with Co(Ⅱ) ions, a calibration graph was constructed. The Bouguer-Lambert-Beer law is fulfilled in

APA, Harvard, Vancouver, ISO, and other styles

47

Boroń, Michał, and Anna Brągoszewska. "310/2020 Ministry of Science and Higher Education Ranking 20 pt. in category of journals listed on the ranking published by Ministry of Science and Higher Education. IC Journals Masters List 2019 94,04 pt. (Index Copernicus Value) Internal validation of LRmix Studio biostatistical software." Issues of Forensic Science 306 (2019): 71–80. http://dx.doi.org/10.34836/pk.2019.306.4.

Full text

Abstract:

The source of DNA in a stain is never known with full certainty despite the fact that the evidential profile may match a DNA profile of a given person from the population. The statistical methods, including the likelihood ratio (LR) allow estimating the evidential power of the obtained result and assessing the ratio of the odds between competing hypotheses as to the origin of a DNA profile or mixture. Therefore using analyses based on probabilistic methods seems to be logically justified and allows reducing the subjectivism of interpretation of results. Thorough knowledge and understanding of

APA, Harvard, Vancouver, ISO, and other styles

48

Elchishcheva, Yulia B., Aleksandra S. Sorokina, and Petr T. Pavlov. "Study of reaction of Cu(II) ions with N-(benzoyl)-N'-(phenylsulfonil)hydrazine in ammonia medium by the spectrophotometric method." Вестник Пермского университета. Серия «Химия» = Bulletin of Perm University. CHEMISTRY 13, no. 3 (2023): 150–59. http://dx.doi.org/10.17072/2223-1838-2023-3-150-159.

Full text

Abstract:

The reaction of complexation of N-(benzoyl)-N'-(phenylsulfonyl)hydrazine with Cu(II) ions in an ammonia medium has been studied. The absorption spectra of the reagent and its complex with Cu(II) ions have been recorded and analyzed. The optimal conditions for the formation of the complex compound were found: the pH range of complex formation; optimal time for color development; amount of photometric reagent. Under optimal conditions for the complex formation of BPSH with Cu(II) ions, a calibration graph was constructed. The Bouguer-Lambert-Beer law is fulfilled in the range from 0,5 to 1,75 mg

APA, Harvard, Vancouver, ISO, and other styles

49

Zhao, Yiqiang, Boning Shi, Qizhi Zhang, Yidong Yuan, and Jiaji He. "Research on Cache Coherence Protocol Verification Method Based on Model Checking." Electronics 12, no. 16 (2023): 3420. http://dx.doi.org/10.3390/electronics12163420.

Full text

Abstract:

This paper analyzes the underlying logic of the processor’s behavior level code. It proposes an automatic model construction and formal verification method for the cache consistency protocol with the aim of ensuring data consistency in the processor and the correctness of the cache function. The main idea of this method is to analyze the register transfer level (RTL) code directly at the module level and variable level, and extract the key modules and key variables according to the code information. Then, based on key variables, conditional behavior statements are retrieved from the code, and

APA, Harvard, Vancouver, ISO, and other styles

50

Pei, Xiaoyang. "Design of a Wireless Sensor Network-Based Risk Assessment Algorithm for Cave Collapse." Mobile Information Systems 2022 (May 31, 2022): 1–8. http://dx.doi.org/10.1155/2022/8568181.

Full text

Abstract:

Accidents frequently happen during tunnel and subway construction. This study defines the cave collapse types based on the investigation results of a cave collapse in Yanchang County, the precise scenario of the cave collapse, paired with Yan’an City. Flac3D software is used to simulate the slope before and after the excavation of the cave. The findings of comparing the stress and strain characteristics of the soil slope lead to the cave’s destruction. A comprehensive risk probability estimation method based on interval probability level of accident tree and Bayesian network, weight confidence

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!