Academic literature on the topic 'Lightweight CNN'

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 'Lightweight CNN.'

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 "Lightweight CNN"

1

Sharma, Akshay Kumar, and Kyung Ki Kim. "Lightweight CNN based Meter Digit Recognition." JOURNAL OF SENSOR SCIENCE AND TECHNOLOGY 30, no. 1 (2021): 15–19. http://dx.doi.org/10.46670/jsst.2021.30.1.15.

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

Zheng, Yujie, Lei Guan, and Haohong Li. "The Low-light License Plate Recognition via CNN." Journal of Physics: Conference Series 2424, no. 1 (2023): 012028. http://dx.doi.org/10.1088/1742-6596/2424/1/012028.

Full text
Abstract:
Abstract The low-light license plate recognition (LPR) is an important task in LPR, and the task of low-light LPR is a challenge in LPR. Compared with ordinary LPR, low-light LPR is more challenging. The first is that there are few studies on low-light LPR, and there is a lack of dedicated datasets. Besides, there are few lightweight networks dedicated to low-light LPR. The lack of lightweight private networks makes it difficult to deploy LPR methods efficiently. Based on this, this paper proposes a low-light LPR method. Specifically, we propose a dataset dedicated to low-light LPR with a samp
APA, Harvard, Vancouver, ISO, and other styles
3

Zhou, Wenjing, Xueyan Zhu, Mengmeng Gu, and Fengjun Chen. "Spruce Counting Based on Lightweight Mask R-CNN with UAV Images." International Journal of Circuits, Systems and Signal Processing 15 (July 20, 2021): 634–42. http://dx.doi.org/10.46300/9106.2021.15.70.

Full text
Abstract:
To achieve rapid and accurate counting of seedlings on mobile terminals such as Unmanned Aerial Vehicle (UAV), we propose a lightweight spruce counting model. Given the difficulties of spruce adhesion and complex environment interference, we adopt the Mask R-CNN as the basic model, which performs instance-level segmentation of the target. To successfully apply the basic model to the mobile terminal applications, we modify the Mask R-CNN model in terms of the light-weighted as follows: the feature extraction network is changed to MobileNetV1 network; NMS is changed to Fast NMS. At the implement
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Zhong, and Tong Li. "A Lightweight CNN Model Based on GhostNet." Computational Intelligence and Neuroscience 2022 (July 31, 2022): 1–12. http://dx.doi.org/10.1155/2022/8396550.

Full text
Abstract:
The existing deep learning models have problems such as large weight parameters and slow inference speed of equipment. In practical applications such as fire detection, they often cannot be deployed on equipment with limited resources due to the huge amount of parameters and low efficiency. In response to this problem, this paper proposes a lightweight smoke detection model based on the convolutional attention mechanism module. The model is based on the YOLOv5 lightweight framework. The backbone network draws on the GhostNet design idea, replaces the CSP structure of the FPN and head layers wi
APA, Harvard, Vancouver, ISO, and other styles
5

Tian, Chunwei, Ruibin Zhuge, Zhihao Wu, et al. "Lightweight image super-resolution with enhanced CNN." Knowledge-Based Systems 205 (October 2020): 106235. http://dx.doi.org/10.1016/j.knosys.2020.106235.

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

Tesfai, Huruy, Hani Saleh, Mahmoud Al-Qutayri, et al. "Lightweight Shufflenet Based CNN for Arrhythmia Classification." IEEE Access 10 (2022): 111842–54. http://dx.doi.org/10.1109/access.2022.3215665.

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

Negera, Worku Gachena, Friedhelm Schwenker, Degaga Wolde Feyisa, Taye Girma Debelee, and Henock Mulugeta Melaku. "Hierarchical Classification of Botnet Using Lightweight CNN." Applied Sciences 14, no. 10 (2024): 3966. http://dx.doi.org/10.3390/app14103966.

Full text
Abstract:
This paper addresses the persistent threat of botnet attacks on IoT devices, emphasizing their continued existence despite various conventional and deep learning methodologies developed for intrusion detection. Utilizing the Bot-IoT dataset, we propose a hierarchical CNN (HCNN) approach featuring three levels of classification. The HCNN approach, presented in this paper, consists of two networks: the non-hierarchical and the hierarchical network. The hierarchical network works by combining features obtained at a higher level with those of its descender. This combined information is subsequentl
APA, Harvard, Vancouver, ISO, and other styles
8

