Skip to main content

Linux 64-bit

64-bitová verzia operačného systému Linux. Pri spustení príkazu uname -m vypíše x86_64 

Reversi

Projekt:
Zameranie projektu:
Podporované platformy:
Fáza projektu:

Reversi hľadá veľmi slabé riešenia (výhra, remíza, prehra) populárnej hry Reversi. Projekt ukončil výpočet pre hraciu plochu 6x6. V súčasnosti je pozastavený, ale do budúcna sa plánuje výpočet pre hraciu plochu 8x8. Ide o prvý (a zatiaľ jediný) slovenský BOINC projekt.

Projekt má 32 bitové aplikácie, ktoré sú využívané aj 64 bitovými systémami.

Ramsey@Home

Projekt:
Zameranie projektu:
Fáza projektu:

Projekt Ramsey@Home sa zaoberá Ramseyho teóriou. Základom tejto teórie je myšlienka hľadania usporiadania v náhodných konfiguráciách.

Typický výsledok v Ramseyho teórii začína s určitou matematickou štruktúrou, ktorá sa rozdelí na menšie časti. Otázka znie: aká veľká musí byť pôvodná štruktúra, aby aspoň jedna jej časť mala určenú zaujímavú vlastnosť?

Názorným príkladom je princíp holubníka: vieme, že n holubov býva v m priehradkach holubníka. Aké veľké má byť číslo n aby sme si boli istí že aspoň jedna priehradka obsahuje aspoň dvoch holubov?

ABC@home

Projekt:
Zameranie projektu:
Fáza projektu:
Projekt bol ukončený.
 
Tento matematicý projekt sa zaoberá tzv. ABC domienkou:
Majme kladné celé čísla a,b,c pre ktoré platí:
 
a+b=c
a<b<c
a,b,c nemajú spoločných deliteľov
c>rad(abc)     - tzv. radikál abc
 
ABC domienka hovorí, že existuje konečný počet čísel a,b,c pre ktoré platí log(c)/log(rad(abc))>h ; pre akékoľvek reálne číslo h>1.

MilkyWay@home

Projekt:
Zameranie projektu:
Fáza projektu:

MilkyWay@home je projekt zaoberajúci sa výskumom v oblasti modelovania a určovania vývoja Mliečnej Dráhy. Cieľom je vytvoriť presný troj-dimenzionálny model na základe dát z The Sloan Digital Sky Survey.

MilkyWay@home tak kombinuje výskum v oblasti počítačových vied, kde projekt skúma rôzne optimalizačné metódy (napr. evolučné a genetické algoritmy, ako aj asynchrónne newtonove metódy) s astrofyzikou, kde MilkyWay@home vytvára 3-dimenzionálny model prúdu hviezd Strelca s vysokou presnosťou, ktorý nám pomôže objasniť spôsob formovania Mliečnej dráhy.

Sudoku

Projekt:
Zameranie projektu:
Fáza projektu:

Tento projekt sa venuje svetovo veľmi známej japonskej logickej hre Sudoku. Cieľom tejto hry je doplniť chýbajúce čísla 1-9 do nedokončenej tabuľky, ale s dodržaním určitých pravidiel. Tabuľka má najčastejšie veľkosť 9x9 políčok a má 25-30 odhalených čísel. Hra Sudoku musí spĺňať dve dôležité podmienky: existencia riešenia a to riešenie musí byť zároveň jedinečné. Tieto vlastnosti závisia práve od počtu dopredu vyplnených čísel v tabuľke. Súčasná najmenšia počiatočná konfigurácia, pri ktorej existuje jedinečné riešenie, má 17 zadaných čísel.

SHA1 - Collision Search Graz

Zameranie projektu:
Podporované platformy:
Fáza projektu:

Hash funkcia SHA-1 je jeden z najčastejšie používaných kryptografických algoritmov na svete. Bol navrhnutý národnou bezpečnostnou agentúrou (NSA) a určený ako štandard národným inštitútom štandardov a technológií (NIST) v roku 1995. Je využívaný napríklad pri online nákupoch, ukladaní a porovnávaní hesiel webstránok a zabezpečení webserverov. SHA-1 je teda užívaný väčšinou z nás priamo/nepriamo každý deň.

Superlink@Technion

Zameranie projektu:
Fáza projektu:

Superlink@Technion hľadá gény, ktoré môžu vyvolávať niektoré choroby ako napríklad cukrovku, vysoký krvný tlak, nádory, schizofréniu a mnoho ostatných. Program vykonáva analýzu genetického prepojenia týchto chorôb, čo je vlastne štatistická metóda používaná na pridružovanie účelu génu s jeho umiestnením na chromozóme. Bežne sa používa na detekciu mutovaných génov spôsobujúcich rôzne nemoci.

AQUA@home

Projekt:
Zameranie projektu:
Fáza projektu:

Projekt bol ukončený.

Malariacontrol.net

Zameranie projektu:
Fáza projektu:

Malariacontrol.net sa zaoberá simuláciou prenosu a zdravotných následkov malárie. Informácie získané týmto výskumom môžu byť využité na plánovanie distribúcie sietí proti komárom, liekov a nových vakcín proti tejto chorobe. Program vyvinutý Švajčiarskym inštitútom pre tropické ochorenia berie do úvahy charakteristiku ochorenia, krátkodobé a dlhodobé dôsledky liečby, ako aj vzájomné závislosti medzi nosičmi choroby a zdravými osobami v populácii.

Traveling salesman problem

Projekt:
Zameranie projektu:
Fáza projektu:

TSP sa zaoberá problémom, keď obchodný zástupca má navštíviť istý počet miest, pričom každé mesto iba raz pri najmenšej vzdialenosti potrebnej na cestovanie. Tento problém je jednoduchý pri malom počte miest, ale pri ich narastajúcom počte narastá aj množstvo možných kombinácií. Riešenie sa môže javiť ako nedôležité z praktického hľadiska, ale má uplatnenie napríklad pri návrhoch integrovaných obvodov s potrebou konštantného času medzi signálmi, pri rezaní materiálov s čo najmenším odpadom, zoskupovaní dátových polí, alebo analýze kryštalických štruktúr.

Syndikovať obsah