---
_id: '355'
abstract:
- lang: eng
text: 'We report on the photocatalytic hydrogen evolution under full-arc light irradiation
of CuIn1-xGaxS2 wurtzite nanocrystals in the presence of SO3 2- and S2- as sacrificial
reagents. We analyzed the hydrogen generation rate as a function of the Ga content
and associated it with the energy band positions. For photocatalytic water splitting,
the CuInS2 bandgap is slightly too low to efficiently overcome the reaction over-potential.
The presence of Ga shifts up the CuInS2 conduction band edge providing a larger
driving force for photogenerated carriers to activate the water splitting reduction
reaction. The larger the Ga content, the more energetically favorable the electron
injection, and thus a more efficient use of the photogenerated carriers is reached.
However, the band gap increase associated with the Ga incorporation reduces the
concentration of photogenerated carriers available for water splitting, and consequently
a lower hydrogen conversion rate is obtained for very high Ga contents. The optimum
Ga concentration was experimentally found at CuIn0.3Ga0.7S2. '
acknowledgement: "The research was supported by the European Regional Development\r\nFunds
(ERDF, “FEDER Programa Competitivitat de\r\nCatalunya 2007-2013”) and the Framework
7 program under\r\nproject SCALENANO (FP7-NMP-ENERGY-2011-284486)."
article_processing_charge: No
article_type: original
author:
- first_name: Xuelian
full_name: Yu, Xuelian
last_name: Yu
- first_name: Xiaoqiang
full_name: An, Xiaoqiang
last_name: An
- first_name: Alexey
full_name: Shavel, Alexey
last_name: Shavel
- 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: Andreu
full_name: Cabot, Andreu
last_name: Cabot
citation:
ama: Yu X, An X, Shavel A, Ibáñez M, Cabot A. The effect of the Ga content on the
photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals. Journal of
Materials Chemistry A. 2014;2(31):12317-12322. doi:10.1039/c4ta01315h
apa: Yu, X., An, X., Shavel, A., Ibáñez, M., & Cabot, A. (2014). The effect
of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals.
Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/c4ta01315h
chicago: Yu, Xuelian, Xiaoqiang An, Alexey Shavel, Maria Ibáñez, and Andreu Cabot.
“The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGaxS2
Nanocrystals.” Journal of Materials Chemistry A. Royal Society of Chemistry,
2014. https://doi.org/10.1039/c4ta01315h.
ieee: X. Yu, X. An, A. Shavel, M. Ibáñez, and A. Cabot, “The effect of the Ga content
on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals,” Journal
of Materials Chemistry A, vol. 2, no. 31. Royal Society of Chemistry, pp.
12317–12322, 2014.
ista: Yu X, An X, Shavel A, Ibáñez M, Cabot A. 2014. The effect of the Ga content
on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals. Journal
of Materials Chemistry A. 2(31), 12317–12322.
mla: Yu, Xuelian, et al. “The Effect of the Ga Content on the Photocatalytic Hydrogen
Evolution of CuIn1-XGaxS2 Nanocrystals.” Journal of Materials Chemistry A,
vol. 2, no. 31, Royal Society of Chemistry, 2014, pp. 12317–22, doi:10.1039/c4ta01315h.
short: X. Yu, X. An, A. Shavel, M. Ibáñez, A. Cabot, Journal of Materials Chemistry
A 2 (2014) 12317–12322.
date_created: 2018-12-11T11:45:59Z
date_published: 2014-08-21T00:00:00Z
date_updated: 2021-01-12T07:44:14Z
day: '21'
doi: 10.1039/c4ta01315h
extern: '1'
intvolume: ' 2'
issue: '31'
language:
- iso: eng
month: '08'
oa_version: None
page: 12317 - 12322
publication: Journal of Materials Chemistry A
publication_status: published
publisher: Royal Society of Chemistry
publist_id: '7471'
quality_controlled: '1'
status: public
title: The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2
nanocrystals
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 2
year: '2014'
...
---
_id: '356'
abstract:
- lang: eng
text: Cu2ZnSnS4, based on abundant and environmental friendly elements and with
a direct band gap of 1.5 eV, is a main candidate material for solar energy conversion
through both photovoltaics and photocatalysis. We detail here the synthesis of
quasi-spherical Cu 2ZnSnS4 nanoparticles with unprecedented narrow size distributions.
We further detail their use as seeds to produce CZTS-Au and CZTS-Pt heterostructured
nanoparticles. Such heterostructured nanoparticles are shown to have excellent
photocatalytic properties toward degradation of Rhodamine B and hydrogen generation
by water splitting.
acknowledgement: This work was supported by the European Regional Development Funds
and the Framework 7 program under project SCALENANO (FP7-NMP-ENERGY-2011-284486).
article_processing_charge: No
article_type: original
author:
- first_name: Xuelian
full_name: Yu, Xuelian
last_name: Yu
- first_name: Alexey
full_name: Shavel, Alexey
last_name: Shavel
- first_name: Xiaoqiang
full_name: An, Xiaoqiang
last_name: An
- first_name: Zhishan
full_name: Luo, Zhishan
last_name: Luo
- 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: Andreu
full_name: Cabot, Andreu
last_name: Cabot
citation:
ama: Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au
heterostructured nanoparticles for photocatalytic water splitting and pollutant
degradation. Journal of the American Chemical Society. 2014;136(26):9236-9239.
doi:10.1021/ja502076b
apa: Yu, X., Shavel, A., An, X., Luo, Z., Ibáñez, M., & Cabot, A. (2014). Cu2ZnSnS4-Pt
and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting
and pollutant degradation. Journal of the American Chemical Society. American
Chemical Society. https://doi.org/10.1021/ja502076b
chicago: Yu, Xuelian, Alexey Shavel, Xiaoqiang An, Zhishan Luo, Maria Ibáñez, and
Andreu Cabot. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for
Photocatalytic Water Splitting and Pollutant Degradation.” Journal of the American
Chemical Society. American Chemical Society, 2014. https://doi.org/10.1021/ja502076b.
ieee: X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, and A. Cabot, “Cu2ZnSnS4-Pt and
Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting
and pollutant degradation,” Journal of the American Chemical Society, vol.
136, no. 26. American Chemical Society, pp. 9236–9239, 2014.
ista: Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. 2014. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au
heterostructured nanoparticles for photocatalytic water splitting and pollutant
degradation. Journal of the American Chemical Society. 136(26), 9236–9239.
mla: Yu, Xuelian, et al. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles
for Photocatalytic Water Splitting and Pollutant Degradation.” Journal of the
American Chemical Society, vol. 136, no. 26, American Chemical Society, 2014,
pp. 9236–39, doi:10.1021/ja502076b.
short: X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American
Chemical Society 136 (2014) 9236–9239.
date_created: 2018-12-11T11:46:00Z
date_published: 2014-07-02T00:00:00Z
date_updated: 2021-01-12T07:44:18Z
day: '02'
doi: 10.1021/ja502076b
extern: '1'
intvolume: ' 136'
issue: '26'
language:
- iso: eng
month: '07'
oa_version: None
page: 9236 - 9239
publication: Journal of the American Chemical Society
publication_status: published
publisher: American Chemical Society
publist_id: '7472'
quality_controlled: '1'
status: public
title: Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic
water splitting and pollutant degradation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 136
year: '2014'
...
---
_id: '357'
abstract:
- lang: eng
text: 'Near-resonant Raman scattering measurements of zinc sulfide nanoparticles
and thin films have been made and correlated to grain and particle size, respectively,
using a 325 nm wavelength excitation source. The area ratios between the first,
second, and third order peaks of ZnS identified as the T 2(LO) mode decrease with
increasing ZnS grain size. This is an effect attributed to changes in the bandgap
energy from quantum confinement due to the varying grain size between the films/particles,
as noted by a shift in the room temperature photoluminescence emission corresponding
to the free exciton emission energy. While Raman scattering spectroscopy is typically
limited to identification of phases and their crystalline properties, it is possible
to attain more than such straightforward information by calibrating the spectral
features to variations between sets of samples. These results open the possibility
of making a quantitative grain size estimation in ZnS thin films and nanostructures,
as well as in other material systems where ZnS may be expected as a secondary
phase, such as Cu2ZnSnS4. Additionally, more commonly used excitation wavelengths
for Raman scattering, such as 514 and 532 nm, are shown to be of limited use in
characterizing ZnS thin films due to the extremely low Raman scattering efficiency
of ZnS in films with sub-micron thicknesses. '
acknowledgement: "This research was supported by the People Programme\r\n(Marie Curie
Actions) of the European Union's Seventh Framework\r\nProgramme under REA grant
agreement number 269167\r\n(PVICOKEST) and the Spanish Ministerio de Economía y\r\nCompetividad
(MINECO) under KEST-PV (ref. ENE2010-\r\n121541-C03-01/02). Authors from IREC belong
to the M-2E\r\n(Electronic Materials for Energy) Consolidated Research\r\nGroup
and the XaRMAE Network of Excellence on Materials\r\nfor Energy of the “Generalitat
de Catalunya”. A. Fairbrother\r\nthanks the MINECO for support via the FPU program\r\n(FPU12/05508),
V. Izquierdo for the Juan de la Cierva program\r\n(JCI-2011-10782), and E. Saucedo
for the Ramón y Cajal\r\nprogram (RYC-2011-09212)."
article_processing_charge: No
article_type: original
author:
- first_name: Andrew
full_name: Fairbrother, Andrew
last_name: Fairbrother
- first_name: Victor
full_name: Izquierdo Roca, Victor
last_name: Izquierdo Roca
- first_name: Xavier
full_name: Fontané, Xavier
last_name: Fontané
- 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: Andreu
full_name: Cabot, Andreu
last_name: Cabot
- first_name: Edgardo
full_name: Saucedo, Edgardo
last_name: Saucedo
- first_name: Alejandro
full_name: Pérez Rodríguez, Alejandro
last_name: Pérez Rodríguez
citation:
ama: 'Fairbrother A, Izquierdo Roca V, Fontané X, et al. ZnS grain size effects
on near-resonant Raman scattering: Optical non-destructive grain size estimation.
CrystEngComm. 2014;16(20):4120-4125. doi:10.1039/c3ce42578a'
apa: 'Fairbrother, A., Izquierdo Roca, V., Fontané, X., Ibáñez, M., Cabot, A., Saucedo,
E., & Pérez Rodríguez, A. (2014). ZnS grain size effects on near-resonant
Raman scattering: Optical non-destructive grain size estimation. CrystEngComm.
Royal Society of Chemistry. https://doi.org/10.1039/c3ce42578a'
chicago: 'Fairbrother, Andrew, Victor Izquierdo Roca, Xavier Fontané, Maria Ibáñez,
Andreu Cabot, Edgardo Saucedo, and Alejandro Pérez Rodríguez. “ZnS Grain Size
Effects on Near-Resonant Raman Scattering: Optical Non-Destructive Grain Size
Estimation.” CrystEngComm. Royal Society of Chemistry, 2014. https://doi.org/10.1039/c3ce42578a.'
ieee: 'A. Fairbrother et al., “ZnS grain size effects on near-resonant Raman
scattering: Optical non-destructive grain size estimation,” CrystEngComm,
vol. 16, no. 20. Royal Society of Chemistry, pp. 4120–4125, 2014.'
ista: 'Fairbrother A, Izquierdo Roca V, Fontané X, Ibáñez M, Cabot A, Saucedo E,
Pérez Rodríguez A. 2014. ZnS grain size effects on near-resonant Raman scattering:
Optical non-destructive grain size estimation. CrystEngComm. 16(20), 4120–4125.'
mla: 'Fairbrother, Andrew, et al. “ZnS Grain Size Effects on Near-Resonant Raman
Scattering: Optical Non-Destructive Grain Size Estimation.” CrystEngComm,
vol. 16, no. 20, Royal Society of Chemistry, 2014, pp. 4120–25, doi:10.1039/c3ce42578a.'
short: A. Fairbrother, V. Izquierdo Roca, X. Fontané, M. Ibáñez, A. Cabot, E. Saucedo,
A. Pérez Rodríguez, CrystEngComm 16 (2014) 4120–4125.
date_created: 2018-12-11T11:46:00Z
date_published: 2014-05-28T00:00:00Z
date_updated: 2021-01-12T07:44:22Z
day: '28'
doi: 10.1039/c3ce42578a
extern: '1'
intvolume: ' 16'
issue: '20'
language:
- iso: eng
month: '05'
oa_version: None
page: 4120 - 4125
publication: CrystEngComm
publication_status: published
publisher: Royal Society of Chemistry
publist_id: '7473'
quality_controlled: '1'
status: public
title: 'ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive
grain size estimation'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16
year: '2014'
...
---
_id: '358'
abstract:
- lang: eng
text: Monodispersed Pt3Sn nanoparticles were prepared through a mild thermal synthesis
in the presence of surfactants. The performance of Pt3Sn for the electrooxidation
of ethanol and adsorbed carbon monoxide (COad) in acid medium was studied by a
combination of electrochemical and insitu spectroscopic methods, namely, infrared
reflection absorption spectroscopy and differential electrochemical mass spectrometry
(DEMS), and the results were compared to those obtained with the use of Pt black.
The formation of the Pt3Sn solid solution promoted the oxidation of COad at less-positive
potentials than those required for Pt black. Also, the electrooxidation of ethanol,
especially at lower potentials, was more favorable with Pt3Sn, as deduced from
the higher faradaic currents recorded during the ethanol oxidation reaction (EOR).
However, the distribution of products as deduced by DEMS analysis suggested that
the formation of C1 products, CO2 inclusive, is less significant on Pt3Sn than
on Pt. In fact, the higher faradaic current recorded with the former catalyst
can be attributed to the greater amounts of acetaldehyde and acetic acid formed.
After the EOR, the surface of both Pt and Pt3Sn remained covered by ethanol adsorbates.
Whereas C2 fragments were the main adsorbates at the surface of Pt3Sn after the
EOR, both C1 and C2 species remained adsorbed at Pt black.
acknowledgement: The Spanish Ministry of Science and Innovation (Project ENE2010–15381)
and the CSIC (Project 201080E116) are acknowledged for financial support.
article_processing_charge: No
article_type: original
author:
- first_name: Tirma
full_name: Herranz, Tirma
last_name: Herranz
- 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: José
full_name: Gómez De La Fuente, José
last_name: Gómez De La Fuente
- first_name: Francisco
full_name: Pérez Alonso, Francisco
last_name: Pérez Alonso
- first_name: Miguel
full_name: Peña, Miguel
last_name: Peña
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
- first_name: Sergio
full_name: Rojas, Sergio
last_name: Rojas
citation:
ama: Herranz T, Ibáñez M, Gómez De La Fuente J, et al. In situ study of ethanol
electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles. ChemElectroChem.
2014;1(5):885-895. doi:10.1002/celc.201300254
apa: Herranz, T., Ibáñez, M., Gómez De La Fuente, J., Pérez Alonso, F., Peña, M.,
Cabot, A., & Rojas, S. (2014). In situ study of ethanol electrooxidation on
monodispersed Pt inf 3 inf Sn nanoparticles. ChemElectroChem. Wiley-Blackwell.
https://doi.org/10.1002/celc.201300254
chicago: Herranz, Tirma, Maria Ibáñez, José Gómez De La Fuente, Francisco Pérez
Alonso, Miguel Peña, Andreu Cabot, and Sergio Rojas. “In Situ Study of Ethanol
Electrooxidation on Monodispersed Pt Inf 3 Inf Sn Nanoparticles.” ChemElectroChem.
Wiley-Blackwell, 2014. https://doi.org/10.1002/celc.201300254.
ieee: T. Herranz et al., “In situ study of ethanol electrooxidation on monodispersed
Pt inf 3 inf Sn nanoparticles,” ChemElectroChem, vol. 1, no. 5. Wiley-Blackwell,
pp. 885–895, 2014.
ista: Herranz T, Ibáñez M, Gómez De La Fuente J, Pérez Alonso F, Peña M, Cabot A,
Rojas S. 2014. In situ study of ethanol electrooxidation on monodispersed Pt inf
3 inf Sn nanoparticles. ChemElectroChem. 1(5), 885–895.
mla: Herranz, Tirma, et al. “In Situ Study of Ethanol Electrooxidation on Monodispersed
Pt Inf 3 Inf Sn Nanoparticles.” ChemElectroChem, vol. 1, no. 5, Wiley-Blackwell,
2014, pp. 885–95, doi:10.1002/celc.201300254.
short: T. Herranz, M. Ibáñez, J. Gómez De La Fuente, F. Pérez Alonso, M. Peña, A.
Cabot, S. Rojas, ChemElectroChem 1 (2014) 885–895.
date_created: 2018-12-11T11:46:00Z
date_published: 2014-03-03T00:00:00Z
date_updated: 2021-01-12T07:44:26Z
day: '03'
doi: 10.1002/celc.201300254
extern: '1'
intvolume: ' 1'
issue: '5'
language:
- iso: eng
month: '03'
oa_version: None
page: 885 - 895
publication: ChemElectroChem
publication_status: published
publisher: Wiley-Blackwell
publist_id: '7474'
quality_controlled: '1'
status: public
title: In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn
nanoparticles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2014'
...
---
_id: '359'
abstract:
- lang: eng
text: An appropriate way of realizing property nanoengineering in complex quaternary
chalcogenide nanocrystals is presented for Cu2Cd xSnSey(CCTSe) polypods. The pivotal
role of the polarity in determining morphology, growth, and the polytypic branching
mechanism is demonstrated. Polarity is considered to be responsible for the formation
of an initial seed that takes the form of a tetrahedron with four cation-polar
facets. Size and shape confinement of the intermediate pentatetrahedral seed is
also attributed to polarity, as their external facets are anion-polar. The final
polypod extensions also branch out as a result of a cation-polarity-driven mechanism.
Aberration-corrected scanning transmission electron microscopy is used to identify
stannite cation ordering, while ab initio studies are used to show the influence
of cation ordering/distortion, stoichiometry, and polytypic structural change
on the electronic band structure.
acknowledgement: The research leading to these results has received funding from the
European Union Seventh Framework Programme under grant agreement 312483-ESTEEM2
(Integrated Infrastructure InitiativeI3) for using advance electron microscopes
at ER-C Jülich. J.A. acknowledges the funding from the Spanish MICINN project MAT2010-15138
(COPEON) and Generalitat de Catalunya 2009 SGR 770. R.R.Z. acknowledges the former.
The authors would also like to thank the TEM facilities in Serveis Cientificotecnics
from Universitat de Barcelona. N.G.-C. acknowledges the Spanish MECD for her Ph.D.
grant in the FPU program. JR and RZ acknowledge funding from MULTICAT and NANOENESTO
projects.
article_processing_charge: No
article_type: original
author:
- first_name: Reza
full_name: Zamani, Reza
last_name: Zamani
- 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: Martina
full_name: Luysberg, Martina
last_name: Luysberg
- first_name: Nuria
full_name: García Castelló, Nuria
last_name: García Castelló
- first_name: Lothar
full_name: Houben, Lothar
last_name: Houben
- first_name: Joan
full_name: Prades, Joan
last_name: Prades
- first_name: Vincenzo
full_name: Grillo, Vincenzo
last_name: Grillo
- first_name: Rafal
full_name: Dunin Borkowski, Rafal
last_name: Dunin Borkowski
- first_name: Joan
full_name: Morante, Joan
last_name: Morante
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
- first_name: Jordi
full_name: Arbiol, Jordi
last_name: Arbiol
citation:
ama: Zamani R, Ibáñez M, Luysberg M, et al. Polarity-driven polytypic branching
in Cu-based quaternary chalcogenide nanostructures. ACS Nano. 2014;8(3):2290-2301.
doi:10.1021/nn405747h
apa: Zamani, R., Ibáñez, M., Luysberg, M., García Castelló, N., Houben, L., Prades,
J., … Arbiol, J. (2014). Polarity-driven polytypic branching in Cu-based quaternary
chalcogenide nanostructures. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn405747h
chicago: Zamani, Reza, Maria Ibáñez, Martina Luysberg, Nuria García Castelló, Lothar
Houben, Joan Prades, Vincenzo Grillo, et al. “Polarity-Driven Polytypic Branching
in Cu-Based Quaternary Chalcogenide Nanostructures.” ACS Nano. American
Chemical Society, 2014. https://doi.org/10.1021/nn405747h.
ieee: R. Zamani et al., “Polarity-driven polytypic branching in Cu-based
quaternary chalcogenide nanostructures,” ACS Nano, vol. 8, no. 3. American
Chemical Society, pp. 2290–2301, 2014.
ista: Zamani R, Ibáñez M, Luysberg M, García Castelló N, Houben L, Prades J, Grillo
V, Dunin Borkowski R, Morante J, Cabot A, Arbiol J. 2014. Polarity-driven polytypic
branching in Cu-based quaternary chalcogenide nanostructures. ACS Nano. 8(3),
2290–2301.
mla: Zamani, Reza, et al. “Polarity-Driven Polytypic Branching in Cu-Based Quaternary
Chalcogenide Nanostructures.” ACS Nano, vol. 8, no. 3, American Chemical
Society, 2014, pp. 2290–301, doi:10.1021/nn405747h.
short: R. Zamani, M. Ibáñez, M. Luysberg, N. García Castelló, L. Houben, J. Prades,
V. Grillo, R. Dunin Borkowski, J. Morante, A. Cabot, J. Arbiol, ACS Nano 8 (2014)
2290–2301.
date_created: 2018-12-11T11:46:01Z
date_published: 2014-03-25T00:00:00Z
date_updated: 2021-01-12T07:44:30Z
day: '25'
doi: 10.1021/nn405747h
extern: '1'
intvolume: ' 8'
issue: '3'
language:
- iso: eng
month: '03'
oa_version: None
page: 2290 - 2301
publication: ACS Nano
publication_status: published
publisher: American Chemical Society
publist_id: '7475'
quality_controlled: '1'
status: public
title: Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2014'
...
---
_id: '451'
abstract:
- lang: eng
text: We introduce algorithms for the computation of homology, cohomology, and related
operations on cubical cell complexes, using the technique based on a chain contraction
from the original chain complex to a reduced one that represents its homology.
This work is based on previous results for simplicial complexes, and uses Serre’s
diagonalization for cubical cells. An implementation in C++ of the introduced
algorithms is available at http://www.pawelpilarczyk.com/chaincon/ together with
some examples. The paper is self-contained as much as possible, and is written
at a very elementary level, so that basic knowledge of algebraic topology should
be sufficient to follow it.
acknowledgement: 'This research was partially supported from Fundo Europeu de Desenvolvimento
Regional (FEDER) through COMPETE – Programa Operacional Factores de Compe titividade
(POFC) and from the Portuguese national funds through Fundacaoparaa Ciencia e a
Tecnologia (FCT) in the framework of the research project FCOMP-01-0124-FEDER-010645(ref.
FCT PTDC/MAT/098871/2008), as well as from the funds distributed through the European
Science Foundation (ESF) Research Networking Programme on “Applied and Computational
Algebraic Topology” (ACAT). P.Real was additionally supported by the Spanish Ministry
of Science and Innovation, project no. MTM2009-12716. '
author:
- first_name: Pawel
full_name: Pawel Pilarczyk
id: 3768D56A-F248-11E8-B48F-1D18A9856A87
last_name: Pilarczyk
- first_name: Pedro
full_name: Real, Pedro
last_name: Real
citation:
ama: Pilarczyk P, Real P. Computation of cubical homology, cohomology, and (co)homological
operations via chain contraction. Advances in Computational Mathematics.
2014;41(1):253-275. doi:10.1007/s10444-014-9356-1
apa: Pilarczyk, P., & Real, P. (2014). Computation of cubical homology, cohomology,
and (co)homological operations via chain contraction. Advances in Computational
Mathematics. Kluwer. https://doi.org/10.1007/s10444-014-9356-1
chicago: Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology,
and (Co)Homological Operations via Chain Contraction.” Advances in Computational
Mathematics. Kluwer, 2014. https://doi.org/10.1007/s10444-014-9356-1.
ieee: P. Pilarczyk and P. Real, “Computation of cubical homology, cohomology, and
(co)homological operations via chain contraction,” Advances in Computational
Mathematics, vol. 41, no. 1. Kluwer, pp. 253–275, 2014.
ista: Pilarczyk P, Real P. 2014. Computation of cubical homology, cohomology, and
(co)homological operations via chain contraction. Advances in Computational Mathematics.
41(1), 253–275.
mla: Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology,
and (Co)Homological Operations via Chain Contraction.” Advances in Computational
Mathematics, vol. 41, no. 1, Kluwer, 2014, pp. 253–75, doi:10.1007/s10444-014-9356-1.
short: P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.
date_created: 2018-12-11T11:46:33Z
date_published: 2014-01-01T00:00:00Z
date_updated: 2021-01-12T07:59:20Z
day: '01'
doi: 10.1007/s10444-014-9356-1
extern: 1
intvolume: ' 41'
issue: '1'
main_file_link:
- open_access: '1'
url: https://idus.us.es/xmlui/handle/11441/38719
month: '01'
oa: 1
page: 253 - 275
publication: Advances in Computational Mathematics
publication_status: published
publisher: Kluwer
publist_id: '7371'
quality_controlled: 0
status: public
title: Computation of cubical homology, cohomology, and (co)homological operations
via chain contraction
type: journal_article
volume: 41
year: '2014'
...
---
_id: '2443'
abstract:
- lang: eng
text: The mode of action of auxin is based on its non-uniform distribution within
tissues and organs. Despite the wide use of several auxin analogues in research
and agriculture, little is known about the specificity of different auxin-related
transport and signalling processes towards these compounds. Using seedlings of
Arabidopsis thaliana and suspension-cultured cells of Nicotiana tabacum (BY-2),
the physiological activity of several auxin analogues was investigated, together
with their capacity to induce auxin-dependent gene expression, to inhibit endocytosis
and to be transported across the plasma membrane. This study shows that the specificity
criteria for different auxin-related processes vary widely. Notably, the special
behaviour of some synthetic auxin analogues suggests that they might be useful
tools in investigations of the molecular mechanism of auxin action. Thus, due
to their differential stimulatory effects on DR5 expression, indole-3-propionic
(IPA) and 2,4,5-trichlorophenoxy acetic (2,4,5-T) acids can serve in studies of
TRANSPORT INHIBITOR RESPONSE 1/AUXIN SIGNALLING F-BOX (TIR1/AFB)-mediated auxin
signalling, and 5-fluoroindole-3-acetic acid (5-F-IAA) can help to discriminate
between transcriptional and non-transcriptional pathways of auxin signalling.
The results demonstrate that the major determinants for the auxin-like physiological
potential of a particular compound are very complex and involve its chemical and
metabolic stability, its ability to distribute in tissues in a polar manner and
its activity towards auxin signalling machinery.
acknowledgement: The authors thank Dr Christian Luschnig (University of Natural Resources
and Life Sciences (BOKU), Vienna, Austria) for the anti-PIN2 antibody, Professor
Mark Estelle (University of California, San Diego, CA, USA) for tir1-1 mutant seeds
and, last but not least, to Dr David Morris for critical reading of the manuscript.
We also thank Markéta Pařezová and Jana Stýblová for excellent technical assistance.
This work was supported by the Grant Agency of the Czech Republic (P305/11/0797
to E.Z. and 13-40637S to J.F.), the Central European Institute of Technology project
CZ.1.05/1.1.00/02.0068 from the European Regional Development Fund and by a European
Research Council starting independent research grant ERC-2011-StG-20101109-PSDP
(to J.F.).
article_processing_charge: No
article_type: original
author:
- first_name: Sibu
full_name: Simon, Sibu
id: 4542EF9A-F248-11E8-B48F-1D18A9856A87
last_name: Simon
orcid: 0000-0002-1998-6741
- first_name: Martin
full_name: Kubeš, Martin
last_name: Kubeš
- first_name: Pawel
full_name: Baster, Pawel
id: 3028BD74-F248-11E8-B48F-1D18A9856A87
last_name: Baster
- first_name: Stéphanie
full_name: Robert, Stéphanie
last_name: Robert
- first_name: Petre
full_name: Dobrev, Petre
last_name: Dobrev
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Jan
full_name: Petrášek, Jan
last_name: Petrášek
- first_name: Eva
full_name: Zažímalová, Eva
last_name: Zažímalová
citation:
ama: 'Simon S, Kubeš M, Baster P, et al. Defining the selectivity of processes along
the auxin response chain: A study using auxin analogues. New Phytologist.
2013;200(4):1034-1048. doi:10.1111/nph.12437'
apa: 'Simon, S., Kubeš, M., Baster, P., Robert, S., Dobrev, P., Friml, J., … Zažímalová,
E. (2013). Defining the selectivity of processes along the auxin response chain:
A study using auxin analogues. New Phytologist. Wiley. https://doi.org/10.1111/nph.12437'
chicago: 'Simon, Sibu, Martin Kubeš, Pawel Baster, Stéphanie Robert, Petre Dobrev,
Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Defining the Selectivity of Processes
along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist.
Wiley, 2013. https://doi.org/10.1111/nph.12437.'
ieee: 'S. Simon et al., “Defining the selectivity of processes along the
auxin response chain: A study using auxin analogues,” New Phytologist,
vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.'
ista: 'Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová
E. 2013. Defining the selectivity of processes along the auxin response chain:
A study using auxin analogues. New Phytologist. 200(4), 1034–1048.'
mla: 'Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin
Response Chain: A Study Using Auxin Analogues.” New Phytologist, vol. 200,
no. 4, Wiley, 2013, pp. 1034–48, doi:10.1111/nph.12437.'
short: S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek,
E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
date_created: 2018-12-11T11:57:41Z
date_published: 2013-12-01T00:00:00Z
date_updated: 2025-05-07T11:12:32Z
day: '01'
department:
- _id: JiFr
doi: 10.1111/nph.12437
ec_funded: 1
intvolume: ' 200'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1111/nph.12437
month: '12'
oa: 1
oa_version: Published Version
page: 1034 - 1048
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: New Phytologist
publication_status: published
publisher: Wiley
publist_id: '4460'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Defining the selectivity of processes along the auxin response chain: A study
using auxin analogues'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 200
year: '2013'
...
---
_id: '2444'
abstract:
- lang: eng
text: 'We consider two core algorithmic problems for probabilistic verification:
the maximal end-component decomposition and the almost-sure reachability set computation
for Markov decision processes (MDPs). For MDPs with treewidth k, we present two
improved static algorithms for both the problems that run in time O(n·k 2.38·2k
) and O(m·logn· k), respectively, where n is the number of states and m is the
number of edges, significantly improving the previous known O(n·k·√n· k) bound
for low treewidth. We also present decremental algorithms for both problems for
MDPs with constant treewidth that run in amortized logarithmic time, which is
a huge improvement over the previously known algorithms that require amortized
linear time.'
alternative_title:
- LNCS
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Jakub
full_name: Ła̧Cki, Jakub
last_name: Ła̧Cki
citation:
ama: Chatterjee K, Ła̧Cki J. Faster algorithms for Markov decision processes with
low treewidth. 2013;8044:543-558. doi:10.1007/978-3-642-39799-8_36
apa: 'Chatterjee, K., & Ła̧Cki, J. (2013). Faster algorithms for Markov decision
processes with low treewidth. Presented at the CAV: Computer Aided Verification,
St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_36'
chicago: Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov
Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer,
2013. https://doi.org/10.1007/978-3-642-39799-8_36.
ieee: K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes
with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
ista: Chatterjee K, Ła̧Cki J. 2013. Faster algorithms for Markov decision processes
with low treewidth. 8044, 543–558.
mla: Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision
Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
short: K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
conference:
end_date: 2013-07-19
location: St. Petersburg, Russia
name: 'CAV: Computer Aided Verification'
start_date: 2013-07-13
date_created: 2018-12-11T11:57:42Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2020-08-11T10:09:47Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-39799-8_36
ec_funded: 1
external_id:
arxiv:
- '1304.0084'
intvolume: ' 8044'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1304.0084
month: '07'
oa: 1
oa_version: Preprint
page: 543 - 558
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _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_status: published
publisher: Springer
publist_id: '4459'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Faster algorithms for Markov decision processes with low treewidth
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2445'
abstract:
- lang: eng
text: We develop program synthesis techniques that can help programmers fix concurrency-related
bugs. We make two new contributions to synthesis for concurrency, the first improving
the efficiency of the synthesized code, and the second improving the efficiency
of the synthesis procedure itself. The first contribution is to have the synthesis
procedure explore a variety of (sequential) semantics-preserving program transformations.
Classically, only one such transformation has been considered, namely, the insertion
of synchronization primitives (such as locks). Based on common manual bug-fixing
techniques used by Linux device-driver developers, we explore additional, more
efficient transformations, such as the reordering of independent instructions.
The second contribution is to speed up the counterexample-guided removal of concurrency
bugs within the synthesis procedure by considering partial-order traces (instead
of linear traces) as counterexamples. A partial-order error trace represents a
set of linear (interleaved) traces of a concurrent program all of which lead to
the same error. By eliminating a partial-order error trace, we eliminate in a
single iteration of the synthesis procedure all linearizations of the partial-order
trace. We evaluated our techniques on several simplified examples of real concurrency
bugs that occurred in Linux device drivers.
alternative_title:
- LNCS
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- 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: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
- first_name: Leonid
full_name: Ryzhyk, Leonid
last_name: Ryzhyk
- first_name: Thorsten
full_name: Tarrach, Thorsten
id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87
last_name: Tarrach
orcid: 0000-0003-4409-8487
citation:
ama: 'Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis
for concurrency by semantics-preserving transformations. In: Vol 8044. Springer;
2013:951-967. doi:10.1007/978-3-642-39799-8_68'
apa: 'Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach,
T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations
(Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St.
Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68'
chicago: Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and
Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving
Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68.
ieee: 'P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient
synthesis for concurrency by semantics-preserving transformations,” presented
at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044,
pp. 951–967.'
ista: 'Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient
synthesis for concurrency by semantics-preserving transformations. CAV: Computer
Aided Verification, LNCS, vol. 8044, 951–967.'
mla: Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving
Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
short: P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer,
2013, pp. 951–967.
conference:
end_date: 2013-07-19
location: St. Petersburg, Russia
name: 'CAV: Computer Aided Verification'
start_date: 2013-07-13
date_created: 2018-12-11T11:57:42Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2023-09-07T11:57:01Z
day: '01'
ddc:
- '000'
- '004'
department:
- _id: ToHe
doi: 10.1007/978-3-642-39799-8_68
ec_funded: 1
file:
- access_level: open_access
checksum: 70c70ca5487faba82262c63e1b678a27
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:15:37Z
date_updated: 2020-07-14T12:45:40Z
file_id: '5158'
file_name: IST-2014-199-v1+1_cav2013-final.pdf
file_size: 365548
relation: main_file
file_date_updated: 2020-07-14T12:45:40Z
has_accepted_license: '1'
intvolume: ' 8044'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 951 - 967
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_status: published
publisher: Springer
publist_id: '4458'
pubrep_id: '199'
quality_controlled: '1'
related_material:
record:
- id: '1130'
relation: dissertation_contains
status: public
scopus_import: 1
status: public
title: Efficient synthesis for concurrency by semantics-preserving transformations
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2446'
abstract:
- lang: eng
text: The model-checking problem for probabilistic systems crucially relies on the
translation of LTL to deterministic Rabin automata (DRW). Our recent Safraless
translation [KE12, GKE12] for the LTL(F,G) fragment produces smaller automata
as compared to the traditional approach. In this work, instead of DRW we consider
deterministic automata with acceptance condition given as disjunction of generalized
Rabin pairs (DGRW). The Safraless translation of LTL(F,G) formulas to DGRW results
in smaller automata as compared to DRW. We present algorithms for probabilistic
model-checking as well as game solving for DGRW conditions. Our new algorithms
lead to improvement both in terms of theoretical bounds as well as practical evaluation.
We compare PRISM with and without our new translation, and show that the new translation
leads to significant improvements.
alternative_title:
- LNCS
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Andreas
full_name: Gaiser, Andreas
last_name: Gaiser
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
citation:
ama: Chatterjee K, Gaiser A, Kretinsky J. Automata with generalized Rabin pairs
for probabilistic model checking and LTL synthesis. 2013;8044:559-575. doi:10.1007/978-3-642-39799-8_37
apa: 'Chatterjee, K., Gaiser, A., & Kretinsky, J. (2013). Automata with generalized
Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the
CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_37'
chicago: Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with
Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.” Lecture
Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_37.
ieee: K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin
pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer,
pp. 559–575, 2013.
ista: Chatterjee K, Gaiser A, Kretinsky J. 2013. Automata with generalized Rabin
pairs for probabilistic model checking and LTL synthesis. 8044, 559–575.
mla: Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for
Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013,
pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
short: K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
conference:
end_date: 2013-07-19
location: St. Petersburg, Russia
name: 'CAV: Computer Aided Verification'
start_date: 2013-07-13
date_created: 2018-12-11T11:57:42Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2020-08-11T10:09:47Z
day: '01'
department:
- _id: KrCh
doi: 10.1007/978-3-642-39799-8_37
ec_funded: 1
external_id:
arxiv:
- '1304.5281'
intvolume: ' 8044'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://arxiv.org/abs/1304.5281
month: '07'
oa: 1
oa_version: Preprint
page: 559 - 575
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11407
name: Game Theory
- _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_status: published
publisher: Springer
publist_id: '4457'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Automata with generalized Rabin pairs for probabilistic model checking and
LTL synthesis
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2447'
abstract:
- lang: eng
text: "Separation logic (SL) has gained widespread popularity because of its ability
to succinctly express complex invariants of a program’s heap configurations. Several
specialized provers have been developed for decidable SL fragments. However, these
provers cannot be easily extended or combined with solvers for other theories
that are important in program verification, e.g., linear arithmetic. In this paper,
we present a reduction of decidable SL fragments to a decidable first-order theory
that fits well into the satisfiability modulo theories (SMT) framework. We show
how to use this reduction to automate satisfiability, entailment, frame inference,
and abduction problems for separation logic using SMT solvers. Our approach provides
a simple method of integrating separation logic into existing verification tools
that provide SMT backends, and an elegant way of combining SL fragments with other
decidable first-order theories. We implemented this approach in a verification
tool and applied it to heap-manipulating programs whose verification involves
reasoning in theory combinations.\r\n"
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ruzica
full_name: Piskac, Ruzica
last_name: Piskac
- first_name: Thomas
full_name: Wies, Thomas
id: 447BFB88-F248-11E8-B48F-1D18A9856A87
last_name: Wies
- first_name: Damien
full_name: Zufferey, Damien
id: 4397AC76-F248-11E8-B48F-1D18A9856A87
last_name: Zufferey
orcid: 0000-0002-3197-8736
citation:
ama: Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789.
doi:10.1007/978-3-642-39799-8_54
apa: 'Piskac, R., Wies, T., & Zufferey, D. (2013). Automating separation logic
using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg,
Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_54'
chicago: Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation
Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_54.
ieee: R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,”
vol. 8044. Springer, pp. 773–789, 2013.
ista: Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT.
8044, 773–789.
mla: Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044,
Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
short: R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
conference:
end_date: 2013-07-19
location: St. Petersburg, Russia
name: 'CAV: Computer Aided Verification'
start_date: 2013-07-13
date_created: 2018-12-11T11:57:43Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2020-08-11T10:09:47Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-642-39799-8_54
file:
- access_level: open_access
checksum: 2e866932ab688f47ecd504acb4d5c7d4
content_type: application/pdf
creator: dernst
date_created: 2020-05-15T11:13:01Z
date_updated: 2020-07-14T12:45:41Z
file_id: '7859'
file_name: 2013_CAV_Piskac.pdf
file_size: 309182
relation: main_file
file_date_updated: 2020-07-14T12:45:41Z
has_accepted_license: '1'
intvolume: ' 8044'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 773 - 789
publication_status: published
publisher: Springer
publist_id: '4456'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Automating separation logic using SMT
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8044
year: '2013'
...
---
_id: '2448'
abstract:
- lang: eng
text: Cell-to-cell directional flow of the phytohormone auxin is primarily established
by polar localization of the PIN auxin transporters, a process tightly regulated
at multiple levels by auxin itself. We recently reported that, in the context
of strong auxin flows, activity of the vacuolar ZIFL1.1 transporter is required
for fine-tuning of polar auxin transport rates in the Arabidopsis root. In particular,
ZIFL1.1 function protects plasma-membrane stability of the PIN2 carrier in epidermal
root tip cells under conditions normally triggering PIN2 degradation. Here, we
show that ZIFL1.1 activity at the root tip also promotes PIN1 plasma-membrane
abundance in central cylinder cells, thus supporting the notion that ZIFL1.1 acts
as a general positive modulator of polar auxin transport in roots.
article_number: e25688
article_processing_charge: No
article_type: original
author:
- first_name: Estelle
full_name: Remy, Estelle
last_name: Remy
- first_name: Pawel
full_name: Baster, Pawel
id: 3028BD74-F248-11E8-B48F-1D18A9856A87
last_name: Baster
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Paula
full_name: Duque, Paula
last_name: Duque
citation:
ama: Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin
transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root
tip. Plant Signaling & Behavior. 2013;8(10). doi:10.4161/psb.25688
apa: Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter
modulates polar auxin transport by stabilizing membrane abundance of multiple
PINs in Arabidopsis root tip. Plant Signaling & Behavior. Taylor &
Francis. https://doi.org/10.4161/psb.25688
chicago: Remy, Estelle, Pawel Baster, Jiří Friml, and Paula Duque. “ZIFL1.1 Transporter
Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple
PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior. Taylor &
Francis, 2013. https://doi.org/10.4161/psb.25688.
ieee: E. Remy, P. Baster, J. Friml, and P. Duque, “ZIFL1.1 transporter modulates
polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis
root tip,” Plant Signaling & Behavior, vol. 8, no. 10. Taylor &
Francis, 2013.
ista: Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar
auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis
root tip. Plant Signaling & Behavior. 8(10), e25688.
mla: Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport
by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant
Signaling & Behavior, vol. 8, no. 10, e25688, Taylor & Francis, 2013,
doi:10.4161/psb.25688.
short: E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8
(2013).
date_created: 2018-12-11T11:57:43Z
date_published: 2013-07-10T00:00:00Z
date_updated: 2025-05-07T11:12:32Z
day: '10'
department:
- _id: JiFr
doi: 10.4161/psb.25688
ec_funded: 1
external_id:
pmid:
- '23857365'
intvolume: ' 8'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4091088/
month: '07'
oa: 1
oa_version: Submitted Version
pmid: 1
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '282300'
name: Polarity and subcellular dynamics in plants
publication: Plant Signaling & Behavior
publication_status: published
publisher: Taylor & Francis
publist_id: '4455'
quality_controlled: '1'
scopus_import: '1'
status: public
title: ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane
abundance of multiple PINs in Arabidopsis root tip
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2013'
...
---
_id: '2449'
abstract:
- lang: eng
text: 'Intracellular protein routing is mediated by vesicular transport which is
tightly regulated in eukaryotes. The protein and lipid homeostasis depends on
coordinated delivery of de novo synthesized or recycled cargoes to the plasma
membrane by exocytosis and their subsequent removal by rerouting them for recycling
or degradation. Here, we report the characterization of protein affected trafficking
3 (pat3) mutant that we identified by an epifluorescence-based forward genetic
screen for mutants defective in subcellular distribution of Arabidopsis auxin
transporter PIN1–GFP. While pat3 displays largely normal plant morphology and
development in nutrient-rich conditions, it shows strong ectopic intracellular
accumulations of different plasma membrane cargoes in structures that resemble
prevacuolar compartments (PVC) with an aberrant morphology. Genetic mapping revealed
that pat3 is defective in vacuolar protein sorting 35A (VPS35A), a putative subunit
of the retromer complex that mediates retrograde trafficking between the PVC and
trans-Golgi network. Similarly, a mutant defective in another retromer subunit,
vps29, shows comparable subcellular defects in PVC morphology and protein accumulation.
Thus, our data provide evidence that the retromer components VPS35A and VPS29
are essential for normal PVC morphology and normal trafficking of plasma membrane
proteins in plants. In addition, we show that, out of the three VPS35 retromer
subunits present in Arabidopsis thaliana genome, the VPS35 homolog A plays a prevailing
role in trafficking to the lytic vacuole, presenting another level of complexity
in the retromer-dependent vacuolar sorting. '
author:
- first_name: Tomasz
full_name: Nodzyński, Tomasz
last_name: Nodzyński
- first_name: Murguel
full_name: Feraru, Murguel
last_name: Feraru
- first_name: Sibylle
full_name: Hirsch, Sibylle
last_name: Hirsch
- first_name: Riet
full_name: De Rycke, Riet
last_name: De Rycke
- first_name: Claudiu
full_name: Nicuales, Claudiu
last_name: Nicuales
- first_name: Jelle
full_name: Van Leene, Jelle
last_name: Van Leene
- first_name: Geert
full_name: De Jaeger, Geert
last_name: De Jaeger
- first_name: Steffen
full_name: Vanneste, Steffen
last_name: Vanneste
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Nodzyński T, Feraru M, Hirsch S, et al. Retromer subunits VPS35A and VPS29
mediate prevacuolar compartment (PVC) function in Arabidopsis. Molecular Plant.
2013;6(6):1849-1862. doi:10.1093/mp/sst044
apa: Nodzyński, T., Feraru, M., Hirsch, S., De Rycke, R., Nicuales, C., Van Leene,
J., … Friml, J. (2013). Retromer subunits VPS35A and VPS29 mediate prevacuolar
compartment (PVC) function in Arabidopsis. Molecular Plant. Cell Press.
https://doi.org/10.1093/mp/sst044
chicago: Nodzyński, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu
Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jiří Friml.
“Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function
in Arabidopsis.” Molecular Plant. Cell Press, 2013. https://doi.org/10.1093/mp/sst044.
ieee: T. Nodzyński et al., “Retromer subunits VPS35A and VPS29 mediate prevacuolar
compartment (PVC) function in Arabidopsis,” Molecular Plant, vol. 6, no.
6. Cell Press, pp. 1849–1862, 2013.
ista: Nodzyński T, Feraru M, Hirsch S, De Rycke R, Nicuales C, Van Leene J, De Jaeger
G, Vanneste S, Friml J. 2013. Retromer subunits VPS35A and VPS29 mediate prevacuolar
compartment (PVC) function in Arabidopsis. Molecular Plant. 6(6), 1849–1862.
mla: Nodzyński, Tomasz, et al. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar
Compartment (PVC) Function in Arabidopsis.” Molecular Plant, vol. 6, no.
6, Cell Press, 2013, pp. 1849–62, doi:10.1093/mp/sst044.
short: T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene,
G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
date_created: 2018-12-11T11:57:44Z
date_published: 2013-11-01T00:00:00Z
date_updated: 2021-01-12T06:57:33Z
day: '01'
department:
- _id: JiFr
doi: 10.1093/mp/sst044
intvolume: ' 6'
issue: '6'
language:
- iso: eng
month: '11'
oa_version: None
page: 1849 - 1862
publication: Molecular Plant
publication_status: published
publisher: Cell Press
publist_id: '4454'
quality_controlled: '1'
scopus_import: 1
status: public
title: Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function
in Arabidopsis
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2013'
...
---
_id: '245'
abstract:
- lang: eng
text: For given non-zero integers a, b, q we investigate the density of solutions
(x; y) ∈ ℤ2 to the binary cubic congruence ax2 + by3 ≡ 0 mod q, and use it to
establish the Manin conjecture for a singular del Pezzo surface of degree 2 defined
over ℚ.
author:
- first_name: Stephan
full_name: Baier, Stephan
last_name: Baier
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
citation:
ama: Baier S, Browning TD. Inhomogeneous cubic congruences and rational points on
del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013;(680):69-151.
doi:10.1515/crelle.2012.039
apa: Baier, S., & Browning, T. D. (2013). Inhomogeneous cubic congruences and
rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte
Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle.2012.039
chicago: Baier, Stephan, and Timothy D Browning. “Inhomogeneous Cubic Congruences
and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte
Mathematik. Walter de Gruyter, 2013. https://doi.org/10.1515/crelle.2012.039.
ieee: S. Baier and T. D. Browning, “Inhomogeneous cubic congruences and rational
points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik,
no. 680. Walter de Gruyter, pp. 69–151, 2013.
ista: Baier S, Browning TD. 2013. Inhomogeneous cubic congruences and rational points
on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. (680),
69–151.
mla: Baier, Stephan, and Timothy D. Browning. “Inhomogeneous Cubic Congruences and
Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte
Mathematik, no. 680, Walter de Gruyter, 2013, pp. 69–151, doi:10.1515/crelle.2012.039.
short: S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik
(2013) 69–151.
date_created: 2018-12-11T11:45:24Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:33Z
day: '01'
doi: 10.1515/crelle.2012.039
extern: 1
issue: '680'
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1011.3434
month: '07'
oa: 1
page: 69 - 151
publication: Journal fur die Reine und Angewandte Mathematik
publication_status: published
publisher: Walter de Gruyter
publist_id: '7659'
quality_controlled: 0
status: public
title: Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
type: journal_article
year: '2013'
...
---
_id: '2450'
abstract:
- lang: eng
text: 'Understanding how hormones and genes interact to coordinate plant growth
is a major challenge in developmental biology. The activities of auxin, ethylene,
and cytokinin depend on cellular context and exhibit either synergistic or antagonistic
interactions. Here we use experimentation and network construction to elucidate
the role of the interaction of the POLARIS peptide (PLS) and the auxin efflux
carrier PIN proteins in the crosstalk of three hormones (auxin, ethylene, and
cytokinin) in Arabidopsis root development. In ethylene hypersignaling mutants
such as polaris (pls), we show experimentally that expression of both PIN1 and
PIN2 significantly increases. This relationship is analyzed in the context of
the crosstalk between auxin, ethylene, and cytokinin: in pls, endogenous auxin,
ethylene and cytokinin concentration decreases, approximately remains unchanged
and increases, respectively. Experimental data are integrated into a hormonal
crosstalk network through combination with information in literature. Network
construction reveals that the regulation of both PIN1 and PIN2 is predominantly
via ethylene signaling. In addition, it is deduced that the relationship between
cytokinin and PIN1 and PIN2 levels implies a regulatory role of cytokinin in addition
to its regulation to auxin, ethylene, and PLS levels. We discuss how the network
of hormones and genes coordinates plant growth by simultaneously regulating the
activities of auxin, ethylene, and cytokinin signaling pathways.hormonal crosstalk,
root development, auxin flux, PIN proteins, PLS protein, signaling network'
author:
- first_name: Junli
full_name: Liu, Junli
last_name: Liu
- first_name: Saher
full_name: Menhi, Saher
last_name: Menhi
- first_name: Jennifer
full_name: Topping, Jennifer
last_name: Topping
- first_name: Jirí
full_name: Jirí Friml
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Keith
full_name: Lindsey, Keith
last_name: Lindsey
citation:
ama: Liu J, Menhi S, Topping J, Friml J, Lindsey K. Interaction of PLS and PIN and
hormonal crosstalk in Arabidopsis root development. Frontiers in Plant Science.
2013;4(75). doi:10.3389/fpls.2013.00075
apa: Liu, J., Menhi, S., Topping, J., Friml, J., & Lindsey, K. (2013). Interaction
of PLS and PIN and hormonal crosstalk in Arabidopsis root development. Frontiers
in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2013.00075
chicago: Liu, Junli, Saher Menhi, Jennifer Topping, Jiří Friml, and Keith Lindsey.
“Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.”
Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00075.
ieee: J. Liu, S. Menhi, J. Topping, J. Friml, and K. Lindsey, “Interaction of PLS
and PIN and hormonal crosstalk in Arabidopsis root development,” Frontiers
in Plant Science, vol. 4, no. 75. Frontiers Research Foundation, 2013.
ista: Liu J, Menhi S, Topping J, Friml J, Lindsey K. 2013. Interaction of PLS and
PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant
Science. 4(75).
mla: Liu, Junli, et al. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis
Root Development.” Frontiers in Plant Science, vol. 4, no. 75, Frontiers
Research Foundation, 2013, doi:10.3389/fpls.2013.00075.
short: J. Liu, S. Menhi, J. Topping, J. Friml, K. Lindsey, Frontiers in Plant Science
4 (2013).
date_created: 2018-12-11T11:57:44Z
date_published: 2013-04-01T00:00:00Z
date_updated: 2021-01-12T06:57:34Z
day: '01'
doi: 10.3389/fpls.2013.00075
extern: 1
intvolume: ' 4'
issue: '75'
month: '04'
publication: Frontiers in Plant Science
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '4453'
quality_controlled: 0
status: public
title: Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development
type: journal_article
volume: 4
year: '2013'
...
---
_id: '2452'
abstract:
- lang: eng
text: 'Background: Abundance and distribution of the plant hormone auxin play important
roles in plant development. Besides other metabolic processes, various auxin carriers
control the cellular level of active auxin and, hence, are major regulators of
cellular auxin homeostasis. Despite the developmental importance of auxin transporters,
a simple medium-to-high throughput approach to assess carrier activities is still
missing. Here we show that carrier driven depletion of cellular auxin correlates
with reduced nuclear auxin signaling in tobacco Bright Yellow-2 (BY-2) cell cultures.Results:
We developed an easy to use transient single-cell-based system to detect carrier
activity. We use the relative changes in signaling output of the auxin responsive
promoter element DR5 to indirectly visualize auxin carrier activity. The feasibility
of the transient approach was demonstrated by pharmacological and genetic interference
with auxin signaling and transport. As a proof of concept, we provide visual evidence
that the prominent auxin transport proteins PIN-FORMED (PIN)2 and PIN5 regulate
cellular auxin homeostasis at the plasma membrane and endoplasmic reticulum (ER),
respectively. Our data suggest that PIN2 and PIN5 have different sensitivities
to the auxin transport inhibitor 1-naphthylphthalamic acid (NPA). Also the putative
PIN-LIKES (PILS) auxin carrier activity at the ER is insensitive to NPA in our
system, indicating that NPA blocks intercellular, but not intracellular auxin
transport.Conclusions: This single-cell-based system is a useful tool by which
the activity of putative auxin carriers, such as PINs, PILS and WALLS ARE THIN1
(WAT1), can be indirectly visualized in a medium-to-high throughput manner. Moreover,
our single cell system might be useful to investigate also other hormonal signaling
pathways, such as cytokinin.'
author:
- first_name: Elke
full_name: Barbez, Elke
last_name: Barbez
- first_name: Martina
full_name: Laňková, Martina
last_name: Laňková
- first_name: Markéta
full_name: Pařezová, Markéta
last_name: Pařezová
- first_name: Alexis
full_name: Maizel, Alexis
last_name: Maizel
- first_name: Eva
full_name: Zažímalová, Eva
last_name: Zažímalová
- first_name: Jan
full_name: Petrášek, Jan
last_name: Petrášek
- first_name: Jirí
full_name: Jirí Friml
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
- first_name: Jürgen
full_name: Kleine-Vehn, Jürgen
last_name: Kleine Vehn
citation:
ama: Barbez E, Laňková M, Pařezová M, et al. Single-cell-based system to monitor
carrier driven cellular auxin homeostasis. BMC Plant Biology. 2013;13(1).
doi:10.1186/1471-2229-13-20
apa: Barbez, E., Laňková, M., Pařezová, M., Maizel, A., Zažímalová, E., Petrášek,
J., … Kleine Vehn, J. (2013). Single-cell-based system to monitor carrier driven
cellular auxin homeostasis. BMC Plant Biology. BioMed Central. https://doi.org/10.1186/1471-2229-13-20
chicago: Barbez, Elke, Martina Laňková, Markéta Pařezová, Alexis Maizel, Eva Zažímalová,
Jan Petrášek, Jiří Friml, and Jürgen Kleine Vehn. “Single-Cell-Based System to
Monitor Carrier Driven Cellular Auxin Homeostasis.” BMC Plant Biology.
BioMed Central, 2013. https://doi.org/10.1186/1471-2229-13-20.
ieee: E. Barbez et al., “Single-cell-based system to monitor carrier driven
cellular auxin homeostasis,” BMC Plant Biology, vol. 13, no. 1. BioMed
Central, 2013.
ista: Barbez E, Laňková M, Pařezová M, Maizel A, Zažímalová E, Petrášek J, Friml
J, Kleine Vehn J. 2013. Single-cell-based system to monitor carrier driven cellular
auxin homeostasis. BMC Plant Biology. 13(1).
mla: Barbez, Elke, et al. “Single-Cell-Based System to Monitor Carrier Driven Cellular
Auxin Homeostasis.” BMC Plant Biology, vol. 13, no. 1, BioMed Central,
2013, doi:10.1186/1471-2229-13-20.
short: E. Barbez, M. Laňková, M. Pařezová, A. Maizel, E. Zažímalová, J. Petrášek,
J. Friml, J. Kleine Vehn, BMC Plant Biology 13 (2013).
date_created: 2018-12-11T11:57:45Z
date_published: 2013-02-01T00:00:00Z
date_updated: 2021-01-12T06:57:34Z
day: '01'
doi: 10.1186/1471-2229-13-20
extern: 1
intvolume: ' 13'
issue: '1'
month: '02'
publication: BMC Plant Biology
publication_status: published
publisher: BioMed Central
publist_id: '4451'
quality_controlled: 0
status: public
title: Single-cell-based system to monitor carrier driven cellular auxin homeostasis
type: journal_article
volume: 13
year: '2013'
...
---
_id: '2457'
author:
- first_name: Tom
full_name: Viaene, Tom
last_name: Viaene
- first_name: Charles
full_name: Delwiche, Charles
last_name: Delwiche
- first_name: Stefan
full_name: Rensing, Stefan
last_name: Rensing
- first_name: Jirí
full_name: Friml, Jirí
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Viaene T, Delwiche C, Rensing S, Friml J. Origin and evolution of PIN auxin
transporters in the green lineage. Trends in Plant Science. 2013;18(1):5-10.
doi:10.1016/j.tplants.2012.08.009
apa: Viaene, T., Delwiche, C., Rensing, S., & Friml, J. (2013). Origin and evolution
of PIN auxin transporters in the green lineage. Trends in Plant Science.
Cell Press. https://doi.org/10.1016/j.tplants.2012.08.009
chicago: Viaene, Tom, Charles Delwiche, Stefan Rensing, and Jiří Friml. “Origin
and Evolution of PIN Auxin Transporters in the Green Lineage.” Trends in Plant
Science. Cell Press, 2013. https://doi.org/10.1016/j.tplants.2012.08.009.
ieee: T. Viaene, C. Delwiche, S. Rensing, and J. Friml, “Origin and evolution of
PIN auxin transporters in the green lineage,” Trends in Plant Science,
vol. 18, no. 1. Cell Press, pp. 5–10, 2013.
ista: Viaene T, Delwiche C, Rensing S, Friml J. 2013. Origin and evolution of PIN
auxin transporters in the green lineage. Trends in Plant Science. 18(1), 5–10.
mla: Viaene, Tom, et al. “Origin and Evolution of PIN Auxin Transporters in the
Green Lineage.” Trends in Plant Science, vol. 18, no. 1, Cell Press, 2013,
pp. 5–10, doi:10.1016/j.tplants.2012.08.009.
short: T. Viaene, C. Delwiche, S. Rensing, J. Friml, Trends in Plant Science 18
(2013) 5–10.
date_created: 2018-12-11T11:57:46Z
date_published: 2013-01-01T00:00:00Z
date_updated: 2021-01-12T06:57:36Z
day: '01'
doi: 10.1016/j.tplants.2012.08.009
extern: '1'
intvolume: ' 18'
issue: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 5 - 10
publication: Trends in Plant Science
publication_status: published
publisher: Cell Press
publist_id: '4446'
quality_controlled: '1'
status: public
title: Origin and evolution of PIN auxin transporters in the green lineage
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 18
year: '2013'
...
---
_id: '246'
abstract:
- lang: eng
text: Given an intersection of two quadrics X Pm1, with m > 9, the quantitative
arithmetic of the set X(Q) is investigated under the assumption that the singular
locus of X consists of a pair of conjugate singular points defined over Q(i).
acknowledgement: "EP/E053262/1\tEngineering and Physical Sciences Research Council"
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Ritabrata
full_name: Munshi, Ritabrata
last_name: Munshi
citation:
ama: Browning TD, Munshi R. Rational points on singular intersections of quadrics.
Compositio Mathematica. 2013;149(9):1457-1494. doi:10.1112/S0010437X13007185
apa: Browning, T. D., & Munshi, R. (2013). Rational points on singular intersections
of quadrics. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X13007185
chicago: Browning, Timothy D, and Ritabrata Munshi. “Rational Points on Singular
Intersections of Quadrics.” Compositio Mathematica. Cambridge University
Press, 2013. https://doi.org/10.1112/S0010437X13007185.
ieee: T. D. Browning and R. Munshi, “Rational points on singular intersections of
quadrics,” Compositio Mathematica, vol. 149, no. 9. Cambridge University
Press, pp. 1457–1494, 2013.
ista: Browning TD, Munshi R. 2013. Rational points on singular intersections of
quadrics. Compositio Mathematica. 149(9), 1457–1494.
mla: Browning, Timothy D., and Ritabrata Munshi. “Rational Points on Singular Intersections
of Quadrics.” Compositio Mathematica, vol. 149, no. 9, Cambridge University
Press, 2013, pp. 1457–94, doi:10.1112/S0010437X13007185.
short: T.D. Browning, R. Munshi, Compositio Mathematica 149 (2013) 1457–1494.
date_created: 2018-12-11T11:45:25Z
date_published: 2013-09-01T00:00:00Z
date_updated: 2021-01-12T06:57:37Z
day: '01'
doi: 10.1112/S0010437X13007185
extern: 1
intvolume: ' 149'
issue: '9'
month: '09'
page: 1457 - 1494
publication: Compositio Mathematica
publication_status: published
publisher: Cambridge University Press
publist_id: '7658'
quality_controlled: 0
status: public
title: Rational points on singular intersections of quadrics
type: journal_article
volume: 149
year: '2013'
...
---
_id: '2466'
abstract:
- lang: eng
text: 'We introduce a new method for efficiently simulating liquid with extreme
amounts of spatial adaptivity. Our method combines several key components to drastically
speed up the simulation of large-scale fluid phenomena: We leverage an alternative
Eulerian tetrahedral mesh discretization to significantly reduce the complexity
of the pressure solve while increasing the robustness with respect to element
quality and removing the possibility of locking. Next, we enable subtle free-surface
phenomena by deriving novel second-order boundary conditions consistent with our
discretization. We couple this discretization with a spatially adaptive Fluid-Implicit
Particle (FLIP) method, enabling efficient, robust, minimally-dissipative simulations
that can undergo sharp changes in spatial resolution while minimizing artifacts.
Along the way, we provide a new method for generating a smooth and detailed surface
from a set of particles with variable sizes. Finally, we explore several new sizing
functions for determining spatially adaptive simulation resolutions, and we show
how to couple them to our simulator. We combine each of these elements to produce
a simulation algorithm that is capable of creating animations at high maximum
resolutions while avoiding common pitfalls like inaccurate boundary conditions
and inefficient computation.'
article_number: '103'
article_processing_charge: No
author:
- first_name: Ryoichi
full_name: Ando, Ryoichi
last_name: Ando
- first_name: Nils
full_name: Thuerey, Nils
last_name: Thuerey
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
date_created: 2018-12-11T11:57:50Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2024-11-19T11:56:45Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2461912.2461982
file:
- access_level: open_access
checksum: aeea6b0ff2b27c695aeb8408c7d2fc50
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:17:25Z
date_updated: 2020-07-14T12:45:41Z
file_id: '5279'
file_name: IST-2016-605-v1+1_tetflip_fixed.pdf
file_size: 8601561
relation: main_file
file_date_updated: 2020-07-14T12:45:41Z
has_accepted_license: '1'
intvolume: ' 32'
issue: '4'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4436'
pubrep_id: '605'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Highly adaptive liquid simulations on tetrahedral meshes
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2013'
...
---
_id: '2467'
abstract:
- lang: eng
text: This paper presents a method for computing topology changes for triangle meshes
in an interactive geometric modeling environment. Most triangle meshes in practice
do not exhibit desirable geometric properties, so we develop a solution that is
independent of standard assumptions and robust to geometric errors. Specifically,
we provide the first method for topology change applicable to arbitrary non-solid,
non-manifold, non-closed, self-intersecting surfaces. We prove that this new method
for topology change produces the expected conventional results when applied to
solid (closed, manifold, non-self-intersecting) surfaces---that is, we prove a
backwards-compatibility property relative to prior work. Beyond solid surfaces,
we present empirical evidence that our method remains tolerant to a variety of
surface aberrations through the incorporation of a novel error correction scheme.
Finally, we demonstrate how topology change applied to non-solid objects enables
wholly new and useful behaviors.
article_number: '34'
author:
- first_name: Gilbert
full_name: Bernstein, Gilbert
last_name: Bernstein
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
citation:
ama: 'Bernstein G, Wojtan C. Putting holes in holey geometry: Topology change for
arbitrary surfaces. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2462027'
apa: 'Bernstein, G., & Wojtan, C. (2013). Putting holes in holey geometry: Topology
change for arbitrary surfaces. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2461912.2462027'
chicago: 'Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry:
Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics.
ACM, 2013. https://doi.org/10.1145/2461912.2462027.'
ieee: 'G. Bernstein and C. Wojtan, “Putting holes in holey geometry: Topology change
for arbitrary surfaces,” ACM Transactions on Graphics, vol. 32, no. 4.
ACM, 2013.'
ista: 'Bernstein G, Wojtan C. 2013. Putting holes in holey geometry: Topology change
for arbitrary surfaces. ACM Transactions on Graphics. 32(4), 34.'
mla: 'Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology
Change for Arbitrary Surfaces.” ACM Transactions on Graphics, vol. 32,
no. 4, 34, ACM, 2013, doi:10.1145/2461912.2462027.'
short: G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
date_created: 2018-12-11T11:57:50Z
date_published: 2013-07-01T00:00:00Z
date_updated: 2023-02-23T10:44:16Z
day: '01'
ddc:
- '000'
department:
- _id: ChWo
doi: 10.1145/2461912.2462027
file:
- access_level: open_access
checksum: 9c8425d62246996ca632c5a01870515b
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:09:43Z
date_updated: 2020-07-14T12:45:41Z
file_id: '4768'
file_name: IST-2016-604-v1+1_toptop2013.pdf
file_size: 3514674
relation: main_file
file_date_updated: 2020-07-14T12:45:41Z
has_accepted_license: '1'
intvolume: ' 32'
issue: '4'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
publist_id: '4435'
pubrep_id: '604'
quality_controlled: '1'
scopus_import: 1
status: public
title: 'Putting holes in holey geometry: Topology change for arbitrary surfaces'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2013'
...