教学课程资源库 更多>>

关键词： Hidden Markov models   Automobiles   Computer science   Task analysis   Earth   Correlation coefficient   Vectors   Distance measurement   vector comparison   distance between vectors   hidden Markov models  

摘要： Vectors are massively used in many domains. Several techniques have been proposed for comparing two vectors, but they only perform the comparison according to the exact values of the vector components. Additionally, existing techniques used for comparing two vectors having different dimensions are limited by many factors. Furthermore, the problem of comparing two finite sets of vectors has not yet been specifically addressed. This paper attempts to overcome all these limitations by proposing a new technique based on hidden Markov models which enhances existing techniques by giving them the ability to compare two finite sets of vectors, each containing vectors having different dimensions, while precising the set of targeted properties on which the comparison should be performed. Classification experiments conducted on three online available custom datasets demonstrated that when the suitable set of targeted properties is selected, the proposed approach outperforms existing techniques with accuracy gains reaching +82.3\% .

ISBN: (纸本)9780231204729;9780231555678;0231555679

摘要： One Sunday afternoon in February 1977, Toni Morrison, Alice Walker,Ntozake Shange, and several other Black women writers met at JuneJordan's Brooklyn apart...

关键词： 乡镇卫生院   糖尿病老年患者   家庭成员互动护理   生活质量   血糖控制  

摘要： 目的：观察对乡镇卫生院糖尿病老年患者施以家庭成员互动护理对生活质量和血糖控制的影响效果。方法：观察对象选自于2022年2月—2022年11月在乡镇卫生院就诊的76例糖尿病老年患者，随机方式进行分组观察，施以常规护理的38例患者分入对照组，施以家庭成员互动护理的38例患者分入研究组，对护理效果进行对比和观察。结果：生活质量各项评分护理前两组对比（P>0.05）；与对照组对比，研究组生活质量各项评分护理后均明显较好（P<0.05）；血糖水平护理前两组对比（P>0.05）；与对照组对比，研究组护理后血糖水平明显更佳（P<0.05）；与对照组对比，研究组护理满意度明显更佳（P<0.05）。结论：对乡镇卫生院糖尿病老年患者施以家庭成员互动护理效果突出，在生活质量、血糖水平、护理满意度方面优势更为明显，建议推广。

关键词： Computer Science   Programming Languages  

摘要： This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. HGV exploits hyper-environments, which are collections of type environments, to ensure that structural congruence is type preserving. As a consequence we obtain an operational correspondence between HGV and HCP-a process calculus based on hypersequents and in a propositions-as-types correspondence with classical linear logic (CLL). Our translations from HGV to HCP and vice-versa both preserve and reflect reduction. HGV scales smoothly to support Girard's Mix rule, a crucial ingredient for channel forwarding and exceptions.

关键词： Bioscience   Computer Science  

ISBN: (数字)9788770227940 ISBN: (纸本)9788770227957

摘要： Cyber security is one of the most critical problems faced by enterprises, government organizations, education institutes, small and medium scale businesses, and medical institutions today. Creating a cyber security posture through proper cyber security architecture, deployment of cyber defense tools, and building a security operation center are critical for all such organizations given the preponderance of cyber threats. However, cyber defense tools are expensive, and many small and medium-scale business houses cannot procure these tools within their budgets. Even those business houses that manage to procure them cannot use them effectively because of the lack of human resources and the knowledge of the standard enterprise security architecture. In 2020, the C3i Center at the Indian Institute of Technology Kanpur developed a professional certification course where IT professionals from various organizations go through rigorous six-month long training in cyber defense. During their training, groups within the cohort collaborate on team projects to develop cybersecurity solutions for problems such as malware analysis, threat intelligence collection, endpoint detection and protection, network intrusion detection, developing security incidents, event management systems, etc. All these projects leverage open-source tools, and code from various sources, and hence can be also constructed by others if the recipe to construct such tools is known. It is therefore beneficial if we put these recipes out in the form of book chapters such that small and medium scale businesses can create these tools based on open-source components, easily following the content of the chapters. In 2021, we published the first volume of this series based on the projects done by cohort 1 of the course. This volume, second in the series has new recipes and tool development expertise based on the projects done by cohort 3 of this training program. This volume consists of nine chapters that describe ex

关键词： Asset tracking   CAD-RFID   Radio frequency identification   Received signal strength indicators   Virtual-real-world synchronization  

摘要： Previous Radio Frequency Identification (RFID) implementations in various industries imply that numerous RFID adoption design consists of unnecessary configuration modifications. Most environments that adopt RFID technology to track assets do not synchronize RFID virtual environments. Especially regarding underlying antenna locationing and Received Signal Strength Indicators (RSSI) using Computer-Aided Design (CAD) to show real-time two- or three-dimensional visualization. In order to evaluate RFID infrastructure, including RFID antenna placement and RSSI footprint range, a CAD-based design science research (DSR) study was necessary. This study examined data indicating associative qualities between antenna position accuracy and the associated RFI and RSSI values in CAD, analysis, and investigation performed under experimental methods using DSR. The research intended to identify examples of literature organized according to the following criteria: antenna positioning RFID, RSSI, CAD synthesis, and summarization. Comparing kNN fingerprinting and Cartesian plane placement was the quantitative data analysis portion of the project. No P-value was required because the complete population data served as the sample. This method was adopted primarily because data collection and population distribution depended on a standard data-generating process. The study found that synchronizing a virtual environment and its RFID hardware did not result in statistically correct CAD antenna locationing and RSSI range. The alternative hypothesis confirmed prior research that RSSI fingerprinting was erroneous for RFID sensor indoor locationing.

