Search results

While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed languag

The complexity of human tibiofemoral joint motion is now better understood with the advancement of new methodologies to measure tibiofemoral kinematics in vivo. Marker clusters anchored to stainless steel bone pins inserted directly into the femur and tibia provide the most sensitive and accurate means for directly measuring skeletal tibiofemoral joint motion. Despite its invasiveness, this techni

COSMO-RS (conductor-like screening model for real solvents) and three different group-contribution methods were used to compute saturation (subcooled) liquid vapor pressures for 16 possible products of ozone-initiated α-pinene autoxidation, with elemental compositions C10H16O4-10 and C20H30O10-12. The saturation vapor pressures predicted by the different methods varied widely. COSMO-RS predicted r

FTIR smog chamber techniques were used to study the kinetics of the gas-phase reactions of Cl atoms, OD radicals, and O3 with the five-membered ring-structured compounds tetrahydrofuran (C4H8O, THF), 2-methyltetrahydrofuran (CH3C4H7O, 2-MTHF), 2,5-dimethyltetrahydrofuran ((CH3)2C4H5O, 2,5-DMTHF), and furan (C4H4O). The rate coefficients determined using relative rate methods were kTHF+Cl = (1.96 ±

We provide necessary and sufficient structural conditions for multistationarity and oscillations in aggregate monotone systems, defined as the interconnection of stable monotone components. Our classification is based on the presence of exclusively positive or exclusively negative cycles in the system aggregate graph, whose nodes are the monotone subsystems. The results presented here scale up the

We consider the problem of tuning the output of a static plant whose model is unknown, under the only information that the input-output function is monotonic in each component or, more in general, that its Jacobian belongs to a known polytope of matrices. As a main result, we show that, if the polytope is robustly non-singular (or has full rank, in the non-square case), then a suitable tuning sche

Structural properties, independent of specific parameter values, can explain the robustness of biochemical systems. In this paper we consider the framework previously proposed by the authors to assess structural stability of biochemical reaction networks with monotone reaction rates, which considers systems in concentration coordinates, and we show that the results can be applied to systems in rea

We design a new negative feedback molecular oscillator and study its properties analytically and numerically. This oscillator is composed of two synthetic genes interconnected through their RNA outputs. Regulation of the genes activity is achieved by controlling the activity of the enzymes rather than the activity of the promoters. We show that a simple model of this system has the potential to os

A property for a class of systems is said to be structural if it is met by any system in the class regardless of the adopted parameters. In this paper we investigate the structural nature of oscillatory behaviors, adaptation and monotonicity in a class of sign-invariant systems, capturing a wide variety of biological models. We employ standard robustness analysis tools, suitably tailored to the ca

Test "Title" ORNIS SCANDINAVICA 17: 249-252. Copenhagen 1986 Birth area fidelity and age at first breeding in a northern population of Pied Flycatcher Ficedula hypoleuca N. Erik I. Nyholm Nyholm, N. E. I. 1986. Birth area fidelity and age at first breeding in a northern population of Pied Flycatcher Ficedula hypoleuca. - Ornis Scand. 17: 249-252. Out of 6459 ringed Pied Flycatcher nestlings that f

https://www.luvre.lu.se/sites/luvre.lu.se/files/luvre-070nyholmhemtrosf.pdf - 2026-05-08

Logged in as ma0101wu (Marlis Wullenkord). Third-Cycle Courses FACULTY OF ENGINEERING | LUND UNIVERSITY Course code: ??0667F Valid from: Spring 2023 The course syllabus has been handed in to department administrator [x] The course syllabus has been handed in to coordinator [x] The course syllabus is established [x] Teaching language: English Given: If sufficient demand Application: Apply through e

https://www.agenda2030graduateschool.lu.se/sites/agenda2030graduateschool.lu.se/files/2024-06/Fastst%C3%A4lld%20kursplan%202023_05_02.pdf - 2026-05-08

1 FARVÄL FALSTERBO Konfliktversionen svenska Mastermanus version för Skanör samt version för valfri strand PUNKT 1 INTRO 1.1 SPEAKER SKANÖR PLATSSPECFIK 1.1 SPEAKER ALLMÄN STRAND Nu är du på stranden. Vid havet. Tycker du om det? De flesta människor gör det. Vi kommer alla från havet och vi är alla beroende av det. Under dina fötter är det sand, och tittar du uppåt ser du himlen. Är den grå, tung

https://www.climatefutures.lu.se/sites/climatefutures.lu.se/files/2022-09/Farva%CC%88l%20Falsterbo%20mastermanus%20svenska%20konfliktversionen.pdf - 2026-05-08

Brevmall Postadress Box 8084, 200 41 Malmö Besöksadress Bergsgatan 31b Telefon 046-222 00 00, E-post kanslik@kanslik.lu.se Moa Lindell Kanslichef Arbets- och delegationsordning för konstnärliga fakulteten vid Lunds universitet Fastställd av fakultetsstyrelsen 2022-09-28, §19, att gälla från 2022-10-01. Detta beslut ersätter delegationsordning STYR 2021/2431. 2022-09-28 BESLUT STYR 2018/1849 STYR 2

https://www.konstnarliga.lu.se/sites/konstnarliga.lu.se/files/2023-02/Arbets_delegationsordning_faststa%CC%88llt_kfs_220928.pdf - 2026-05-08

We present a unique comparative analysis, and evaluation of vision, radio, and audio based localization algorithms. We create the first baseline for the aforementioned sensors using the recently published Lund University Vision, Radio, and Audio (LuViRA) dataset, where all the sensors are synchronized and measured in the same environment. Some of the challenges of using each specific sensor for in

The use of radio signal for position tracking (positioning) and navigation has a long tradition. Most notably, global navigation satellite systems (GNSS) are now widely applied for civilian applications, ranging all the way from tracking of cargo containers to gaming. However, GNSS suffers from limited coverage in dense urban areas and indoors and also from a limited position accuracy, which rules

Permafrost extends 40% of the Qinghai-Tibet Plateau (QTP), a region which contains the headwaters of numerous major rivers in Asia. As an aquiclude, permafrost substantially controls surface runoff and its hydraulic connection with groundwater. The freeze–thaw cycle in the active layer significantly impacts soil water movement direction, velocity, storage capacity, and hydraulic conductivity. Unde

Empirical software engineering research relies on good communication with industrial partners. Conducting joint research both requires and contributes to bridging the communication gap between industry and academia (IA) in software engineering. This study aims to explore communication between the two parties in such a setting. To better understand what facilitates good IA communication and what pr

Abstract: Birds have evolved morphological, physiological and behavioural adaptations, encoded in their migratory programs, to enable successful migration. Sometimes, even closely related species, such as the Eurasian reed warbler and the sedge warbler, may adopt different migration strategies to reach their wintering grounds in sub-Saharan Africa. To study them in detail, we aimed to compare the