Yang, Jing, GaoJian Xu, MengDao Yang, and ZhengPei Lin. "Lightweight wavelet-CNN tea leaf disease detection." PLOS One 20, no. 5 (2025): e0323322. https://doi.org/10.1371/journal.pone.0323322.

Full text
Abstract:
Tea diseases can significantly impact crop yield and quality, necessitating accurate and efficient recognition methods. This study presents WaveLiteNet, a lightweight model designed for tea disease recognition, addressing the challenge of inadequate disease feature extraction in existing approaches. By integrating 2D discrete wavelet transform (DWT) with MobileNetV3, the model enhances noise suppression and feature extraction through an adaptive thresholding strategy in the 2D DWT. The extracted frequency-domain features are fused with depth features from the Bneck structure, enabling a more c
APA, Harvard, Vancouver, ISO, and other styles
9

Wan, Yi, Xianzhong Xie, Junfan Chen, et al. "ADS-CNN: Adaptive Dataflow Scheduling for lightweight CNN accelerator on FPGAs." Future Generation Computer Systems 158 (September 2024): 138–49. http://dx.doi.org/10.1016/j.future.2024.04.038.

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

Çetintaş, Dilber, and Zehra Yücel. "DeepFake Detection Using Fine-Tuned CNN Architectures." Celal Bayar Üniversitesi Fen Bilimleri Dergisi 21, no. 1 (2025): 121–28. https://doi.org/10.18466/cbayarfbe.1530209.

Full text
Abstract:
Synthetic images have gained significant popularity, producing high-quality visuals that are challenging to distinguish from real images. Computer-generated images have become increasingly realistic and misleading as artificial intelligence models advance. The easy dissemination of synthetic images online has raised concerns about their potential misuse. An automated detection system has become essential to safeguard personal privacy. Such a system is also critical for preventing manipulation, maintaining social order, and preserving the authenticity of images. This study compares lightweight
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Lightweight CNN"

1

Schennings, Jacob. "Deep Convolutional Neural Networks for Real-Time Single Frame Monocular Depth Estimation." Thesis, Uppsala universitet, Avdelningen för systemteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-336923.

Full text
Abstract:
Vision based active safety systems have become more frequently occurring in modern vehicles to estimate depth of the objects ahead and for autonomous driving (AD) and advanced driver-assistance systems (ADAS). In this thesis a lightweight deep convolutional neural network performing real-time depth estimation on single monocular images is implemented and evaluated. Many of the vision based automatic brake systems in modern vehicles only detect pre-trained object types such as pedestrians and vehicles. These systems fail to detect general objects such as road debris and roadside obstacles. In s
APA, Harvard, Vancouver, ISO, and other styles
2

Gah, Dadehys Noellie Prisca. "How ECOWAS negotiating team can strenghen the legal provisions of Cote D'Ivoire EPA as to benefit the whole region : a legal analysis of the Cote D'Ivoire interim EPA." Diss., University of Pretoria, 2010. http://hdl.handle.net/2263/28472.

Full text
Abstract:
The paper examines through a legal analysis of some articles of the Cote d’Ivoire Stepping Stone Agreement, how ECOWAS can strengthened its approach in negotiating a comprehensive EPA for the region. These articles are scrutinized with a special focus on market access as to point out fields that need to be re-thinked with regard objectives set out in the agreement. It is argue that current bilateral and multilateral Trade and Investment Agreements are shrinking in their legal framework the policy space need for development in countries that need it the most. This study, underlines the fact tha
APA, Harvard, Vancouver, ISO, and other styles
3

Chang, Yi-Chen, and 張宜榛. "Optimization of CNC Machine Tools Lightweight Structure Design." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/n4mmfe.

Full text
Abstract:
碩士<br>國立高雄應用科技大學<br>模具工程系<br>103<br>The CNC industry of Taiwan is growing fast recently. The requirements of the precision machinery design are high value, high performance, and low cost. This research is focused on the structure design to achieve goals of light weight and high rigidity of a CNC machine. Structure optimum design of a CNC was helpful to increase the performance of CNC machine and be more market competitive. The structure design of a CNC machine was optimized using methods of the parameter design and the topology design, respectively. The structure design parameters of a CNC mac
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Lightweight CNN"