关键词： Computer Science   Engineering & Technology   Medicine, Dentistry, Nursing & Allied Health  

ISBN: (数字)9788770228121 ISBN: (纸本)9788770228138

摘要： We are in the era of large-scale science. In oncology there is a huge number of data sets grouping information on cancer genomes, transcriptomes, clinical data, and more. The challenge of big data in cancer is to integrate all this diversity of data collected into a unique platform that can be analyzed, leading to the generation of readable files. The possibility of harnessing information from all the accumulated data leads to an improvement in cancer patient treatment and outcome. Solving the big data problem in oncology has multiple facets. Big data in Oncology: Impact, Challenges, and Risk Assessment brings together insights from emerging sophisticated information and communication technologies such as artificial intelligence, data science, and big data analytics for cancer management. This book focuses on targeted disease treatment using big data analytics. It provides information about the targeted treatment in oncology, challenges and application of big data in cancer therapy. Features include: • Recent developments in the fields of artificial intelligence, machine learning, medical imaging, personalized medicine, computing and data analytics for improved patient care. • Description of the application of big data with AI to discover new targeting points for cancer treatment. • Summary of several risk assessments in the field of oncology using big data. • Focus on prediction of doses in oncology using big data. The most targeted or relevant audience is academicians, research scholars, health care professionals, hospital management, pharmaceutical chemist, biomedical industry, software engineers and IT professionals.

关键词： vocational literacy   curriculum reform   C4.5 model   higher vocational computer science majors  

摘要： INTRODUCTION: The cultivation of vocational literacy of higher vocational computer students is related to the employment prospects of graduates and has a significant impact on the computer talent market. The success or failure of curriculum reform will directly impact the effect of cultivating professionalism in higher vocational computer majors. OBJECTIVES: This paper introduces the source and function of the C4.5 model, establishes model evaluation indexes to assess the application effect of the C4.5 model;the number of iterations and prediction accuracy are important indexes of the model's functioning and puts forward five measures suggestions for the reform of vocational literacy course of higher METHODS: C4.5 model is applied to reform vocational literacy courses for higher vocational computer majors, and the effect of practical implementation is evaluated using a questionnaire. RESULTS: By applying the C4.5 model to reform the vocational literacy course for senior computer majors, the graduates' vocational literacy has been significantly improved. CONCLUSION: The research contributes to the realization of the goal of cultivating higher vocational computer talents and provides the market with computer talents with outstanding professionalism.

关键词： Safety   Stochastic systems   Trajectory   Random variables   Optimization   Computer science   Complexity theory   Data-driven approach   stochastic systems   safety specification   formal verification   barrier certificate   robust convex program   scenario convex program  

摘要： In this letter, we develop a data-driven approach for the safety verification of stochastic systems with unknown dynamics. First, we use a notion of barrier certificates in order to cast the safety verification as a robust convex program (RCP). Solving this optimization program is difficult because the model of the stochastic system, which is unknown, appears in one of the constraints. Therefore, we construct a scenario convex program (SCP) by collecting a number of samples from trajectories of the system. Then, we develop a repetition-based scenario framework to provide an out-of-sample performance guarantee for the constructed SCP. In particular, we iteratively solve an SCP for a given number of samples, and then check its feasibility using a certain number of new samples after substituting the optimal decision variables from solving the SCP. We continue the iterations until a desired violation error is achieved. Eventually, a safety condition is checked on top of the feasibility problem. If the safety condition is fulfilled, then we can provide a lower bound on the probability of safety satisfaction for the original stochastic system by leveraging the optimal solution of the successful iteration. We illustrate the effectiveness of the proposed results through a two-tank system case study, where the safety objective is to ensure that the water levels in both tanks are within some safe zones.

关键词： Computer Science   Engineering \u0026 Technology  

ISBN: (数字)9788770224444 ISBN: (纸本)9788770224451

摘要： This book introduces the Internet of Things (IoT), which is the convergence of connecting people, things, data and processes; it is transforming our life, business and everything in between. By 2025, experts forecast that up to 75 billion devices will be connected to the Internet with only one third of them being computers, smartphones, smartwatches, and tablets. The remaining two thirds will be other “devices” – sensors, terminals, household appliances, thermostats, televisions, automobiles, production machinery, urban infrastructure and many other “things”, which traditionally have not been Internet enabled. This “Internet of Things” (IoT) represents a remarkable transformation of the way in which our world will soon interact. Much like the World Wide Web connected computers to networks, and the next evolution mobile devices connected people to the Internet and other people, IoT looks poised to interconnect devices, people, environments, virtual objects and machines in ways that only science fiction writers could have imagined.