On the Feasibility of Maintenance Algorithms in Dynamic Graphs

Near ubiquitous mobile computing has led to intense interest in dynamic graph theory. This provides a new and challenging setting for algorithmics and complexity theory. For any graph-based problem, the rapid evolution of a (possibly disconnected) graph over time naturally leads to the important complexity question: is it better to calculate a new solution from scratch or to adapt the known solution on the prior graph to quickly provide a solution of guaranteed quality for the changed graph? In this paper, we demonstrate that the former is the best approach in some cases, but that there are cases where the latter is feasible. We prove that, under certain conditions, hard problems cannot even be approximated in any reasonable complexity bound --- i.e., even with a large amount of time, having a solution to a very similar graph does not help in computing a solution to the current graph. To achieve this, we formalize the idea as a maintenance algorithm. Using r-Regular Subgraph as the primary example we show that W[1]-hardness for the parameterized approximation problem implies the non-existence of a maintenance algorithm for the given approximation ratio. Conversely we show that Vertex Cover, which is fixed-parameter tractable, has a 2-approximate maintenance algorithm. The implications of NP-hardness and NPO-hardness are also explored

Visualization and Analysis Techniques for Three Dimensional Information Acquired by Confocal Microscopy

Confocal Scanning Laser Microscopy (CSLM) is particularly well suited for the acquisition of 3-dimensional data of microscopic objects. In the CSLM a specific volume in the object is sampled during the imaging process and the result is stored in a digital computer as a three-dimensional memory array. Optimal use of these data requires both the development of effective visual representations as well as analysis methods. In addition to the well known stereoscopic representation method a number of alternatives for various purposes are presented. When rendering in terms of solid-looking or semitransparent objects is required, an algorithm based on a simulated process of excitation and fluorescence is very suitable. Graphic techniques can be used to examine the 3-dimensional shape of surfaces. For (near-)real time applications a representation method should not require extensive previous data-processing or analysis. From the very extensive field of 3-D image analysis two examples are given

KAJIAN KEDUDUKAN DAN NILAI PEMBUKTIAN SAKSI MAHKOTA SEBAGAI ALAT BUKTI DALAM PEMBUKTIAN TINDAK PIDANA KORUPSI (STUDI KASUS NO.REG.PERK : PDS-01/SKRTA/Ft.1/03/2010 BERKAIT KORUPSI DI RUMAH SAKIT JIWA DAERAH SURAKARTA)

Penulisan penelitian hukum ini bertujuan untuk mengetahui dasar hukum menurut jaksa penuntut umum digunakannya saksi mahkota serta kedudukan dan nilai pembuktian saksi mahkota dalam pandangan hakim sebagai alat bukti dalam kasus perkara No. Reg. Perk : PDS-01/SKRTA/Ft.1/03/2010. Pengertian saksi mahkota dalam putusan Mahkamah Agung RI No.1986 K/Pid/1989 adalah teman terdakwa yang dilakukan secara bersama-sama yang diajukan sebagai saksi untuk membuktikan dakwaan penuntut umum dalam hal ini perkaranya dipisah dikarenakan kurangnya alat bukti. Tetapi dalam perkembangannya di dalam Putusan Mahkamah Agung RI No. 1174/K/Pid/1994 tanggal 3 Mei 1995, Putusan Mahkamah Agung RI No. 1590/K/Pid/1995 tanggal 3 Mei 1995 dan Putusan Mahkamah Agung RI No. 1592/K/Pid/1995 tanggal 3 Mei 1995 tidak membenarkan adanya penggunaan saksi mahkota. Menurut putusan ini saksi mahkota juga pelaku yang diajukan sebagai terdakwa dalam dakwaan yang terpisah sehingga hal ini dianggap sebagai pelanggaran hak asasi terdakwa. Pada kenyataannya dalam praktek peradilan di Indonesia masih sering digunakannya saksi mahkota dalam mengatasi masalah kurangnya alat bukti saksi. P e n u lisa n H u k u m ini term asu k dala m je nis p en elitia n h u k u m e m p iris ata u non doctrinal y a itu pe n elitia n ya n g d ilak u ka n se ca ra la n gsu n g de n ga n m e m b a n d in gk a n h u k u m da la m ha l te o ritis de n ga n m e n ga m ati pe rila k u ya n g te rjad i d idala m m a sya rak at. Penulisan hukum ini bersifat deskriptif dengan pendekatan kualitatif. Hasil yang diperoleh dari penelitian ini yaitu bahwa selain dari Putusan Mahkamah Agung RI tidak ada dasar hukum mengenai saksi mahkota dan penggunaan saksi mahkota dalam perkara No.Reg.Perk : PDS- 01/SKRTA/Ft.1/03/2010 berkait korupsi di Rumah Sakit Jiwa Daerah Surakarta dibenarkan didasarkan pada prinsip-prinsip tertentu yaitu terdapat kekurangan alat bukti, dalam perkara delik penyertaan (Deelneming), diperiksa dengan mekanisme pemisahan (Splitsing). S aksi mahkota dalam kasus ini berkedudukan murni sebagai saksi karena memenuhi syarat sebagai saksi sesuai Pasal 1 angka 26 KUHAP maka sah untuk dapat diperiksa sebagai saksi, sehingga majelis hakim akan menerima dan mengakui kesaksian dari saksi mahkota ini dan akan digunakan sebagai pertimbangkan dalam menyusun putusan. Kata kunci : saksi mahkota

