Relevant bibliographies by topics / C-Logit

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'C-Logit'

Author: Grafiati
Published: 3 June 2025
Last updated: 31 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'C-Logit.'

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.

Journal articles on the topic "C-Logit"

1

Liu, Bingquan, Yonghong Zhang, and Wei Du. "A Simplified C-Logit Stochastic User Equilibrium Model on Bimodal Transportation Network." Mathematical Problems in Engineering 2020 (April 25, 2020): 1–8. http://dx.doi.org/10.1155/2020/3702965.

Full text
Abstract:
This paper investigates the C-logit stochastic user equilibrium (SUE) problem on a bimodal transportation network with road and rail travel modes. The C-logit model captures the overlapping effect among the different paths via commonality factors; sequentially, it has ability to obtain a more realistic traffic flow distribution pattern. In this paper, when we redefine the link travel cost functions and employ a binary Logit model for the mode split, the bimodal C-logit SUE model can be simplified into an unconstrained nonlinear mathematical programming formulation. Such model is verified to sa
APA, Harvard, Vancouver, ISO, and other styles
2

Chin, Wei Ai, Lee Vien Leong, Shafida Azwina Mohd Shafie, Hamid A. Al-Jameel, and Wins Cott Goh. "Assessment of Route Choice Models for Dynamic Traffic Assignment using Microscopic Simulation." Engineering, Technology & Applied Science Research 15, no. 2 (2025): 20990–97. https://doi.org/10.48084/etasr.9854.

Full text
Abstract:
Travel forecasting models predict changes in the travel patterns and propose improvements. This study evaluates the parameters in route choice models, such as binomial, proportional, multinomial logit, and C-logit in microscopic simulation-based dynamic traffic assignment. The average Geoffrey E. Havers (GEH) index of each route choice model was tabulated when comparing the simulated flow of the junctions with the observed flow. The results indicated that the binomial model generally yields the lowest GEH value, but since the model does not consider the travel costs in the decision process, it
APA, Harvard, Vancouver, ISO, and other styles
3

Łapczyński, Mariusz. "Hybrid C&RT-Logit Models In Churn Analysis." Folia Oeconomica Stetinensia 14, no. 2 (2014): 37–52. http://dx.doi.org/10.1515/foli-2015-0006.

Full text
Abstract:
Abstract This article attempts to explain and predict the termination of relationships in telecommunications services by using the hybrid C&RT-logit model. The combination of decision trees (C&RT algorithm) with the logistic model enriches the model interpretation and sometimes improves the accuracy of prediction. Decision trees permit to detect interactions among variables and make the model resistant to outliers and to lack of data. On the other hand, the logistic model can extend the interpretation by using odds ratios. The solution delivered by the hybrid approach was compared with
APA, Harvard, Vancouver, ISO, and other styles
4

Xu, Xiangdong, and Anthony Chen. "C-logit stochastic user equilibrium model with elastic demand." Transportation Planning and Technology 36, no. 5 (2013): 463–78. http://dx.doi.org/10.1080/03081060.2013.818275.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Inchul, Yang, and Hoon Jeon Woo. "INVESTIGATION AND COMPARISON OF ROUTE CHOICE MODELS." GLOBAL JOURNAL OF ENGINEERING SCIENCE AND RESEARCHES 4, no. 10 (2017): 50–55. https://doi.org/10.5281/zenodo.1009312.

Full text
Abstract:
In this study, MNL and C-logit are investigated as GEV type model, and MNP as non-GEV type model. Three models are tested in a very simple network to compare their performance and usefulness in practice. The layout of the paper is as follows. Section 2 provides a theoretical aspect of MNL, C-logit and MNP. Section 3 shows implementation of the models in a simple network and comparison of the results. Section 4 provides conclusion.
APA, Harvard, Vancouver, ISO, and other styles
6

Sentanu, Wayan Yogie, Aleksander Purba, and Rahayu Sulistyorini. "Analisis Pemilihan Moda Transportasi Penumpang Antara Kereta Api dan Bus Rute Bandar Lampung – Palembang dengan Metode Discrete Choice Model." Jurnal Rekayasa Sipil dan Desain 9, no. 1 (2021): 119–30. https://doi.org/10.23960/jrsdd.v9i1.1692.

