---
_id: '7284'
abstract:
- lang: eng
text: In this issue of Joule, Dongmin Im and coworkers from Samsung in South Korea
describe a prototype lithium-O2 battery that reaches ∼700 Wh kg–1 and ∼600 Wh
L–1 on the cell level. They cut all components to the minimum to reach this value.
Difficulties filling the pores with discharge product and inhomogeneous cell utilization
turn out to limit the achievable energy. Their work underlines the importance
of reporting performance with respect to full cell weight and volume.
article_processing_charge: No
article_type: review
author:
- first_name: Christian
full_name: Prehal, Christian
last_name: Prehal
- first_name: Stefan Alexander
full_name: Freunberger, Stefan Alexander
id: A8CA28E6-CE23-11E9-AD2D-EC27E6697425
last_name: Freunberger
orcid: 0000-0003-2902-5319
citation:
ama: Prehal C, Freunberger SA. Li-O2 cell-scale energy densities. Joule.
2019;3(2):321-323. doi:10.1016/j.joule.2019.01.020
apa: Prehal, C., & Freunberger, S. A. (2019). Li-O2 cell-scale energy densities.
Joule. Elsevier. https://doi.org/10.1016/j.joule.2019.01.020
chicago: Prehal, Christian, and Stefan Alexander Freunberger. “Li-O2 Cell-Scale
Energy Densities.” Joule. Elsevier, 2019. https://doi.org/10.1016/j.joule.2019.01.020.
ieee: C. Prehal and S. A. Freunberger, “Li-O2 cell-scale energy densities,” Joule,
vol. 3, no. 2. Elsevier, pp. 321–323, 2019.
ista: Prehal C, Freunberger SA. 2019. Li-O2 cell-scale energy densities. Joule.
3(2), 321–323.
mla: Prehal, Christian, and Stefan Alexander Freunberger. “Li-O2 Cell-Scale Energy
Densities.” Joule, vol. 3, no. 2, Elsevier, 2019, pp. 321–23, doi:10.1016/j.joule.2019.01.020.
short: C. Prehal, S.A. Freunberger, Joule 3 (2019) 321–323.
date_created: 2020-01-15T12:13:15Z
date_published: 2019-02-20T00:00:00Z
date_updated: 2021-01-12T08:12:45Z
day: '20'
doi: 10.1016/j.joule.2019.01.020
extern: '1'
intvolume: ' 3'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.doi.org/10.1016/j.joule.2019.01.020
month: '02'
oa: 1
oa_version: Published Version
page: 321-323
publication: Joule
publication_identifier:
issn:
- 2542-4351
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Li-O2 cell-scale energy densities
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 3
year: '2019'
...
---
_id: '7358'
abstract:
- lang: eng
text: Telencephalic organoids generated from human pluripotent stem cells (hPSCs)
are emerging as an effective system to study the distinct features of the developing
human brain and the underlying causes of many neurological disorders. While progress
in organoid technology has been steadily advancing, many challenges remain including
rampant batch-to-batch and cell line-to-cell line variability and irreproducibility.
Here, we demonstrate that a major contributor to successful cortical organoid
production is the manner in which hPSCs are maintained prior to differentiation.
Optimal results were achieved using fibroblast-feeder-supported hPSCs compared
to feeder-independent cells, related to differences in their transcriptomic states.
Feeder-supported hPSCs display elevated activation of diverse TGFβ superfamily
signaling pathways and increased expression of genes associated with naïve pluripotency.
We further identify combinations of TGFβ-related growth factors that are necessary
and together sufficient to impart broad telencephalic organoid competency to feeder-free
hPSCs and enable reproducible formation of brain structures suitable for disease
modeling.
article_processing_charge: No
author:
- first_name: Momoko
full_name: Watanabe, Momoko
last_name: Watanabe
- first_name: Jillian R.
full_name: Haney, Jillian R.
last_name: Haney
- first_name: Neda
full_name: Vishlaghi, Neda
last_name: Vishlaghi
- first_name: Felix
full_name: Turcios, Felix
last_name: Turcios
- first_name: Jessie E.
full_name: Buth, Jessie E.
last_name: Buth
- first_name: Wen
full_name: Gu, Wen
last_name: Gu
- first_name: Amanda J.
full_name: Collier, Amanda J.
last_name: Collier
- first_name: Osvaldo
full_name: Miranda, Osvaldo
id: 862A3C56-A8BF-11E9-B4FA-D9E3E5697425
last_name: Miranda
orcid: 0000-0001-6618-6889
- first_name: Di
full_name: Chen, Di
last_name: Chen
- first_name: Shan
full_name: Sabri, Shan
last_name: Sabri
- first_name: Amander T.
full_name: Clark, Amander T.
last_name: Clark
- first_name: Kathrin
full_name: Plath, Kathrin
last_name: Plath
- first_name: Heather R.
full_name: Christofk, Heather R.
last_name: Christofk
- first_name: Michael J.
full_name: Gandal, Michael J.
last_name: Gandal
- first_name: Bennett G.
full_name: Novitch, Bennett G.
last_name: Novitch
citation:
ama: Watanabe M, Haney JR, Vishlaghi N, et al. TGFβ superfamily signaling regulates
the state of human stem cell pluripotency and competency to create telencephalic
organoids. bioRxiv. 2019. doi:10.1101/2019.12.13.875773
apa: Watanabe, M., Haney, J. R., Vishlaghi, N., Turcios, F., Buth, J. E., Gu, W.,
… Novitch, B. G. (2019). TGFβ superfamily signaling regulates the state of human
stem cell pluripotency and competency to create telencephalic organoids. bioRxiv.
Cold Spring Harbor Laboratory. https://doi.org/10.1101/2019.12.13.875773
chicago: Watanabe, Momoko, Jillian R. Haney, Neda Vishlaghi, Felix Turcios, Jessie
E. Buth, Wen Gu, Amanda J. Collier, et al. “TGFβ Superfamily Signaling Regulates
the State of Human Stem Cell Pluripotency and Competency to Create Telencephalic
Organoids.” BioRxiv. Cold Spring Harbor Laboratory, 2019. https://doi.org/10.1101/2019.12.13.875773.
ieee: M. Watanabe et al., “TGFβ superfamily signaling regulates the state
of human stem cell pluripotency and competency to create telencephalic organoids,”
bioRxiv. Cold Spring Harbor Laboratory, 2019.
ista: Watanabe M, Haney JR, Vishlaghi N, Turcios F, Buth JE, Gu W, Collier AJ, Miranda
O, Chen D, Sabri S, Clark AT, Plath K, Christofk HR, Gandal MJ, Novitch BG. 2019.
TGFβ superfamily signaling regulates the state of human stem cell pluripotency
and competency to create telencephalic organoids. bioRxiv, 10.1101/2019.12.13.875773.
mla: Watanabe, Momoko, et al. “TGFβ Superfamily Signaling Regulates the State of
Human Stem Cell Pluripotency and Competency to Create Telencephalic Organoids.”
BioRxiv, Cold Spring Harbor Laboratory, 2019, doi:10.1101/2019.12.13.875773.
short: M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J.
Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk,
M.J. Gandal, B.G. Novitch, BioRxiv (2019).
date_created: 2020-01-23T09:53:40Z
date_published: 2019-12-13T00:00:00Z
date_updated: 2022-06-17T08:03:32Z
day: '13'
doi: 10.1101/2019.12.13.875773
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/2019.12.13.875773
month: '12'
oa: 1
oa_version: Preprint
page: '75'
publication: bioRxiv
publication_status: published
publisher: Cold Spring Harbor Laboratory
status: public
title: TGFβ superfamily signaling regulates the state of human stem cell pluripotency
and competency to create telencephalic organoids
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2019'
...
---
_id: '7401'
abstract:
- lang: eng
text: 'The genus g(G) of a graph G is the minimum g such that G has an embedding
on the orientable surface M_g of genus g. A drawing of a graph on a surface is
independently even if every pair of nonadjacent edges in the drawing crosses an
even number of times. The Z_2-genus of a graph G, denoted by g_0(G), is the minimum
g such that G has an independently even drawing on M_g. By a result of Battle,
Harary, Kodama and Youngs from 1962, the graph genus is additive over 2-connected
blocks. In 2013, Schaefer and Stefankovic proved that the Z_2-genus of a graph
is additive over 2-connected blocks as well, and asked whether this result can
be extended to so-called 2-amalgamations, as an analogue of results by Decker,
Glover, Huneke, and Stahl for the genus. We give the following partial answer.
If G=G_1 cup G_2, G_1 and G_2 intersect in two vertices u and v, and G-u-v has
k connected components (among which we count the edge uv if present), then |g_0(G)-(g_0(G_1)+g_0(G_2))|<=k+1.
For complete bipartite graphs K_{m,n}, with n >= m >= 3, we prove that g_0(K_{m,n})/g(K_{m,n})=1-O(1/n).
Similar results are proved also for the Euler Z_2-genus. We express the Z_2-genus
of a graph using the minimum rank of partial symmetric matrices over Z_2; a problem
that might be of independent interest. '
alternative_title:
- LIPIcs
article_number: '39'
article_processing_charge: No
author:
- first_name: Radoslav
full_name: Fulek, Radoslav
id: 39F3FFE4-F248-11E8-B48F-1D18A9856A87
last_name: Fulek
orcid: 0000-0001-8485-1774
- first_name: Jan
full_name: Kyncl, Jan
last_name: Kyncl
citation:
ama: 'Fulek R, Kyncl J. Z_2-Genus of graphs and minimum rank of partial symmetric
matrices. In: 35th International Symposium on Computational Geometry (SoCG
2019). Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.SOCG.2019.39'
apa: 'Fulek, R., & Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of
partial symmetric matrices. In 35th International Symposium on Computational
Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl
- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.39'
chicago: Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of
Partial Symmetric Matrices.” In 35th International Symposium on Computational
Geometry (SoCG 2019), Vol. 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2019. https://doi.org/10.4230/LIPICS.SOCG.2019.39.
ieee: R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric
matrices,” in 35th International Symposium on Computational Geometry (SoCG
2019), Portland, OR, United States, 2019, vol. 129.
ista: 'Fulek R, Kyncl J. 2019. Z_2-Genus of graphs and minimum rank of partial symmetric
matrices. 35th International Symposium on Computational Geometry (SoCG 2019).
SoCG: Symposium on Computational Geometry, LIPIcs, vol. 129, 39.'
mla: Fulek, Radoslav, and Jan Kyncl. “Z_2-Genus of Graphs and Minimum Rank of Partial
Symmetric Matrices.” 35th International Symposium on Computational Geometry
(SoCG 2019), vol. 129, 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2019, doi:10.4230/LIPICS.SOCG.2019.39.
short: R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry
(SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
conference:
end_date: 2019-06-21
location: Portland, OR, United States
name: 'SoCG: Symposium on Computational Geometry'
start_date: 2019-06-18
date_created: 2020-01-29T16:17:05Z
date_published: 2019-06-01T00:00:00Z
date_updated: 2021-01-12T08:13:24Z
day: '01'
ddc:
- '000'
department:
- _id: UlWa
doi: 10.4230/LIPICS.SOCG.2019.39
external_id:
arxiv:
- '1903.08637'
file:
- access_level: open_access
checksum: aac37b09118cc0ab58cf77129e691f8c
content_type: application/pdf
creator: dernst
date_created: 2020-02-04T09:14:31Z
date_updated: 2020-07-14T12:47:57Z
file_id: '7445'
file_name: 2019_LIPIcs_Fulek.pdf
file_size: 628347
relation: main_file
file_date_updated: 2020-07-14T12:47:57Z
has_accepted_license: '1'
intvolume: ' 129'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '06'
oa: 1
oa_version: Published Version
project:
- _id: 261FA626-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02281
name: Eliminating intersections in drawings of graphs
publication: 35th International Symposium on Computational Geometry (SoCG 2019)
publication_identifier:
isbn:
- 978-3-95977-104-7
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: 1
status: public
title: Z_2-Genus of graphs and minimum rank of partial symmetric matrices
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 129
year: '2019'
...
---
_id: '7453'
abstract:
- lang: eng
text: We illustrate the ingredients of the state-of-the-art of model-based approach
for the formal design and verification of cyber-physical systems. To capture the
interaction between a discrete controller and its continuously evolving environment,
we use the formal models of timed and hybrid automata. We explain the steps of
modeling and verification in the tools Uppaal and SpaceEx using a case study based
on a dual-chamber implantable pacemaker monitoring a human heart. We show how
to design a model as a composition of components, how to construct models at varying
levels of detail, how to establish that one model is an abstraction of another,
how to specify correctness requirements using temporal logic, and how to verify
that a model satisfies a logical requirement.
acknowledgement: This research was supported in part by the Austrian Science Fund
(FWF) under grants S11402-N23(RiSE/SHiNE) and Z211-N23 (Wittgenstein Award). This
research has received funding from the Sino-Danish Basic Research Centre, IDEA4CPS,
funded by the Danish National Research Foundation and the National Science Foundation,
China, the Innovation Fund Denmark centre DiCyPS, as well as the ERC Advanced Grant
LASSO.
alternative_title:
- Lecture Notes in Computer Science
article_processing_charge: No
author:
- first_name: Rajeev
full_name: Alur, Rajeev
last_name: Alur
- first_name: Mirco
full_name: Giacobbe, Mirco
id: 3444EA5E-F248-11E8-B48F-1D18A9856A87
last_name: Giacobbe
orcid: 0000-0001-8180-0904
- 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: Kim G.
full_name: Larsen, Kim G.
last_name: Larsen
- first_name: Marius
full_name: Mikučionis, Marius
last_name: Mikučionis
citation:
ama: 'Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. Continuous-time
models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing
and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi:10.1007/978-3-319-91908-9_22'
apa: Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis,
M. (2019). Continuous-time models for system design and analysis. In B. Steffen
& G. Woeginger (Eds.), Computing and Software Science (Vol. 10000,
pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22
chicago: Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius
Mikučionis. “Continuous-Time Models for System Design and Analysis.” In Computing
and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77.
LNCS. Springer Nature, 2019. https://doi.org/10.1007/978-3-319-91908-9_22.
ieee: R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time
models for system design and analysis,” in Computing and Software Science,
vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.
ista: 'Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019.Continuous-time
models for system design and analysis. In: Computing and Software Science. Lecture
Notes in Computer Science, vol. 10000, 452–477.'
mla: Alur, Rajeev, et al. “Continuous-Time Models for System Design and Analysis.”
Computing and Software Science, edited by Bernhard Steffen and Gerhard
Woeginger, vol. 10000, Springer Nature, 2019, pp. 452–77, doi:10.1007/978-3-319-91908-9_22.
short: R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B.
Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature,
2019, pp. 452–477.
date_created: 2020-02-05T10:51:44Z
date_published: 2019-10-05T00:00:00Z
date_updated: 2022-09-06T08:25:52Z
day: '05'
department:
- _id: ToHe
doi: 10.1007/978-3-319-91908-9_22
editor:
- first_name: Bernhard
full_name: Steffen, Bernhard
last_name: Steffen
- first_name: Gerhard
full_name: Woeginger, Gerhard
last_name: Woeginger
intvolume: ' 10000'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-319-91908-9_22
month: '10'
oa: 1
oa_version: Published Version
page: 452-477
project:
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: Computing and Software Science
publication_identifier:
eisbn:
- '9783319919089'
eissn:
- 0302-9743
isbn:
- '9783319919072'
issn:
- 1611-3349
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
series_title: LNCS
status: public
title: Continuous-time models for system design and analysis
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10000
year: '2019'
...
---
_id: '7459'
abstract:
- lang: eng
text: We report the fabrication of BaTiO3-Ni magnetoelectric nanocomposites comprising
of BaTiO3 nanotubes surrounded by Ni matrix. BaTiO3 nanotubes obtained from the
hydrothermal transformation of TiO2 have both inner and outer surfaces, which
facilitates greater magnetoelectric coupling with the surrounding Ni matrix. The
magnetoelectric coupling was studied by measuring the piezoelectric behavior in
the presence of an in-plane direct magnetic field. A higher magnetoelectric voltage
coefficient of 110 mV/cm·Oe was obtained, because of better coupling between Ni
and BaTiO3 through the walls of the nanotubes. Such nanocomposite developed directly
on Ti substrate may lead to efficient fabrication of magnetoelectric devices.
article_processing_charge: No
article_type: original
author:
- first_name: Samba Siva
full_name: Vadla, Samba Siva
last_name: Vadla
- first_name: Tommaso
full_name: Costanzo, Tommaso
id: D93824F4-D9BA-11E9-BB12-F207E6697425
last_name: Costanzo
orcid: 0000-0001-9732-3815
- first_name: Subish
full_name: John, Subish
last_name: John
- first_name: Gabriel
full_name: Caruntu, Gabriel
last_name: Caruntu
- first_name: Somnath C.
full_name: Roy, Somnath C.
last_name: Roy
citation:
ama: Vadla SS, Costanzo T, John S, Caruntu G, Roy SC. Local probing of magnetoelectric
coupling in BaTiO3-Ni 1–3 composites. Scripta Materialia. 2019;159:33-36.
doi:10.1016/j.scriptamat.2018.09.003
apa: Vadla, S. S., Costanzo, T., John, S., Caruntu, G., & Roy, S. C. (2019).
Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites. Scripta
Materialia. Elsevier. https://doi.org/10.1016/j.scriptamat.2018.09.003
chicago: Vadla, Samba Siva, Tommaso Costanzo, Subish John, Gabriel Caruntu, and
Somnath C. Roy. “Local Probing of Magnetoelectric Coupling in BaTiO3-Ni 1–3 Composites.”
Scripta Materialia. Elsevier, 2019. https://doi.org/10.1016/j.scriptamat.2018.09.003.
ieee: S. S. Vadla, T. Costanzo, S. John, G. Caruntu, and S. C. Roy, “Local probing
of magnetoelectric coupling in BaTiO3-Ni 1–3 composites,” Scripta Materialia,
vol. 159. Elsevier, pp. 33–36, 2019.
ista: Vadla SS, Costanzo T, John S, Caruntu G, Roy SC. 2019. Local probing of magnetoelectric
coupling in BaTiO3-Ni 1–3 composites. Scripta Materialia. 159, 33–36.
mla: Vadla, Samba Siva, et al. “Local Probing of Magnetoelectric Coupling in BaTiO3-Ni
1–3 Composites.” Scripta Materialia, vol. 159, Elsevier, 2019, pp. 33–36,
doi:10.1016/j.scriptamat.2018.09.003.
short: S.S. Vadla, T. Costanzo, S. John, G. Caruntu, S.C. Roy, Scripta Materialia
159 (2019) 33–36.
date_created: 2020-02-05T14:19:17Z
date_published: 2019-01-15T00:00:00Z
date_updated: 2023-02-23T13:08:31Z
day: '15'
doi: 10.1016/j.scriptamat.2018.09.003
extern: '1'
intvolume: ' 159'
language:
- iso: eng
month: '01'
oa_version: None
page: 33-36
publication: Scripta Materialia
publication_identifier:
issn:
- 1359-6462
publication_status: published
publisher: Elsevier
quality_controlled: '1'
status: public
title: Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 159
year: '2019'
...