1

Boileau, James M., ed. Developments in Lightweight Aluminum Alloys for Automotive Applications: 2001-2005. SAE International, 2006. http://dx.doi.org/10.4271/9780768017168.

Full text
Abstract:
The use of lightweight materials in automotive application has greatly increased in the past two decades. A need to meet customer demands for vehicle safety, performance and fuel efficiency has accelerated the development, evaluation and employment of new lightweight materials and processes. The 50 SAE Technical papers contained in this publication document the processes, guidelines, and physical and mechanical properties that can be applied to the selection and design of lightweight components for automotive applications. The book starts off with an introduction section containing two 1920 pa
APA, Harvard, Vancouver, ISO, and other styles
2

Spahn, Michael, Julian Dax, Fahri Yetim, and Volkmar Pipek. Enabling Users of Enterprise Systems to Mash Up Resources and Develop Widgets. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198733249.003.0014.

Full text
Abstract:
Companies operating in a dynamic environment need to continuously adapt their information systems to changing business processes and associated information needs. Viewed from a microperspective, business users are managing and executing business processes with standard enterprise resource planning systems (ERPs) based on service-oriented architectures on a daily basis but are often not able to adapt the software they use to their individual needs and working practices. This chapter presents the development and evaluation of a prototypic environment that enables users to create enterprise widge
APA, Harvard, Vancouver, ISO, and other styles
3

Forrest, Stephen R. Organic Electronics. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198529729.001.0001.

Full text
Abstract:
Organic electronics is a platform for very low cost and high performance optoelectronic and electronic devices that cover large areas, are lightweight, and can be both flexible and conformable to irregularly shaped surfaces such as foldable smart phones. Organics are at the core of the global organic light emitting device (OLED) display industry, and also having use in efficient lighting sources, solar cells, and thin film transistors useful in medical and a range of other sensing, memory and logic applications. This book introduces the theoretical foundations and practical realization of devi
APA, Harvard, Vancouver, ISO, and other styles
4

Quotes, Deluxe. Gravitation Can Not Be Held Responsible for People Falling in Love: Beautiful Notebook Gift Idea, Elegant Journal, Sarcastic Inspirational Quotes, Practical Months and Days Timeline, 100 Pages of High Quality, Lightweight and Compact. Independently Published, 2020.

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

Publishing, Deluxe. Life Is Not Like a Movie Which You Can Stop and Repeat: Lined Notebook/Journal Gift Idea, Elegant Inspirational Motivation Quotes Cover, 100 Pages of High Quality, 6 X9 Lightweight and Compact, Premium Matte Finish. Independently Published, 2020.

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

Quotes, Deluxe. Give Me Your Photo So I Can Show Santa What I Want for Christmas: Beautiful Notebook Gift Idea, Elegant Journal, Sarcastic Inspirational Quotes, Practical Months and Days Timeline, 100 Pages of High Quality, Lightweight and Compact. Independently Published, 2020.

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

Quotes, Deluxe. There Is a Place You Can Touch a Woman That Will Drive Her Crazy. Her Heart: Beautiful Notebook Gift Idea, Elegant Journal, Sarcastic Inspirational Quotes, Practical Months and Days Timeline, 100 Pages of High Quality, Lightweight and Compact. Independently Published, 2020.

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

Quotes, Deluxe. There Is a Place You Can Touch a Woman That Will Drive Her Crazy. Her Heart: Beautiful Notebook Gift Idea, Elegant Journal, Sarcastic Inspirational Quotes, Practical Months and Days Timeline, 100 Pages of High Quality, Lightweight and Compact. Independently Published, 2020.

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

Quotes, Deluxe. I Might Get a Job Cleaning Mirrors. It's Definitely a Job I Can See Myself Doing: Beautiful Notebook Gift Idea, Elegant Journal, Sarcastic Inspirational Quotes, Practical Months and Days Timeline, 100 Pages of High Quality, Lightweight and Compact. Independently Published, 2020.

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

