Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.



© Intel

Prawo Moore'a przetrwa CMOS

3 lutego 2016, 09:59

Prawo Moore'a przeżyje technologię CMOS i będzie obowiązywało w odniesieniu do przyszłych technik wytwarzania układów scalonych, uważa Wiliam Holt z Intela. Holt, odpowiedzialny w Intelu za wydział technologii i produkcji, nie zdradził, którą z technologii mających zastąpić CMOS wdroży jego firma


Funai prezentuje DynamicECD

22 grudnia 2008, 11:08

Firma Funai zaprezentowała nowy, dający płynny i czysty obraz panel refleksyjny (określany jako DynamicECD). Wyświetlacz charakteryzuje się dużą szybkością skanowania, wysokim kontrastem oraz niskimi kosztami produkcji i eksploatacji.


Toksyna zapobiega tworzeniu neurotoksycznych agregatów

28 czerwca 2016, 06:12

Specjaliści z Instytutu Badań Fizycznych i Chemicznych (RIKEN) z Wakō w pobliżu Tokio odkryli, że akroleina, toksyna powstająca w komórkach w czasie stresu oksydacyjnego, może odgrywać ważną rolę w zapobieganiu procesowi fibrylacji, czyli nieprawidłowemu odkładaniu się białek, związanemu m.in. z chorobą Alzheimera (ChA).


Grzywna za zatrudnianie rodzin polityków i urzędników

7 marca 2016, 12:03

Jeden z największych producentów układów scalonych, Qualcomm, zgodził się zapłacić 7,5 miliona USD grzywny za naruszenie amerykańskich przepisów antykorupcyjnych. Jak poinformowała amerykańska Komisja Giełd (SEC), Qualcomm zatrudniał dzieci oraz innych krewnych chińskich polityków i dyrektorów przedsiębiorstw państwowych


Najmniejszy z silników

20 stycznia 2009, 11:17

Małe, autonomiczne roboty, które wewnątrz ludzkiego organizmu wykonują procedury medyczne, to wciąż przyszłość. Jednak, dzięki opracowaniu miniaturowego silnika, przyszłość coraz bliższa. Jeśli chcemy, by w naszych żyłach mogły pływać roboty, musimy zapewnić im napęd.


Oxford English Dictionary

Błędne zdania z komentarzem

1 sierpnia 2016, 11:59

Naukowcy z MIT udostępnili pierwszą dużą bazę danych zawierającą angielskie zdania napisane przez osoby, dla których angielski nie jest językiem macierzystym, wraz z komentarzem do tych zdań. Już wcześniej naukowcy wykazali, że lingwiści mogą przeprowadzić interesujące badania sprawdzając błędy robione przez użytkowników, którzy angielskiego nauczyli się jako drugiego lub kolejnego języka


To nie(koniecznie) przez dentystę

22 lutego 2009, 20:33

Dbasz o swoje zęby, a mimo to wypadają z nich wypełnienia? Winnym wcale nie musi być twój dentysta - wiele zależy także od twojego organizmu.


Zastępnik dla masła kakaowego: masło z mango

8 września 2016, 06:07

Naukowcy z Bangor University zaproponowali rozwiązanie kryzysu czekoladowego (ludzie zjadają więcej kakao, niż z różnych względów producenci są w stanie zapewnić). Wg nich, masło kakaowe można zastąpić masłem z nepalskiego mango (Mangifera sylvatica).


Solny poprawiacz humoru

11 marca 2009, 11:57

Psycholodzy z University of Iowa uważają, że znają powód, dla którego tak wiele osób nadużywa soli. Wg nich, jest ona naturalnym antydepresantem.


Jubileusz 75-lecia Polskiej Akademii Nauk