A structural model for a 3000-atom Ar cluster has been developed whose simulated electrondiffraction pattern is in excellent agreement with hitherto unexplained experimental results [J. Farges et al., J. Chem. Phys. 59, 3454 (1973)]. Although the cluster size is intermediate with respect to the icosahedral and fcc crystalline regimes, the model does not involve a structural transition. It consi...

This paper presents an integrated approach to the maintenance strategy of the medium voltage underground grid of the Greater Lisbon area. This strategy, implemented by EDP Distribuição over the last 6 years, aims to reduce the cable failure rate. This assessment, completed through pilot projects and innovative tests, has also included reviewing and improving cable and accessory technology and a...

This article describes the Boolean satisfiability method for generating test patterns for single stuck-at faults in combinational circuits. This new method generates test patterns in two steps: First, it constructs a formula expressing the Boolean diference between the unfaulted and faulted circuits. Second, it applies a Boolean satisjiability algorithm to the resulting formula. This approach d...

abstract : horizontal root fractures in permanent teeth are uncommon injuries among dental traumas. the principle of treating horizontal root fractures of permanent teeth is repositioning and fixation of fractured segment. diagnosis of tooth fractures based on radiographic findings and the fracture healing process are affected by factors before and after injury. the present case reports the tre...

The paper presents a study on a nine-phase permanent magnet synchronous starter-alternator for automotive applications, analyzing different converter topologies, detailing the simulation programs and discussing the results in different operating conditions, from entire healthy machine to several faulted phases. The comparison between the two converter topologies controlling the multiphase machi...

One reason why Lucas and Penrose should not be faulted for continuing to believe in their well-known Gödelian arguments against computationalism lies in the lack of an adequate consensus on the term ‘computation’. For instance, Boolos, Burgess and Jeffrey (2003: Computability and Logic, 4th ed. CUP, p37) define a diagonal function, d, any value of which can be computed effectively, although the...

We propose a novel surface-aware ray tracing method based on implicit model representation. Each horizon is represented by a signed distance field and the spatial relationships between horizons are described by a stratigraphic binary tree. With this kind of implicit representation, complex structural model (e.g., heavily faulted, intrusions and unconformities) are easily handled, and the veloci...

The impact of next-generation sequencing (NGS) on the issue of return of results is defying clear policy guidance and creating international confusion. Limiting ourselves to the return of results revealed by NGS (including incidental findings) in adults, children, family members of deceased individuals, and population studies, we describe and contrast emerging policy positions in Europe, Canada...