@article{BachfischerBohnenbergerEtAl07ki, title = {{Kontext-adaptive Fahrerinformationssysteme am Beispiel eines Navigationssystems}}, author = {Katharina Bachfischer and Thorsten Bohnenberger and Martin Hofmann and Christoph Wäller and Yongmei Wu}, journal = {KI -- Künstliche Intelligenz}, number = {3}, pages = {57-63}, volume = {2007}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2a72d186b58daefc6b89d9dcab7c40d4d/flint63}, abstract = {Moderne Fahrerinformationssysteme bieten dem Fahrer eine Fülle von Informationen, die nur zum Teil für die primäre Aufgabe des Fahrers -- der Fahrzeugführung -- benötigt werden. Viele Fahrerinformationssysteme passen sich den aktuellen Bedürfnissen und Zielen des Fahrers nur bedingt an und erfordern umständliche Bedienabläufe, um eine zufrieden stellende Information des Fahrers zu erzielen. In diesem Artikel beschreiben wir eine allgemeine Architektur zur Realisierung kontext-adaptiver Anwendungen im Fahrzeug und einen Ansatz zur situativen Anpassung der Informationsdarbietung auf der Basis von Bayes’schen Netzen. Wir illustrieren diesen Ansatz anhand einer kontextadaptiven Auswahl von Points of Interests in einem Navigationssystem. Eine erfolgreiche Anpassung der Auswahl und der Darbietung der angezeigten Informationen trägt dabei sowohl zu einer Verbesserung der Nutzbarkeit (Usability) als auch der allgemeinen Nützlichkeit (Utility) des Fahrerinformationssystems bei.}, timestamp = {2008.02.19}, issn = {0933-1875}, owner = {flint}, keywords = {adaptive ai assist embedded information interaction navigation paper processing sensor traffic user v0805 } } @other{Bauer2008a, title = {Process for hydrosilylation of alkenes in ionic liquids in preparation of alkylchlorosilanes.}, author = {Andreas Bauer and Thomas Frey and Peter Wasserscheid and Peter Schulz and Norber Hofmann}, journal = {PCT Int. Appl. WO 2007-EP56210 20070621}, pages = {39pp.}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2dcc3f31bcdee23317a9e414b8b7db70c/psschulz}, abstract = {Alkylchlorosilanes were prepd. by hydrosilylation of alkenes R8R9C:CR10R11 (2; R8-R11 = H, optionally halo-, amino-, alkoxy-, cyano- of isocyanato-substituted C1-18 hydrocarbyl, Cl, F, C1-18 alkoxy) by silanes HaSiR4-a (1; R = H, optionally halo C1-18 hydrocarbyl, C1-18 alkoxy; a = 1-3), preferably by chlorosilanes RcHdSiCl4-c-d (3; same R, c = 0-4, d = 1-3), catalyzed by transition metal complexes, preferably by platinum complexes dissolved in ionic liqs. [A+][Y-] (4; Y- = BArF4-, BF4-, P(C2F5)3F3-, SbF6-, AsF6-, fluorosulfonate, carboxylate, sulfonate, organyl sulfate, diorganyl phosphate, disulfonylimidate; A+ = tetraorganylammonium, tetraorganylphosphonium, imidazolium, pyridinium, pyrazolium, triazolium, picolinium, pyrrolidinium), optionally supported by high-porous silica. In an example, the silica-supported catalyst was prepd. by adsorption of a soln. of 0.7 mg of PtCl4 in 1.0 g of 1-ethyl-2,3-dimethylimidazolium bis(trifluoromethylsulfonyl)imidate on 5 g of granulated silica (0.2-0.5 mm particles) followed by reaction of 6.3 g of allyl chloride with 11.7 g of trichlorosilane at 100 Deg, giving (trichloropropyl)trichlorosilane with 70% yield and 73% selectivity. In another example, the catalytic soln. of PtCl4 in 1-ethyl-2,3-dimethylimidazolium bis(trifluoromethylsulfonyl)imidate was reused three times with any loss of catalytic activity. [on SciFinder (R)]}, keywords = {IonicLiquds allyl chloride chloropropylsilane halosilane hydrosilylation improved ionic liq own prepn process process; silane } } @article{journals/debu/MehtaH08, title = {A Survey of Attack-Resistant Collaborative Filtering Algorithms.}, author = {Bhaskar Mehta and Thomas Hofmann}, journal = {IEEE Data Eng. Bull.}, number = {2}, pages = {14-22}, url = {http://dblp.uni-trier.de/db/journals/debu/debu31.html#MehtaH08}, volume = {31}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2f813f08ccb3bd31fc6870081bfa0cae6/dblp}, description = {dblp}, ee = {http://sites.computer.org/debull/A08June/mehta.pdf}, date = {2008-07-01}, keywords = {dblp } } @inproceedings{conf/cbms/RajasekaranIHFSBEACFHKMBIMHDF08, title = {@neurIST - Towards a System Architecture for Advanced Disease Management through Integration of Heterogeneous Data, Computing, and Complex Processing Services.}, author = {Hariharan Rajasekaran and Luigi Lo Iacono and Peer Hasselmeyer and Jochen Fingberg and Paul E. Summers and Siegfried Benkner and Gerhard Engelbrecht and Antonio Arbona and Alessandro Chiarini and Christoph M. Friedrich and Martin Hofmann-Apitius and Kai Kumpf and Bob Moore and Philippe Bijlenga and Jimison Iavindrasana and Henning Mueller and Rod D. Hose and Robert Dunlop and Alejandro Frangi}, booktitle = {CBMS}, crossref = {conf/cbms/2008}, pages = {361-366}, publisher = {IEEE Computer Society}, url = {http://dblp.uni-trier.de/db/conf/cbms/cbms2008.html#RajasekaranIHFSBEACFHKMBIMHDF08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/282977f8db8317c70f184f06cb1688c27/dblp}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/CBMS.2008.42}, isbn = {978-0-7695-3165-6}, date = {2008-06-24}, keywords = {dblp } } @inproceedings{Hofmann:1999, title = {Probabilistic Latent Semantic Analysis}, author = {Thomas Hofmann}, booktitle = {UAI}, year = {1999}, biburl = {http://www.bibsonomy.org/bibtex/2d7f8a7b4ece8eb62f4202a352297c3e9/latentsemantic}, keywords = {imported } } @inproceedings{HofmannKS08, title = {Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework}, author = {Martin Hofmann and Emanuel Kitzelmann and Ute Schmid}, booktitle = {31st German Conference on Artificial Intelligence}, note = {to appear}, publisher = {Springer-Verlag}, series = {LNAI}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/29d9277b04bb73462fdd920010fab9faa/emanuel}, pdf = {http://www.cogsys.wiai.uni-bamberg.de/publications/ki08.pdf}, keywords = {analytical_ip enumerative_ip experiment haskell higher-order_functions iflp ifp igor2 ilp induction inductive_programming inproceedings machine_learning overview program_synthesis } } @inproceedings{HofmannHKS07, title = {Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems}, author = {Martin Hofmann and Andreas Hirschberger and Emanuel Kitzelmann and Ute Schmid}, booktitle = {KI 2007: Advances in Artificial Intelligence}, pages = {468--472}, publisher = {Springer-Verlag}, series = {LNCS}, url = {http://dx.doi.org/10.1007/978-3-540-74565-5_42}, volume = {4667}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/25f524c7a0bb35e0306f7484932cae70d/emanuel}, description = {a comparison of the ILP systems DIALOGS II and ATRE and the IFP system ADATE from an inductive programming viewpoint}, pdf = {http://www.cogsys.wiai.uni-bamberg.de/publications/ki07_short.pdf}, keywords = {adate atre comparison dialogs experiment ifp ilp induction inductive_programming inproceedings program_synthesis } } @article{journals/jfp/BucaloHMSH06, title = {Consistency of the theory of contexts.}, author = {Anna Bucalo and Furio Honsell and Marino Miculan and Ivan Scagnetto and Martin Hofmann}, journal = {J. Funct. Program.}, number = {3}, pages = {327-372}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp16.html#BucaloHMSH06}, volume = {16}, year = {2006}, biburl = {http://www.bibsonomy.org/bibtex/27563958c93f0b7e6830e1ffe7a00aaa0/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1017/S0956796806005892}, date = {2008-06-13}, keywords = {dblp } } @article{Hering2003, title = {[Further development of the International Pneumoconiosis Classification--from ILO 1980 to ILO 2000 and to ILO 2000/German Federal Republic version]}, author = {K. G. Hering and M. Jacobsen and E. Bosch-Galetke and H-J. Elliehausen and H-G. Hieckel and K. Hofmann-Preiss and W. Jacques and U. Jeremie and N. Kotschy-Lang and Th Kraus and B. Menze and W. Raab and H-J. Raithel and W. D. Schneider and K. Strassburger and S. Tuengerthal and H-J. Woitowitz and I. L. O.}, institution = {Knappschaftskrankenhaus, Klinik f�r Radiologie und Nuklearmedizin, Dortmund.}, journal = {Pneumologie}, month = {Oct}, number = {10}, pages = {576--584}, volume = {57}, year = {2003}, biburl = {http://www.bibsonomy.org/bibtex/2e6b30b1903854f46d89e784e894368d4/eyrinck}, abstract = {The ILO (1980) Classification has been revised during recent years. The new version is now available as the International Classification of Radiographs of Pneumoconioses (Revised edition 2000). The Guidelines booklet is currently available only in English. Those involved felt it was important to maintain continuity with the ILO (1980) edition, in particular to retain the standard radiographs, despite their restricted quality, so as to ensure comparability with earlier national and international data sets. The standard films illustrating pleural abnormalities, and 'u'-shadows, have been modified and reconstituted. The most important changes relate to assessment of film quality, pleural abnormalities, and additional symbols. In Germany, film quality is characterised as "+", "+-", "+--" and "u" according to whether the ability to assess pneumoconiosis is judged to be unimpeachable ("+") to unusable ("u"). If a film is not classified as "+", then written comments regarding defects are required. For "diffuse" pleural thickening, the ILO (2000) edition now requires the presence also of obliteration of the costophrenic angle. This was not required in the earlier (1980) edition and, as previously, is also not stipulated in the German version. A minimum width of 3 mm (previously 0-5 mm), coded "a", is required both for plaques as well as for the margin to the lateral chest wall. Congruence is thus achieved for criteria, which, in German practice, lead to an indication of suspect occupational disease. Plaques on the diaphragm are not considered for measurement of extent; they are only coded as present or absent. If calcification is identified, then this must also be classified and measured as a localised plaque. Extent of calcification on its own, previously coded "0" to "3", is no longer specified. The following new symbols, illustrated by new diagrams, have been introduced: aa = atherosclerotic aorta; at = apical thickening; cg = calcified granuloma (or other non-pneumocononiotic nodules); me = mesothelioma (already previously differentiated from "ca" on the German record sheet); pa = plate atelectasis; pb= parenchymal bands; ra = rounded atelectasis; od = other disease. (Examples of the latter are illustrated diagrammatically by lobar pneumonia, aspergilloma, goiter and hiatal hernia.) Earlier national differences (ILO 1980/German Federal Republic) on particular issues have also been agreed among German "double-readers" ["Zweitbeurteiler"]. However, conformity between the original (ILO 2000) text and the national (German) modified text has been retained in large measure. The detailed descriptions of the standard films differ in certain respects from the German (1980) definitions. Some revision of individual descriptions of the films are proposed. Except for a few differences, agreement was reached here too. The definitive date for the change in Germany is expected to be in early 2004. The standard films are already available now through ILO offices in Geneva or Bonn (addresses in appendix.)}, pmid = {14569528}, timestamp = {2008.06.05}, owner = {Helmut}, keywords = {Assurance, Care; Germany; Health Humans; Pleura, Pneumoconiosis, Quality Radiography, classification/radiography; radiography; standards } } @article{journals/micro/RamadanRPHAW08, title = {MetaTM/TxLinux: Transactional Memory for an Operating System.}, author = {Hany E. Ramadan and Christopher J. Rossbach and Donald E. Porter and Owen S. Hofmann and Bhandari Aditya and Emmett Witchel}, journal = {IEEE Micro}, number = {1}, pages = {42-51}, url = {http://dblp.uni-trier.de/db/journals/micro/micro28.html#RamadanRPHAW08}, volume = {28}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2b76d65580bc0d4fe87f1607d9bbbbdb9/dblp}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MM.2008.10}, date = {2008-06-05}, keywords = {dblp } }