| 1. |
- Ren, Haitao, et al.
(författare)
-
Facile synthesis of nitrogen, sulfur co-doped carbon quantum dots for selective detection of mercury (II)
- 2024
-
Ingår i: Environmental Chemistry Letters. - 1610-3653 .- 1610-3661. ; 22:1, s. 35-41
-
Tidskriftsartikel (refereegranskat)abstract
- Developing carbon quantum dots with high throughput and quantum yields is important to boost their application in environmental detection. This study proposes nitrogen, sulfur co-doped carbon quantum dots as a fluorescent probe for mercury detection in an aqueous environment, which was synthesized by a facile and high-output tactic using methyl orange as a precursor for the first time. Results demonstrate that the obtained carbon quantum dots have a high selectivity, low detection limit of 237 nM, and fast response time, approximately 30 s, for trace mercury. The detection mechanism involves the synergistic action of static quenching, inner filter effect, and photo-induced electron transfer. Moreover, results show a high product yield (75.6%) and quantum yield (29.4%), which are higher compared to previous studies. These findings indicate that developed carbon quantum dots are promising sensing nanomaterials for mercury detection.
|
|
| 2. |
- Ye, Hong, 1987, et al.
(författare)
-
High quality strain-compensated multiple InAs/AlGaNAs quantum dot layers grown by MBE
- 2013
-
Ingår i: Physica Status Solidi (C) Current Topics in Solid State Physics. - : Wiley. - 1610-1642 .- 1862-6351. ; 10:5, s. 765-768
-
Tidskriftsartikel (refereegranskat)abstract
- Intermediate band solar cells have attracted significant interest as a possible means of achieving high conversion efficiency. Under optimized growth parameters, we successfully achieve a high density of uniform InAs QDs grown on various matrixes by molecular beam epitaxy. Incorporating N atoms into GaAs and AlGaAs barriers effectively compensates the internal compressive strain and avoids formation of dislocations and defects. The 50 stacking of high density and uniform InAs QDs was demonstrated without detectable dislocations using 26 nm GaNAs as a barrier.
|
|
| 3. |
- Granhag, Pär-Anders, 1964, et al.
(författare)
-
Discriminating between statements of true and false intent: The impact of repeated interviews and strategic questioning
- 2016
-
Ingår i: Journal of Applied Security Research. - : Informa UK Limited. - 1936-1610 .- 1936-1629. ; 11:1, s. 1-17
-
Tidskriftsartikel (refereegranskat)abstract
- Between-statement consistency is regarded as an important cue to deceit. However, research indicates that liars can be as consistent as truth tellers. The consistency of statements of intent in two mock security settings was examined. Truth tellers spoke honestly of their intentions. Liars provided a cover story tomask their criminal intentions. Participants (N=60)were interviewed three times, and their statements were coded for repetitions, omissions, and commissions. The similarities between truth tellers and liars on all threemeasures of consistency were striking. These findings highlight consistency as a pernicious cue to deceit.
|
|
| 4. |
- Ahrendt, Wolfgang, 1967, et al.
(författare)
-
Practical Aspects of Automated Deduction for Program Verification
- 2010
-
Ingår i: KI - K√ºnstliche Intelligenz. - : Springer Science and Business Media LLC. - 0933-1875 .- 1610-1987. ; 24:1, s. 43-49
-
Tidskriftsartikel (refereegranskat)abstract
- Software is vital for modern society. It is used in manysafety- or security-critical applications, where a high degree of correctness is desirable. Over the last years, technologies for the formal specification and verification of software -- using logic-based specification languages and automated deduction -- have matured and can be expected to complement and partly replace traditional software engineering methods in the future. Program verification is an increasingly important application area for automated deduction. The field has outgrown the area of academic case studies, and industry is showing serious interest. This article describes the aspects of automated deduction that are important for program verification in practice, and it gives an overview of the reasoning mechanisms, the methodology, and the architecture of modern program verification systems.
|
|
| 5. |
- Bhatt, Mehul, 1980-, et al.
(författare)
-
Cognition, Interaction, Design : Discussions as Part of the Codesign Roundtable 2017
- 2017
-
Ingår i: Künstliche Intelligenz. - : Springer. - 0933-1875 .- 1610-1987. ; 31:4, s. 363-371
-
Tidskriftsartikel (refereegranskat)abstract
- This transcript documents select parts of discus-sions on the confluence of cognition, interaction, design, and human behaviour studies. The interview and related events were held as part of the CoDesign 2017 Roundtable (Bhatt in CoDesign 2017—The Bremen Summer of Cognition and Design/CoDesign Roundtable. University of Bremen, Bremen, 2017) at the University of Bremen (Germany) in June 2017. The Q/A sessions were moderated by Mehul Bhatt (University of Bremen, Germany., and Örebro Uni-versity, Sweden) and Daniel Levin (Vanderbilt University, USA). Daniel Levin served in a dual role: as co-moderator of the discussion, as well as interviewee. The transcript is published as part of a KI Journal special issue on “Seman-tic Interpretation of Multi-Modal Human Behaviour Data” (Bhatt and Kersting in Special Issue on: Semantic Interpre-tation of Multimodal Human Behaviour Data, Artif Intell, 2017).
|
|
| 6. |
- Bhatt, Mehul, Professor, 1980-, et al.
(författare)
-
Semantic Interpretation of Multi-Modal Human-Behaviour Data : Making Sense of Events, Activities, Processes
- 2017
-
Ingår i: Künstliche Intelligenz. - : Springer. - 0933-1875 .- 1610-1987. ; 31:4, s. 317-320
-
Tidskriftsartikel (refereegranskat)abstract
- This special issue presents interdisciplinary research—at the interface of artificial intelligence, cogni-tive science, and human-computer interaction—focussing on the semantic interpretation of human behaviour. The special issue constitutes an attempt to highlight and steer founda-tional methods research in artificial intelligence, in particular knowledge representation and reasoning, for the develop-ment of human-centred cognitive assistive technologies. Of specific interest and focus have been application outlets for basic research in knowledge representation and reason-ing and computer vision for the cognitive, behavioural, and social sciences.
|
|
| 7. |
- Boman, Magnus, et al.
(författare)
-
Sensemaking in Intelligent Health Data Analytics
- 2015. - 6
-
Ingår i: Künstliche Intelligenz. - : Springer Science and Business Media LLC. - 0933-1875 .- 1610-1987. ; 29:2, s. 143-152
-
Tidskriftsartikel (refereegranskat)abstract
- A systemic model for making sense of health data is presented, in which networked foresight complements intelligent data analytics. Data here serves the goal of a future systems medicine approach by explaining the past and the current, while foresight can serve by explaining the future. Anecdotal evidence from a case study is presented, in which the complex decisions faced by the traditional stakeholder of results—the policymaker—are replaced by the often mundane problems faced by an individual trying to make sense of sensor input and output when self-tracking wellness. The conclusion is that the employment of our systemic model for successful sensemaking integrates not only data with networked foresight, but also unpacks such problems and the user practices associated with their solutions.
|
|
| 8. |
- Calvanese, Diego, et al.
(författare)
-
Interview with Diego Calvanese
- 2020
-
Ingår i: Künstliche Intelligenz. - : Springer Berlin/Heidelberg. - 0933-1875 .- 1610-1987. ; 34, s. 551-555
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 9. |
- Cernea, Daniel, 1983-, et al.
(författare)
-
Measuring Subjectivity : Supporting Evaluations with the Emotiv EPOC Neuroheadset
- 2012
-
Ingår i: Künstliche Intelligenz. - : Springer Berlin/Heidelberg. - 0933-1875 .- 1610-1987. ; 26:2, s. 177-182
-
Tidskriftsartikel (refereegranskat)abstract
- Since the dawn of the industrial era, modern devices and interaction methods have undergone rigorous evaluations in order to ensure their functionality and quality, as well as usability. While there are many methods for measuring objective data, capturing and interpreting subjective factors—like the feelings or states of mind of the users—is still an imprecise and usually post-event process. In this paper we propose the utilization of the Emotiv EPOC commercial electroencephalographic (EEG) neuroheadset for real-time support during evaluations and user studies. We show in two evaluation scenarios that the wireless EPOC headsets can be used efficiently for supporting subjectivity measurement. Additionally, we highlight situations that may result in a lower accuracy, as well as explore possible reasons and propose solutions for improving the error rates of the device.
|
|
| 10. |
- Cirillo, Marcello, 1978-
(författare)
-
Planning in inhabited environments : human-aware task planning and activity recognition
- 2011
-
Ingår i: Künstliche Intelligenz. - : Springer. - 0933-1875 .- 1610-1987. ; 25:4, s. 355-358
-
Tidskriftsartikel (refereegranskat)abstract
- Our work addresses issues related to the cohabitation of service robots and people in unstructured environments. We propose new planning techniques to empower robot means-end reasoning with the capability of taking into account human intentions and preferences. We also address the problem of human activity recognition in instrumented environments. We employ a constraint-based approach to realize a continuous inference process to attach a meaning to sensor traces as detected by sensors distributed in the environment.
|
|
