Recently, significant interest has been attracted by the potential use of aluminum nanostructures as plasmonic color filters to be great alternatives to the commercial color filters based on dye films or pigments. These color filters offer potential applications in LCDs, LEDs, color printing, CMOS image sensors, and multispectral imaging. However, engineering the optical characteristics of thes...

In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity has a strong impact on the feasibility of any theorem prover for computational semantics. We briefly investigate the different aspects of ambiguity and review some of the solutions that have been proposed to tackle t...

Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be used to model ethical codes for multi-agent systems. Furthermore we show how Hyper, a high perfor...

This paper describes two communication formalisms for Automated Theorem Proving (ATP) tools. First, a problem and solution language has been designed. The language will be used for writing problems to be input to ATP systems, and for writing solutions output by ATP systems. Second, a hierarchy of result statuses, which adequately express the range of results output by ATP systems, has been esta...

Signal optimization is affected during radio links between a transmitter and a receiver located in adjacent material media with differing optical densities. The optimization is carried out via the automated control theory method. The radio signal obtained after the optimization is coordinated with the two media's electrical characteristics simultaneously; and this enables low power and small an...

The area of AI robotics offers a set of fundamentally challenging problems when attempting to integrate logical reasoning functionality in such systems. The problems arise in part from the high degree of complexity in such architectures which include realtime behaviour, distribution, concurrency, various data latencies in operation and several levels of abstraction. For logic to work practicall...

Background: Digital image processing and analysis are used for computer assisted evaluation of sperm morphology. Sperm head morphology has been identified as a characteristic that can be used to predict a male’s semen quality. On the other hand, zygote competence analysis is an importance tool to select embryo(s) for transfer. The aim of the present study is to determine zygote quality resulted...

Title Type automated deduction cade 22 22nd international conference on automated deduction montreal canada PDF automated deduction cade 21 21st international conference on automated deduction bremen germany PDF logic programming and automated reasoning 6th international conference lpar99 tbilisi georgia s PDF automated technology for verification and analysis second international conference at...