Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
See detailSlicing High-level Petri nets
Khan, Yasir Imtiaz UL

Report (2014)

Detailed reference viewed: 73 (8 UL)
Full Text
Peer Reviewed
See detailSlicing High-level Petri nets
Khan, Yasir Imtiaz UL; Guelfi, Nicolas UL

in International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (2014, June 23)

High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual ... [more ▼]

High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both (i.e., low-level and high-level Petri nets) because of the state space explosion problem and test case selection. The contribution of this paper is to propose a technique to improve the model checking and test- ing of systems modeled using Algebraic Petri nets (a variant of high-level petri nets). To achieve the objective, we propose different slicing algo- rithms for Algebraic Petri nets. We argue that our slicing algorithms significantly improve the state of the art related to slicing APNs and can also be applied to low-level Petri nets with slight modifications. We exemplify our proposed algorithms through a case study of a car crash management system. [less ▲]

Detailed reference viewed: 115 (19 UL)
Peer Reviewed
See detailSlid Pairs in Salsa20 and Trivium
Priemuth-Schmid, Deike UL; Biryukov, Alex UL

in INDOCRYPT (2008)

Detailed reference viewed: 100 (1 UL)
Peer Reviewed
See detailA slide program on hypertension and obesity: a simple method of patient information.
Bartsch, A.; Neyses, Ludwig UL; Greminger, P. et al

in Schweizerische medizinische Wochenschrift (1983), 113(50), 1929-33

It is well established that information on their disease is one of the prerequisites for improvement of patients' compliance with therapy. The authors have therefore developed a simple slide program ... [more ▼]

It is well established that information on their disease is one of the prerequisites for improvement of patients' compliance with therapy. The authors have therefore developed a simple slide program presenting information on hypertension and obesity. Consisting of 52 slides, it was shown in the central waiting room of the medical outpatient department at the University Hospital, Zurich. In order to assess learning, 841 patients were asked to fill in a questionnaire. 485 had seen the program and 356 served as controls with the program switched off. Four main results emerged: 1. The percentage of subjects scoring greater than or equal to 4 correct answers (of a maximum of 5) rose significantly from 22.6% to 64.2%. 2. The number of incorrect answers (maximum 3) remained unchanged. 3. Learning decreased with age. 4. Occupation did not have a significant effect on learning. The results clearly show that the program represents an effective method of teaching patients and may therefore serve to improve compliance with therapy. [less ▲]

Detailed reference viewed: 45 (6 UL)
Full Text
Peer Reviewed
See detailSliding Mechanisms in Multilayered Hexagonal Boron Nitride and Graphene: The Effects of Directionality, Thickness, and Sliding Constraints
Gao, Wang; Tkatchenko, Alexandre UL

in PHYSICAL REVIEW LETTERS (2015), 114(9),

The interlayer sliding potential of multilayered hexagonal boron nitride (h-BN) and graphene is investigated using density-functional theory including many-body van der Waals (vdW) interactions. We find ... [more ▼]

The interlayer sliding potential of multilayered hexagonal boron nitride (h-BN) and graphene is investigated using density-functional theory including many-body van der Waals (vdW) interactions. We find that interlayer sliding constraints can be employed to tune the contribution of electrostatic interactions and dispersive forces to the sliding energy profile, ultimately leading to different sliding pathways in these two materials. In this context, vdW interactions are found to contribute more to the interlayer sliding potential of polar h-BN than they do in nonpolar graphene. In particular, the binding energy, the interlayer distance, and the friction force are found to depend sensitively on the number of layers. By comparing with the experimental findings, we identify sliding pathways which rationalize the observed reduced friction for thicker multilayers and provide quantitative explanation for the anisotropy of the friction force. [less ▲]

Detailed reference viewed: 176 (4 UL)
Full Text
See detailSlim-floor beam bending moment resistance considering partial shear connection
Zhang, Qingjie UL; Schäfer, Markus UL

