Aims. We present an update of the 3C 273’s database hosted by the ISDC, completed with data from radio to gamma-ray observations over the last 10 years. We use this large data set to study the multiwavelength properties of this quasar, especially focussing on its variability behaviour. Methods. We study the amplitude of the variations and the maximum variability time scales across the broad-ban...

Nickel hyperaccumulator plants contain unusually elevated levels of Ni (> 1 000 μg Ni/g). Some insect herbivores, including Lygus hesperus (Western tarnished plant bug), have been observed feeding on the California Ni hyperaccumulator Streptanthus polygaloides. This bug may be able to utilize S. polygaloides as a host either through its feeding behavior or by physiological tolerance of Ni. This...

With the expansion of high-bandwidth networks, the emergence of the World Wide Web, and the development of electronic commerce, businesses are under tremendous pressure to adapt and integrate their monolithic legacy systems into network-centric environments. There are high risks in trying to reengineer these legacy systems. One way to control and minimize these risks is to migrate to the new pl...

In this paper we describe the development of model checking from BDD-based verification, through SAT-based bug finding, to Interpolation-based verification. Model checking is an automatic approach to formally verifying that a given system satisfies a given specification. BDD-based Symbolic Model Checking (SMC) was the first to enable model checking of real-life designs with a few hundreds of st...

Emotional deception is a common behaviour that can have major consequences if undetected. For example, the sincerity of an offender's expressed remorse is an important factor in sentencing and parole hearings. The present study was the first to investigate the nature of true and false remorse. We examined facial, verbal and body language behaviours associated with emotional deception in videota...

Measuring the internal quality of source code is one of the traditional goals of making software development into an engineering discipline. Cyclomatic Complexity (CC) is an often used source code quality metric, next to Source Lines of Code (SLOC). However, the use of the CC metric is challenged by the repeated claim that CC is redundant with respect to SLOC due to strong linear correlation. W...

Free/Libre open source software (FLOSS, e.g., Linux or Apache) is primarily developed by distributed teams. Developers contribute from around the world and coordinate their activity almost exclusively by means of email and bulletin boards, yet some how profit from the advantages and evade the challenges of distributed software development. In this article we investigate the structure and the co...

EXECUTIVE SUMMARY This case describes the implementation of the payroll and human resources modules of an integrated software product in a large manufacturing organization. The firm is located in a large metropolitan city and system implementation took place following a major organizational restructuring (from a public to a private enterprise) and downsizing (from 10,000 to 2,000 employees) eff...

Abbreviated title: Purkinje cell activity in developing rats 11 12 Corresponding author: 13 Greta Sokoloff, Ph.D. 14 Department of Psychology 15 E11 Seashore Hall 16 Iowa City, IA 52242 17 E-mail: [email protected] 18 ORCid: 0000-0003-3651-1980 19 20 21

We begin the fine analysis of non Borel pointclasses. Working in ZFC + ̃ 11), we describe the Wadge hierarchy of the class of increasing differences of coanalytic subsets of the Baire space by extending results obtained by Louveau ([5]) for the Borel sets. Introduction. Collections of substets of the Baire space, the "logician’s reals", that are closed under continuous preimages have always been...