Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Igor C. Oliveira"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 2 (2020)
Proving that there are problems in $\mathsf{P}^\mathsf{NP}$ that require boolean circuits of super-linear size is a major frontier in complexity theory. While such lower bounds are known for larger complexity classes, existing results only show that
Externí odkaz:
https://doaj.org/article/65787c8898b447bda5b231ed8bc8a135
Autor:
Jan Krajicek, Igor C. Oliveira
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 1 (2017)
We establish unconditionally that for every integer $k \geq 1$ there is a language $L \in \mbox{P}$ such that it is consistent with Cook's theory PV that $L \notin Size(n^k)$. Our argument is non-constructive and does not provide an explicit descript
Externí odkaz:
https://doaj.org/article/37c6517d5df14620b66068a8cdf8a4dd
Publikováno v:
Proceedings of the 55th Annual ACM Symposium on Theory of Computing.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e22ea93b9ba3b8d9dcebbffb807ab99f
https://doi.org/10.1145/3564246.3585138
https://doi.org/10.1145/3564246.3585138
Autor:
Jiatu Li, Igor C. Oliveira
Publikováno v:
Proceedings of the 55th Annual ACM Symposium on Theory of Computing.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba306e2704fa8ca38a125e88b9c25aa9
https://doi.org/10.1145/3564246.3585144
https://doi.org/10.1145/3564246.3585144
We investigate randomized LEARN-uniformity, which captures the power of randomness and equivalence queries (EQ) in the construction of Boolean circuits for an explicit problem. This is an intermediate notion between P-uniformity and non-uniformity mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16df7c6fdbdb95485658a6385c916e8d
http://wrap.warwick.ac.uk/158167/1/WRAP-LEARN-uniform-circuit-lower-bounds-provability-bounded-arithmetic-Carboni-Oliveira-2021.pdf
http://wrap.warwick.ac.uk/158167/1/WRAP-LEARN-uniform-circuit-lower-bounds-provability-bounded-arithmetic-Carboni-Oliveira-2021.pdf
We establish the first general connection between the design of quantum algorithms and circuit lower bounds. Specifically, let C be a class of polynomial-size concepts, and suppose that C can be PAC-learned with membership queries under the uniform d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf599bc36bf5651cadfaea38ee88ca67
https://hal.archives-ouvertes.fr/hal-03040161
https://hal.archives-ouvertes.fr/hal-03040161
Publikováno v:
Plant Physiology. 129:1170-1180
In plants, ammonium released during photorespiration exceeds primary nitrogen assimilation by as much as 10-fold. Analysis of photorespiratory mutants indicates that photorespiratory ammonium released in mitochondria is reassimilated in the chloropla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cf67a4b7a6c0b253f2cdbb023453ea2
https://doi.org/10.1104/pp.020013
https://doi.org/10.1104/pp.020013
Autor:
Igor C. Oliveira, Gloria M. Coruzzi
Publikováno v:
Plant Physiology. 121:301-310
In bacteria and yeast, glutamine synthetase (GS) expression is tightly regulated by the metabolic status of the cell, both at the transcriptional and posttranscriptional levels. We discuss the relative contributions of light and metabolic cues on the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba829ae843ada12e3576a6135e808ce6
https://doi.org/10.1104/pp.121.1.301
https://doi.org/10.1104/pp.121.1.301
Publikováno v:
Journal of Biological Chemistry. 271:5595-5602
A construct comprising three tandemly repeated copies of the κB element from the interleukin-8 gene linked to chloramphenicol acetyltransferase (CAT) (3xNF-κBCAT) was transcriptionally activated in normal human FS-4 fibroblasts by co-transfection w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c7c4bf08e64996d6c573699e8649d83
https://doi.org/10.1074/jbc.271.10.5595
https://doi.org/10.1074/jbc.271.10.5595
Autor:
Hon-Ming Lam, Igor C. Oliveira, Nora Ngai, Karen Coschigano, Ming-Hsiun Hsieh, Carolyn J. Schultz, Rosana Melo-Oliveira, Gabrielle Tjaden, Gloria M. Coruzzi
Publikováno v:
The Plant Cell. 7:887-898
Studies of enzymes involved in nitrogen assimilation in higher plants have an impact on both basic and applied plant research. First, basic research in this area should uncover the mechanisms by which plants regulate genes involved in a metabolic pat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53f24e9769145b233846a755301466d0
https://doi.org/10.1105/tpc.7.7.887
https://doi.org/10.1105/tpc.7.7.887