A straightforward and unified strategy to access Amaryllidaceae alkaloids comprising a cis-3a-aryloctahydroindole scaffold has been developed. The strategy features Eschenmoser-Claisen rearrangement of allylalcohol as a key step for the installation of all-carbon quaternary stereocenters present in these alkaloids. The consequent iodolactonization-reduction-oxidation sequence beautifully assemb...

Necessary and sufficient conditions are formulated for checking robust stability of an uncertain polynomial matrix. Various stability regions and uncertainty models are handled in a unified way. The conditions, stemming from a general optimization methodology similar to the one used in /i-analysis, are expressed as a rank-one LMI, a non-convex problem frequently arising in robust control. Conve...

In this paper, we introduce a methodology for determining the utility of agent architectures by comparing them in an architecture framework APOC, which allows for the definition of a notion of “cost induced by an agent architecture”. Using this framework, it is in particular possible to compare the performance of affective agents to that non-affective agents in a unified way taking the cost of ...

In this note, the deformable template or elastic arm approach to track reconstruction described previously will be extended to include particle identification. The discussion will first develop the mathematical and algorithmic structure of the pattern recognition problem using the methodology and language of statistical mechanics and then sketch its implementation in an object oriented programm...

In this paper, we describe a new methodology to separate photographs and computer generated images . We introduce the Progressive Randomization (PR) technique that captures the statistical properties of each one of these classes. Using only statistical descriptors of the least significant bit (LSB) occurrences, our method already performs as well or better than some comparable existing techniqu...

The software development community should be provided with an efficient methodology and tool support for proactive, quantitative performance management during functionality-driven software development. In this paper we present a UML (Unified Modeling Language) profile as part of the framework (shown in Figure 1) that allows the evaluation of software architecture decisions and design solutions ...

Background: Current checklists for empirical software engineering cover either experimental research or case study research but ignore the many commonalities that exist across all kinds of empirical research. Identifying these commonalities, and explaining why they exist, would enhance our understanding of empirical research in general and of the differences between experimental and case study ...

In this paper, we present Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for efficient verification of Image Signal Processing IP’s/SoC’s. With the tight schedules on all projects it is important to have a strong verification methodology which contributes to First Silicon Success. Deploy methodologies which enforce full functional coverage and ...

In this paper we present the research objectives and methodology for a running project of distributed web processing geo-services for spatio-temporal analysis of geo-data, the case of Lloyd’s lists. We introduce the current problems and discuss the solutions in means of theoretical and practical perspectives. Initial results from geo-data modeling using Unified Modeling Language (UML) is presen...

This is an analysis of the theoretical and practical construction of the methodology of Matrix Support by means of studies on Paideia Support (Institutional and Matrix Support), which is an inter-professional work of joint care in recent literature and official documents of the Unified Health System (SUS). An attempt was made to describe methodological concepts and strategies. A comparative ana...