in Wald, Frantisek; Jandera, Michal (Eds.) Stability and Ductility of Steel Structures 2019 (2019)

Having the advantage of flat lower surface, high stiffness and integrated fire resistance, slim-floor composite beams are widely used and favoured in many design solutions. The current bending design ... [more ▼]

Having the advantage of flat lower surface, high stiffness and integrated fire resistance, slim-floor composite beams are widely used and favoured in many design solutions. The current bending design methods are mainly derived from plastic design methods for classical composite beam with consideration of the special features for slim-floor beams such as the transverse bending of bottom flange when used as support for slabs. Alternatively, more advanced strain-limited design method or FE-method can be used. In the case of full shear connection, with deep position of neutral axis and great compression zone height, there is a risk that plastic design method may overestimate the bending resistance of the cross section compared to the strain-limited design method. In the case of the partial shear connection, shear design diagram for slim-floor beams obtained by means of the strain-limited design can also differ significantly from the one obtained by plastic design method, thus further research on slim-floor beams is still necessary. [less ▲]

Detailed reference viewed: 31 (3 UL)
Full Text
See detailSlim-Floor Beams - application of shallow floor constructions
Schäfer, Markus UL; Braun, Matthias Volker UL

Scientific Conference (2018, June 28)

Detailed reference viewed: 54 (6 UL)
Full Text
Peer Reviewed
See detailSlotted Packet Counting Attacks on Anonymity Protocols
Fusenig, Volker UL; Staab, Eugen UL; Sorger, Ulrich UL et al

in The proceedings of the Australasian Information Security Conference (2009)

In this paper we present a slotted packet counting attack against anonymity protocols. Common packet counting attacks make strong assumptions on the setup and can easily lead to wrong conclusions, as we ... [more ▼]

In this paper we present a slotted packet counting attack against anonymity protocols. Common packet counting attacks make strong assumptions on the setup and can easily lead to wrong conclusions, as we will show in our work. To overcome these limitations, we account for the variation of traffic load over time. We use correlation to express the relation between sender and receiver nodes. Our attack is applicable to many anonymity protocols. It assumes a passive attacker and works with partial knowledge of the network traffic. [less ▲]

Detailed reference viewed: 86 (4 UL)
Full Text
Peer Reviewed
See detailSlovak Pension Cases Before the CJEU and Czech Courts
Petschko, Martin UL; Capik, Agata

in Croatian Yearbook of European Law & Policy (2013), 9

Detailed reference viewed: 67 (4 UL)
Full Text
Peer Reviewed
See detailSlow Denial-of-Service Attacks on Software Defined Networks
Pascoal, Tulio UL; E. Fonseca, Iguatemi; Nigam, Vivek

in Computer Networks (2020)

Software Defined Networking (SDN) is a network paradigm that decouples the network’s control plane, delegated to the SDN controller, from the data plane, delegated to SDN switches. For increased ... [more ▼]

Software Defined Networking (SDN) is a network paradigm that decouples the network’s control plane, delegated to the SDN controller, from the data plane, delegated to SDN switches. For increased efficiency, SDN switches use a high-performance Ternary Content-Addressable memory (TCAM) to install rules. However, due to the TCAM’s high cost and power consumption, switches have a limited amount of TCAM memory. Consequently, a limited number of rules can be installed. This limitation has been exploited to carry out Distributed Denial of Service (DDoS) attacks, such as Saturation attacks, that generate large amounts of traffic. Inspired by slow application layer DDoS attacks, this paper presents and investigates DDoS attacks on SDN that do not require large amounts of traffic, thus bypassing existing defenses that are triggered by traffic volume. In particular, we offer two slow attacks on SDN. The first attack, called Slow TCAM Exhaustion attack (Slow-TCAM), is able to consume all SDN switch’s TCAM memory by forcing the installation of new forwarding rules and maintaining them indeterminately active, thus disallowing new rules to be installed to serve legitimate clients. The second attack, called Slow Saturation attack, combines Slow-TCAM attack with a lower rate instance of the Saturation attack. A Slow Saturation attack is capable of denying service using a fraction of the traffic of typical Saturation attacks. Moreover, the Slow Saturation attack can also impact installed legitimate rules, thus causing a greater impact than the Slow-TCAM attack. In addition, it also affects the availability of other network’s components, e.g., switches, even the ones not being directly targeted by the attack, as has been proven by our experiments. We propose a number of variations of these attacks and demonstrate their effectiveness by means of an extensive experimental evaluation. The Slow-TCAM is able to deny service to legitimate clients requiring only 38 seconds and sending less than 40 packets per second without abruptly changing network resources, such as CPU and memory. Moreover, besides denying service as a Slow-TCAM attack, the Slow Saturation attack can also disrupt multiple SDN switches (not only the targeted ones) by sending a lower-rate traffic when compared to current known Saturation attacks. [less ▲]

Detailed reference viewed: 35 (2 UL)
See detailSlow dynamics in sheared DGEBA/SiO2 suspensions
Dannert, Rick UL; Sanctuary, Roland UL; Baller, Jörg UL

Presentation (2015, March)

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailSlowly progressive Parkinson syndrome due to thalamic butterfly astrocytoma.
Wachter, T.; Engeholm, M.; Bisdas, S. et al

in Neurology (2011), 77(4), 404-5

Detailed reference viewed: 81 (0 UL)
Full Text
Peer Reviewed
See detailSLP-2 interacts with Parkin in mitochondria and prevents mitochondrial dysfunction in Parkin-deficient human iPSC-derived neurons and Drosophila
Zanon, A; Kalvakuri, S; Rakovic, A et al

in Human Molecular Genetics (2017)

Mutations in the Parkin gene (PARK2) have been linked to a recessive form of Parkinson's disease (PD) characterized by the loss of dopaminergic neurons in the substantia nigra. Deficiencies of ... [more ▼]

Mutations in the Parkin gene (PARK2) have been linked to a recessive form of Parkinson's disease (PD) characterized by the loss of dopaminergic neurons in the substantia nigra. Deficiencies of mitochondrial respiratory chain complex I activity have been observed in the substantia nigra of PD patients, and loss of Parkin results in the reduction of complex I activity shown in various cell and animal models. Using co-immunoprecipitation and proximity ligation assays on endogenous proteins, we demonstrate that Parkin interacts with mitochondrial Stomatin-like protein 2 (SLP-2), which also binds the mitochondrial lipid cardiolipin and functions in the assembly of respiratory chain proteins. SH-SY5Y cells with a stable knockdown of Parkin or SLP-2, as well as induced pluripotent stem cell-derived neurons from Parkin mutation carriers, showed decreased complex I activity and altered mitochondrial network morphology. Importantly, induced expression of SLP-2 corrected for these mitochondrial alterations caused by reduced Parkin function in these cells. In-vivo Drosophila studies showed a genetic interaction of Parkin and SLP-2, and further, tissue-specific or global overexpression of SLP-2 transgenes rescued parkin mutant phenotypes, in particular loss of dopaminergic neurons, mitochondrial network structure, reduced ATP production, and flight and motor dysfunction. The physical and genetic interaction between Parkin and SLP-2 and the compensatory potential of SLP-2 suggest a functional epistatic relationship to Parkin and a protective role of SLP-2 in neurons. This finding places further emphasis on the significance of Parkin for the maintenance of mitochondrial function in neurons and provides a novel target for therapeutic strategies. [less ▲]

Detailed reference viewed: 71 (1 UL)
Full Text
Peer Reviewed
See detailSludge digestion instead of aerobic stabilisation – a cost benefit analysis based on experiences in Germany
Gretzschel, Oliver; Schmitt, Theo G.; Hansen, Joachim UL et al

in Water Science & Technology (2014)

As a consequence of a worldwide increase of energy costs, the efficient use of sewage sludge as a renewable energy resource must be considered, even for smaller wastewater treatment plants (WWTPs) with ... [more ▼]

As a consequence of a worldwide increase of energy costs, the efficient use of sewage sludge as a renewable energy resource must be considered, even for smaller wastewater treatment plants (WWTPs) with design capacities between 10,000 and 50,000 population equivalent (PE). To find the lower limit for an economical conversion of an aerobic stabilisation plant into an anaerobic stabilisation plant, we derived cost functions for specific capital costs and operating cost savings. With these tools, it is possible to evaluate if it would be promising to further investigate refitting aerobic plants into plants that produce biogas. By comparing capital costs with operation cost savings, a break-even point for process conversion could be determined. The break-even point varies depending on project specific constraints and assumptions related to future energy and operation costs and variable interest rates. A 5% increase of energy and operation costs leads to a cost efficient conversion for plants above 7,500 PE. A conversion of WWTPs results in different positive effects on energy generation and plant operations: increased efficiency, energy savings, and on-site renewable power generation by digester gas which can be used in the plant. Also, the optimisation of energy efficiency results in a reduction of primary energy consumption. [less ▲]

Detailed reference viewed: 116 (2 UL)
Full Text
Peer Reviewed
See detailSludge digestion instead of aerobic-stabilisation – a cost-benefit analysis
Gretzschel, Oliver; Schmitt, Theo G.; Hansen, Joachim UL et al

in Proceedings of the IWA-conference ‘Asset Management for enhancing energy efficiency in water and wastewater systems’ (2013)

The consequences of a worldwide increase of energy costs and an efficient use of the renewable energy resource sewage sludge have to be more and more considered also for smaller WWTP within design ... [more ▼]

The consequences of a worldwide increase of energy costs and an efficient use of the renewable energy resource sewage sludge have to be more and more considered also for smaller WWTP within design capacities between 10 000 and 50 000 PE. To find out the lower limit for an economical conversion into a digester plant, cost functions for specific capital costs as well as operating cost savings were derived. By means of those tools it is possible for the operator of a plant to evaluate if further examinations concerning a refitting of the existing plant to digestion are promising. By comparing capital costs with operation cost savings a break-even point for process conversion could be determined. The break-even point varies depending on project specific constraints as well as assumptions related to future energy and operation costs and variable interest rates. A 3 % increase of energy and operation costs leads to a cost efficient conversion for plant larger than 7 500 PE. Such a conversion of WWTP results in different positive effects on energy turn-around and the operation process of the plant: Increased efficiency by process optimization and energy savings as well as on-site renewable power generation by digester gas which can be used on the plant. Besides, the optimisation of energy efficiency results in an important reduction of primary energy consumption. [less ▲]

Detailed reference viewed: 78 (1 UL)
Full Text
Peer Reviewed
See detailSmall angle neutron scattering investigations of spin disorder in nanocomposite soft magnets
Vecchini, C.; Moze, O.; Suzuki, K. et al

in Journal of Alloys & Compounds (2006), 423(1-2), 31-36

The technique of SANS (small angle neutron scattering) furnishes unique information on the characteristic magnetic length scales and local magnetic anisotropies at the nanoscale in nanocomposite ... [more ▼]

The technique of SANS (small angle neutron scattering) furnishes unique information on the characteristic magnetic length scales and local magnetic anisotropies at the nanoscale in nanocomposite ferromagnets. Such information is not presently available using any other microscopic technique. The basic principles and results of the technique will be presented with regard to a unique and unexpected observation of a dipole field controlled spin disorder in a prototypical soft nanocomposite ferromagnet of the Nanoperm type. [less ▲]

Detailed reference viewed: 70 (1 UL)
Full Text
Peer Reviewed
See detailSmall changes, big changes: an updated view on the Android permission system
Zhauniarovich, Yury; Gadyatskaya, Olga UL

in Research in Attacks, Intrusions, and Defenses - 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings (2016, September)

Since the appearance of Android, its permission system was central to many studies of Android security. For a long time, the description of the architecture provided by Enck et al. was immutably used in ... [more ▼]

