On a variant of Monotone NAE-3SAT and the Triangle-Free Cut problem

In this paper we define a restricted version of Monotone NAE-3SAT and show that it remains NP-Complete even under that restriction. We expect this result would be useful in proving NP-Completeness results for problems on $k$-colourable graphs ($k \ge 5$). We also prove the NP-Completeness of the Triangle-Free Cut problem

Peningkatan Pengetahuan Siswa Menggunakan Peralatan Pengukur Presisipada Mata Pelajaran Pengukuran dengan Media Microsoft Office PowerPoint di SMK Pangudi Luhur Muntilan Tahun Ajaran 2010/ 2011

Penelitian ini bertujuan untuk: (1) Mengetahui pengetahuan siswa sebelum diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint, (2) Mengetahui pengetahuan siswa setelah diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint, (3) Mengetahui peningkatan pengetahuan siswa setelah diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint, (4) Mengetahui perbedaan pengetahuan siswa yang diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint dengan siswa yang tidak diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint. Penelitian ini termasuk penelitian eksperimen semu (quasi eksperiment) yang dilaksanakan di SMK Pangudi Luhur Muntilan Tahun Ajaran 2010/ 2011 pada semester satu. Desain penelitian berupa pretest-posttest control group design. Subyek penelitian/ responden terdiri dari 31 siswa kelompok kontrol dan 32 siswa kelompok eksperimen. Instrumen yang digunakan dalam penelitian ini adalah tes untuk mengetahui hasil belajar Pengukuran. Peningkatan pengetahuan siswa diuji dengan uji-t sampel berkorelasi dan perbedaan pengetahuan siswa dihitung dengan rumus (O2 - O1) – (O4 - O3). Hasil penelitian menunjukkan bahwa: (1) Pengetahuan siswa sebelum diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint dapat mencapai nilai total: 1.433 dengan nilai rata-rata: 45,28; (2) Pengetahuan siswa setelah diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint dapat mencapai nilai total: 2.370 dengan nilai rata-rata: 74,66; (3) Dari hasil uji-t yang dilakukan ternyata harga thitung lebih besar dari harga ttabel (22,09 > 2,000) dengan demikian Ha diterima dan Ho ditolak, maka terdapat peningkatan pengetahuan siswa setelah diberi perlakuan pembelajaran dengan media Microsoft Office PowerPoint dengan kriteria dari nilai total: 1.433 menjadi 2.370 dan dari nilai rata-rata: 45,28 menjadi 74,66; (4) Perbedaan pengetahuan siswa yang diberi perlakuan pembelajaran dengan menggunakan media Microsoft Office PowerPoint dengan siswa yang tidak diberi perlakuan adalah (2.370 – 1.433) – (1.833 – 1.383) = 937 – 450 = 487. Jadi perbedaan pengetahuannya yaitu 487

A Critical Appraisal of Remedies in the EU Microsoft Cases

We discuss and compare the remedies in the two cases antitrust cases of the European Union (EU) against Microsoft. The first EU case alleged (i) that Microsoft illegally bundled the Windows Media Player (WMP) with Windows; and (ii) that Microsoft did not provide adequate documentation that would allow full interoperability between Windows servers and non-Microsoft servers as well as between Windows clients and non-Microsoft servers. After finding Microsoft liable and imposing a large fine, the EU imposed as remedies the requirements on Microsoft (i) to sell a version of Windows without WMP (Windows-N); and (ii) to publish and license interoperability information. Windows-N was a commercial failure, and there has been only limited cross-platform server entry. In its second investigation of Microsoft, the EU alleged illegal tying of Internet Explorer (IE) with Windows. The EU settled with Microsoft with Microsoft undertaking the obligation to ask (through compulsory Windows updates) consumers whose computers have Internet Explorer pre-installed to choose a browser from a menu of competing browsers. Thus, the EU imposed quite different remedies in the two cases: an unbundling remedy for the WMP but a close to a must-carry requirement for IE. We analyze and compare the different approaches.antitrust, remedies, Microsoft, complementarity, innovation, efficiency, monopoly, oligopoly, media player, interoperability, Internet browser

The concordance of field-normalized scores based on Web of Science and Microsoft Academic data: A case study in computer sciences

In order to assess Microsoft Academic as a useful data source for evaluative bibliometrics it is crucial to know, if citation counts from Microsoft Academic could be used in common normalization procedures and whether the normalized scores agree with the scores calculated on the basis of established databases. To this end, we calculate the field-normalized citation scores of the publications of a computer science institute based on Microsoft Academic and the Web of Science and estimate the statistical concordance of the scores. Our results suggest that field-normalized citation scores can be calculated with Microsoft Academic and that these scores are in good agreement with the corresponding scores from the Web of Science.Comment: 10 pages, 2 figures, 1 tabl

THE OPENING OF THE FIRST MICROSOFT INNOVATION CENTER IN ROMANIA WITHIN THE ROMANIAN – AMERICAN UNIVERSITY