Full text
Abstract:
Choosing the right mode of transportation is something that passengers want, but with the advantages and disadvantages of existing transportation modes can affect the number of users of these modes of transportation. The purpose of this study was to determine the factors and probability of choosing the mode of passenger transportation between trains and buses with the Bandar Lampung - Palembang route. The method used in this research is the Discrete Choice Model method, with the analysis used is linear regression analysis of the two models used, namely the difference binary logit model and the
APA, Harvard, Vancouver, ISO, and other styles
7

Zhou, Zhong, Anthony Chen, and Shlomo Bekhor. "C-logit stochastic user equilibrium model: formulations and solution algorithm." Transportmetrica 8, no. 1 (2012): 17–41. http://dx.doi.org/10.1080/18128600903489629.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Prashker, J. N., and S. Bekhor. "Investigation of Stochastic Network Loading Procedures." Transportation Research Record: Journal of the Transportation Research Board 1645, no. 1 (1998): 94–102. http://dx.doi.org/10.3141/1645-12.

Full text
Abstract:
The network loading process of stochastic traffic assignment is investigated. A central issue in the assignment problem is the behavioral assumption governing route choice, which concerns the definition of available routes and the choice model. These two problems are addressed and reviewed. Although the multinomial logit model can be implemented efficiently in stochastic network loading algorithms, the model suffers from theoretical drawbacks, some of them arising from the independence of irrelevant alternatives property. As a result, the stochastic loading on routes that share common links is
APA, Harvard, Vancouver, ISO, and other styles
9

Wibowo, Wisnu, and Amir Ambyah Zakaria. "Kerentanan Perbankan di Indonesia: Pengukuran dan Penyebabnya." Jurnal Ekonomi dan Pembangunan Indonesia 21, no. 1 (2021): 1–13. http://dx.doi.org/10.21002/jepi.v21i1.1312.

Full text
Abstract:
This study aims to identify banking vulnerabilities and analyze the factors that influence them. The tool used to identify bank vulnerabilities uses modification crisis and default index (C&D Index) while hypothesis testing uses logit regression. Commercial banks in Indonesia from 2008 to 2018 was taken as sample. As a result, in 2008 and 2013 were the most vulnerable conditions for banks in Indonesia. The reason most banks have been identified as vulnerable is due to decreased profits, increased liabilities in foreign currencies and increased Non Performing Loan (NPL). Logit regression te
APA, Harvard, Vancouver, ISO, and other styles
10

van den Berg, J., J. B. J. Van Rensburg, and K. L. Pringle. "Comparative injuriousness of Busseola fusca (Lepidoptera: Noctuidae) and Chilo partellus (Lepidoptera: Pyralidae) on grain sorghum." Bulletin of Entomological Research 81, no. 2 (1991): 137–42. http://dx.doi.org/10.1017/s0007485300051191.

Full text
Abstract:
AbstractThe comparative influence of Busseola fusca (Fuller) and Chilo partellus (Swinhoe), both as separate and mixed populations, on growth and yield of grain sorghum was investigated in a field experiment, using an artificial infestation in cages. C. partellus was more injurious than B. fusca as indicated by whorl damage, stalk injury and yield loss. In the case of mixed populations, dispersion of larvae and damage were independent of B. fusca numbers. A regression equation, Logit Y = 0.24 + 2.06 logit x, relating visible plant damage to yield loss was determined. Control strategies in the
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "C-Logit"

1

Henrici, Thomas Gordon. "Implementation of c-axis microbridges for high-T←c superconducting logic devices." Thesis, University of Strathclyde, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366917.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

ALVES, MARIA DO CARMO ELIAS. "A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1993. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=8753@1.