Since the appearance of Android, its permission system was central to many studies of Android security. For a long time, the description of the architecture provided by Enck et al. was immutably used in various research papers. The introduction of highly anticipated runtime permissions in Android 6.0 forced us to reconsider this model. To our surprise, the permission system evolved with almost every release. After analysis of 16 Android versions, we can con firm that the modi fications, especially introduced in Android 6.0, considerably impact the aptness of old conclusions and tools for newer releases. For instance, since Android 6.0 some signature permissions, previously granted only to apps signed with a platform certi cate, can be granted to third-party apps even if they are signed with a non-platform certi cate; many permissions considered before as threatening are now granted by default. In this paper, we review in detail the updated system, introduced changes, and their security implications. We highlight some bizarre behaviors, which may be of interest for developers and security researchers. We also found a number of bugs during our analysis, and provided patches to AOSP where possible. [less ▲]

Detailed reference viewed: 147 (6 UL)
Full Text
Peer Reviewed
See detailSmall circulant complex Hadamard matrices of Butson type
Hiranandani, Gaurush; Schlenker, Jean-Marc UL

in European Journal of Combinatorics (2016), 51

We study the circulant complex Hadamard matrices of order nn whose entries are llth roots of unity. For n=ln=l prime we prove that the only such matrix, up to equivalence, is the Fourier matrix, while for ... [more ▼]

We study the circulant complex Hadamard matrices of order nn whose entries are llth roots of unity. For n=ln=l prime we prove that the only such matrix, up to equivalence, is the Fourier matrix, while for n=p+q,l=pqn=p+q,l=pq with p,qp,q distinct primes there is no such matrix. We then provide a list of equivalence classes of such matrices, for small values of n,ln,l. [less ▲]

Detailed reference viewed: 129 (10 UL)
See detailA small country in a global context: the case of Luxembourg’s cultural policy
Spirinelli, Fabio UL

Scientific Conference (2019, June 27)

This paper focuses on a small nation state instead of a big country to provide a different perspective on cultural policy history. Due to its small size, the Grand Duchy of Luxembourg has been influenced ... [more ▼]

This paper focuses on a small nation state instead of a big country to provide a different perspective on cultural policy history. Due to its small size, the Grand Duchy of Luxembourg has been influenced by the cultures of its neighbouring countries and looked beyond its national boundaries for inspirations. Members of the political, cultural and economic elite studied abroad and brought ideas and transnational contacts to Luxembourg. Hence, Luxembourg’s national cultural policy needs to be examined within the international context. Throughout the cultural policy of the 20th century, we discover numerous examples of how European and international developments have affected Luxembourg’s cultural policy. During the interwar period, a national era initiated by the First World War, the increasingly interventionist state promoted a national culture alongside a high culture imported from France and Germany. Intellectuals developed the idea that Luxembourgish culture was created by the mixture of French and German cultures. For its cultural policy, the government took inspiration from examples abroad: Luxembourg’s first law on the protection of national monuments and sites (1927) was influenced by a French law of 1913. In the 1970s, the development of a new cultural policy around concepts such as democratization of culture cannot be understood without the developments in other countries. From the 1980s onwards, European and global developments have increasingly influenced Luxembourg’s cultural policy. The promotion of the creative industries, for instance, is the most recent example of how Luxembourg follows a global trend. This paper has several aims. First, it wishes to analyse how Luxembourg has adapted models and reacted to developments abroad. Second, it wants to investigate to what extent Luxembourg has shifted its geographic horizon when looking for models and ideas. Third, it advocates for a cultural policy history that does not limit itself to national borders. [less ▲]

Detailed reference viewed: 40 (1 UL)
Peer Reviewed
See detailSmall deformations of polygons and polyhedra
Schlenker, Jean-Marc UL

in Trans. Amer. Math. Soc. (2007), 359(5), 2155--2189

Detailed reference viewed: 119 (0 UL)