FROM TELESALES TO TELE-ADVISORY SERVICES IN TRAVEL AGENCIES(article)Susanne Schmidt-Rauch, Raphael Schär, Gerhard Schwabe December, Proceeding of International Conference on Information Systems (ICIS 2010), im, 2010 | ||||||||||||||||||||||||||
Controlled English for knowledge representation(phdthesis)Tobias Kuhn Norbert E. Fuchs(Eds.) 04, University of Zurich, Department of Informatics, cl, 2010 | ||||||||||||||||||||||||||
Employee fraud detection under real world conditions(phdthesis)Jonas Luell Abraham Bernstein(Eds.) Mitarbeiterbetrug in Finanzinstituten stellt ein beträchtliches finanzielles Risiko, aber auch Reputationsrisiko dar. Studien zeigen, dass diese Art von Betrug typischerweise durch erhaltene Hinweise - im schlimmsten Fall von betroffenen Kunden - entdeckt wird, was im Bezug auf die Reputation fatal ist. Folglich besteht eine grosse Motivation, analytische Betrugserkennung zu verbessern. Wir untersuchen Kundenberaterbetrug in einem bedeutenden Finanzinstitut und kommen zum Schluss, dass sich dieser Betrugstyp beträchtlich von anderen Arten unterscheidet. Interner Betrug auf Mitarbeiterebene ist jedoch ein Gebiet, das in der Forschung relativ wenig Aufmerksamkeit erhält. In dieser Arbeit geben wir einen Überblick über die Forschung in der Betrugserkennung im Hinblick auf implizit gemachte Annahmen und Anwendbarkeit. Wir schlagen ein Entscheidungsframework vor, das basierend auf den vorliegenden Eigenschaften einer Problemstellung in der Praxis bei der Wahl einer geeigneten Methode hilft. Anschliessend wenden wir das Framework auf die vorliegende Situation in Alphafin an und legen damit den von uns gewählten Ansatz dar. Das vorgeschlagene System besteht aus einer Komponente für die Erkennung von Betrug und einer Visualisierungskomponente. Eine Reihe von Implementationsvarianten für die Detektionskomponente wird diskutiert, wobei der Fokus auf "Tempo-Relationalem Pattern Matching" liegt. Die Visualisierungskomponente, welche im Rahmen der Zusammenarbeit in Alphafin in eine produktive Software überführt wurde, wird vorgestellt. Anhand dreier Case Studies zeigen wir das Potential des Systems und diskutieren gewonnene Erkenntnisse sowie mögliche Erweiterungen., 04, University of Zurich, Department of Informatics, ddis, 2010 | ||||||||||||||||||||||||||
Perm: efficient provenance support for relational databases(phdthesis)Boris Glavic Michael Böhlen and Gustavo Alonso(Eds.) 04, University of Zurich, Department of Informatics, dbtg, 2010 | ||||||||||||||||||||||||||
Automatic verification of small molecule structure with one dimensional proton nuclear magnetic resonance sprectrum(phdthesis)Jiwen Li Abraham Bernstein(Eds.) Die Verifikation von kleinen eindimensionalen molekularen Protonstrukturen mittels NMR (Nuclear Magnetic Resonance) ist eine zentrale Methode für die Entdeckung und Entwicklung von Medikamenten geworden. Der manuelle Verifikationsprozess ist jedoch ineffizient, womit diese Methode sich auf ein Entscheidungsinstrument für die Identifikation von molekularen Strukturen beschränkt. Betrachtet man die unbestreitbaren Vorteile von NMR in der Identifikation von molekularen Strukturen (verglichen mit anderen Techniken), liegt auf der Hand, dass die Verbreitung dieser Technologie als routinemässige Verifikationsmethode für molekulare Strukturen die Entwicklung von Medikamenten erheblich effizienter machen kann, insbesondere im Compound Library Management der pharmazeutischen Industrie. Dementsprechend wurde Software für die automatisierte NMR Structure Verification entwickelt, in der Literatur beschrieben sowie kommerziell vertrieben. Leider sind diese Ansätze grundsätzlich limitiert (und hängen beispielweise stark von der Chemical Shift Prediction ab) und sind in der Praxis nicht einsetzbar. Angesichts der hohen Motivation durch die Industrie schlagen wir einen alternativen Ansatz für das vorliegende Problem vor. Wir schlagen vor, Prinzipien der Künstlichen Intelligenz (AI) zu nutzen, um das Vorgehen eine Spektroskopisten in der NMR Molekülstruktur-Verfikation zu simulieren. Geleitet durch diese Strategie wird ein auf menschlicher Logik basierender Optimierungsansatz entwickelt, um den Entscheidungsprozess des Spektoskopisten zu simulieren. Der Ansatz basiert auf einem Wahrscheinlichkeitsmodell, das benutzt wird, um den auf menschlicher Logik basierenden Optimierungsansatz mit dem Maximum Likelihood Framework zu vereinigen. Desweiteren wird ein neues System für die 1D 1H NMR Verifikation molekularer Strukturen entwickelt und auf dem vorgängig erwähnten Optimierungsprozess implementiert. Um die zahlreichen NMR Spektroskopisten und andere am Prozess interessierte zu überzeugen, werden umfassende Experimente präsentiert, die aufzeigen, dass das System eine sehr hohe Leistung sowohl in der Genauigkeit wie auch in der Konsistenz im Vergleich mit Spektroskopisten in den genutzten Test Sets hat. Dieses Resultat validiert die Korrektheit unseres Ansatzes sowie die Machbarkeit, industrielle Software basierend auf unserem System zu bauen für den praktischen Einsatz in industriellen Strukturverifikationsumgebungen. Dementsprechend ist kommerzielle Software, die auf unserem System basiert in der Entwicklung in einem bedeutenden NMR Hersteller, welche in der pharmazeutischen Industrie released werden wird. Abschliessend diskutiert diese Arbeit Ähnlichkeiten und Unterschiede zwischen der Optimierung basierend auf menschlicher Logik und anderen verbreiteten Optimierungsansätzen mit einem speziellen Fokus auf der Anwendbarkeit. Wir hoffen dass durch diese Diskussionen die Optimierung basierend auf menschlicher Logik als Referenz für andere praxisorientierte Informatiker für die Lösung anderer Automationsprobleme in anderen Gebieten genutzt wird., 04, University of Zurich, Department of Informatics, ddis, 2010 | ||||||||||||||||||||||||||
Proceedings of the 5th Workshop on Models@run.time at the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010)(proceedings)Nelly Bencomo, Gordon Blair, Franck Fleurey, Cédric Jeanneret(Eds.) Oslo, Norway, CEUR Workshop Proceedings, 641, rerg, 2010 | ||||||||||||||||||||||||||
An automated hint generation approach for supporting the evolution of requirements specifications(inproceedings)Eya Ben Charrada, Martin Glinz Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), IWPSE-EVOL '10, 978-1-4503-0128-2, Antwerp, Belgium, 58--62, 5, http://doi.acm.org/10.1145/1862372.1862387, http://doi.acm.org/10.1145/1862372.1862387, 1862387, New York, NY, USA, rerg, ACM, 2010 | ||||||||||||||||||||||||||
Updating requirements from tests during maintenance and evolution(inproceedings/Doctoral proposal)Eya Ben Charrada Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, 978-1-60558-791-2, Santa Fe, New Mexico, USA, 337--340, 4, http://doi.acm.org/10.1145/1882291.1882341, http://doi.acm.org/10.1145/1882291.1882341, 1882341, New York, NY, USA, change propagation, requirements maintenance, software evolution, rerg, ACM, 2010 | ||||||||||||||||||||||||||
Innovative Geschäftsmodelle in der Reisebranche: Bestandsaufnahme und Implikationen für die Zukunft(mastersthesis)Adrian Kobler Gerhard Schwabe and Susanne Schmidt-Rauch(Eds.) University of Zurich, Department of Informatics, im, 2010 | ||||||||||||||||||||||||||
Building an adapting poker agent(mastersthesis)Christian Kündig Abraham Bernstein(Eds.) 05, University of Zurich, Department of Informatics, ddis, 2010 |