Full text
Abstract:
A aplicação de linguagens declarativas baseadas na programação em lógica tem sido bastante difundida devido ao grande interesse hoje existente na área de Inteligência Artificial. Porém, o uso destas linguagens ainda não é muito evidente devido à restrições de desempenho, portabilidade, capacidade de integração com outras linguagens, etc. O presente trabalho contém a definição e implementação de uma extensão de programação em lógica para o C, denominada CLog, que têm como objetivo suprir as deficiências acima, permitindo, principalmente, a implementação de aplicações que apresentem
APA, Harvard, Vancouver, ISO, and other styles
3

Howlett, Des Peter. "Introducing a clocked muller C-element to increase logic throughput." Thesis, University of Reading, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.577789.

Full text
Abstract:
Conventionally-designed digital circuits are encountering speed limits which cannot be overcome due to constraints imposed by the basic laws of physics. Synchronous designs are relatively easy to produce, but require the system clock to run at the speed of the slowest part of the entire circuit. Self-timed (asynchronous) circuits offer the promise of being able to use resources more effectively, however they require much more design effort while not always delivering the expected gains. This thesis presents a method of combining the advantages of both synchronous and asynchronous techniques by
APA, Harvard, Vancouver, ISO, and other styles
4

VanDewerker, Sara A. "Efficient Muller C-Element Implementation for Null Convention Logic Asynchronous Register Feedback Circuit." University of Cincinnati / OhioLINK, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1623240553118388.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

McNamara, Brian. "Multiparadigm programming novel devices for implementing functional and logic programming constructs in C++ /." Diss., Available online, Georgia Institute of Technology, 2004:, 2004. http://etd.gatech.edu/theses/available/etd-07122004-121450/unrestricted/mcnamara%5Fbrian%5Fm%5F200407%5Fphd.pdf.

Full text
Abstract:
Thesis (Ph. D.)--College of Computing, Georgia Institute of Technology, 2005. Directed by Yannis Smaragdakis.<br>Spencer Rugaber, Committee Member ; Olin Shivers, Committee Member ; Mary Jean Harrold, Committee Member ; Yannis Smaragdakis, Committee Chair ; Philip Wadler, Committee Member. Includes bibliographical references.
APA, Harvard, Vancouver, ISO, and other styles
6

Tuch, Harvey Computer Science &amp Engineering Faculty of Engineering UNSW. "Formal memory models for verifying C systems code." Publisher:University of New South Wales. Computer Science & Engineering, 2008. http://handle.unsw.edu.au/1959.4/41233.

Full text
Abstract:
Systems code is almost universally written in the C programming language or a variant. C has a very low level of type and memory abstraction and formal reasoning about C systems code requires a memory model that is able to capture the semantics of C pointers and types. At the same time, proof-based verification demands abstraction, in particular from the aliasing and frame problems. In this thesis, we study the mechanisation of a series of models, from semantic to separation logic, for achieving this abstraction when performing interactive theorem-prover based verification of C systems code i
APA, Harvard, Vancouver, ISO, and other styles
7

Єрмоленко, О. П. "Модуль генерації математичної моделі компетенцій на базі логіки антонімів". Thesis, Чернігів, 2021. http://ir.stu.cn.ua/123456789/22778.

Full text
Abstract:
Єрмоленко, О. П. Модуль генерації математичної моделі компетенцій на базі логіки антонімів : дипломна робота : 121 - Інженерія програмного забезпечення / О. П. Єрмоленко ; керівник роботи І. В. Білоус ; НУ "Чернігівська політехніка", кафедра інформаційних технологій та програмної інженерії. – Чернігів, 2021. – 78 с.<br>Об’єкт розробки – модуль генерації математичної моделі компетенцій на базі логіки антонімів. В результаті роботи модуль має наступний функціонал: − графічне створення моделі; − додавання підрівнів; − збереження та відновлення моделі з файлу; − зміна діаметру вершин; − вибір тип
APA, Harvard, Vancouver, ISO, and other styles
8

Berni, Jean Cerqueira. "Some algebraic and logical aspects of C&#8734-Rings." Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-14022019-203839/.

