---
_id: '345'
abstract:
- lang: eng
text: 'Nanocomposites are highly promising materials to enhance the efficiency of
current thermoelectric devices. A straightforward and at the same time highly
versatile and controllable approach to produce nanocomposites is the assembly
of solution-processed nanocrystal building blocks. The convenience of this bottom-up
approach to produce nanocomposites with homogeneous phase distributions and adjustable
composition is demonstrated here by blending Ag2Te and PbTe colloidal nanocrystals
to form Ag2Te–PbTe bulk nanocomposites. The thermoelectric properties of these
nanocomposites are analyzed in the temperature range from 300 to 700 K. The evolution
of their electrical conductivity and Seebeck coefficient is discussed in terms
of the blend composition and the characteristics of the constituent materials. '
acknowledgement: Acknowledgments The research was supported by the European Regional
Development Funds and the Spanish MICINN Projects MAT2008-05779, MAT2008-03400-E/MAT,
MAT2010-15138, MAT2010-21510, CSD2009-00050, and ENE2008-03277-E/CON. M.I. is grateful
to the Spanish MIC-INN for her PhD grant. A. Cirera acknowledges support from ICREA
Academia program. A. Cabot is grateful to the Spanish MICINN for financial support
through the Ramón y Cajal program.
article_processing_charge: No
article_type: original
author:
- first_name: Doris
full_name: Cadavid, Doris
last_name: Cadavid
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
- first_name: Stéphane
full_name: Gorsse, Stéphane
last_name: Gorsse
- first_name: Antonio
full_name: López, Antonio
last_name: López
- first_name: Albert
full_name: Cirera, Albert
last_name: Cirera
- first_name: Joan
full_name: Morante, Joan
last_name: Morante
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
citation:
ama: 'Cadavid D, Ibáñez M, Gorsse S, et al. Bottom-up processing of thermoelectric
nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe.
Journal of Nanoparticle Research. 2012;14(12). doi:10.1007/s11051-012-1328-0'
apa: 'Cadavid, D., Ibáñez, M., Gorsse, S., López, A., Cirera, A., Morante, J., &
Cabot, A. (2012). Bottom-up processing of thermoelectric nanocomposites from colloidal
nanocrystal building blocks: The case of Ag2Te–PbTe. Journal of Nanoparticle
Research. Kluwer. https://doi.org/10.1007/s11051-012-1328-0'
chicago: 'Cadavid, Doris, Maria Ibáñez, Stéphane Gorsse, Antonio López, Albert Cirera,
Joan Morante, and Andreu Cabot. “Bottom-up Processing of Thermoelectric Nanocomposites
from Colloidal Nanocrystal Building Blocks: The Case of Ag2Te–PbTe.” Journal
of Nanoparticle Research. Kluwer, 2012. https://doi.org/10.1007/s11051-012-1328-0.'
ieee: 'D. Cadavid et al., “Bottom-up processing of thermoelectric nanocomposites
from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe,” Journal
of Nanoparticle Research, vol. 14, no. 12. Kluwer, 2012.'
ista: 'Cadavid D, Ibáñez M, Gorsse S, López A, Cirera A, Morante J, Cabot A. 2012.
Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal
building blocks: The case of Ag2Te–PbTe. Journal of Nanoparticle Research. 14(12).'
mla: 'Cadavid, Doris, et al. “Bottom-up Processing of Thermoelectric Nanocomposites
from Colloidal Nanocrystal Building Blocks: The Case of Ag2Te–PbTe.” Journal
of Nanoparticle Research, vol. 14, no. 12, Kluwer, 2012, doi:10.1007/s11051-012-1328-0.'
short: D. Cadavid, M. Ibáñez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot,
Journal of Nanoparticle Research 14 (2012).
date_created: 2018-12-11T11:45:56Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2021-01-12T07:43:32Z
day: '01'
doi: 10.1007/s11051-012-1328-0
extern: '1'
intvolume: ' 14'
issue: '12'
language:
- iso: eng
month: '12'
oa_version: None
publication: Journal of Nanoparticle Research
publication_status: published
publisher: Kluwer
publist_id: '7485'
quality_controlled: '1'
status: public
title: 'Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal
building blocks: The case of Ag2Te–PbTe'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2012'
...
---
_id: '347'
abstract:
- lang: eng
text: 'A synthetic route for producing Cu 2ZnGeSe 4 nanocrystals with narrow size
distributions and controlled composition is presented. These nanocrystals were
used to produce densely packed nanomaterials by hot-pressing. From the characterization
of the thermoelectric properties of these nanomaterials, Cu 2ZnGeSe 4 is demonstrated
to show excellent thermoelectric properties. A very preliminary adjustment of
the nanocrystal composition has already resulted in a figure of merit of up to
0.55 at 450°C. '
acknowledgement: This work was supported by the Spanish MICINN Projects MAT2008-05779,
MAT2008-03400-E/MAT, MAT2010-15138, ENE2008-03277-E/CON, CSD2009-00050, and CSD2009-00013.
M.I. thanks the Spanish MICINN for her Ph.D. Grant. J.A. and R.Z. also acknowledge
Generalitat de Catalunya 2009-SGR-770 and XaRMAE. A.C. is thankful for financial
support through the Ramon y Cajal Program of the Spanish MICINN.
article_processing_charge: No
article_type: original
author:
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
- first_name: Reza
full_name: Zamani, Reza
last_name: Zamani
- first_name: Aaron
full_name: Lalonde, Aaron
last_name: Lalonde
- first_name: Doris
full_name: Cadavid, Doris
last_name: Cadavid
- first_name: Wenhua
full_name: Li, Wenhua
last_name: Li
- first_name: Alexey
full_name: Shavel, Alexey
last_name: Shavel
- first_name: Jordi
full_name: Arbiol, Jordi
last_name: Arbiol
- first_name: Joan
full_name: Morante, Joan
last_name: Morante
- first_name: Stéphane
full_name: Gorsse, Stéphane
last_name: Gorsse
- first_name: G Jeffrey
full_name: Snyder, G Jeffrey
last_name: Snyder
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
citation:
ama: 'Ibáñez M, Zamani R, Lalonde A, et al. Cu 2ZnGeSe 4 nanocrystals: Synthesis
and thermoelectric properties. Journal of the American Chemical Society.
2012;134(9):4060-4063. doi:10.1021/ja211952z'
apa: 'Ibáñez, M., Zamani, R., Lalonde, A., Cadavid, D., Li, W., Shavel, A., … Cabot,
A. (2012). Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties.
Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja211952z'
chicago: 'Ibáñez, Maria, Reza Zamani, Aaron Lalonde, Doris Cadavid, Wenhua Li, Alexey
Shavel, Jordi Arbiol, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric
Properties.” Journal of the American Chemical Society. ACS, 2012. https://doi.org/10.1021/ja211952z.'
ieee: 'M. Ibáñez et al., “Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric
properties,” Journal of the American Chemical Society, vol. 134, no. 9.
ACS, pp. 4060–4063, 2012.'
ista: 'Ibáñez M, Zamani R, Lalonde A, Cadavid D, Li W, Shavel A, Arbiol J, Morante
J, Gorsse S, Snyder GJ, Cabot A. 2012. Cu 2ZnGeSe 4 nanocrystals: Synthesis and
thermoelectric properties. Journal of the American Chemical Society. 134(9), 4060–4063.'
mla: 'Ibáñez, Maria, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric
Properties.” Journal of the American Chemical Society, vol. 134, no. 9,
ACS, 2012, pp. 4060–63, doi:10.1021/ja211952z.'
short: M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol,
J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical
Society 134 (2012) 4060–4063.
date_created: 2018-12-11T11:45:57Z
date_published: 2012-03-07T00:00:00Z
date_updated: 2021-01-12T07:43:40Z
day: '07'
doi: 10.1021/ja211952z
extern: '1'
intvolume: ' 134'
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://authors.library.caltech.edu/30261/
month: '03'
oa: 1
oa_version: None
page: 4060 - 4063
publication: Journal of the American Chemical Society
publication_status: published
publisher: ACS
publist_id: '7487'
quality_controlled: '1'
status: public
title: 'Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 134
year: '2012'
...
---
_id: '3836'
abstract:
- lang: eng
text: Hierarchical Timing Language (HTL) is a coordination language for distributed,
hard real-time applications. HTL is a hierarchical extension of Giotto and, like
its predecessor, based on the logical execution time (LET) paradigm of real-time
programming. Giotto is compiled into code for a virtual machine, called the EmbeddedMachine
(or E machine). If HTL is targeted to the E machine, then the hierarchicalprogram
structure needs to be flattened; the flattening makes separatecompilation difficult,
and may result in E machinecode of exponential size. In this paper, we propose
a generalization of the E machine, which supports a hierarchicalprogram structure
at runtime through real-time trigger mechanisms that are arranged in a tree. We
present the generalized E machine, and a modular compiler for HTL that generates
code of linear size. The compiler may generate code for any part of a given HTL
program separately in any order.
author:
- first_name: Arkadeb
full_name: Ghosal, Arkadeb
last_name: Ghosal
- first_name: Daniel
full_name: Iercan, Daniel
last_name: Iercan
- first_name: Christoph
full_name: Kirsch, Christoph
last_name: Kirsch
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Alberto
full_name: Sangiovanni Vincentelli, Alberto
last_name: Sangiovanni Vincentelli
citation:
ama: Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. Separate
compilation of hierarchical real-time programs into linear-bounded embedded machine
code. Science of Computer Programming. 2012;77(2):96-112. doi:10.1016/j.scico.2010.06.004
apa: Ghosal, A., Iercan, D., Kirsch, C., Henzinger, T. A., & Sangiovanni Vincentelli,
A. (2012). Separate compilation of hierarchical real-time programs into linear-bounded
embedded machine code. Science of Computer Programming. Elsevier. https://doi.org/10.1016/j.scico.2010.06.004
chicago: Ghosal, Arkadeb, Daniel Iercan, Christoph Kirsch, Thomas A Henzinger, and
Alberto Sangiovanni Vincentelli. “Separate Compilation of Hierarchical Real-Time
Programs into Linear-Bounded Embedded Machine Code.” Science of Computer Programming.
Elsevier, 2012. https://doi.org/10.1016/j.scico.2010.06.004.
ieee: A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, and A. Sangiovanni Vincentelli,
“Separate compilation of hierarchical real-time programs into linear-bounded embedded
machine code,” Science of Computer Programming, vol. 77, no. 2. Elsevier,
pp. 96–112, 2012.
ista: Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. 2012.
Separate compilation of hierarchical real-time programs into linear-bounded embedded
machine code. Science of Computer Programming. 77(2), 96–112.
mla: Ghosal, Arkadeb, et al. “Separate Compilation of Hierarchical Real-Time Programs
into Linear-Bounded Embedded Machine Code.” Science of Computer Programming,
vol. 77, no. 2, Elsevier, 2012, pp. 96–112, doi:10.1016/j.scico.2010.06.004.
short: A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli,
Science of Computer Programming 77 (2012) 96–112.
date_created: 2018-12-11T12:05:26Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2021-01-12T07:52:32Z
day: '01'
department:
- _id: ToHe
doi: 10.1016/j.scico.2010.06.004
intvolume: ' 77'
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 96 - 112
publication: Science of Computer Programming
publication_status: published
publisher: Elsevier
publist_id: '2370'
quality_controlled: '1'
scopus_import: 1
status: public
title: Separate compilation of hierarchical real-time programs into linear-bounded
embedded machine code
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 77
year: '2012'
...
---
_id: '2972'
abstract:
- lang: eng
text: 'Energy parity games are infinite two-player turn-based games played on weighted
graphs. The objective of the game combines a (qualitative) parity condition with
the (quantitative) requirement that the sum of the weights (i.e., the level of
energy in the game) must remain positive. Beside their own interest in the design
and synthesis of resource-constrained omega-regular specifications, energy parity
games provide one of the simplest model of games with combined qualitative and
quantitative objectives. Our main results are as follows: (a) exponential memory
is sufficient and may be necessary for winning strategies in energy parity games;
(b) the problem of deciding the winner in energy parity games can be solved in
NP ∩ coNP; and (c) we give an algorithm to solve energy parity by reduction to
energy games. We also show that the problem of deciding the winner in energy parity
games is logspace-equivalent to the problem of deciding the winner in mean-payoff
parity games, which can thus be solved in NP ∩ coNP. As a consequence we also
obtain a conceptually simple algorithm to solve mean-payoff parity games.'
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Laurent
full_name: Doyen, Laurent
last_name: Doyen
citation:
ama: Chatterjee K, Doyen L. Energy parity games. Theoretical Computer Science.
2012;458:49-60. doi:10.1016/j.tcs.2012.07.038
apa: Chatterjee, K., & Doyen, L. (2012). Energy parity games. Theoretical
Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2012.07.038
chicago: Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical
Computer Science. Elsevier, 2012. https://doi.org/10.1016/j.tcs.2012.07.038.
ieee: K. Chatterjee and L. Doyen, “Energy parity games,” Theoretical Computer
Science, vol. 458. Elsevier, pp. 49–60, 2012.
ista: Chatterjee K, Doyen L. 2012. Energy parity games. Theoretical Computer Science.
458, 49–60.
mla: Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical
Computer Science, vol. 458, Elsevier, 2012, pp. 49–60, doi:10.1016/j.tcs.2012.07.038.
short: K. Chatterjee, L. Doyen, Theoretical Computer Science 458 (2012) 49–60.
date_created: 2018-12-11T12:00:37Z
date_published: 2012-11-02T00:00:00Z
date_updated: 2023-02-23T11:45:29Z
day: '02'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.1016/j.tcs.2012.07.038
ec_funded: 1
external_id:
arxiv:
- '1001.5183'
file:
- access_level: open_access
checksum: 719e4a5af5a01ad3f2f7f7f05b3c2b09
content_type: application/pdf
creator: kschuh
date_created: 2019-02-06T11:56:22Z
date_updated: 2020-07-14T12:45:57Z
file_id: '5935'
file_name: 2012_Elsevier_Chatterjee.pdf
file_size: 351271
relation: main_file
file_date_updated: 2020-07-14T12:45:57Z
has_accepted_license: '1'
intvolume: ' 458'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 49 - 60
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
name: Microsoft Research Faculty Fellowship
publication: Theoretical Computer Science
publication_status: published
publisher: Elsevier
publist_id: '3736'
pubrep_id: '935'
quality_controlled: '1'
related_material:
record:
- id: '3851'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Energy parity games
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 458
year: '2012'
...
---
_id: '2967'
abstract:
- lang: eng
text: For programs whose data variables range over Boolean or finite domains, program
verification is decidable, and this forms the basis of recent tools for software
model checking. In this article, we consider algorithmic verification of programs
that use Boolean variables, and in addition, access a single read-only array whose
length is potentially unbounded, and whose elements range over an unbounded data
domain. We show that the reachability problem, while undecidable in general, is
(1) PSPACE-complete for programs in which the array-accessing for-loops are not
nested, (2) decidable for a restricted class of programs with doubly nested loops.
The second result establishes connections to automata and logics defining languages
over data words.
acknowledgement: This research was supported in part by the NSF Cybertrust award CNS
0524059, by the European Research Council (ERC) Advanced Investigator Grant QUAREM,
and by the Austrian Science Fund (FWF) project S11402-N23.
article_number: '27'
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- first_name: Scott
full_name: Weinstein, Scott
last_name: Weinstein
citation:
ama: Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs.
ACM Transactions on Computational Logic (TOCL). 2012;13(3). doi:10.1145/2287718.2287727
apa: Alur, R., Cerny, P., & Weinstein, S. (2012). Algorithmic analysis of array-accessing
programs. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/2287718.2287727
chicago: Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of
Array-Accessing Programs.” ACM Transactions on Computational Logic (TOCL).
ACM, 2012. https://doi.org/10.1145/2287718.2287727.
ieee: R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing
programs,” ACM Transactions on Computational Logic (TOCL), vol. 13, no.
3. ACM, 2012.
ista: Alur R, Cerny P, Weinstein S. 2012. Algorithmic analysis of array-accessing
programs. ACM Transactions on Computational Logic (TOCL). 13(3), 27.
mla: Alur, Rajeev, et al. “Algorithmic Analysis of Array-Accessing Programs.” ACM
Transactions on Computational Logic (TOCL), vol. 13, no. 3, 27, ACM, 2012,
doi:10.1145/2287718.2287727.
short: R. Alur, P. Cerny, S. Weinstein, ACM Transactions on Computational Logic
(TOCL) 13 (2012).
date_created: 2018-12-11T12:00:36Z
date_published: 2012-08-01T00:00:00Z
date_updated: 2023-02-23T12:09:43Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2287718.2287727
ec_funded: 1
intvolume: ' 13'
issue: '3'
language:
- iso: eng
month: '08'
oa_version: None
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
publication: ACM Transactions on Computational Logic (TOCL)
publication_status: published
publisher: ACM
publist_id: '3748'
quality_controlled: '1'
related_material:
record:
- id: '4403'
relation: earlier_version
status: public
scopus_import: 1
status: public
title: Algorithmic analysis of array-accessing programs
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2012'
...