LEADER 01194nam0-2200385-i-450- 001 990009338600403321 005 20110406123405.0 010 $a978-0-521-15433-8$bpaperback 035 $a000933860 035 $aFED01000933860 035 $a(Aleph)000933860FED01 035 $a000933860 100 $a20110406d2011----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa---a---001yy 200 1 $aForcing with random variables and proof complexity$fJan Krajķ?ek 210 $aCambridge$cCambridge University Press$d2011 215 $aXVI, 247 p.$d23 cm 225 1 $aLondon Mathematical Society lecture note series$v382 610 0 $aLogica matematica e fondamenti$aPresentazione di ricerche 610 0 $aModelli dell'aritmetica e della teoria degli insiemi 610 0 $aComplessitą delle dimostrazioni 676 $a511.3$v22$zita 700 1$aKrajķ?ek,$bJan 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990009338600403321 952 $aC-9-(382$b24575$fMA1 959 $aMA1 962 $a03-02 962 $a03C62 962 $a03F20 996 $aForcing with random variables and proof complexity$9239993 997 $aUNINA LEADER 01972nam0-2200529---450- 001 990000092910203316 005 20051010124312.0 010 $a88-464-2030-6 035 $a000009291 035 $aUSA01000009291 035 $a(ALEPH)000009291USA01 035 $a000009291 100 $a20000914d2000----|||y0itay0103----ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> poteri dell'anima per una psicologia della santitą possibile$etestimonianze di Enzo Bianchi, don Oreste Benzi, fratel Ettore Boschini, Anna e Massimo Laveroni, don Gino Rigoldi, Zaira e Giaele Spreafico, Wilma Chasseur, Carla Zichetti$fpresentazione del cardinale Camillo Ruini$gcon i contributi di Gianfranco Ravasi e Umberto Folena 210 $aMilano$cF. Angeli$dcopyr.2000 215 $a205 p.$d23 cm 225 2 $aCollana di psicologia sociale$iLe nuove frontiere$v1 410 0$a12001$aCollana di psicologia sociale. Le nuove frontiere 610 $aCristianesimo e societįa 610 $aSantitįa e psicologia 676 $a234.8 700 1$aRUTELLI,$bPietro$0253458 801 $aIT$bSALBC$gISBD 912 $a990000092910203316 951 $aII.3. 1102(VI ps B Coll. 168/1)$b153145 L.M.$cVI ps B Coll.$d00004188 959 $aBK 979 $c20000914$lUSA01$h1742 979 $c20000919$lUSA01$h1048 979 $c20000919$lUSA01$h1521 979 $c20001019$lUSA01$h1057 979 $c20001019$lUSA01$h1454 979 $c20001019$lUSA01$h1502 979 $c20001019$lUSA01$h1539 979 $c20001024$lUSA01$h1515 979 $c20001027$lUSA01$h1519 979 $c20001027$lUSA01$h1524 979 $c20001110$lUSA01$h1710 979 $c20001124$lUSA01$h1208 979 $c20020403$lUSA01$h1616 979 $aPATRY$b90$c20040406$lUSA01$h1607 979 $aCOPAT5$b90$c20051010$lUSA01$h1243 996 $aPoteri dell'anima per una psicologia della santitą possibile$91487195 997 $aUNISA bas $auma LEADER 03050nam 2200409 450 001 9910412315603321 005 20230825164245.0 035 $a(CKB)5280000000243819 035 $a(NjHacI)995280000000243819 035 $a(EXLCZ)995280000000243819 100 $a20230825d2020 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aLSC '20 $eproceedings of the Third Annual Workshop on the Lifelog Search Challenge : June 08-10, 2020, Dublin, Ireland /$fgeneral chairs, Cathal Gurrin [and six others] 210 1$aNew York :$cAssociation for Computing Machinery,$d2020. 215 $a1 online resource (89 pages) $cillustrations 225 0 $aACM conferences 300 $aIncludes index. 311 $a1-4503-7136-1 330 $aIt is our great pleasure to welcome you to the third annual Lifelog Search Challenge - LSC'20-held during the ACM ICMR'20 conference in Dublin, Ireland.Motivated by the success of the first two LSC workshops and driven by the fact that lifelog organisation and retrieval continue to pose significant challenges for the research community, we are organising the third in the series of LSC workshops. The mission of the LSC workshops is to support the development and comparative evaluation of interactive lifelog retrieval systems by releasing test collections and defining research challenges to be solved by the community in an open and collaborative manner. The LSC workshops are participation workshops, where participants write and present an academic paper describing their retrieval system, and then take part in a live interactive search competition. Consequently, the workshop is highly interactive and challenging for participants. LSC'20 starts with short oral presentations of participating systems, followed by the search challenge which involves both expert users in a private session and novice users in a public session, which never fails to excite.The call for papers attracted submissions from Asia and Europe and ultimately fourteen papers have been selected for inclusion in the program, with authors from Ireland, Austria, China, Czech Republic, Denmark, Japan, Netherlands, Slovakia, Switzerland, Taiwan and Vietnam. Each of these papers is accompanied by a working interactive search engine. The organisers are delighted to see such a strong community building around the Lifelog Search Challenge. 606 $aInformation storage and retrieval systems$xSocial aspects$vCongresses 606 $aInteractive multimediaxSocial aspects$vCongresses 606 $aSocial sciences$xData processing$vCongresses 615 0$aInformation storage and retrieval systems$xSocial aspects 615 0$aInteractive multimediaxSocial aspects 615 0$aSocial sciences$xData processing 676 $a025.063 702 $aGurrin$b Cathal 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910412315603321 996 $aLSC '20$93470038 997 $aUNINA