Quotes, Deluxe. Finally It's Friday and I Can Go Out. I'm Putting the Garbage Out and I'll Be Right Back: Beautiful Notebook Gift Idea, Elegant Journal, Sarcastic Inspirational Quotes, Practical Months and Days Timeline, 100 Pages of High Quality, Lightweight and Compact. Independently Published, 2020.

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

Book chapters on the topic "Lightweight CNN"

1

Alam, Tanvirul, and Akib Khan. "Lightweight CNN for Robust Voice Activity Detection." In Speech and Computer. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-60276-5_1.

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

Nandhini, C., and M. Brindha. "Analysis of Pest Recognition Using Lightweight CNN." In Springer Proceedings in Mathematics & Statistics. Springer International Publishing, 2012. http://dx.doi.org/10.1007/978-3-031-15175-0_37.

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

Kolla, Morarjee, and T. Venugopal. "Diabetic Retinopathy Classification Using Lightweight CNN Model." In Lecture Notes in Electrical Engineering. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-16-7985-8_131.

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

Muñoz, Bastián, Beatriz Remeseiro, and Eduardo Aguilar. "Towards a Lightweight CNN for Semantic Food Segmentation." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-76607-7_1.

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

Manonmani, T., B. Vijayakumari, K. Thirumoorthy, and M. Chengathir Selvi. "Lightweight One-Dimensional CNN for Cardiac Arrhythmia Classification." In Artificial Intelligence in Telemedicine. CRC Press, 2023. http://dx.doi.org/10.1201/9781003307778-2.

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

Hussain, Muhammad, and Hussain Al-Aqrabi. "Child Emotion Recognition via Custom Lightweight CNN Architecture." In Kids Cybersecurity Using Computational Intelligence Techniques. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-21199-7_12.

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

Lmoussaoui, Mohamed, El Hassan Ait Laasri, Abderrahman Atmani, and Driss Agliz. "A Lightweight CNN Model for Tomato Crop Disease Detection." In International Conference on Advanced Intelligent Systems for Sustainable Development. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-35248-5_21.

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

Hollard, Lilian, Lucas Mohimont, and Luiz Angelo Steffenel. "Designing Lightweight CNN for Images: Architectural Components and Techniques." In Advancing Edge Artificial Intelligence. River Publishers, 2024. http://dx.doi.org/10.1201/9781003478713-5.

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

Turhal, Uğur, Asuman Günay Yilmaz, and Vasif Nabiyev. "Lightweight Hybrid CNN Model for Face Presentation Attack Detection." In Communications in Computer and Information Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-73420-5_19.

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

Sheng, Yu, Yiyi Hong, Yongchang Jia, and Guihua Duan. "LiteSCTransNet: Lightweight CNN-Transformer for 3D Medical Image Segmentation." In Lecture Notes in Computer Science. Springer Nature Singapore, 2025. https://doi.org/10.1007/978-981-95-0695-8_29.

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

Conference papers on the topic "Lightweight CNN"

1

Opitz, Juri. "AMR Quality Rating with a Lightweight CNN." In Proceedings of the 1st Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 10th International Joint Conference on Natural Language Processing. Association for Computational Linguistics, 2020. http://dx.doi.org/10.18653/v1/2020.aacl-main.27.

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

Xing, Jinhui, Zhang Chen, Hui Zhang, Yanfang Fu, Guochuang Yan, and Jiang Du. "LWLC-CNN: Ultra-lightweight Network Traffic Classification Algorithm." In 2024 IEEE 22nd International Conference on Industrial Informatics (INDIN). IEEE, 2024. https://doi.org/10.1109/indin58382.2024.10774251.

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

John, Sani, and Jibukumar Mg. "Lightweight Sequential CNN for Alzheimer’s Disease Progress Classification." In 2024 Asian Conference on Intelligent Technologies (ACOIT). IEEE, 2024. https://doi.org/10.1109/acoit62457.2024.10939666.

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

Jiang, Hongyu, Weihong Wu, Ying Wang, and Jiang Liu. "Lightweight Application Identification Framework based on 1D-CNN Approach." In 2024 IEEE/CIC International Conference on Communications in China (ICCC). IEEE, 2024. http://dx.doi.org/10.1109/iccc62479.2024.10682010.

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

Ma, Tian, JiaLi Qian, Xue Qin, and DanDan Yu. "Lightweight Dental Lesion Segmentation Algorithm Based on Transformer and CNN." In 2024 9th International Conference on Image, Vision and Computing (ICIVC). IEEE, 2024. https://doi.org/10.1109/icivc61627.2024.10837496.

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

Mehmood, Mehwish, Majed Alsharari, Shahzaib Iqbal, Ivor Spence, and Muhammad Fahim. "RetinaLiteNet: A Lightweight Transformer based CNN for Retinal Feature Segmentation." In 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE, 2024. http://dx.doi.org/10.1109/cvprw63382.2024.00252.

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

Chang, You-Yi, Kuei-Jung Hung, and Jau-Woei Perng. "Intelligent Railway Block System Design with Lightweight CNN and RFID." In 2024 International Automatic Control Conference (CACS). IEEE, 2024. https://doi.org/10.1109/cacs63404.2024.10773268.

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

Liu, Chih-Chieh, Qiulin Tang, Liang Cai, Zhou Yu, and Jian Zhou. "Coronary artery centerline extraction using a robust lightweight CNN approach." In Computer-Aided Diagnosis, edited by Susan M. Astley and Axel Wismüller. SPIE, 2025. https://doi.org/10.1117/12.3046259.

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

Anam, Iftekhar, Naiem Arafat, Md Eshmam Rayed, M. F. Mridha, and Jungpil Shin. "PlantNet-Lite: A Lightweight CNN Approach for Plant Disease Recognition." In 2024 International Conference on Decision Aid Sciences and Applications (DASA). IEEE, 2024. https://doi.org/10.1109/dasa63652.2024.10836561.

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

Mossi, Moctar I. "Lightweight CNN for Sorghum Plant Counting: A Patch-Wise Approach." In 2024 International Conference on Decision Aid Sciences and Applications (DASA). IEEE, 2024. https://doi.org/10.1109/dasa63652.2024.10836652.

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

Reports on the topic "Lightweight CNN"

1

Fitzlaff, Milan, Gibran Khoury, Moritz Käß, Martin Werz, Bernd Gundelsweiler, and Stefan Weihe. Investigations on injection mold inserts with reduced thermal masses using additive manufacturing. Universidad de los Andes, 2024. https://doi.org/10.51573/andes.pps39.gs.im.3.

Full text
Abstract:
This work examined previously developed injection mold inserts with reduced thermal mass, with regard to lightweight construction approaches. These were optimised for oil-variothermal temperature control using simulative support. Additive manufacturing (AM), with its high degree of freedom in design, enables the implementation of individual, conformal cooling channels and can additionally support the efficiency of the variothermal process. The thermal mass of the injection mold is often a limiting factor in terms of process efficiency, which is also addressed in the analysis and optimisation c
APA, Harvard, Vancouver, ISO, and other styles
2

Deb, Robin, Paramita Mondal, and Ardavan Ardeshirilajimi. Bridge Decks: Mitigation of Cracking and Increased Durability—Materials Solution (Phase III). Illinois Center for Transportation, 2020. http://dx.doi.org/10.36501/0197-9191/20-023.

Full text
Abstract:
Type K cement offers a lower slump than conventional concrete, even at a higher water-to-cement ratio. Therefore, a suitable chemical admixture should be added to the Type K concrete mix design at a feasible dosage to achieve and retain target slump. In this project, a compatibility study was performed for Type K concrete with commercially available water-reducing and air-entraining admixtures. Slump and air content losses were measured over a period of 60 minutes after mixing and a particular mid-range water-reducing admixture was found to retain slump effectively. Furthermore, no significant
APA, Harvard, Vancouver, ISO, and other styles
3

Gil, Oliver Fernández, and Anni-Yasmin Turhan. Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. Technische Universität Dresden, 2020. http://dx.doi.org/10.25368/2022.261.

Full text
Abstract:
Classical regular path queries (RPQs) can be too restrictive for some applications and answering such queries under approximate semantics to relax the query is desirable. While for answering regular path queries over graph databases under approximate semantics algorithms are available, such algorithms are scarce for the ontology-mediated setting. In this paper we extend an approach for answering RPQs over graph databases that uses weighted transducers to approximate paths from the query in two ways. The first extension is to answering approximate conjunctive 2-way regular path queries (C2RPQs)
APA, Harvard, Vancouver, ISO, and other styles
4

Light. L52011 Development of Fieldable Magnet and Digital MIVC Stress Measurement Techniques. Pipeline Research Council International, Inc. (PRCI), 2002. http://dx.doi.org/10.55274/r0010147.

Full text
Abstract:
The objective of this project was to start the process of making the MIVC technique simple and cost effective for use in the field by reducing both the size of the required sensors and instrumentation and the calibration requirements. Three steps were taken to meet this objective: (1) design and build a small, lightweight magnetic circuit that can be handled by a single technician, (2) reduce the number and size of the instruments used to perform the MIVC measurements, and (3) investigate the variability of the MIVC calibration curves among different pipe grades and the feasibility of establis
APA, Harvard, Vancouver, ISO, and other styles
5

Zarrieß, Benjamin, and Patrick Koopmann. On the Complexity of Verifying Timed Golog Programs over Description Logic Actions (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.241.

Full text
Abstract:
Golog programs allow to model complex behaviour of agents by combining primitive actions defined in a Situation Calculus theory using imperative and non-deterministic programming language constructs. In general, verifying temporal properties of Golog programs is undecidable. One way to establish decidability is to restrict the logic used by the program to a Description Logic (DL), for which recently some complexity upper bounds for verification problem have been established. However, so far it was open whether these results are tight, and lightweight DLs such as EL have not been studied at all
APA, Harvard, Vancouver, ISO, and other styles
6

Borgwardt, Stefan, Walter Forkel, and Alisa Kovtunova. Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. Technische Universität Dresden, 2019. http://dx.doi.org/10.25368/2023.223.

Full text
Abstract:
Lightweight temporal ontology languages have become a very active field of research in recent years. Many real-world applications, like processing electronic health records (EHRs), inherently contain a temporal dimension, and require efficient reasoning algorithms. Moreover, since medical data is not recorded on a regular basis, reasoners must deal with sparse data with potentially large temporal gaps. In this paper, we introduce a temporal extension of the tractable language ELH⊥, which features a new class of convex diamond operators that can be used to bridge temporal gaps. We develop a com
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, and Oliver Fernández Gil. Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.229.

Full text
Abstract:
In a recent research paper, we have proposed an extension of the lightweight Description Logic (DL) EL in which concepts can be defined in an approximate way. To this purpose, the notion of a graded membership function m, which instead of a Boolean membership value 0 or 1 yields a membership degree from the interval [0; 1], was introduced. Threshold concepts can then, for example, require that an individual belongs to a concept C with degree at least 0:8. Reasoning in the threshold DL T EL(m) obtained this way of course depends on the employed graded membership function m. The paper defines a
APA, Harvard, Vancouver, ISO, and other styles
8

Tehrani, Fariborz. Strategized Reduction of Greenhouse Gas Emissions Through Predicting and Extending the Service Life of Concrete Pavements and Bridges. Mineta Transportation Institute, 2025. https://doi.org/10.31979/mti.2025.2447.

Full text
Abstract:
Strong, durable concrete is key to resilient, long-lasting transportation infrastructure—especially in the face of climate change. This project explores innovative strategies for predicting and enhancing the service life of concrete in pavement and bridge systems, addressing the pressing need for sustainable transportation infrastructure. As concrete is pivotal to the durability and resilience of such structures, its environmental impact demands urgent attention. This project aims to reduce greenhouse gas emissions throughout their lifecycle by extending the service life of concrete pavements
APA, Harvard, Vancouver, ISO, and other styles
9

Lever, James, and Jason Weale. High efficiency fuel sleds for Polar traverses. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/43445.

Full text
Abstract:
We describe here the evolution of lightweight, high-efficiency fuel sleds for Polar over-snow traverses. These sleds consist of flexible bladders strapped to sheets of high molecular weight polyethylene. They cost 1/6th, weigh 1/10th and triple the fuel delivered per towing tractor compared with steel sleds. An eight-tractor fleet has conducted three 3400-km roundtrips to South Pole with each travers delivering 320,000 kg of fuel while emitting &lt;1% the pollutants, consuming 1/2 the fuel and saving $1.6 M compared with aircraft resupply. A two tractor fleet in Greenland recently delivered 83
APA, Harvard, Vancouver, ISO, and other styles
10

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
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!