A Case-Based Approach to Business Process Monitoring

International audienceThe agile workflow technology deals with flexible workflow adaptation and overriding, in case of foreseen as well as unforeseen changes and problems in the operating business environment. One key issue that an agile workflow system should address is Business Process (BP) monitoring. This consists in properly highlighting and organizing non-compliances and adaptations with respect to the default process schema. Such an activity can be the starting point for other very critical tasks, such as quality assessment and process reengineering. In this paper, we introduce an automated support to BP monitoring, which exploits the Case-based Reasoning (CBR) methodology. CBR is particularly well suited for managing exceptional situations, and has been proposed in the literature for process change reuse and workflow adaptation support. Our work extends these functionalities by retrieving traces of process execution similar to the current one, which can then be automatically clustered. Retrieval and clustering results can provide support both to end users, in the process instance execution phase, and to process engineers, in (formal) process quality evaluation and long term process schema redefinition. Our approach in practice is illustrated by means of a case study in the field of stroke management

Searching for a light Fermiophobic Higgs Boson at the Tevatron

We propose new production mechanisms for light fermiophobic Higgs bosons ($h_f$) with suppressed couplings to vector bosons ($V$) at the Fermilab Tevatron. These mechanisms (e.g. $qq'\to H^\pm h_f$) are complementary to the conventional process $qq'\to Vh_f$, which suffers from a strong suppression of $1/\tan^2\beta$ in realistic models with a $h_f$. The new mechanisms extend the coverage at the Tevatron Run II to the larger $\tan\beta$ region, and offer the possibility of observing new event topologies with up to 4 photons.Comment: 15 pages, including 5 eps-figure

Bilayer manganites: polarons in the midst of a metallic breakdown

The exact nature of the low temperature electronic phase of the manganite materials family, and hence the origin of their colossal magnetoresistant (CMR) effect, is still under heavy debate. By combining new photoemission and tunneling data, we show that in La{2-2x}Sr{1+2x}Mn2O7 the polaronic degrees of freedom win out across the CMR region of the phase diagram. This means that the generic ground state is that of a system in which strong electron-lattice interactions result in vanishing coherent quasi-particle spectral weight at the Fermi level for all locations in k-space. The incoherence of the charge carriers offers a unifying explanation for the anomalous charge-carrier dynamics seen in transport, optics and electron spectroscopic data. The stacking number N is the key factor for true metallic behavior, as an intergrowth-driven breakdown of the polaronic domination to give a metal possessing a traditional Fermi surface is seen in the bilayer system.Comment: 7 pages, 2 figures, includes supplementary informatio

Search for Branons at LEP

We search, in the context of extra-dimension scenarios, for the possible existence of brane fluctuations, called branons. Events with a single photon or a single Z-boson and missing energy and momentum collected with the L3 detector in e^+ e^- collisions at centre-of-mass energies sqrt{s}=189-209$ GeV are analysed. No excess over the Standard Model expectations is found and a lower limit at 95% confidence level of 103 GeV is derived for the mass of branons, for a scenario with small brane tensions. Alternatively, under the assumption of a light branon, brane tensions below 180 GeV are excluded

Study of Spin and Decay-Plane Correlations of W Bosons in the e+e- -> W+W- Process at LEP

Data collected at LEP at centre-of-mass energies \sqrt(s) = 189 - 209 GeV are used to study correlations of the spin of W bosons using e+e- -> W+W- -> lnqq~ events. Spin correlations are favoured by data, and found to agree with the Standard Model predictions. In addition, correlations between the W-boson decay planes are studied in e+e- -> W+W- -> lnqq~ and e+e- -> W+W- -> qq~qq~ events. Decay-plane correlations, consistent with zero and with the Standard Model predictions, are measured

Ultrarelativistic sources in nonlinear electrodynamics

The fields of rapidly moving sources are studied within nonlinear electrodynamics by boosting the fields of sources at rest. As a consequence of the ultrarelativistic limit the delta-like electromagnetic shock waves are found. The character of the field within the shock depends on the theory of nonlinear electrodynamics considered. In particular, we obtain the field of an ultrarelativistic charge in the Born-Infeld theory.Comment: 10 pages, 3 figure