Full text
Abstract:
As pointed out by I. Moerdijk and G. Reyes in [63], C&#8734-rings have been studied specially for their use in Singularity Theory and in order to construct topos models for Synthetic Differential Geometry. In this work, we follow a complementary trail, deepening our knowledge about them through a more pure bias, making use of Category Theory and accounting them from a logical-categorial viewpoint. We begin by giving a comprehensive systematization of the fundamental facts of the (equational) theory of C&#8734-rings, widespread here and there in the current literature - mostly without proof - w
APA, Harvard, Vancouver, ISO, and other styles
9

Aleritsch, Benjamin [Verfasser], Friedrich C. [Akademischer Betreuer] Simmel, Ulrich [Gutachter] Gerland, and Friedrich C. [Gutachter] Simmel. "Construction, optimization and characterization of a functionally complete logic gate based on CRISPRi in Escherichia coli / Benjamin Aleritsch ; Gutachter: Ulrich Gerland, Friedrich C. Simmel ; Betreuer: Friedrich C. Simmel." München : Universitätsbibliothek der TU München, 2020. http://d-nb.info/1206434333/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kunčar, Ondřej Verfasser], Tobias [Akademischer Betreuer] [Gutachter] [Nipkow, and Lawrence C. [Gutachter] Paulson. "Types, Abstraction and Parametric Polymorphism in Higher-Order Logic / Ondřej Kunčar. Betreuer: Tobias Nipkow. Gutachter: Lawrence C. Paulson ; Tobias Nipkow." München : Universitätsbibliothek der TU München, 2016. http://d-nb.info/1106382153/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "C-Logit"

1

Rao, Valluru. C++ neural networks and fuzzy logic. MIS:Press, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rao, Valluru. C++ neural networks and fuzzy logic. 2nd ed. MIS:Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Welstead, Stephen T. Neural network and fuzzy logic applications in C/C [plus plus]. Wiley, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Smith, Jo Ann. C++ programs to accompany programming logic and design. Course Technology Cengage Learning, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Rao, Valluru. C [plus plus] neural networks and fuzzy logic. MIS Press, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Rao, Valluru. C [plus plus] neural networks and fuzzy logic. 2nd ed. MIS Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Geudens, Christophe, and Lorenz Demey. The Modal Logic of John Fabri of Valenciennes (c. 1500). Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-98802-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

B, Tucker Allen, ed. Fundamentals of computing I: Logic, problem solving, programs, and computers : C++ laboratory manual. McGraw-Hill, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Italian Workshop on Fuzzy Logic (2nd 1997 Bari, Italy). New trends in fuzzy logic II: Proceedings of the Second Italian Workshop on Fuzzy Logic 1997, Bari, Italy, 19-20 March 1997 / c editors, Pamela Blonda ... [et al.]. World Scientific, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Inc, NetLibrary, ed. The nonlinear workbook: Chaos, fractals, cellular automata, neural networks, genetic algorithms, fuzzy logic : with C++, Java, SymbolicC++ and Reduce programs. World Scientific, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "C-Logit"

1

Yong, Gui, and Yan Xu. "C-Logit Stochastic System Optimum Traffic Assignment." In Advances in Intelligent Systems and Computing. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-38789-5_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Łapczyński, Mariusz. "The Use of Hybrid Predictive C&RT-Logit Logit Models in Analytical CRM." In Analysis of Large and Complex Data. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-25226-1_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Omori, Hitoshi, and Heinrich Wansing. "Another Generalization of Connexive Logic C." In Trends in Logic. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-82994-9_9.

Full text
Abstract:
Abstract The present article aims at generalizing the approach to connexive logic thatwas initiated in [27], by following thework by Paul Egré and Guy Politzer. To this end, a variant of the connexive modal logic CK is introduced and some basic results including soundness and completeness results are established. A tableau calculus is also presented in an appendix.
APA, Harvard, Vancouver, ISO, and other styles
4

Haifani, Fajar, and Christoph Weidenbach. "Semantic Relevance." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_13.

Full text
Abstract:
AbstractA clause C is syntactically relevant in some clause set N, if it occurs in every refutation of N. A clause C is syntactically semi-relevant, if it occurs in some refutation of N. While syntactic relevance coincides with satisfiability (if C is syntactically relevant then $$N\setminus \{C\}$$ N \ { C } is satisfiable), the semantic counterpart for syntactic semi-relevance was not known so far. Using the new notion of a conflict literal we show that for independent clause sets N a clause C is syntactically semi-relevant in the clause set N if and only if it adds to the number of conflict
APA, Harvard, Vancouver, ISO, and other styles
5

