SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Jakob Robert) "

Sökning: WFRF:(Jakob Robert)

Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
41.
  • Bhatt, Mehul, Professor, 1980-, et al. (författare)
  • Architecture, computing, and design assistance
  • 2013
  • Ingår i: Automation in Construction. - : Elsevier. - 0926-5805 .- 1872-7891. ; 32, s. 161-164
  • Tidskriftsartikel (refereegranskat)abstract
    • Design is one of the most complex of human endeavors requiring an enormous number of often conflicting criteria to be contemplated when identifying optimal solutions. Design is constrained by guidelines, codes, and standards applicable to the specific cultural and locational context that the design will be sited. Furthermore, a design has to be created within a collaborative team consisting of many professionals focused on specific subsystems and expert preferences that provide unique functionality to the overall design. The increasing use and capability of software tools involved in the creation and processing of such spatial information has also led to elevated levels of complexity that spurred a need to structure, query and reason about multiple spatial representations of buildings and their components in new ways.
  •  
42.
  • Broström, Robert, et al. (författare)
  • Correlation between safety assessments in the driver-car interaction design process
  • 2011
  • Ingår i: Applied Ergonomics. - 0003-6870 .- 1872-9126. ; 42:4, s. 575-582
  • Tidskriftsartikel (refereegranskat)abstract
    • With the functional revolution in modern cars, evaluation methods to be used in all phases of driver-car interaction design have gained importance. It is crucial for car manufacturers to discover and solve safety issues early in the interaction design process. A current problem is thus to find a correlation between the formative methods that are used during development and the summative methods that are used when the product has reached the customer. This paper investigates the correlation between efficiency metrics from summative and formative evaluations, where the results of two studies on sound and navigation system tasks are compared. The first, an analysis of the J.D. Power and Associates APEAL survey, consists of answers given by about two thousand customers. The second, an expert evaluation study, was done by six evaluators who assessed the layouts by task completion time, TLX and Nielsen heuristics. The results show a high degree of correlation between the studies in terms of task efficiency, i.e. between customer ratings and task completion time, and customer ratings and TLX. However, no correlation was observed between Nielsen heuristics and customer ratings, task completion time or TLX. The results of the studies introduce a possibility to develop a usability evaluation framework that includes both formative and summative approaches, as the results show a high degree of consistency between the different methodologies. Hence, combining a quantitative approach with the expert evaluation method, such as task completion time, should be more useful for driver-car interaction design.
  •  
43.
  • Broström, Robert, et al. (författare)
  • Perceived styling and usability in integrated centre panel layouts as a function of interaction style and age
  • 2007
  • Ingår i: Human Factors Issues in Complex System Performance. - Maastricht : Shaker Verlag. - 9789042303256 ; , s. 193-204
  • Konferensbidrag (refereegranskat)abstract
    • In the past ten years information and entertainment functionality has become an increasingly important part of the car interior. Infotainment functions have been growing in number and diversity, concurrently with a trend towards utilization of fewer controls and graphical displays in integrated centre panel layouts. This evolution has solved many functional and styling issues. However, as a consequence, several usability and safety concerns have been raised. A number of these concerns are related to age, a factor that is especially important in the premium car segment where a majority of drivers are older than 50 years. This study investigated perceived styling and usability of premium car centre panel layouts among different age groups. The investigation was based on APEAL customer survey data from the North American market, associated with the sound system. Questions on the appearance (styling), understanding (usability) and ease of use while driving (usability/safety) of the stereo faceplate and controls were analysed. The results showed that all age groups perceived the appearance of integrated centre panel layouts similarly. However, with rising age, there is a decrease in perceived understanding and ease of use while driving in the case of a number of premium car models.
  •  
