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

4th IEEE International Conference on escience, escience 2008

作者： Gadelha Jr., Luiz M.R. Mattoso, Marta Computer and Systems Engineering Program - COPPE Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769535357

Secure provenance techniques are essential in generating trustworthy provenance records, where one is interested in protecting their integrity, confidentiality, and availability. In this work, we suggest an architecture to provide protection of authorship and temporal information in grid-enabled provenance systems. It can be used in the resolu-tion of conflicting intellectual property claims, and in the reliable chronological reconstitution of scientific experiments. We observe that some techniques from public key infrastructures can be readily applied for this purpose. We discuss the issues involved in the implementation of such architecture and describe some experiments realized with the proposed techniques. © 2008 IEEE.

关键词： Architecture

来源：评论

学校读者我要写书评

暂无评论

A framework for experimental studies planning in object-oriented software decay

A framework for experimental studies planning in object-orie...

引用

8th Conferencia Iberoamericana de Software engineering, CIbSE 2005

作者： Araújo, Marco Antônio Pereira Travassos, Guilherme Horta Federal University of Rio de Janeiro Brazil COPPE-Systems Engineering and Computer Science Department Brazil

ISBN: (纸本)9567051070

Software systems are growing quickly in needs of functionality, complexity, size and structure. Therefore, it becomes necessary to advance the ways where the software suffers changes, so it can be modified more easily to accommodate these needs. However, anticipating to the changes is not an easy task, once there are a lot of reasons why systems change. The Laws of Software Evolution describe how a system behaves throughout their successive versions regarding its decaying. Most of the experimental studies supporting these Laws are concerned with legacy systems' source code. However, we believe the Laws can also be observed and applied when dealing with other software development process phases, including evolutive maintenance. Therefore, we present a set of hypotheses to experimentally verify whether the Laws of Software Evolution can also be observed in the object-oriented software. A case study demonstrating the framework's use is also described.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

Porantim-opt: Optimizing the combined selection of model-based testing techniques

Porantim-opt: Optimizing the combined selection of model-bas...

引用

Workshop on Requirements and Validation, Verification, and Testing

作者： Neto, Arilo Claudio Dias De Freitas Rodrigues, Rosiane Travassos, Guilherme Horta Post-graduation Program In Informatics Computer Science Department Federal University of Amazonas Manaus AM Brazil Systems Engineering and Computer Science Program COPPE Federal University of Rio De Janeiro Rio De Janeiro RJ Brazil

ISBN: (纸本)9780769543451

The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge in the Software engineering field. This paper presents a proposal extending an approach developed to support the combined selection of model-based testing (MBT) techniques, named Porantim, applying Multiobjective Combinatorial Optimization strategy by determining the smallest dominating set in a bipartite and weighted graph. Thus, a local search strategy algorithm is proposed generating solutions aiming at maximizing the coverage of software project characteristics and skills required by the testing team to use the techniques and minimizing the eventual effort to construct models used for test cases generation. A preliminary evaluation analyzes this new approach when compared to the Porantim's original version, and the results indicate improvements in the MBT techniques selection. © 2011 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

An information visualization feature model for supporting the selection of software visualizations 22

An information visualization feature model for supporting th...

引用

22nd International Conference on program Comprehension, ICPC 2014

作者： Vasconcelos, Renan Schots, Marcelo Werner, Cláudia Systems Engineering and Computer Science Program COPPE/UFRJ PO Box 68511 Rio de Janeiro RJCEP21945-970 Brazil

ISBN: (纸本)9781450328791

Software development comprises the execution of a variety of tasks, such as bug discovery, finding reusable assets, dependency analysis etc. A better understanding of the task at hand and its surroundings can improve the development performance in general. Software visualizations can support such understanding by addressing different issues according to the necessity of stakeholders. However, knowing which visualizations better fit a given task in progress is not a trivial skill. In this sense, a feature model, intended for organizing the knowledge of a given domain and allowing the reuse of components, can support the identification, categorization and selection of information visualization elements. This work presents an ongoing domain analysis performed for building an information visualization feature model, whose goal is to support the process of choosing and building proper, suitable software visualizations. Copyright © 2014 ACM.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

AUTO WIS ARD: Unsupervised modes for the WISARD

引用

6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001

作者： Wickert, Iuri Fraņca, Felipe M. G. Computer Systems Engineering Program - COPPE UFRJ Caixa Postal 68511 21945-970 Rio de Janeiro RJ Brazil

ISBN: (纸本)3540422358

This work in traducest wo new unsupervised learning algorithms based on the WISARD weightless neural classifier model. The first one, the standard AUTOWISARD model, is able to perform fast one-shot, learning of unsorted sets of input patterns. The second oik? is a recursive version of AUTOWISARD which not only keeps the good features of the basic model, agility, plasticit v and stability', but also produces hierarc hically structured tree-lik? classifications. Although the standard A UT(WISARD model exhibits good classification skills when exposed to symbolic patterns (by producing only few classes containing patterns of different meanings), its recursive version produces even less confusing classes. The stability of both learning algorithms is also demonstrated. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Investigating the user mobility in wireless mobile networks through real measurements 06

Investigating the user mobility in wireless mobile networks ...

引用

2nd Conference on Future Networking Technologies, CoNEXT'06

作者： Campos, Carlos Alberto V. De Moraes, Luis Felipe M. Systems Engineering and Computer Science Program-COPPE HighSpeed Networks Laboratory RAVEL Federal University of Rio de Janeiro/UFRJ Rio de Janeiro RJ Brazil

In this paper is proposed a real mobility characterization study for wireless devices. For this, we use mobility metrics and statistic analysis to evaluate the behavior of device movement components.

ISBN: (纸本)1595934561

In this paper is proposed a real mobility characterization study for wireless devices. For this, we use mobility metrics and statistic analysis to evaluate the behavior of device movement components.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Pan-cancer analysis of CDC7 in human tumors: Integrative multi-omics insights and discovery of novel marine-based inhibitors through machine learning and computational approaches

引用

computers in Biology and Medicine 2025年 190卷 110044-110044页

作者： Saif, Ahmed Islam, Md. Tarikul Raihan, Md. Obayed Yousefi, Niloofar Rahman, Md. Ajijur Faridi, Hafeez Hasan, Al Riyad Hossain, Mirza Mahfuj Saleem, Rasha Mohammed Albadrani, Ghadeer M. Al-Ghadi, Muath Q. Ahasan Setu, Md. Ali Kamel, Mohamed Abdel-Daim, Mohamed M. Aktaruzzaman, Md. Department of Pharmacy Faculty of Science University of Rajshahi Rajshahi6205 Bangladesh Department of Genetic Engineering and Biotechnology Faculty of Biological Science and Technology Jashore University of Science and Technology Jashore7408 Bangladesh Jashore7408 Bangladesh Department of Pharmaceutical Sciences College of Health Sciences and Pharmacy Chicago State University ChicagoIL United States Department of Industrial Engineering and Management Systems University of Central Florida USA OrlandoFL United States Department of Pharmacy Faculty of Biological Science and Technology Jashore University of Science and Technology Jashore7408 Bangladesh Department of Computer Science and Engineering Faculty of Engineering and Technology Jashore University of Science and Technology Jashore7408 Bangladesh Department of Laboratory Medicine Faculty of Applied Medical Sciences Al-Baha University Al-Baha65431 Saudi Arabia Department of Biology College of Science Princess Nourah bint Abdulrahman University 84428 Riyadh11671 Saudi Arabia Department of Zoology College of Science King Saud University P.O. Box 2455 Riyadh11451 Saudi Arabia Department of Microbiology Faculty of Biological Science and Technology Jashore University of Science and Technology Jashore7408 Bangladesh Department of Medicine and Infectious Diseases Faculty of Veterinary Medicine Cairo University Giza12211 Egypt Department of Pharmaceutical Sciences Pharmacy Program Batterjee Medical College P.O. Box 6231 Jeddah21442 Saudi Arabia Pharmacology Department Faculty of Veterinary Medicine Suez Canal University Ismailia41522 Egypt

Cancer remains a significant global health challenge, with the Cell Division Cycle 7 (CDC7) protein emerging as a potential therapeutic target due to its critical role in tumor proliferation, survival, and resistance. However, a comprehensive analysis of CDC7 across multiple cancers is lacking, and existing therapeutic options have come with limited clinical success. The aim of this is to integrate a comprehensive pan-cancer analysis of CDC7 with the identification of novel marine-derived inhibitors, bridging the understanding of CDC7's role as a prognostic biomarker and therapeutic target across diverse cancer types. In this study, we conducted a pan-cancer analysis of CDC7 across 33 tumor types using publicly available datasets to evaluate its expression, genetic alterations, immune interactions, survival, and prognostic significance. Additionally, a marine-derived compound library of 31,492 molecules was screened to identify potential CDC7 inhibitors using chemoinformatics and machine learning. The top candidates underwent rigorous evaluations, including molecular docking, pharmacokinetics, toxicity, Density Functional Theory (DFT) calculations, and Molecular Dynamics (MD) simulations. The findings revealed that CDC7 is overexpressed in several cancers and is associated with poor survival outcomes and unfavorable prognosis. Enrichment analysis linked CDC7 to critical DNA replication pathways, while its role in modulating tumor-immune interactions highlighted its potential as a target for immunotherapy. Among all tested compounds, Tetrahydroaltersolanol D (CMNPD21999) exhibited the strongest binding affinity and stability, along with better drug-likeness and zero toxicity. These attributes highlight its potential as a promising drug candidate for CDC7 inhibition and future cancer treatment development. Furthermore, additional in vitro and in vivo studies are required to confirm the effectiveness of this drug candidate against the CDC7 protein. © 2025

关键词： Gene expression

来源：评论

学校读者我要写书评

暂无评论

A Propositional Dynamic Logic for concurrent programs based on the π-Calculus

A Propositional Dynamic Logic for concurrent programs based ...

引用

作者： Benevides, Mario R. F. Schechter, L. Menasché Computer Science Department and Systems and Computer Engineering Program Federal University of Rio de Janeiro Brazil Systems and Computer Engineering Program Federal University of Rio de Janeiro Brazil

This work presents a Propositional Dynamic Logic (πDL) in which the programs are described in a language based on the π-Calculus without replication. Our goal is to build a dynamic logic that is suitable for the description and verification of properties of communicating concurrent systems, in a similar way as PDL is used for the sequential case. We build a simple Kripke semantics for this logic, provide a complete axiomatization for it and show that it has the finite model property. © 2010 Elsevier B.V. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

SOME EFFICIENT ALGORITHMS FOR A CLASS OF ABSTRACT OPTIMIZATION PROBLEMS ARISING IN OPTIMAL CONTROL

引用

IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1969年第6期AC14卷 640-+页

作者： BARR, RO GILBERT, EG Department of Electrical Engineering and Systems Science Michigan State University East Lansing MI USA Computer Information and Control Engineering Program University of Michigan Ann Arbor MI USA

Three abstract optimization problems are presented along with doubly iterative algorithms for their numerical solution. These algorithms are generalizations of particular algorithms described by Barr and Gilbert [19], [21] and Fujisawa and Yasuda [22]. The supporting theory is fully developed along with proofs of convergence. Practical aspects of computations are considered and procedures which insure rapid convergence are discussed. Two applications to discrete-time optimal control problems are described.

关键词： Optimal control Iterative algorithms Projection algorithms Dynamic programming Nonlinear equations Gradient methods Functional programming Boundary conditions Military computing Convergence of numerical methods

来源：评论

学校读者我要写书评

暂无评论

Accelerating adoption of species-agnostic plant sensors for precision farming

Nature Reviews Electrical Engineering

引用

Nature Reviews Electrical engineering 2025年 58-70页

作者： Abdullah Bukhamsin Khaled Nabil Salama Jürgen Kosel Ikram Blilou Bioengineering Program Biological and Environmental Science and Engineering (BESE) Division King Abdullah University of Science and Technology (KAUST) Thuwal Saudi Arabia Center of Excellence — Sustainable Food Security (SFS) King Abdullah University of Science and Technology (KAUST) Thuwal Saudi Arabia Electrical and Computer Engineering Program Computer Electrical and Mathematical Sciences and Engineering (CEMSE) Division King Abdullah University of Science and Technology (KAUST) Thuwal Saudi Arabia Sensor Systems Division Silicon Austria Labs Villach Austria Plant Science Program Biological and Environmental Science and Engineering (BESE) Division King Abdullah University of Science and Technology (KAUST) Thuwal Saudi Arabia

Precision farming is an optimized management farming scheme that seeks to link the real-time needs of crops with the nutrients to be administered. Sensing platforms that can monitor the physiological status of crops in situ are key to enabling timely and localized interventions. However, the underdevelopment of plant sensing strategies limits the potential of precision farming. In this Review, we discuss the challenges and advancements in phyto-monitoring, focusing on strategies that are applicable to a wide range of plant species and suitable for field deployment. We explore species-agnostic sensors, including optical and electrochemical sensors, whose operation is based on principles that are widely applicable to all plant species. These platforms enable real-time monitoring of the physiological state of crops by assessing key biomarkers, such as plant hormones, and metabolites such as salicylic acid and reactive oxygen species. Evaluating these systems, we conclude that an integrative sensing approach is necessary to compensate for the limitations of the individual methods and can provide a holistic view of crop health. Cost-effective species-agnostic sensors are thus needed to provide information that can be used to minimize the resource footprint of farming and meet the growing global demand.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：