https://arxiv.org/api/WoOZpUUjQevgpvuzbhuFXtI5kSs 2026-06-10T11:30:59Z 239 195 15 http://arxiv.org/abs/0804.2621v1 2008-04-16T15:43:27Z

This Master of Science in Computer and Information Sciences (MICS) is an international accredited master program that has been initiated in 2004 and started in September 2005. MICS is a research-oriented academic study of 4 semesters and a continuation of the Bachelor towards the PhD. It is completely taught in English, supported by lecturers coming from more than ten different countries. This report compass a description of its underlying architecture, describes some implementation details and gives a presentation of diverse experiences and results. As the program has been designed and implemented right after the creation of the University, the significance of the program is moreover a self-discovery of the computer science department, which has finally led to the creation of the today's research institutes and research axes.

2008-04-16T15:43:27Z 27 pages, 4 Figures Christoph Schommer http://arxiv.org/abs/0804.2035v1 2008-04-12T23:58:30Z

The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering and non-anticipation is one of the most important properties in systems theory. Our present purpose is to introduce several concepts of non-anticipation of the asynchronous systems.

2008-04-12T23:58:30Z the 6-th Congress of the Romanian mathematicians, Bucharest, June 28 - July 4, 2007 Serban E. Vlad http://arxiv.org/abs/0801.1630v3 2008-04-08T21:39:09Z

New methods are being employed to meet the Navy's changing software-development environment.

2008-01-10T16:46:04Z This is a work of the U.S. Government Scientific Computing, vol. 25, no. 2, pp. 30-32 (March 2008) Frank W. Bentrem Naval Research Laboratory John T. Sample Naval Research Laboratory Michael M. Harris Naval Research Laboratory http://arxiv.org/abs/0804.0879v1 2008-04-05T23:55:16Z

The latches are simple circuits with feedback from the digital electrical engineering. We have included in our work the C element of Muller, the RS latch, the clocked RS latch, the D latch and also circuits containing two interconnected latches: the edge triggered RS flip-flop, the D flip-flop, the JK flip-flop, the T flip-flop. The purpose of this study is to model with equations the previous circuits, considered to be ideal, i.e. non-inertial. The technique of analysis is the pseudoboolean differential calculus.

2008-04-05T23:55:16Z The 12-th Conference on Applied and Industrial Mathematics CAIM 2004, University of Pitesti, October 15-17, 2004 Serban E. Vlad http://arxiv.org/abs/0801.3864v1 2008-01-25T01:09:47Z

Large scale surveys of public mood are costly and often impractical to perform. However, the web is awash with material indicative of public mood such as blogs, emails, and web queries. Inexpensive content analysis on such extensive corpora can be used to assess public mood fluctuations. The work presented here is concerned with the analysis of the public mood towards the future. Using an extension of the Profile of Mood States questionnaire, we have extracted mood indicators from 10,741 emails submitted in 2006 to futureme.org, a web service that allows its users to send themselves emails to be delivered at a later date. Our results indicate long-term optimism toward the future, but medium-term apprehension and confusion.

2008-01-25T01:09:47Z 6 pages. AAAI Spring Symposium on Emotion, Personality, and Social Behavior Alberto Pepe Johan Bollen http://arxiv.org/abs/0712.2594v1 2007-12-16T21:00:02Z

This paper documents the formation of the European Spreadsheet Risks Interest Group (EuSpRIG www.eusprig.org) and outlines some of the research undertaken and reported upon by interested parties in EuSpRIG publications

2007-12-16T21:00:02Z 6 Pages IFIP, Integrity and Internal Control in Information Systems, Vol 24, pp. 205-211, Kluwer, 2003 David Chadwick http://arxiv.org/abs/0706.0484v1 2007-06-04T17:17:44Z

Modern society is permeated with computers, and the software that controls them can have latent, long-term, and immediate effects that reach far beyond the actual users of these systems. This places researchers in Computer Science and Software Engineering in a critical position of influence and responsibility, more than any other field because computer systems are vital research tools for other disciplines. This essay presents several key ethical concerns and responsibilities relating to research in computing. The goal is to promote awareness and discussion of ethical issues among computer science researchers. A hypothetical case study is provided, along with questions for reflection and discussion.

2007-06-04T17:17:44Z Written as central essay for the Computer Science module of the LANGURE model curriculum in Research Ethics David R. Wright http://arxiv.org/abs/0705.0742v1 2007-05-05T12:04:52Z

We propose a soft-output detection scheme for Multiple-Input-Multiple-Output (MIMO) systems. The detector employs Markov Chain Monte Carlo method to compute bit reliabilities from the signals received and is thus suited for coded MIMO systems. It offers a good trade-off between achievable performance and algorithmic complexity.

