Some Aspects of Modality in Analytical Mechanics

This paper discusses some of the modal involvements of analytical mechanics. I first review the elementary aspects of the Lagrangian, Hamiltonian and Hamilton-Jacobi approaches. I then discuss two modal involvements; both are related to David Lewis' work on modality, especially on counterfactuals. The first is the way Hamilton-Jacobi theory uses ensembles, i.e. sets of possible initial conditions. The structure of this set of ensembles remains to be explored by philosophers. The second is the way the Lagrangian and Hamiltonian approaches' variational principles state the law of motion by mentioning contralegal dynamical evolutions. This threatens to contravene the principle that any actual truth, in particular an actual law, is made true by actual facts. Though this threat can be avoided, at least for simple mechanical systems, it repays scrutiny; not least because it leads to some open questions.Comment: 36 pages, no figures. Delivered at a Philosophy of Science Association Symposium in memory of the distinguished philosopher David Lewis, Milwaukee, November 2002. This version includes significant additions to Section 5.1. This version is forthcoming in `Formal Teleology and Causality', ed. M. Stoeltzner, P. Weingartner, Paderborn, Germany: Mentis. A precis of the first half of the paper is forthcoming in the journal Philosophy of Scienc

LDRD report : parallel repartitioning for optimal solver performance.

We have developed infrastructure, utilities and partitioning methods to improve data partitioning in linear solvers and preconditioners. Our efforts included incorporation of data repartitioning capabilities from the Zoltan toolkit into the Trilinos solver framework, (allowing dynamic repartitioning of Trilinos matrices); implementation of efficient distributed data directories and unstructured communication utilities in Zoltan and Trilinos; development of a new multi-constraint geometric partitioning algorithm (which can generate one decomposition that is good with respect to multiple criteria); and research into hypergraph partitioning algorithms (which provide up to 56% reduction of communication volume compared to graph partitioning for a number of emerging applications). This report includes descriptions of the infrastructure and algorithms developed, along with results demonstrating the effectiveness of our approaches

PPAndroid-Benchmarker: Benchmarking Privacy Protection Systems on Android Devices

Mobile devices are ubiquitous in today's digital world. While people enjoy the convenience brought by mobile devices, it has been proven that many mobile apps leak personal information without user consent or even awareness. That can occur due to many reasons, such as careless programming errors, intention of developers to collect private information, infection of innocent apps by malware, etc. Thus, the research community has proposed many methods and systems to detect privacy leakage and prevent such detected leakage on mobile devices. This is a to do note at margin While it is obviously essential to evaluate the accuracy and effectiveness of privacy protection systems, we are not aware of any automated system that can benchmark performance of privacy protection systems on Android devices. In this paper, we report PPAndroid-Benchmarker, the first system of this kind, which can fairly benchmark any privacy protection systems dynamically (i.e., in run time) or statically. PPAndroid-Benchmarker has been released as an open-source tool and we believe that it will help the research community, developers and even end users to analyze, improve, and choose privacy protection systems on Android devices. We applied PPAndroid-Benchmarker in dynamic mode to 165 Android apps with some privacy protection features, selected from variant app markets and the research community, and showed effectiveness of the tool. We also illustrate two components of PPAndroid-Benchmarker on the design level, which are Automatic Test Apps Generator for benchmarking static analysis based tools and Reconfigurability Engine that allows any instance of PPAndroid-Benchmarker to be reconfigured including but not limited to adding and removing information sources and sinks. Furthermore, we give some insights about current status of mobile privacy protection and prevention in app markets based upon our analysis

Arbeitsmarkt und Kollektivverhandlungen in Gewerkschaftstheorien

UuStB Koeln(38)-860106419 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Arbeitsmarkt und Kollektivverhandlungen in Gewerkschaftstheorien

UuStB Koeln(38)-860106419 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Inventarisierung und Evaluation amtlicher und privater Statistiken zur Erfassung von Arbeitszeitangaben nach heutigem Stand. Teil 1,2

UuStB Koeln(38)-8406061 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Stadtsparkasse Paderborn / Zahle gegen diese platzanweisung aus unserem guthaben an überbringer / Paderborn / den 10 Nov.1921 der Magistrat / Gültig bis 1 Monat nach öffentl. aufkündigung

世界大戦戦間期ドイツの超インフレ期に発行された都市貯蓄銀行(Stadt Sparkasse) の紙幣Physical description: 大きさ: 67×93mm技術的要件: 画像データ（djvu形式）の閲覧には「DjVu ファイル閲覧用プラグイン」が必要。オリジナルの所在: 一橋大学附属図書館利用条件: オリジナルは貴重資料のため、できるだけ本画像データにより利用する

Der Zusammenbruch des Arbeitsmarktes in den neuen Bundeslaendern - Ursachen und Folgen

SIGLEIAB-90-0DD0-201200 AV 408 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

Gestaltungen des Bestandsschutzes des Arbeitsverhaeltnisses durch kollektiven Kuendigungsschutz - eine rechtshistorische Skizze

IAB-253 AV 407 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman