Last 7 days
Bookmark and Share    
Full Text
See detailLocal History: Ettelbrück, Villa Huberty. VON BRUCHPILOTEN, ÄRZTEN UND EINER VERFOLGUNGSJAGD
Ganschow, Inna UL

Article for general public (2017)

The story of the a doctors villa (Dr. Nicolas Huberty (1890-1976)) and his friends (among them first communist minister Dr. Charles Marx (1903-1946)) helping two French pilots to escape Germans in 1940.

Detailed reference viewed: 6 (0 UL)
Full Text
See detailChallenges and practices for establishing applicants’ identity in the migration process
Sommarribas, Adolfo UL; Petry, Ralph UL; Nienaber, Birte UL

Report (2017)

In Luxembourg, the procedure for identity verification/establishment in the context of international protection is separated from the decision-making procedure as such. While the authority for granting ... [more ▼]

In Luxembourg, the procedure for identity verification/establishment in the context of international protection is separated from the decision-making procedure as such. While the authority for granting international protection status lies with the Ministry in charge of Immigration (Directorate of Immigration), the Judicial Police is in charge of identity verification/establishment. For this means, the applicant will be interviewed with regard to his/her travel itinerary, including questions on border crossing and used means of transports to arrive in Luxembourg. During the last few years, the large majority of international protection applications in Luxembourg have come from persons originating from the Western Balkan countries (in 2016 they represent 35% of the applicants). Concerning these applicants, most of them (85% to 90%) have presented valid identity documents to the authorities in Luxembourg. However, with the migration crisis there is a growing number of international protection applicants coming from the Middle East and North Africa and who cannot produce valid identity documents. National authorities have always been confronted with lacking identity documents, predominantly observable among applicants from African countries. In some cases, identity documents were intentionally destroyed or withheld from the authorities in order to avoid being identified. If credible identity documents are lacking, the identification procedure can become complicated and resource consuming, and the responsible authorities, especially the Police, have a limited set of methods and means available (provided for in the Asylum Law). [less ▲]

Detailed reference viewed: 8 (1 UL)
See detailLe Luxembourg aux origines de l'OTAN (1948-1953)
Lafontaine, Aurélia UL

Bachelor/master dissertation (2017)

The aim of the master thesis "Le Luxembourg aux origines de l'OTAN (1948-1953)" is twofold. On the basis of a theoretical model studying the behaviour of Luxembourg as a small state in multilateral ... [more ▼]

The aim of the master thesis "Le Luxembourg aux origines de l'OTAN (1948-1953)" is twofold. On the basis of a theoretical model studying the behaviour of Luxembourg as a small state in multilateral organisations, the thesis intends to analyse the Grand-Duchy's strategy in the negotiations leading to the creation of NATO and its first years of existence. In the second part, the research focusses on how the country's membership in the Transatlantic Alliance impacted its domestic policy. [less ▲]

Detailed reference viewed: 6 (0 UL)
Full Text
See detailA new relationship to unemployment? Its impact on subjective well-being
Thill, Steve UL; Pignault, Anne UL; Houssemand, Claude UL

Scientific Conference (2017, May 18)

Detailed reference viewed: 11 (1 UL)
Full Text
See detailRussians in Luxembourg, WWII: „Lachen hat ja keinen Akzent“
Ganschow, Inna UL

Article for general public (2017)

The story of a Russian POW saved and hidden by his Luxemburger friends in 1944 told by two eyewitnesses.

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailTheorem Provers for Every Normal Modal Logic
Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph UL

in Eiter, Thomas; Sands, David (Eds.) LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2017, May 04)

We present a procedure for algorithmically embedding problems formulated in higher- order modal logic into classical higher-order logic. The procedure was implemented as a stand-alone tool and can be used ... [more ▼]

