Impact of short-term treatment with benzodiazepines and imidazopyridines on glucose metabolism in healthy subjects von Gramaglia, E., Ramella Gigliardi, V., Olivetti, I., Tomelini, M., Belcastro, S., Calvi, E., Dotta, A., Ghigo, E., Benso, A., Broglio, F.

Volltext

The GH-releasing effect of acylated ghrelin in normal subjects is refractory to GH acute auto-feedback but is inhibited after short-term GH administration inducing IGF1 increase von Benso, A, Gramaglia, E, Olivetti, I, Tomelini, M, Gigliardi, V Ramella, Frara, S, Calvi, E, Belcastro, S, St Pierre, D H, Ghigo, E, Broglio, F

Volltext

Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving von Schulz, Stephan, Möhrmann, Martin

Volltext

Acute effects of acylated ghrelin on salbutamol-induced metabolic actions in humans von Benso, A., Gramaglia, E., Olivetti, I., Tomelini, M., Belcastro, S., Calvi, E., Dotta, A., St-Pierre, D., Ghigo, E., Broglio, F.

Volltext

Unbounded-Thread Program Verification using Thread-State Equations von Athanasiou, Konstantinos, Liu, Peizun, Wahl, Thomas

Volltext

Circulating obestatin levels in normal and Type 2 diabetic subjects von St-Pierre, D. H., Settanni, F., Olivetti, I., Gramaglia, E., Tomelini, M., Granata, R., Prodam, F., Benso, A., Ghigo, E., Broglio, F.

Volltext

Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems von Matsuzaki, Takuya, Iwane, Hidenao, Kobayashi, Munehiro, Zhan, Yiyang, Fukasaku, Ryoya, Kudo, Jumma, Anai, Hirokazu, Arai, Noriko H.

Volltext

Beta-adrenergic agonism does not impair the GH response to acylated ghrelin in humans von Benso, A., Gramaglia, E., Prodam, F., Riganti, F., Gigliardi, V. Ramella, Lucatello, B., Olivetti, I., St Pierre, D., Ghigo, E., Broglio, F.

Volltext

Programming by Examples: Applications, Algorithms, and Ambiguity Resolution von Gulwani, Sumit

Volltext

The metabolic response to the activation of the β- adrenergic receptor by salbutamol is amplified by acylated ghrelin von St-Pierre, D. H., Benso, A., Gramaglia, E., Prodam, F., Lucatello, B., Ramella-Gigliardi, V., Olivetti, I., Tomelini, M., Broglio, F.

Volltext

A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT von Bansal, Kshitij, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare

Volltext

Structural Information and Communication Complexity: 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings von Rajsbaum, Sergio, Balliu, Alkida, Daymude, Joshua J, Olivetti, Dennis

Volltext

Selecting the Selection von Hoder, Kryštof, Reger, Giles, Suda, Martin, Voronkov, Andrei

Volltext

SciPy 1.0: fundamental algorithms for scientific computing in Python von Virtanen, Pauli, Gommers, Ralf, Oliphant, Travis E., Haberland, Matt, Reddy, Tyler, Cournapeau, David, Burovski, Evgeni, Peterson, Pearu, Weckesser, Warren, Bright, Jonathan, van der Walt, Stéfan J., Brett, Matthew, Wilson, Joshua, Millman, K. Jarrod, Mayorov, Nikolay, Nelson, Andrew R. J., Jones, Eric, Kern, Robert, Larson, Eric, Carey, C J, Polat, İlhan, Feng, Yu, Moore, Eric W., VanderPlas, Jake, Laxalde, Denis, Perktold, Josef, Cimrman, Robert, Henriksen, Ian, Quintero, E. A., Harris, Charles R., Archibald, Anne M., Ribeiro, Antônio H., Pedregosa, Fabian, van Mulbregt, Paul

Volltext

Lower Runtime Bounds for Integer Programs von Frohn, F., Naaf, M., Hensel, J., Brockschmidt, M., Giesl, J.

Volltext

System Description: GAPT 2.0 von Ebner, Gabriel, Hetzl, Stefan, Reis, Giselle, Riener, Martin, Wolfsteiner, Simon, Zivota, Sebastian

Volltext

Internal Guidance for Satallax von Färber, Michael, Brown, Chad

Volltext

On Interpolation and Symbol Elimination in Theory Extensions von Sofronie-Stokkermans, Viorica

Volltext

nanoCoP: A Non-clausal Connection Prover von Otten, Jens

Volltext

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality von Blanchette, Jasmin Christian, Fleury, Mathias, Weidenbach, Christoph

Volltext