44.
  • Byass, Peter, et al. (författare)
  • Comparing verbal autopsy cause of death findings as determined by physician coding and probabilistic modelling : a public health analysis of 54 000 deaths in Africa and Asia
  • 2015
  • Ingår i: Journal of Global Health. - 2047-2978 .- 2047-2986. ; 5:1, s. 65-73
  • Tidskriftsartikel (refereegranskat)abstract
    • BACKGROUND: Coverage of civil registration and vital statistics varies globally, with most deaths in Africa and Asia remaining either unregistered or registered without cause of death. One important constraint has been a lack of fit-for-purpose tools for registering deaths and assigning causes in situations where no doctor is involved. Verbal autopsy (interviewing care-givers and witnesses to deaths and interpreting their information into causes of death) is the only available solution. Automated interpretation of verbal autopsy data into cause of death information is essential for rapid, consistent and affordable processing.METHODS: Verbal autopsy archives covering 54 182 deaths from five African and Asian countries were sourced on the basis of their geographical, epidemiological and methodological diversity, with existing physician-coded causes of death attributed. These data were unified into the WHO 2012 verbal autopsy standard format, and processed using the InterVA-4 model. Cause-specific mortality fractions from InterVA-4 and physician codes were calculated for each of 60 WHO 2012 cause categories, by age group, sex and source. Results from the two approaches were assessed for concordance and ratios of fractions by cause category. As an alternative metric, the Wilcoxon matched-pairs signed ranks test with two one-sided tests for stochastic equivalence was used.FINDINGS: The overall concordance correlation coefficient between InterVA-4 and physician codes was 0.83 (95% CI 0.75 to 0.91) and this increased to 0.97 (95% CI 0.96 to 0.99) when HIV/AIDS and pulmonary TB deaths were combined into a single category. Over half (53%) of the cause category ratios between InterVA-4 and physician codes by source were not significantly different from unity at the 99% level, increasing to 62% by age group. Wilcoxon tests for stochastic equivalence also demonstrated equivalence.CONCLUSIONS: These findings show strong concordance between InterVA-4 and physician-coded findings over this large and diverse data set. Although these analyses cannot prove that either approach constitutes absolute truth, there was high public health equivalence between the findings. Given the urgent need for adequate cause of death data from settings where deaths currently pass unregistered, and since the WHO 2012 verbal autopsy standard and InterVA-4 tools represent relatively simple, cheap and available methods for determining cause of death on a large scale, they should be used as current tools of choice to fill gaps in cause of death data.
  •  
45.
  • Chen, Mo, et al. (författare)
  • Molecular Dynamics Simulations of the Ionic Liquid 1-n-Butyl-3-Methylimidazolium Chloride and Its Binary Mixtures with Ethanol
  • 2014
  • Ingår i: Journal of Chemical Theory and Computation. - : American Chemical Society (ACS). - 1549-9618 .- 1549-9626. ; 10:10, s. 4465-4479
  • Tidskriftsartikel (refereegranskat)abstract
    • Room temperature ionic liquids (ILs) of the imidazolium family have attracted much attention during the past decade for their capability to dissolve biomass. Besides experimental work, numerous compuational studies have been concerned with the physical properties of both neat ILs and their interactions with different solutes, in particular, carbohydrates. Many classical force fields designed specifically for ILs have been found to yield viscosities that are too high for the liquid state, which has been attributed to the fact that the effective charge densities are too high due to the lack of electronic polarizability. One solution to this problem has been uniform scaling of the partial charges by a scale factor in the range 0.6-0.9, depending on model. This procedure has been shown to improve the viscosity of the models, and also to positively affect other properties, such as diffusion constants and ionic conductivity. However, less attention has been paid to how this affects the overall thermodynamics of the system, and the problems it might create when the IL models are combined with other force fields (e.g., for solutes). In the present work, we employ three widely used IL force fields to simulate 1-n-buty1-3-methyl-imidazolium chloride in both the crystal and the liquid state, as well as its binary mixture with ethanol. Two approaches are used: one in which the ionic charge is retained at its full integer value and one in which the partial charges are uniformly reduced to 85%. We investigate and calculate crystal and liquid structures, molar heat capacities, heats of fusion, self-diffusion constants, ionic conductivity, and viscosity for the neat IL, and ethanol activity as a function of ethanol concentration for the binary mixture. We show that properties of the crystal are less affected by charge scaling compared to the liquid. In the liquid state, transport properties of the neat IL are generally improved by scaling, whereas values for the heat of fusion are unaffected, and results for the heat capacity are ambiguous. Neither full nor reduced charges could reproduce experimental ethanol activities for the whole range of compositions.
  •  
46.
  • Dahlin, Jakob, 1976- (författare)
  • Aerosols of Isocyanates, Amines and Anhydrides : Sampling and Analysis
  • 2007
  • Doktorsavhandling (övrigt vetenskapligt)abstract
    • This thesis presents methods for air sampling and determination of isocyanates, amines, aminoisocyanates and anhydrides. These organic compounds are generated during thermal degradation of polymers such as polyurethane (PUR) or epoxy.Isocyanates, amines and anhydrides are airway irritants known to cause occupational asthma. Some of the compounds are listed as human carcinogens. Many workers are exposed.Isocyanates and anhydrides are reactive and needs to be immediately derivatized during sampling. Methods have been developed for determination of airborne isocyanates, aminoisocyanates and anhydrides using di-n-butylamine (DBA) as reagent to form stabile urea derivatives or amide derivatives. Liquid chromatography-tandem mass spectrometry (LC-MS/MS) enabled detection limits as low as 10 attomoles. A nitrogen-selective LC-detector enabled quantification of DBA-derivatives in reference solutions. A novel sampler is presented. The sampler consists of a denuder in series with a three-stage cascade impactor and an end filter. The sampler made it possible to reveal the distribution of isocyanates between gas and different particle size fractions. During thermal degradation of PUR, isocyanates were associated to particle size fractions (<1 µm) that may penetrate to the lower airways. The distribution during 8 minutes changes noticeably. Aromatic isocyanates become associated to small particles (<1 µm). As a reference method, air-sampling was performed using an impinger filled with di-n-butylamine (DBA) in toluene, connected in series with a glass fiber filter. There was a good agreement between the denuder-impactor sampler and the reference method.
  •  
