| 1. |
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Abbatt, J. P. D., et al.
(författare)
-
Halogen activation via interactions with environmental ice and snow in the polar lower troposphere and other regions
- 2012
-
Ingår i: Atmospheric Chemistry and Physics. - : Copernicus GmbH. - 1680-7316 .- 1680-7324. ; 12:14, s. 6237-6271
-
Tidskriftsartikel (refereegranskat)abstract
- The role of ice in the formation of chemically active halogens in the environment requires a full understanding because of its role in atmospheric chemistry, including controlling the regional atmospheric oxidizing capacity in specific situations. In particular, ice and snow are important for facilitating multiphase oxidative chemistry and as media upon which marine algae live. This paper reviews the nature of environmental ice substrates that participate in halogen chemistry, describes the reactions that occur on such substrates, presents the field evidence for ice-mediated halogen activation, summarizes our best understanding of ice-halogen activation mechanisms, and describes the current state of modeling these processes at different scales. Given the rapid pace of developments in the field, this paper largely addresses advances made in the past five years, with emphasis given to the polar boundary layer. The integrative nature of this field is highlighted in the presentation of work from the molecular to the regional scale, with a focus on understanding fundamental processes. This is essential for developing realistic parameterizations and descriptions of these processes for inclusion in larger scale models that are used to determine their regional and global impacts.
|
|
| 5. |
- Abrahamsson, Christian, et al.
(författare)
-
Review section vision
- 2008
-
Ingår i: Environment and Planning D: Society and Space. ; 26:2, s. 192-194
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 6. |
- Abrahamsson, Dimitri, et al.
(författare)
-
In Silico Structure Predictions for Non-targeted Analysis : From Physicochemical Properties to Molecular Structures
- 2022
-
Ingår i: Journal of the American Society for Mass Spectrometry. - : American Chemical Society (ACS). - 1044-0305 .- 1879-1123. ; 33:7, s. 1134-1147
-
Tidskriftsartikel (refereegranskat)abstract
- While important advances have been made in high-resolution mass spectrometry (HRMS) and its applications in non-targeted analysis (NTA), the number of identified compounds in biological and environmental samples often does not exceed 5% of the detected chemical features. Our aim was to develop a computational pipeline that leverages data from HRMS but also incorporates physicochemical properties (equilibrium partition ratios between organic solvents and water; Ksolvent–water) and can propose molecular structures for detected chemical features. As these physicochemical properties are often sufficiently different across isomers, when put together, they can form a unique profile for each isomer, which we describe as the “physicochemical fingerprint”. In our study, we used a comprehensive database of compounds that have been previously reported in human blood and collected their Ksolvent–water values for 129 partitioning systems. We used RDKit to calculate the number of RDKit fragments and the number of RDKit bits per molecule. We then developed and trained an artificial neural network, which used as an input the physicochemical fingerprint of a chemical feature and predicted the number and types of RDKit fragments and RDKit bits present in that structure. These were then used to search the database and propose chemical structures. The average success rate of predicting the right chemical structure ranged from 60 to 86% for the training set and from 48 to 81% for the testing set. These observations suggest that physicochemical fingerprints can assist in the identification of compounds with NTA and substantially improve the number of identified compounds.
|
|
| 7. |
- Abrahamsson, Gun, 1961-, et al.
(författare)
-
Problemlösningsarbete på låg organisatorisk nivå : Två studier om implementering respektive konkretisering av idéer om kundorderstyrd tillverkning
- 2004
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- The two studies reported in this thesis are about problem solving at a low organisational level in an organisational unit in a Swedish manufacturing company, which has adopted ideas of World Class Manufacturing. In the first study, we analyse, from an organisational learning perspective, the implementation of the well-known concept Continuous Improvement at shop-floor level and how management accounting may facilitate or impede improvement work. A case study was conducted in two workgroups in one production unit for about seven months. In one of the groups, management accounting facilitated improvement work with high organisational scope and, in the other group, impeded the organisational scope. Our conclusion is that management accounting may facilitate a high organisational scope by supporting the leadership style, stressing co-operation, dialog and participation, or, by the way the manager uses management accounting, make boundaries distinct between groups of employees and between departments, and therefore impede improvements with high organisational scope. In the second study, we analyse, from a rule-based behavioural perspective, how ideas of World Class Manufacturing are institutionalised in cross-functional problem solving at a low organisational level. A case study was carried out in two cross-functional weekly group meetings for about nine months. Problems raised and solutions decided followed a repeated pattern. The actors draw on instrumental rules, which can be described as technical as well as economic. We concluded that ideas of World Class Manufacturing were institutionalised as different variants of World Class Manufacturing in the different functions at a low organisational level. At the meetings, contradictory instrumental rules were activated by the functions and treated according to interaction rules. Two overall patterns of action, articulated the two main interaction rules guiding actors in how to treat contradictory ideas of World Class Manufacturing.
|
|
| 8. |
|
|
| 9. |
- Abrahamsson, Oskar, 1986, et al.
(författare)
-
Candle: A Verified Implementation of HOL Light
- 2022
-
Ingår i: Leibniz International Proceedings in Informatics, LIPIcs. - 1868-8969. ; 237
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a fully verified interactive theorem prover for higher-order logic, more specifically: a fully verified clone of HOL Light. Our verification proof of this new system results in an end-to-end correctness theorem that guarantees the soundness of the entire system down to the machine code that executes at runtime. Our theorem states that every exported fact produced by this machine-code program is valid in higher-order logic. Our implementation consists of a read-eval-print loop (REPL) that executes the CakeML compiler internally. Throughout this work, we have strived to make the REPL of the new system provide a user experience as close to HOL Light's as possible. To this end, we have, e.g., made the new system parse the same variant of OCaml syntax as HOL Light. All of the work described in this paper has been carried out in the HOL4 theorem prover.
|
|
| 10. |
- Abrahamsson, Per-Anders, et al.
(författare)
-
Radioimmunoassay of beta-microseminoprotein, a prostatic-secreted protein present in sera of both men and women
- 1989
-
Ingår i: Clinical Chemistry. - 0009-9147. ; 35:7, s. 1497-1503
-
Tidskriftsartikel (refereegranskat)abstract
- We describe a simple radioimmunoassay of beta-microseminoprotein, one of the three most abundant secretory proteins of the prostate gland. The detection limit of the assay is 1 microgram/L, and its precision, expressed as the total coefficient of variation, is less than 10% for values between 10 and 150 micrograms/L. Using this assay, we found that beta-microseminoprotein immunoreactivity was present in sera from both sexes at about the same concentration. The protein detected had the same molecular size on gel chromatography as the protein isolated from seminal plasma, and dilution curves for the sera paralleled that for the pure protein. The findings suggest that beta-microseminoprotein is present in serum of healthy subjects of both sexes and that it originates in tissue other than the prostate gland. The range of the serum concentration was 0-10.6 micrograms/L (median 4.1) for 51 healthy adult women and 1.1-14.7 micrograms/L (median 6.2) for 35 healthy adult men not older than 40 years. In males with prostatic cancer the concentration in serum was highly variable and often greatly increased. The concentration of beta-microseminoprotein was correlated with that of creatinine in serum, suggesting that the protein is eliminated--at least partly--from the circulation by glomerular filtration. Little of the protein was present in the urine of women. In urine from men the concentration was high and variable, probably because of local contribution from the prostate gland to the urethral urine.
|
|
