11,567 research outputs found
Object orientation without extending Z
The good news of this paper is that without extending Z,
we can elegantly specify object-oriented systems, including encapsulation,
inheritance and subtype polymorphism (dynamic dispatch). The
bad news is that this specification style is rather different to normal
Z specifications, more abstract and axiomatic, which means that it is
not so well supported by current Z tools such as animators. It also enforces
behavioural subtyping, unlike most object-oriented programming
languages. This paper explains the proposed style, with examples, and
discusses its advantages and disadvantages
The ``Outside-In'' Outburst of HT Cassiopeiae
We present results from photometric observations of the dwarf nova system HT
Cas during the eruption of November 1995. The data include the first
two--colour observations of an eclipse on the rise to outburst. They show that
during the rise to outburst the disc deviates significantly from steady state
models, but the inclusion of an inner-disc truncation radius of about 4
and a ``flared'' disc of semi-opening angle of produces
acceptable fits. The disc is found to have expanded at the start of the
outburst to about , as compared to quiescent measurements. The
accretion disc then gradually decreases in radius reaching during
the last stages of the eruption. Quiescent eclipses were also observed prior to
and after the eruption and a revised ephemeris is calculated.Comment: 9 pages, 11 figures, to appear in MNRA
The Pulsar Effect - the 38th ISoCaRP Congress
The International Society of City and Regional Planners (ISoCaRP) held its 38th Congress in Athens during September 2002. It examined one of the most formidable and demanding challenges facing contemporary urban planners and managers: how to cope with the 'pulsar effect' as it relates to the provision of urban services, facilities and infrastructure. The four South African planners who participated in the Congress, either as a rapporteur or as speakers, found the experience particularly stimulating
OPTIC: Orbiting Plutonian Topographic Image Craft Proposal for an Unmanned Mission to Pluto
The proposal for an unmanned probe to Pluto is presented and described. The Orbiting Plutonian Topographic Image Craft's (OPTIC's) trip will take twenty years and after its arrival, will begin its data collection which includes image and radar mapping, surface spectral analysis, and magnetospheric studies. This probe's design was developed based on the request for proposal of an unmanned probe to Pluto requirements. The distinct problems which an orbiter causes for each subsystem of the craft are discussed. The final design revolved around two important factors: (1) the ability to collect and return the maximum quantity of information on the Plutonian system; and (2) the weight limitations which the choice of an orbiting craft implied. The velocity requirements of this type of mission severely limited the weight available for mission execution-owing to the large portion of overall weight required as fuel to fly the craft with present technology. The topics covered include: (1) scientific instrumentation; (2) mission management; (3) power and propulsion; (4) attitude and articulation control; (5) structural subsystems; and (6) command, control, and communication
A Computational Comparison of Optimization Methods for the Golomb Ruler Problem
The Golomb ruler problem is defined as follows: Given a positive integer n,
locate n marks on a ruler such that the distance between any two distinct pair
of marks are different from each other and the total length of the ruler is
minimized. The Golomb ruler problem has applications in information theory,
astronomy and communications, and it can be seen as a challenge for
combinatorial optimization algorithms. Although constructing high quality
rulers is well-studied, proving optimality is a far more challenging task. In
this paper, we provide a computational comparison of different optimization
paradigms, each using a different model (linear integer, constraint programming
and quadratic integer) to certify that a given Golomb ruler is optimal. We
propose several enhancements to improve the computational performance of each
method by exploring bound tightening, valid inequalities, cutting planes and
branching strategies. We conclude that a certain quadratic integer programming
model solved through a Benders decomposition and strengthened by two types of
valid inequalities performs the best in terms of solution time for small-sized
Golomb ruler problem instances. On the other hand, a constraint programming
model improved by range reduction and a particular branching strategy could
have more potential to solve larger size instances due to its promising
parallelization features
Graphene: Status and Prospects
Graphene is a wonder material with many superlatives to its name. It is the
thinnest material in the universe and the strongest ever measured. Its charge
carriers exhibit giant intrinsic mobility, have the smallest effective mass (it
is zero) and can travel micrometer-long distances without scattering at room
temperature. Graphene can sustain current densities 6 orders higher than
copper, shows record thermal conductivity and stiffness, is impermeable to
gases and reconciles such conflicting qualities as brittleness and ductility.
Electron transport in graphene is described by a Dirac-like equation, which
allows the investigation of relativistic quantum phenomena in a bench-top
experiment. What are other surprises that graphene keeps in store for us? This
review analyses recent trends in graphene research and applications, and
attempts to identify future directions in which the field is likely to develop.Comment: pre-edited version of the review published in Science Please note
that only 40 references are allowed by the magazine. Sorr
Discovery of a Magnetic White Dwarf in the Symbiotic Binary Z Andromedae
We report the first result from our survey of rapid variability in symbiotic
binaries: the discovery of a persistent oscillation at P=1682.6 +- 0.6 s in the
optical emission from the prototype symbiotic, Z Andromedae. The oscillation
was detected on all 8 occasions on which the source was observed over a
timespan of nearly a year, making it the first such persistent periodic pulse
found in a symbiotic binary. The amplitude was typically 2 - 5 mmag, and it was
correlated with the optical brightness during a relatively small outburst of
the system. The most natural explanation is that the oscillation arises from
the rotation of an accreting, magnetic (B_S > 10^5 G) white dwarf. This
discovery constrains the outburst mechanisms, since the oscillation emission
region near the surface of the white dwarf was visible during the outburst.Comment: Accepted for publication in the Astrophysical Journal (6 pages,
including 4 figures), LaTe
Parametric design velocity computation for CAD-based design optimization using adjoint methods
This paper presents an efficient optimization process, where the parameters defining the features in a feature-based CAD model are used as design variables. The process exploits adjoint methods for the computation of gradients, and as such the computational cost is essentially independent of the number of design variables, making it ideal for optimization in large design spaces. The novelty of this paper lies in linking the adjoint surface sensitivity information with geometric sensitivity values, referred to as design velocities, computed for CAD models created in commercial CAD systems (e.g. CATIA V5 or Siemens NX)
Intravitreal Anti-VEGF Drugs and Signals of Dementia and Parkinson-Like Events: Analysis of the VigiBase Database of Spontaneous Reports
Introduction: Since vascular endothelial growth factor (VEGF) regulates several aspects of the central nervous system, particularly in dopaminergic neurons, VEGF inhibitors may be linked to Parkinson-like events and dementia, or variants of these diseases. Two recent case reports have found a potential link between intravitreal anti-VEGF use and Parkinson’s disease (PD) and dementia.
Aim: To evaluate disproportionality in a large spontaneous reporting database concerning intravitreal anti-VEGF drugs and PD or dementia, and related conditions.
Methods: Using VigiBase, individual case safety reports (ICSRs) attributed to intravitreal ranibizumab, aflibercept, pegaptanib, and bevacizumab were identified from 2010 to 2016. Within Standardised Narrow Medical Dictionary for Regulatory Activities (MedDRA®) Queries (SMQs) for “Parkinson-like events” and “Dementia,” suspected events were identified using preferred terms (PTs). The Proportional Reporting Ratio (PRR) was estimated with the lower 95% confidence intervals (CIs) for all drug-event pairs with ≥3 suspected events. The vigiGrade completeness score was reported for the ICSRs. The analyses were repeated, including only persons aged 65 and over.
Results: Out of 18.9 million ICSRs, 7,945 (0.004%) concerned intravitreal anti-VEGF drugs. Of these, 27 (0.34%) were identified concerning the SMQs “Dementia” (N = 17, 62.96%) and “Parkinson-like events” (N = 10, 37.94%) in persons of all ages. Among persons age 65 and over, 4,758 (59.88% of relevant ICSRs) ICSRs were identified for anti-VEGF drugs. When restricting disproportionality analysis to persons aged 65 and over, no disproportionality was seen for any of the drug-event pairs at the level of SMQ. However, on analysing disproportionality by PT, a potential signal emerged for intravitreal ranibizumab and Parkinson’s disease [N = 6 ICSRs; PRR: 3.05 (95% CI: 1.36-6.81)]. In general, the vigiGrade completeness score was low for all the ICSRs of interest, as no ICSR had a score >0.8.
Conclusion: Present findings suggest a potential signal for Parkinson’s disease related to intravitreal ranibizumab. This is supported by several biologically plausible mechanisms but requires confirmation through pharmacoepidemiological studies, especially because of the low number of cases
- …