47.
  • de Jong, Roelof S., et al. (författare)
  • 4MOST-4-metre Multi-Object Spectroscopic Telescope
  • 2014
  • Ingår i: Ground-based and Airborne Instrumentation for Astronomy V. - : SPIE. - 1996-756X .- 0277-786X. ; 9147
  • Konferensbidrag (refereegranskat)abstract
    • 4MOST is a wide-field, high-multiplex spectroscopic survey facility under development for the VISTA telescope of the European Southern Observatory (ESO). Its main science drivers are in the fields of galactic archeology, high-energy physics, galaxy evolution and cosmology. 4MOST will in particular provide the spectroscopic complements to the large area surveys coming from space missions like Gaia, eROSITA, Euclid, and PLATO and from ground-based facilities like VISTA, VST, DES, LSST and SKA. The 4MOST baseline concept features a 2.5 degree diameter field-of-view with similar to 2400 fibres in the focal surface that are configured by a fibre positioner based on the tilting spine principle. The fibres feed two types of spectrographs; similar to 1600 fibres go to two spectrographs with resolution R> 5000 (lambda similar to 390-930 nm) and similar to 800 fibres to a spectrograph with R> 18,000 (lambda similar to 392-437 nm & 515-572 nm & 605-675 nm). Both types of spectrographs are fixed-configuration, three-channel spectrographs. 4MOST will have an unique operations concept in which 5 year public surveys from both the consortium and the ESO community will be combined and observed in parallel during each exposure, resulting in more than 25 million spectra of targets spread over a large fraction of the southern sky. The 4MOST Facility Simulator (4FS) was developed to demonstrate the feasibility of this observing concept. 4MOST has been accepted for implementation by ESO with operations expected to start by the end of 2020. This paper provides a top-level overview of the 4MOST facility, while other papers in these proceedings provide more detailed descriptions of the instrument concept[1], the instrument requirements development[2], the systems engineering implementation[3], the instrument model[4], the fibre positioner concepts[5], the fibre feed[6], and the spectrographs[7].
  •  
48.
  • De Rezende, Susanna F., et al. (författare)
  • Automating algebraic proof systems is NP-hard
  • 2021
  • Ingår i: STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. - : Association for Computing Machinery (ACM). - 0737-8017. - 9781450380539 ; , s. 209-222
  • Konferensbidrag (refereegranskat)abstract
    • We show that algebraic proofs are hard to find: Given an unsatisfiable CNF formula F, it is NP-hard to find a refutation of F in the Nullstellensatz, Polynomial Calculus, or Sherali-Adams proof systems in time polynomial in the size of the shortest such refutation. Our work extends, and gives a simplified proof of, the recent breakthrough of Atserias and Müller (JACM 2020) that established an analogous result for Resolution.
  •  
49.
  • De Rezende, Susanna F., et al. (författare)
  • KRW composition theorems via lifting
  • 2020
  • Ingår i: Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020. - : IEEE Computer Society. - 0272-5428. - 9781728196220 - 9781728196213 ; 2020-November, s. 43-49
  • Konferensbidrag (refereegranskat)abstract
    • One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., mathrm{P} nsubseteq text{NC}{1}). Karchmer, Raz, and Wigderson [13] suggested to approach this problem by proving that depth complexity behaves'as expected' with respect to the composition of functions f diamond g. They showed that the validity of this conjecture would imply that mathrm{P} nsubseteq text{NC}{1}. Several works have made progress toward resolving this conjecture by proving special cases. In particular, these works proved the KRW conjecture for every outer function, but only for few inner functions. Thus, it is an important challenge to prove the KRW conjecture for a wider range of inner functions. In this work, we extend significantly the range of inner functions that can be handled. First, we consider the monotone version of the KRW conjecture. We prove it for every monotone inner function whose depth complexity can be lower bounded via a query-to-communication lifting theorem. This allows us to handle several new and well-studied functions such as the s-t-connectivity, clique, and generation functions. In order to carry this progress back to the non-monotone setting, we introduce a new notion of semi-monotone composition, which combines the non-monotone complexity of the outer function with the monotone complexity of the inner function. In this setting, we prove the KRW conjecture for a similar selection of inner functions, but only for a specific choice of the outer function f.
  •  