Maksimović, Petar, Sacha-Élie Ayoun, José Fragoso Santos, and Philippa Gardner. "Gillian, Part II: Real-World Verification for JavaScript and C." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_38.

Full text
Abstract:
AbstractWe introduce verification based on separation logic to Gillian, a multi-language platform for the development of symbolic analysis tools which is parametric on the memory model of the target language. Our work develops a methodology for constructing compositional memory models for Gillian, leading to a unified presentation of the JavaScript and C memory models. We verify the JavaScript and C implementations of the AWS Encryption SDK message header deserialisation module, specifically designing common abstractions used for both verification tasks, and find two bugs in the JavaScript and
APA, Harvard, Vancouver, ISO, and other styles
6

Holzmann, Gerard J. "Logic Verification of ANSI-C Code with SPIN." In SPIN Model Checking and Software Verification. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722468_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ozaki, Yuri, and Daisuke Bekki. "Conditional Logic C b and Its Tableau System." In Logical Aspects of Computational Linguistics. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22221-4_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ward, Hubert Henry. "Analyzing Obscure Instructions and Logic Operators in C." In Programming Arduino Projects with the PIC Microcontroller. Apress, 2021. http://dx.doi.org/10.1007/978-1-4842-7230-5_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ascari, Flavio, Roberto Bruni, and Roberta Gori. "Logics for Extensional, Locally Complete Analysis via Domain Refinements." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_1.

Full text
Abstract:
AbstractAbstract interpretation is a framework to design sound static analyses by over-approximating the set of program behaviours. While over-approximations can prove correctness, they cannot witness incorrectness because false alarms may arise. An ideal, but uncommon, situation is completeness of the abstraction that can ensure no false alarm is introduced by the abstract interpreter. Local Completeness Logic is a proof system that can decide both correctness and incorrectness of a program: any provable triple $$\vdash _{A}[P]~\textsf{c}~[Q]$$ ⊢ A [ P ] c [ Q ] in the logic implies completen
APA, Harvard, Vancouver, ISO, and other styles
10

Ghosh, Suryanil. "Approach C — C d A New Contradiction Handling Strategy & Extended Logic Programs." In Intelligent Systems Third Golden West International Conference. Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-7108-3_44.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "C-Logit"

1

Kumar, Ramesh, Mrinal Dutta, and Sachit Rathee. "Solar photovoltaic MPPT analysis using PO-fuzzy logic controller and I-C fuzzy logic controller." In 2024 International Conference on Control, Computing, Communication and Materials (ICCCCM). IEEE, 2024. https://doi.org/10.1109/iccccm61016.2024.11039985.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Zilic, Zeljko. "Contributions of K. C. Smith in Applications of Multiple-Valued Logic." In 2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2025. https://doi.org/10.1109/ismvl64713.2025.00017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Miller, D. Michael. "On the Contributions to Multiple-Valued Logic by Prof. Kenneth C. Smith." In 2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2025. https://doi.org/10.1109/ismvl64713.2025.00047.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gaudet, Vincent. "Memories of K. C. Smith: Analog Computing, Multiple-Valued Logic and Machine Learning." In 2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2025. https://doi.org/10.1109/ismvl64713.2025.00018.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cabalar, Pedro, Thomas Eiter, and Davide Soldà. "Contracted Temporal Equilibrium Logic." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/21.

Full text
Abstract:
The stable model semantics of logic programs has been characterized by Equilibrium Logic, which is a non-monotonic formalism that selects models from the (monotonic) intermediate logic of Here-and-There. It provides stable models for arbitrary propositional formulas and has been fruitfully extended to different modal languages. Among them are theories in the syntax of Linear-Time Temporal Logic (LTL), giving rise to Temporal Equilibrium logic (TEL) based on Temporal Here-and-There (THT). In TEL, models are selected that minimize truth among THT traces of the same length. In this paper, we cons
APA, Harvard, Vancouver, ISO, and other styles
6