We present a procedure for algorithmically embedding problems formulated in higher- order modal logic into classical higher-order logic. The procedure was implemented as a stand-alone tool and can be used as a preprocessor for turning TPTP THF-compliant the- orem provers into provers for various modal logics. The choice of the concrete modal logic is thereby specified within the problem as a meta-logical statement. This specification for- mat as well as the underlying semantics parameters are discussed, and the implementation and the operation of the tool are outlined. By combining our tool with one or more THF-compliant theorem provers we accomplish the most widely applicable modal logic theorem prover available to date, i.e. no other available prover covers more variants of propositional and quantified modal logics. Despite this generality, our approach remains competitive, at least for quantified modal logics, as our experiments demonstrate. [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailTypes, Tableaus and Gödel's God in Isabelle/HOL
Fuenmayor, David; Benzmüller, Christoph UL

in Archive of Formal Proofs (2017)

A computer-formalisation of the essential parts of Fitting's textbook "Types, Tableaus and Gödel's God" in Isabelle/HOL is presented. In particular, Fitting's (and Anderson's) variant of the ontological ... [more ▼]

A computer-formalisation of the essential parts of Fitting's textbook "Types, Tableaus and Gödel's God" in Isabelle/HOL is presented. In particular, Fitting's (and Anderson's) variant of the ontological argument is verified and confirmed. This variant avoids the modal collapse, which has been criticised as an undesirable side-effect of Kurt Gödel's (and Dana Scott's) versions of the ontological argument. Fitting's work is employing an intensional higher-order modal logic, which we shallowly embed here in classical higher-order logic. We then utilize the embedded logic for the formalisation of Fitting's argument. (See also the earlier AFP entry ``Gödel's God in Isabelle/HOL''.) [less ▲]

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailHow to address cellular heterogeneity by distribution biology
Skupin, Alexander UL; Komin, Niko UL

in Current Opinion in Systems Biology (2017), 3

Cellular heterogeneity is an immanent property of biological systems that covers very different aspects of life ranging from genetic diversity to cell-to-cell variability driven by stochastic molecular ... [more ▼]

Cellular heterogeneity is an immanent property of biological systems that covers very different aspects of life ranging from genetic diversity to cell-to-cell variability driven by stochastic molecular interactions, and noise induced cell differentiation. Here, we review recent developments in characterizing cellular heterogeneity by distributions and argue that understanding multicellular life requires the analysis of heterogeneity dy- namics at single cell resolution by integrative approaches that combine methods from non-equilibrium statistical physics, in- formation theory and omics biology. [less ▲]

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailGenerating purpose-dependent production factors through Monte Carlo sampling techniques.
Scheffer, Ariane; Cantelmo, Guido UL; Viti, Francesco UL

Scientific Conference (2017, May)

Detailed reference viewed: 7 (0 UL)
Full Text
See detailLocal History: Rosport, Castle. DIE LUXEMBURGER TUDORS
Ganschow, Inna UL

Article for general public (2017)

The story of the castle built by the inventor of accumulators Henri Owen Tudor (1859-1928).

Detailed reference viewed: 5 (0 UL)
Peer Reviewed
See detailDiscussion on cross-border integration using non-dominant mobility flows
Sprumont, François UL; Viti, Francesco UL

Scientific Conference (2017, April 12)

On the edge of two different countries, cross-border regions exhibit very peculiar features. While borders can be seen as an interface or a barrier, analyze the interactions between two sovereign spatial ... [more ▼]

On the edge of two different countries, cross-border regions exhibit very peculiar features. While borders can be seen as an interface or a barrier, analyze the interactions between two sovereign spatial entities is extremely important for political reasons, economical development, land use management, etc. Because of data availability issues, spatial cross-border integration is mostly characterized using cross-border workers commuting flow information, or more rarely, by using activities performed by cross-border workers in the country they work. Despite its small size (2586 km2), the Grand-duchy of Luxembourg is a strong economic locomotive. Among the 380 000 available jobs in the country, 42% are occupied by cross border workers from France, Belgium and Germany. While the commuting behavior and the activity chains of the cross border workers have been largely studied this is not the case for the population living in Luxembourg. This study, using two weeks of travel diary data of 35 staff members of the University of Luxembourg living in the Grand-Duchy of Luxembourg, aims at analyzing the relationship that the respondents have with borders. Our hypothesis is that cross-border integration characterization would gain in robustness if non-dominant centripetal flows were taken into account as well. [less ▲]

Detailed reference viewed: 7 (0 UL)
Full Text
See detailLocal History: Luxemburg City, Rosenstiel. CENTRE ROSENSTIEL: DAS PARADIES DER DAMEN
Ganschow, Inna UL

Article for general public (2017)

The story of the tollest building in the main street of the capitol Luxemburgs - Centre Rosenstiel.

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailA Unified Successive Pseudoconvex Approximation Framework
Yang, Yang UL; Pesavento, Marius

in IEEE Transactions on Signal Processing (2017), 65(13), 3313-3328

Detailed reference viewed: 8 (0 UL)
Full Text
See detailHow do inventor networks affect urban invention?
Berge, Laurent UL; Carayol, Nicolas; Roux, Pascale

E-print/Working paper (2017)

Social networks are expected to matter for invention in cities, but empirical evidence is still puzzling. In this paper, we provide new results on urban patenting covering more than twenty years of ... [more ▼]

Social networks are expected to matter for invention in cities, but empirical evidence is still puzzling. In this paper, we provide new results on urban patenting covering more than twenty years of European patents invented by nearly one hundred thousand inventors located in France. Elaborating on the recent economic literatures on peer effects and on games in social networks, we assume that the productivity of an inventor’s efforts is positively affected by the efforts of his or her partners and negatively by the number of these partners’ connections. In this framework, inventors’ equilibrium outcomes are proportional to the square of their network centrality, which encompasses, as special cases, several well-known forms of centrality (Degree, Katz-Bonacich, Page-Rank). Our empirical results show that urban inventors benefit from their collaboration network. Their production increases when they collaborate with more central agents and when they have more collaborations. Our estimations suggest that inventors’ productivity grows sublinearly with the efforts of direct partners, and that they incur no negative externality from them having many partners. Overall, we estimate that a one standard deviation increase in local inventors’ centrality raises future urban patenting by 13%. [less ▲]

Detailed reference viewed: 8 (0 UL)
Full Text
Peer Reviewed
See detailComputer-Assisted Analysis of the Anderson-Hájek Controversy
Benzmüller, Christoph UL; Weber, Leon; Woltzenlogel Paleo, Bruno

in Logica Universalis (2017), 11(1), 139-151

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ... [more ▼]

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted in larger scale by philosophers. [less ▲]

Detailed reference viewed: 5 (0 UL)
Full Text
See detailAre parity and magnitude status of Arabic digits processed automatically? An EEG study using the fast periodic visual stimulation
Poncin, Alexandre UL; Van Rinsveld, Amandine; Guillaume, Mathieu UL et al

Presentation (2017, February 22)

Many studies have shown that humans can easily extract numerical characteristics of single digits such as numerical magnitude and parity status. We investigated whether spontaneous processing of magnitude ... [more ▼]

Many studies have shown that humans can easily extract numerical characteristics of single digits such as numerical magnitude and parity status. We investigated whether spontaneous processing of magnitude or parity status can be observed when participants are passively presented with sequences of briefly displayed Arabic digits. We assessed the parity processing by presenting seven odd digit numbers followed by one even digit (and reverse) with a sinusoidal contrast modulation at a frequency of 10HZ in one-minute sequences. The same paradigm and frequencies were used to investigate magnitude processing (i.e. seven digits smaller than five followed by one digit larger than five; and reverse) and control condition (i.e. sequence of 1-4-6-9 followed by 2-3-7 or 8). We observed a strong EEG activation on right parietal electrodes and a weaker activation on left parietal electrodes in all conditions. Left and right activations were stronger in the parity than in the other conditions, reflecting an automatic retrieval of parity information conveyed by the Arabic digits. The weaker activation during the magnitude task could reflect a more complicated access of the information corresponding to magnitude status. Right activations during the control task could be due to the fact that subjects can quickly learn to categorize numbers arbitrarily. These neuronal activation patterns are consistent with the neuro-imaging literature describing the localization of basic numerical processing. Our findings indicate that magnitude and parity status are extracted automatically from Arabic digits, even when numerical stimuli are presented without instructions at a high presentation rate. [less ▲]

Detailed reference viewed: 12 (1 UL)
Full Text
See detailLocal History: Munsbach, Castle. ROMANTISCHE KAMINKACHELN, LIKÖRE UND GAULEITER
Ganschow, Inna UL

Article for general public (2017)

The story of Castle of Munsbach and its inhabitants (one of them was in the WWII the Gauleiter Gustav Simon).

Detailed reference viewed: 7 (0 UL)
Full Text
See detailLocal History: Useldange, Castle. DIE DOLLARMATTI VON USELDINGEN
Ganschow, Inna UL

Article for general public (2017)

A Luxembruger emigrant in Amerika Emma Wolff comes back to her home town Useldange and buys the main local attraction - the Castle.

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailExperiments in Computational Metaphysics: Gödel's Proof of God's Existence
Benzmüller, Christoph UL; Woltzenlogel Paleo, Bruno

in Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute (2017), 9

“Computer scientists prove the existence of God” --- variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in ... [more ▼]

“Computer scientists prove the existence of God” --- variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in communicating to the wider public what had actually been achieved and what not. This article outlines the main findings of the authors’ joint work in computational metaphysics. More precisely, the article focuses on their computer-supported analysis of variants and recent emendations of Kurt Gödel’s modern ontological argument for the existence of God. In the conducted experiments, automated theorem provers discovered some interesting and relevant facts. [less ▲]

Detailed reference viewed: 6 (0 UL)