Verifying Heap-Manipulating Programs with Unknown Procedure Calls

10.1007/978-3-642-16901-4_13Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6447 LNCS171-18

Automatically refining partial specifications for Program Verification

10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6664 LNCS369-38

A specialization calculus for pruning disjunctive predicates to support verification

10.1007/978-3-642-22110-1_23Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6806 LNCS293-30

Specifying and verifying sensor networks: An experiment of formal methods

10.1007/978-3-540-88194-0-20Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)5256 LNCS318-33

Evolution and Ethics of Digital Technology in Marketing

The purpose of this paper is to identify the implications of ethics in the evolution of technology. This article aims to define and analyze concepts such as: Big Data, Artificial Intelligence and Bioinformatics. Also, this article presents the applicability of Artificial Intelligence and discover the future trend of jobs in the coming years, the importance of adapting to changes and learning more skills that help to support future jobs

Adaptive modeling of biochemical pathways

In bioinformatics, biochemical pathways can be modeled by many differential equations. It is still an open problem how to fit the huge amount of parameters of the equations to the available data. Here, the approach of systematically learning the parameters is necessary. In this paper, for the small, important example of inflammation modeling a network is constructed and different learning algorithms are proposed. It turned out that due to the nonlinear dynamics evolutionary approaches are necessary to fit the parameters for sparse, given data. Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence - ICTAI 200

A Semantic Framework to Support AI System Accountability and Audit

The Semantic Web - 18th International Conference, ESWC 2021, Proceedings Springer Science and Business Media Deutschland GmbH ISBN: 9783030773847 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ISSN (Print): 0302-9743 ISSN (Electronic): 1611-3349 Volume: 12731 LNCSPostprintPostprin