50.
  • de Rezende, Susanna F., 1989-, et al. (författare)
  • Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
  • Annan publikation (övrigt vetenskapligt)abstract
    • We significantly strengthen and generalize the theorem lifting Nullstellensatz degree to monotone span program size by Pitassi and Robere (2018) so that it works for any gadget with high enough rank, in particular, for useful gadgets such as equality and greater-than. We apply our generalized theorem to solve two open problems:We present the first result that demonstrates a separation in proof power for cutting planes with unbounded versus polynomially bounded coefficients. Specifically, we exhibit CNF formulas that can be refuted in quadratic length and constant line space in cutting planes with unbounded coefficients, but for which there are no refutations in subexponential length and subpolynomialline space if coefficients are restricted to be of polynomial magnitude.We give the first explicit separation between monotone Boolean formulas and monotone real formulas. Specifically, we give an explicit family of functions that can be computed with monotone real formulas of nearly linear size but require monotone Boolean formulas of exponential size. Previously only a non-explicit separation was known.An important technical ingredient, which may be of independent interest, is that we show that the Nullstellensatz degree of refuting the pebbling formula over a DAG G over any field coincides exactly with the reversible pebbling price of G. In particular, this implies that the standard decision tree complexity and the parity decision tree complexity of the corresponding falsified clause search problem are equal.
  •  
Skapa referenser, mejla, bekava och länka
Typ av publikation
tidskriftsartikel (103)
konferensbidrag (15)
annan publikation (3)
doktorsavhandling (3)
forskningsöversikt (2)
rapport (1)
visa fler...
bokkapitel (1)
visa färre...
Typ av innehåll
refereegranskat (117)
övrigt vetenskapligt (9)
populärvet., debatt m.m. (2)
Författare/redaktör
Andreasson, Jakob (15)
Barty, Anton (15)
Hajdu, Janos (14)
Rudenko, Artem (14)
Rolles, Daniel (14)
Hartmann, Robert (14)
visa fler...
Seibert, M Marvin (13)
Foucar, Lutz (13)
Maia, Filipe R. N. C ... (13)
Bostedt, Christoph (13)
Kimmel, Nils (13)
Overvad, Kim (12)
Martin, Andrew V. (12)
Aquila, Andrew (12)
Rudek, Benedikt (12)
Chapman, Henry N. (12)
DePonte, Daniel P. (12)
Erk, Benjamin (11)
Nordin, Jakob (11)
Ekeberg, Tomas (11)
Bozek, John D. (11)
Holl, Peter (11)
Liang, Mengning (11)
Schulz, Joachim (11)
Sollerman, Jesper (10)
Graafsma, Heinz (10)
Timneanu, Nicusor (10)
Svenda, Martin (10)
Bajt, Saša (10)
Epp, Sascha W. (10)
Gumprecht, Lars (10)
Riboli, Elio (9)
Hirsemann, Helmut (9)
Andersson, Inger (9)
Shoeman, Robert L (9)
Barthelmess, Miriam (9)
Lomb, Lukas (9)
Reich, Christian (9)
Schlichting, Ilme (9)
Soltau, Heike (9)
Ullrich, Joachim (9)
Goobar, Ariel (8)
Palli, Domenico (8)
Bogan, Michael J. (8)
Kirian, Richard A. (8)
White, Thomas A. (8)
Coppola, Nicola (8)
Fleckenstein, Holger (8)
Hampton, Christina Y ... (8)
Stellato, Francesco (8)
visa färre...
Lärosäte
Lunds universitet (36)
Uppsala universitet (32)
Stockholms universitet (25)
Umeå universitet (17)
Göteborgs universitet (16)
Kungliga Tekniska Högskolan (12)
visa fler...
Karolinska Institutet (12)
Linköpings universitet (6)
Chalmers tekniska högskola (3)
Karlstads universitet (3)
Luleå tekniska universitet (2)
Örebro universitet (2)
Linnéuniversitetet (2)
Sveriges Lantbruksuniversitet (2)
Mittuniversitetet (1)
Södertörns högskola (1)
RISE (1)
Marie Cederschiöld högskola (1)
visa färre...
Språk
Engelska (124)
Svenska (3)
Latin (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (59)
Medicin och hälsovetenskap (53)
Samhällsvetenskap (14)
Teknik (10)
Humaniora (2)
Lantbruksvetenskap (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy