18 research outputs found
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
There are several approaches for using computers in deriving mathematical
proofs. For their illustration, we provide an in-depth study of using computer
support for proving one complex combinatorial conjecture -- correctness of a
strategy for the chess KRK endgame. The final, machine verifiable, result
presented in this paper is that there is a winning strategy for white in the
KRK endgame generalized to board (for natural greater than
). We demonstrate that different approaches for computer-based theorem
proving work best together and in synergy and that the technology currently
available is powerful enough for providing significant help to humans deriving
complex proofs
REASONING ABOUT THE GAME āCLUEā BY USING OTTER
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented. The game Clue, as game based on knowledge have been modelled by PVETO logic - propositional multi-modal epistemic logic with temporal parameter adapted for reasoning with OTTER. PVETO logic is an extension of S5m logic and itās most important characteristics are the introduction of special derivation predicates for every participant in the card game and introduction of temporal parameter. Temporal parameter refers to the moment of time in which we follow the truthfulness of the epistemic formulae
DOES THE HIGH HURDLE TECHNIQUE AFFECT WEB-SURVEY RESULTS?
Tehnika visoke prepreke jedna je od strategija kontrole odustajanja ispitanika od web-ispitivanja. Tehnikom visoke prepreke pokuÅ”ava se umjetno i namjerno izazvanim zastojem u uÄitavanju poÄetne stranice web-upitnika izazvati Å”to ranije odustajanje manje motiviranih ispitanika. Dakle, oÄekuje se da Äe oni ispitanici koji unatoÄ Äekanju nastave s ispunjavanjem upitnika biti motiviraniji, a time i da Äe njihovi odgovori biti viÅ”e kvalitete. Do sada je objavljeno vrlo malo istraživanja i radova na temu korisnosti tehnike visoke prepreke (i sliÄnih tehnika), a dobiveni su rezultati nejasni i/ili meÄusobno opreÄni. U ovom je Älanku opisano istraživanje koje se bavi utjecajem tehnike visoke prepreke na rezultate web-ispitivanja na uzorku od 235 studentica i studenata Filozofskog fakulteta u Rijeci. Primijenjen je web-upitnik opÄih stavova prema internetu. Konkretno, koriÅ”tene su dvije inaÄice web-upitnika; jedna sa zastojem u uÄitavanju poÄetne stranice, kao eksperimentalni uvjet, i jedna bez zastoja, za kontrolu. Ustanovljeni su efekti zastoja na odustajanje sudionika, ali ne i na sadržaj odgovora ni na brzinu odgovaranja. Primjena zastoja rezultirala je znaÄajnim smanjenjem broja ispitanika koji zapoÄinju odgovarati na upitnik. No, s obzirom na to da ispitanici koji usprkos zastoju zapoÄnu odgovarati na upitnik u znaÄajno veÄem postotku ispunjavaju upitnik do kraja u odnosu na ispitanike iz kontrolne skupine, broj se u cijelosti ispunjenih upitnika u konaÄnici nije razlikovao meÄu skupinama.The high hurdle technique is one of the strategies for controlling dropout in web-surveys. Using the high hurdle technique, it is attempted to cause dropout of less motivated participants as early as possible, with intentionally and artificially caused delay in loading of the first page of the webquestionnaire. Therefore, it is expected that those participants who, in spite of the waiting period, continue to fill in the questionnaire, will be more motivated, and because of that their answers will be of higher quality. So far very few studies and papers regarding the high hurdle technique (and similar techniques) have been published, and the obtained results are unclear and/or opposed. This article describes the research investigating the effects of the high hurdle technique on a web-survey on the sample of 235 students of the Faculty of Humanities and Social Sciences in Rijeka. A web-questionnaire measuring general attitudes towards the Internet was applied. Specifically, two versions of the webquestionnaire were used, one with a delayed loading of the first page, as experimental condition, and one without delay as a control. The effects of the delay were established for dropout rate, but not for content of the responses or for responding speed.The application of the delay resulted in a significant decrease in the number of participants who began answering the questionnaire. However, since participants who began responding to the questionnaire in spite of the delay finished filling the questionnaire in a significantly higher percentage than control participants, the number of completely filled questionnaires did not differ between the groups
Web-ispitivanja, ureÄaji i web-forme
SrediÅ”nja su tema ovog pregleda istraživanja koja se bave utjecajem razliÄitih vrsta ureÄaja te razliÄitih web-formi na rezultate web-ispitivanja. Rezultati dosadaÅ”njih istraživanja nisu jednoznaÄni. RazliÄiti autori izvjeÅ”tavaju o razliÄitim smjerovima znaÄajnih efekata, dok se u nekim radovima efekti nisu manifestirali. Razmotrena je i interakcija ureÄaja i web-formi, meÄutim radova koji se time bave gotovo da i nema. Pregled je zakljuÄen smjernicama za buduÄa istraživanja
UTJECAJ VIZUALNE ORIJENTACIJE SKALE ZA ODGOVARANJE I BROJA STRANICA WEB-UPITNIKA NA REZULTATE ISPITIVANJA
Web-ispitivanja kod kojih se podaci od ispitanika prikupljaju web-upitnikom danas postaju sve popularnija. No sve viÅ”e ljudi za pristup internetu koristi zaslone raznih formata, pametne telefone, tablete itd., pa su posebno važne moguÄnosti raznih prikaza web-upitnika, odnosno fleksibilnost u njihovu dizajniranju. S druge strane, dizajn web-upitnika može utjecati na podatke prikupljene tim ispitivanjem. DosadaÅ”nja istraživanja o utjecaju vizualne orijentacije skale za odgovore i broja stranica web-upitnika na rezultate daju dosta nejasne, a ponekad i opreÄne nalaze. Osim toga, postoji premali broj istraživanja koja se bave ovakvim pitanjima. U Älanku je opisano istraživanje koje se bavi utjecajem navedenih osobina web-upitnika na rezultate ispitivanja na uzorku od 207 studentica i studenata Filozofskog fakulteta u Rijeci. Cilj istraživanja bio je provjeriti utjeÄu li vizualna orijentacija skale za odgovaranje i broj stranica web-upitnika na rezultate ispitivanja. U kontekstu ovog istraživanja pod rezultatima ispitivanja misli se posebno na vrijeme potrebno za ispunjavanje web-upitnika i posebno na sadržaj odgovora. Primijenjen je web-upitnik sa skalom stavova o raÄunalima i sa skalom stavova o internetu. KoriÅ”tene su tri inaÄice web-upitnika. U prvoj je koriÅ”ten straniÄeni dizajn, u drugoj vertikalni klizaÄi, a u treÄoj horizontalni klizaÄi dizajn. Kruskal-Wallisovom analizom ustanovljeno je da nema znaÄajnih razlika u brzini rjeÅ”avanja web-upitnika meÄu skupinama ispitanika sa straniÄenim dizajnom, vertikalnim klizaÄim i horizontalnim klizaÄim dizajnom. TakoÄer, analizom varijance nije ustanovljena znaÄajna razlika u sadržaju odgovora meÄu tim skupinama. Možemo zakljuÄiti da dizajn web-upitnika u smislu broja stranica i vizualne orijentacije skale za odgovaranje nije utjecao na rezultate ispitivanja