Saravanan, Harini, M. Rajesh, and Rajiv Vincent. "Fusion of C-Means Fuzzy Logic and Deep Neural Networks for Enhanced Fish Disease Detection." In 2024 15th International Conference on Computing Communication and Networking Technologies (ICCCNT). IEEE, 2024. http://dx.doi.org/10.1109/icccnt61001.2024.10724765.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Abdullah, Md, Ashraful Islam, Faisal Ahmed Chowdhury, and MD Ibrahim Khalil. "A Novel C-Grooved SPR PCF Biosensor for Early Detection of Malaria Using Fuzzy Logic." In 2024 International Conference on Recent Progresses in Science, Engineering and Technology (ICRPSET). IEEE, 2024. https://doi.org/10.1109/icrpset64863.2024.10955878.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lutz, Carsten, and Quentin Manière. "Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/50.

Full text
Abstract:
We study extensions of expressive decidable fragments of first-order logic with circumscription, considering in particular the two-variable fragment FO^2, its extension C^2 with counting quantifiers, and the guarded fragment GF. We prove that if only unary predicates are minimized (or fixed) during circumscription, then decidability of logical consequence is preserved. For FO^2 the complexity increases from NExp to NExp^NP-complete, for GF it (remarkably!) increases from 2Exp to Tower-complete, and for C^2 it remains open. We also consider querying circumscribed knowledge bases whose ontology
APA, Harvard, Vancouver, ISO, and other styles
9

Meyer, Fred H., and Robert N. Miller. "Optimizing Aircraft Maintenance by Predictive Corrosion Modeling." In CORROSION 1987. NACE International, 1987. https://doi.org/10.5006/c1987-87226.

Full text
Abstract:
Abstract A progress report is presented for a program to develop a predictive corrosion model which will enable optimum inspection and maintenance scheduling for Air Force planes. The model is based on the kinetics of corrosion reactions, the degradation rates of protective coating systems and the environmental conditions existing at various Air Force bases. Corrosion rates for 7075-T6 and 7075-T73 aluminum and 4340 and 300M steel in solutions containing varying amounts of atmospheric pollutants were determined. A procedure was developed for predicting crack growth on aircraft stationed in a v
APA, Harvard, Vancouver, ISO, and other styles
10

Lv, Ning, Wenyi Zhang, and Jihui Ma. "A Product-form C-logit Stochastic Traffic Assignment Model." In CSAE 2021: The 5th International Conference on Computer Science and Application Engineering. ACM, 2021. http://dx.doi.org/10.1145/3487075.3487176.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "C-Logit"

1

Tobies, Stephan. A NExpTime-Complete Description Logic Strictly Contained in C². Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.91.

Full text
Abstract:
We examine the complexity and expressivity of the combination of the Description Logic ALCQI with a terminological formalism based on cardinality restrictions on concepts. This combination can naturally be embedded into C², the two variable fragment of predicate logic with counting quantifiers. We prove that ALCQI has the same complexity as C² but does not reach its expressive power.
APA, Harvard, Vancouver, ISO, and other styles
2

Baader, Franz, Gerhard Brewka, and Oliver Fernández Gil. Adding Threshold Concepts to the Description Logic EL. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.215.

Full text
Abstract:
We introduce an extension of the lightweight Description Logic EL that allows us to de_ne concepts in an approximate way. For this purpose, we use a graded membership function, which for each individual and concept yields a number in the interval [0, 1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ then collect all the individuals that belong to C with degree ~ t. We generalize a well-known characterization of membership in EL concepts to construct a specific graded membership function deg, and investigate the complexity of reasoning in the
APA, Harvard, Vancouver, ISO, and other styles
3

Walter, K. E. R-189 (C-620) air compressor control logic software documentation. Revision 1. Office of Scientific and Technical Information (OSTI), 1995. http://dx.doi.org/10.2172/90070.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Walter, K. E. R-1 (C-620-A) and R-2 (C-620-B) air compressor control logic, computer software description. Revision 1. Office of Scientific and Technical Information (OSTI), 1995. http://dx.doi.org/10.2172/90072.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Zarrieß, Benjamin, and Jens Claßen. On the Decidability of Verifying LTL Properties of Golog Programs. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.200.

Full text
Abstract:
Golog is a high-level action programming language for controlling autonomous agents such as mobile robots. It is defined on top of a logic-based action theory expressed in the Situation Calculus. Before a program is deployed onto an actual robot and executed in the physical world, it is desirable, if not crucial, to verify that it meets certain requirements (typically expressed through temporal formulas) and thus indeed exhibits the desired behaviour. However, due to the high (first-order) expressiveness of the language, the corresponding verification problem is in general undecidable. In this
APA, Harvard, Vancouver, ISO, and other styles
6

Baader, Franz, та Oliver Fernández Gil. Extending the Description Logic τEL(deg) with Acyclic TBoxes. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.226.

Full text
Abstract:
In a previous paper, we have introduced an extension of the lightweight Description Logic EL that allows us to define concepts in an approximate way. For this purpose, we have defined a graded membership function deg, which for each individual and concept yields a number in the interval [0; 1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ 2 ∈ {&lt;, ≤, &gt;, ≥} then collect all the individuals that belong to C with degree ~ t. We have then investigated the complexity of reasoning in the Description Logic τEL(deg), which is obtained from EL b
APA, Harvard, Vancouver, ISO, and other styles
7

Barnett, Janet Heine. Origins of Boolean Algebra in the Logic of Classes: George Boole, John Venn and C. S. Peirce. The MAA Mathematical Sciences Digital Library, 2013. http://dx.doi.org/10.4169/loci003997.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Peñaloza, Rafael, and Anni-Yasmin Turhan. Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL⁰¹. Technische Universität Dresden, 2010. http://dx.doi.org/10.25368/2022.176.

Full text
Abstract:
In Description Logics the reasoning service most specific concept (msc) constructs a concept description that generalizes an ABox individual into a concept description. For the Description Logic EL the msc may not exist, if computed with respect to general EL-TBoxes or cyclic ABoxes. However, it is still possible to find a concept description that is the msc up to a fixed role-depth, i.e. with respect to a maximal nesting of quantifiers. In this report we present a practical approach for computing the roledepth bounded msc, based on the polynomial-time completion algorithm for EL. We extend th
APA, Harvard, Vancouver, ISO, and other styles
9

Koduru, Smitha. PR-244-173605-R01 Improving Corrosion ILI Sizing Models for Long Complex Corrosion Anomalies. Pipeline Research Council International, Inc. (PRCI), 2018. http://dx.doi.org/10.55274/r0011511.

Full text
Abstract:
The PRCI Corrosion Technical Committee was interested in improving ILI sizing analysis for long complex corrosion. A parallel PRCI research project, EC-4-5 Quantification of ILI Sizing Errors and Improving Correction Factors performed by C-FER, collected data and performed analysis to develop correction factors for ILI sizing errors based on high-resolution non-destructive laser scan data. The goals of this project are to expand on the parallel PRCI project EC-4-5 by developing burst pressure correction factors for long complex corrosion. This goal is achieved by determining the types of corro
APA, Harvard, Vancouver, ISO, and other styles
10

Kwek, Dennis Beng Kiat, Isabelle Khoo, and Siti Hawa Jonid. Redesigning the Singapore Coding Scheme 2 for Social Studies and Science. National Institute of Education, Nanyang Technological University, Singapore, 2022. https://doi.org/10.32658/10497/29670.

Full text
Abstract:
This Start-Up Grant (SUG) application aims to develop and redesign of the Singapore Coding Scheme 2 (SCS2) for Science. This project builds towards the Core 3 Panel 3 Research Program (Core 3) that seeks to record, measure and analyse the intellectual quality of knowledge work in Singapore classrooms. Building on the Core 1 and Core 2 research programs, Core 3 focuses on the relationships between instruction, pedagogy, assessment and student learning. The broad key objectives for Core 3 are: (a) to continue to develop the model of the logic of teaching and learning in Singapore classrooms expa
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'C-Logit' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography