检索结果-内蒙古大学图书馆

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8720卷 251-264页

作者： Parisi, Francesco Grant, John Department of Informatics Modeling Electronics and System Engineering University of Calabria Italy Department of Computer Science and UMIACS University of Maryland College Park United States

We formally introduce integrity constraints for probabilistic spatiotemporal knowledgebases. We start by defining the syntax and semantics of PST knowledgebases. This definition generalizes the SPOT framework which is a declarative framework for the representation and processing of probabilistic spatio-temporal data where probability is represented as an interval because of uncertainty. We augment the previous definition by adding a type of non-atomic formula that expresses integrity constraints. The result is a highly expressive formalism for knowledge representation dealing with probabilistic spatio-temporal data. Our main results concern the complexity of checking the consistency of PST knowledgebases. © Springer International Publishing Switzerland 2014.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

OER-based learning and people with disabilities

OER-based learning and people with disabilities

引用

International Conference on Interactive Collaborative and Blended Learning (ICBL)

作者： Rosa Navarrete Sergio Luján-Mora Department of Informatics and Computer Science National Polytechnic School Quito Ecuador Department of Software and Computing Systems University of Alicante Alicante Spain

The Open Educational Resources (OER) initiative is being promoted by governments and organizations related to education around the world in order to improve and equalize access to quality educational content to all people. OER are digital contents for teaching-learning purpose available through websites, released under an open intellectual property license to allow their free use for self-learners and educators. The OER-based learning is involved in formal and non-formal education and can be included in different educational environments, including Elearning. However, despite the growing availability of OER, most of these resources are not accessible to people with disabilities. Hence, the accessibility issues need to be addressed in order to include this vulnerable group of population in OER-based learning opportunities. An accessible environment should be twofold: accessibility of resources and accessibility of OER website that offers the resources. In this paper, we propose a process to guide the creation and release of accessible educational resources and their application to a case study. This case refers the creation of an educational resource accessible for people with severe visual impairments and its release through important OER websites. This accessible resource is a full online course that includes downloadable PDF documents. Moreover, OER websites, where this resource is released, are accessible for people with disabilities. Furthermore, this paper highlights the specific considerations for visual impairments in the design of this resource, and accessibility validation tests conducted with automated tools, simulation software, and user testing. The results of this experience allow recognizing certain problems in the creation of accessible resources as well as the limitations of OER websites to serve people with disabilities. In addition, this work contributes to the awareness about the inclusive vision of OER-based learning.

关键词： Visualization Education Software Portable document format Cities and towns Guidelines Organizations

来源：评论

学校读者我要写书评

暂无评论

Proceedings of 3rd International Conference on Artificial Intelligence: Advances and Applications 1

引用

丛书名： Algorithms for Intelligent systems

1000年

作者： Garima Mathur Mahesh Bundele Ashish Tripathi Marcin Paprzycki

ISBN: (数字)9789811970412

ISBN: (纸本)9789811970405;9789811970436

This book gathers outstanding research papers presented in the 3rd International Conference on Artificial Intelligence: Advances and Application (ICAIAA 2022), held in Poornima college of Engineering, Jaipur, India, during April 23–24, 2022. This book covers research works carried out by various students such as bachelor, master and doctoral scholars, faculty and industry persons in the area of artificial intelligence, machine learning, deep learning applications in health care, agriculture, and business, security. It also covers research in core concepts of computer networks, intelligent system design and deployment, real-time systems, WSN, sensors and sensor nodes, SDN, NFV, etc.

关键词： Computational Intelligence Artificial Intelligence Image Processing and computer Vision Natural Language Processing (NLP) Electronic Circuits and Devices

来源：评论

学校读者我要写书评

暂无评论

Interpretability of first-order dynamic logic in a relational calculus 6th

引用

6th International Conference on Relational Methods in computer science, RelMiCS 2001 and 1st Workshop of COST Action 274 Theory and Application of Relational Structures as Knowledge Instruments, TARSKI 2001

作者： Frias, Marcelo F. Baum, Gabriel A. Maibaum, Thomas S. E. Department of Computer Science School of Sciences Universidad de Buenos Aires Pabellón I Ciudad Universitaria Buenos Aires1428 Argentina LIFIA School of Informatics Universidad Nacional de La Plata C.C.11 Correo Central La PlataProvincia de Buenos Aires1900 Argentina Department of Computer Science King’s College University of London United Kingdom

ISBN: (纸本)3540003150

Dynamic logic has become a very useful tool in computer science, with direct applications in system specification. Here we show how to interpret first-order dynamic logic in an extension of the relational calculus of fork algebras. That is, reasoning in first-order dynamic logic can be replaced by equational reasoning in the extended relational calculus. This allows to: (a) incorporate the features of dynamic logic in a relational framework, and, (b) provide an equational calculus for reasoning in first-order dynamic logic. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Exploring the Integration of Educational Robotics and the Internet of Things in Learning Environments

Exploring the Integration of Educational Robotics and the In...

引用

International Conference on Distributed Computing in Sensor systems (DCOSS)

作者： Elena Kakoulli Salomi Evripidou Department of Computer Science Intelligent Systems Laboratory Neapolis University Pafos Pafos Cyprus Electrical Engineering and Computer Engineering and Informatics Cyprus University of Technology Limassol Cyprus

ISBN: (数字)9798350369441

ISBN: (纸本)9798350369458

This study explores the integration of Educational Robotics (ER) and the Internet of Things (IoT) in learning environments, highlighting their collective impact on educational practices. It assesses ER and IoT’s application, challenges, and opportunities, offering insights into their role in enhancing pedagogy and learning outcomes. Specifically, our exploration uncovers the transformative potential of ER and IoT in fostering critical thinking, problem-solving skills, and digital literacy among students and reveals the pivotal role these technologies play in preparing learners for the demands of the digital age and Industry 4.0, while also highlighting the need for strategic implementation and teacher support. Our findings elucidate the potential of ER and IoT to innovate teaching strategies and curriculum design, serving as a guide for educational stakeholders, such as curriculum developers, educators, researchers, and policymakers, in leveraging these technologies to revolutionize instructional practices.

关键词： Training Information age Fourth Industrial Revolution Internet of Things Stakeholders Problem-solving Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Organized Adaption in Multi-Agent systems 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： George Vouros Alexander Artikis Kostas Stathis Jeremy Pitt

ISBN: (数字)9783642023774

ISBN: (纸本)9783642023767

Adaptation, for purposes of self-healing, self-protection, self-management, or self-regulation, is currently considered to be one of the most challenging pr- erties of distributed systems that operate in dynamic, unpredictable, and - tentially hostile environments. Engineering for adaptation is particularly c- plicated when the distributed system itself is composed of autonomous entities that, on one hand, may act collaboratively and with benevolence, and, on the other,maybehavesel?***,theseentities have to coordinate themselves in order to adapt appropriately to the prevailing environmental conditions, and furthermore, to deliberate upon their own and the system’s con?guration, and to be transparent to their users yet consistent with any human requirements. The question, therefore, of “how to organize the envisagedadaptationforsuchautonomousentitiesinasystematicway”becomes of paramount importance. The ?rst international workshop on “Organized Adaptation in Multi-Agent systems” (OAMAS) was a one-day event held as part of the workshop p- gram arranged by the international conference on Autonomous Agents and Multi-Agent systems (AAMAS). It was hosted in Estoril during May, 2008, and was attended by more than 30 researchers. OAMAS was the steady convergence of a number of lines of research which suggested that such a workshop would be timely and opportune. This includes the areas of autonomic computing, swarm intelligence, agent societies, self-organizing complex systems, and ‘emergence’ in general.

关键词： Artificial Intelligence computer Communication Networks Software Engineering/Programming and Operating systems Software Engineering Operating systems Information Storage and Retrieval

来源：评论

学校读者我要写书评

暂无评论

Adaptive Federated Learning for Efficient Network Traffic Management in Edge Computing 4

Adaptive Federated Learning for Efficient Network Traffic Ma...

引用

4th International Conference on Ubiquitous Computing and Intelligent Information systems, ICUIS 2024

作者： Babu, Kuricheti Suresh Venkatasubramanian, S. Kishore, S. Sree, K. Kavya Ramya Susanna, Ch.Lavanya Rao, Goda Srinivasa Lakkshmanan, Ajanthaa Pace Institute of Technology and Sciences Department of Computer Science and Engineering AndhraPradesh Valluru India Saranathan college of engineering Department of Computer Science and Business Systems Trichy India B V Raju Institute Of Technology Department of Csbs Narsapur Telangana Medak502313 India Aditya University Department of Ai&ml Surampalem India Koneru Lakshmaiah Education Foundation Department of Computer Science and Engineering Andhra Pradesh Vaddeswaram India Kl University Department of Cse Vaddeswaram Andhra Pradesh Guntur India School of Computing Srm Institute of Science and Technology Department of Computing Technologies Kattankulathur Campus Kattankulathur603 203 India

ISBN: (纸本)9798331529635

With the increasing prevalence of edge computing environment, there is a need to establish effective network traffic management that are able to manage vast data while also protecting the privacy of users. The proposed method enhances efficiency of bandwidth, reduce the network latency and manages computational demands without managing data privacy. This is achieved by utilizing the design of edge devices. The adaptable nature of the method enables it to react in real time to different traffic situations. It optimizes the distribution of resources and improves the overall performance of the network. Additionally, it can reduce the possibility of centralized data exposure, providing robust privacy preservation through the allowance of local model training on edge devices. Finally, this method is superior. The employment of federated learning to network traffic management provide efficiency to optimize the traffic in edge computing which is both scalable and safe. This makes it suitable for a wide variety of applications that are utilized in next generation networks © 2024 IEEE.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

Prediction of energy resolution in the JUNO experiment

引用

Chinese Physics C 2025年第1期49卷 35-59页

作者： Angel Abusleme Thomas Adam Kai Adamowicz Shakeel Ahmad Rizwan Ahmed Sebastiano Aiello Fengpeng An Qi An Giuseppe Andronico Nikolay Anfimov Vito Antonelli Tatiana Antoshkina Joao Pedro Athayde Marcondes de André Didier Auguste Weidong Bai Nikita Balashov Wander Baldini Andrea Barresi Davide Basilico Eric Baussan Marco Bellato Marco Beretta Antonio Bergnoli Daniel Bick Lukas Bieger Svetlana Biktemerova Thilo Birkenfeld Iwan Blake David Blum Simon Blyth Anastasia Bolshakova Mathieu Bongrand Clément Bordereau Dominique Breton Augusto Brigatti Riccardo Brugnera Riccardo Bruno Antonio Budano Jose Busto Anatael Cabrera Barbara Caccianiga Hao Cai Xiao Cai Yanke Cai Zhiyan Cai Stéphane Callier Steven Calvez Antonio Cammi Agustin Campeny Chuanya Cao Guofu Cao Jun Cao Rossella Caruso Cédric Cerna Vanessa Cerrone Jinfan Chang Yun Chang Auttakit Chatrabhuti Chao Chen Guoming Chen Pingping Chen Shaomin Chen Xin Chen Yiming Chen Yixue Chen Yu Chen Zelin Chen Zhangming Chen Zhiyuan Chen Zikang Chen Jie Cheng Yaping Cheng YuChin Cheng Alexander Chepurnov Alexey Chetverikov Davide Chiesa Pietro Chimenti Yen-Ting Chin Po-Lin Chou Ziliang Chu Artem Chukanov Gérard Claverie Catia Clementi Barbara Clerbaux Marta Colomer Molla Selma Conforti Di Lorenzo Alberto Coppi Daniele Corti Simon Csakli Chenyang Cui Flavio Dal Corso Olivia Dalager Jaydeep Datta Christophe De La Taille Zhi Deng Ziyan Deng Xiaoyu Ding Xuefeng Ding Yayun Ding Bayu Dirgantara Carsten Dittrich Sergey Dmitrievsky Tadeas Dohnal Dmitry Dolzhikov Georgy Donchenko Jianmeng Dong Evgeny Doroshkevich Wei Dou Marcos Dracos Frédéric Druillole Ran Du Shuxian Du Katherine Dugas Stefano Dusini Hongyue Duyang Jessica Eck Timo Enqvist Andrea Fabbri Ulrike Fahrendholz Lei Fan Jian Fang Wenxing Fang Dmitry Fedoseev Li-Cheng Feng Qichun Feng Federico Ferraro Amélie Fournier Fritsch Fritsch Haonan Gan Feng Gao Feng Gao Alberto Garfagnini Arsenii Gavrikov Marco Giammarchi Nunzio Giudice Maxim Gonchar Guanghua Gong Hui Gong Yuri Gornushkin Marco Grassi Maxim Gromov Vasily Gromov Minghao G Yerevan Physics Institute YerevanArmenia Université Libre de Bruxelles BrusselsBelgium Universidade Estadual de Londrina LondrinaBrazil Pontificia Universidade Catolica do Rio de Janeiro Rio de JaneiroBrazil Millennium Institute for SubAtomic Physics at the High-energy Frontier(SAPHIR) ANIDChile Pontificia Universidad Católica de Chile SantiagoChile Beijing Institute of Spacecraft Environment Engineering BeijingChina Beijing Normal University BeijingChina China Institute of Atomic Energy BeijingChina Institute of High Energy Physics BeijingChina North China Electric Power University BeijingChina School of Physics Peking UniversityBeijingChina Tsinghua University BeijingChina University of Chinese Academy of Sciences BeijingChina Jilin University ChangchunChina College of Electronic Science and Engineering National University of Defense TechnologyChangshaChina Chongqing University ChongqingChina Dongguan University of Technology DongguanChina Jinan University GuangzhouChina Sun Yat-sen University GuangzhouChina Harbin Institute of Technology HarbinChina University of Science and Technology of China HefeiChina The Radiochemistry and Nuclear Chemistry Group in University of South China HengyangChina Wuyi University JiangmenChina Shandong University JinanChinaand Key Laboratory of Particle Physics and Particle Irradiation of Ministry of EducationShandong UniversityQingdaoChina Nanjing University NanjingChina Guangxi University NanningChina East China University of Science and Technology ShanghaiChina School of Physics and Astronomy Shanghai Jiao Tong UniversityShanghaiChina Tsung-Dao Lee Institute Shanghai Jiao Tong UniversityShanghaiChina Institute of Hydrogeology and Environmental Geology Chinese Academy of Geological SciencesShijiazhuangChina Nankai University TianjinChina Wuhan University WuhanChina Xi'an Jiaotong University Xi'anChina Xiamen University XiamenChina School of Physics and Microelectronics Zhengzhou UniversityZhengzhouChina Institute of Physics National

This paper presents an energy resolution study of the JUNO experiment,incorporating the latest knowledge acquired during the detector construction *** determination of neutrino mass ordering in JUNO requires an exceptional energy resolution better than 3% at 1 *** achieve this ambitious goal,significant efforts have been undertaken in the design and production of the key components of the JUNO *** factors affecting the detection of inverse beta decay signals have an impact on the energy resolution,extending beyond the statistical fluctuations of the detected number of photons,such as the properties of the liquid scintillator,performance of photomultiplier tubes,and the energy reconstruction *** account for these effects,a full JUNO simulation and reconstruction approach is *** enables the modeling of all relevant effects and the evaluation of associated inputs to accurately estimate the energy *** results of this study reveal an energy resolution of 2.95% at 1 ***,this study assesses the contribution of major effects to the overall energy resolution *** analysis serves as a reference for interpreting future measurements of energy resolution during JUNO data ***,it provides a guideline for comprehending the energy resolution characteristics of liquid scintillator-based detectors.

关键词： energy resolution liquid scintillator detector JUNO simulation reconstruction

来源：评论

学校读者我要写书评

暂无评论

A Comprehensive View on the Progress of Organoid Research with an Emphasis on its Relevance to Disease Characterization

引用

Biomedical and Environmental sciences 2023年第10期36卷 959-971页

作者： Chandra KISHORE Vaishali Ji Saurav Mallik Ayan MUKHERJI Namrata TOMAR Soumen Kumar Pati LI Ai Min Sinthia Roy BANERJEE Soumadip GHOSH Raza Ali NAQVI University of California Irvine Medical CenterOrangeCA 92868USA Department of Botany J.D.Women’s CollegeBailey RoadPatna-800023India Harvard T.H.Chan School of Public Health BostonMA 02115USA Department of Information Technology Haldia Institute of TechnologyHaldiaWest BengalIndia Medical College of Wisconsin MilwaukeeWI 53226USA Department of Bioinformatics Maulana Abul Kalam Azad University of TechnologyNadiaWest BengalIndia Center for Precision Health School of Biomedical InformaticsThe University of Texas Health Science Center at HoustonHoustonTX 77030USA School of Computer Science and Engineering Xi’an University of TechnologyXi'an 710048ShaanxiChina Department of Information Technology Guru Nanak Institute of TechnologyKolkataWest BengalIndia Department of Computer Science and Engineering Sister Nivedita UniversityKolkataWest BengalIndia Center for Precision Health School of Biomedical InformaticsUniversity of IllinoisChicago60612USA

INTRODUCTION Organoids are primary tissue or stem cells derived cell aggregates that have the capacity for self-organization,self-renewal,and the capacity to mimic cellular and tissue level *** can overcome the shortc... 详细信息

关键词： functions. overcome shortcomings

来源：评论

学校读者我要写书评

暂无评论

Developing the Quality Model for Collaborative Open Data

引用

Procedia computer science 2020年 176卷 1883-1892页

作者： Mouzhi Ge Włodzimierz Lewoniewski Faculty of Informatics Masaryk University Czech Republic Institute of Computer Science Masaryk University Czech Republic Department of Information Systems Poznań University of Economics and Business Poland

Nowadays, the development of data sharing technologies allows to involve more people to collaboratively contribute knowledge on the Web. The shared knowledge is usually represented as Collaborative Open Data (COD), for example, Wikipedia is one of the well-known sources for COD. The Wikipedia articles can be written in different languages, updated in real time, and originated from a vast variety of editors. However, COD also bring different data quality problems such as data inconsistency and low data objectiveness due to the crowd-based and dynamic nature. These data quality problems such as biased information may lead to sentimental changes or social impacts. This paper therefore proposes a new measurement model to assess the quality of COD. In order to evaluate the proposed model, A preliminary experiment is conducted with a large scale of Wikipedia articles to validate the applicability and efficiency of this proposed quality model in the real-world scenario.

关键词： Data Quality Quality Assessment Collaborative Open Data Wikipedia Quality Model

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：