On January 30, 2008, at the Romanian-American University, the Microsoft Innovation Center was opened, in the presence of Mr. Szomogy, state secretary at the Telecommunications Ministry, Mr. Silviu Hotăran, general manager of Microsoft Romania, prof. univ. dr. Ion Smedescu, founding rector of the Romanian-American University, teaching staff, students and representatives of prestigious companies in IT. On a global scale, there are, at present, 110 Microsoft Innovation Centers working in 60 countries, Romania joining, now, this network. With this opportunity the Contract of Collaboration between Microsoft Romania and the Romanian-American University was signed, which marked de creation of the first Microsoft Innovation Center in Romania, its goal being the increase of students abilities in business applications.innovation, e-campus platform, quality characteristics, business

RELATIONSHIP BETWEEN LEARNING MATHEMATICS AND THE ROLE OF TEACHERS IN LEARNING PROCESS OF LEARNING WITH MICROSOFT OFFICE EXCEL 2007 Prodi COMPUTER AND NETWORK ENGINEERING STUDENTS IN CLASS XI SMK Muhammadiyah 1 GREETINGS ACADEMIC YEAR 2012/2013

This study aimed to determine the relationship between the Math Learning Outcomes Learning Outcomes Microsoft Office Excel 2007, the relationship between the role of teacher in the Learning Outcomes Learning Microsoft Office Excel 2007, and the relationship between Learning Outcomes and the Role of Teachers in Mathematics Learning together with Learning Outcomes Microsoft Office Excel 2007 Prodi Computer Engineering and Networks Class XI student at SMK Muhammadiyah 1 Hail in Academic Year 2012/2013. This research is Ex-post facto quantitative approach. The subjects of this study were students of class XI Prodi Computer Engineering and Networks in SMK Muhammadiyah 1 Greetings. Data collection using questionnaires for variables Teacher Role in the Process of Learning and the documentation for the variable results of Learning Mathematics and Learning Outcomes Microsoft Office Excel 2007. Test the validity of the instrument using Product Moment Correlation formula and test the reliability of using the formula Croanbach's Alpha. Test requirements analysis includes normality test, linearity and multicollinearity test. The first and second hypothesis testing using Product Moment correlation, while for the third hypothesis testing using multiple correlation. The results showed that: (1) There is a positive and significant relationship with the Mathematics Learning Outcomes Learning Outcomes Microsoft Office Excel 2007. This was indicated by the correlation coefficient (rx1y) of 0.307, pvalue 0.010 <0.05, the coefficient determinant (r2x1y) of 0.094, 2.658 t count for more than ttabel by 2,000, (2) There is a positive and significant role of teachers in Learning Outcomes Learning with Microsoft Office Excel 2007. This was indicated by the correlation coefficient (rx2y) of 0.393, p-value 0.001 <0.05, the coefficient determinant (r2x2y) of 0.155, 3.527 t count for more than ttabel by 2,000, (3) There is a positive and significant relationship Mathematics Learning Outcomes and the Role of Teachers in the Process of Learning together with the Learning Microsoft Office Excel 2007. This was indicated by Fhitung 7.995 greater than 3.13 or a probability Ftabel 0.001. Coefficient determinant (R2y1, 2) of 0.193 means that 19.3% of the variance that occurs in the variable Result Learning Microsoft Office Excel 2007 is determined by the variance of outcome variables that occur in learning mathematics and the role of the teacher in the learning process

Multi-objective scheduling of Scientific Workflows in multisite clouds

Clouds appear as appropriate infrastructures for executing Scientific Workflows (SWfs). A cloud is typically made of several sites (or data centers), each with its own resources and data. Thus, it becomes important to be able to execute some SWfs at more than one cloud site because of the geographical distribution of data or available resources among different cloud sites. Therefore, a major problem is how to execute a SWf in a multisite cloud, while reducing execution time and monetary costs. In this paper, we propose a general solution based on multi-objective scheduling in order to execute SWfs in a multisite cloud. The solution consists of a multi-objective cost model including execution time and monetary costs, a Single Site Virtual Machine (VM) Provisioning approach (SSVP) and ActGreedy, a multisite scheduling approach. We present an experimental evaluation, based on the execution of the SciEvol SWf in Microsoft Azure cloud. The results reveal that our scheduling approach significantly outperforms two adapted baseline algorithms (which we propose by adapting two existing algorithms) and the scheduling time is reasonable compared with genetic and brute-force algorithms. The results also show that our cost model is accurate and that SSVP can generate better VM provisioning plans compared with an existing approach.Work partially funded by EU H2020 Programme and MCTI/RNP-Brazil (HPC4E grant agreement number 689772), CNPq, FAPERJ, and INRIA (MUSIC project), Microsoft (ZcloudFlow project) and performed in the context of the Computational Biology Institute (www.ibc-montpellier.fr). We would like to thank Kary Ocaña for her help in modeling and executing the SciEvol SWf.Peer ReviewedPostprint (author's final draft