2007-05-05T12:04:52Z 8 pages; 3 figures V. Sundaram K. P. N. Murthy http://arxiv.org/abs/cs/0702141v1 2007-02-24T00:34:10Z

Computer science is seeing a decline in enrollment at all levels of education, including undergraduate and graduate study. This paper reports on the results of a study conducted at the University of Illinois at Urbana-Champaign which evaluated students attitudes regarding three areas which can contribute to improved enrollment in the Department of Computer Science: Recruitment, preparation and retention. The results of our study saw two themes. First, the department's tight research focus appears to draw significant attention from other activities -- such as teaching, service, and other community-building activities -- that are necessary for a department's excellence. Yet, as demonstrated by our second theme, one partial solution is to better promote such activities already employed by the department to its students and faculty. Based on our results, we make recommendations for improvements and enhancements based on the current state of practice at peer institutions.

2007-02-24T00:34:10Z 37 pages, 13 figures. For better quality figures, please download the .pdf from http://www.cs.uiuc.edu/research/techreports.php?report=UIUCDCS-R-2007-2811 Tanya L. Crenshaw Erin Wolf Chambers Heather Metcalf Umesh Thakkar http://arxiv.org/abs/cs/0610127v1 2006-10-20T21:33:17Z

The asynchronous systems $f$ are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input $u:\mathbf{R}\to \{0,1\}^{m}$ a set of states $x\in f(u),$ where $x:\mathbf{R}\to \{0,1\}^{n}.$ The intersection of the systems allows adding supplementary conditions in modeling and the union of the systems allows considering the validity of one of two systems in modeling, for example when testing the asynchronous circuits and the circuit is supposed to be 'good' or 'bad'. The purpose of the paper is that of analyzing the intersection and the union against the initial/final states, initial/final time, initial/final state functions, subsystems, dual systems, inverse systems, Cartesian product of systems, parallel connection and serial connection of systems.

2006-10-20T21:33:17Z The 14-th Conference on Applied and Industrial Mathematics CAIM 2006, Satellite Conference of ICM2006, Chisinau, Moldova, August 17-19, 2006 Serban E. Vlad http://arxiv.org/abs/cs/0608062v2 2006-09-27T09:43:52Z

The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, modeltheoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up.

2006-08-15T16:40:24Z Logical Methods in Computer Science, Volume 2, Issue 3 (September 27, 2006) lmcs:2248 Solomon Feferman 10.2168/LMCS-2(3:6)2006 http://arxiv.org/abs/physics/0601203v2 2006-07-25T19:26:39Z

Inspired by studies on the airports' network and the physical Internet, we propose a general model of weighted networks via an optimization principle. The topology of the optimal network turns out to be a spanning tree that minimizes a combination of topological and metric quantities. It is characterized by a strongly heterogeneous traffic, non-trivial correlations between distance and traffic and a broadly distributed centrality. A clear spatial hierarchical organization, with local hubs distributing traffic in smaller regions, emerges as a result of the optimization. Varying the parameters of the cost function, different classes of trees are recovered, including in particular the minimum spanning tree and the shortest path tree. These results suggest that a variational approach represents an alternative and possibly very meaningful path to the study of the structure of complex weighted networks.

2006-01-26T09:08:51Z 4 pages, 4 figures, final revised version J. Stat. Mech. (2006) L07002 Marc Barthelemy Alessandro Flammini 10.1088/1742-5468/2006/07/L07002 http://arxiv.org/abs/cs/0607022v1 2006-07-07T01:17:05Z

This is a rough draft synopsis of a book presently in preparation. This book provides a systematic critique of the software industry. This critique is accomplished using classical methods in practical design science.

2006-07-07T01:17:05Z 14 page software industry interest book synopsis G. A. Maney http://arxiv.org/abs/cs/0603125v2 2006-06-07T01:49:08Z

Physical processes are computations only when we use them to externalize thought. Computation is the performance of one or more fixed processes within a contingent environment. We reformulate the Church-Turing thesis so that it applies to programs rather than to computability. When suitably formulated agent-based computing in an open, multi-scalar environment represents the current consensus view of how we interact with the world. But we don't know how to formulate multi-scalar environments.

2006-03-30T22:31:26Z 12 pages. Submitted for conference presentation Russ Abbott http://arxiv.org/abs/math/0603024v2 2006-05-18T07:22:53Z

A new approach to producing multidisciplinary lists of highly cited researchers is described and used for compiling a multidisciplinary list of highly cited researchers. This approach is essentially related to the recently discovered law of the constant ratios (Podlubny, 2004) and gives a better-balanced representation of different scientific fields.

2006-03-01T15:26:33Z 15 pages, 4 tables Research Evaluation, vol. 15, no. 3, December 2006, pp. 154-162 Igor Podlubny Katarina Kassayova 10.3152/147154406781775887