On the Existence of Pushouts of Realizability Toposes

Autor: Zoethout, J., Sub Fundamental Mathematics, Fundamental mathematics

Publikováno v: arXiv

We consider two preorder-enriched categories of ordered PCAs: OPCA, where the arrows are functional morphisms, and PCA, where the arrows are applicative morphisms. We show that OPCA has small products and finite biproducts, and that PCA has finite co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::2dcbd04398f5c11fec64d57a41875f3c
https://dspace.library.uu.nl/handle/1874/410806

Effect of hydrolyzed infant formula vs conventional formula on risk of type 1 diabetes the TRIGR randomized clinical trial

Autor: Knip M., Akerblom H. K., Altaji E., Becker D., Bruining J., Castano L., Danne T., De Beaufort C., Dosch H. -M., Dupre J., Fraser W. D., Howard N., Ilonen J., Konrad D., Kordonouri O., Krischer J. P., Lawson M. L., Ludvigsson J., Madacsy L., Mahon J. L., Ormisson A., Palmer J. P., Pozzilli P., Savilahti E., Serrano-Rios M., Songini M., Taback S., Vaarala O., White N. H., Virtanen S. M., Wasikowa R., Mandrup-Poulsen T., Arjas E., Lernmark A., Laara E., Schmidt B., Hyytinen M., Koski K., Koski M., Merentie K., Pajakkala E., Reunanen A., Salonen M., Terhonen T., Virkkunen S., Cuthbertson D., Gainer B., Hadley D., Malloy J., Nallamshetty L., Shanker L., Bradley B., Lough G., Fraser W., Sermer M., Taback S. P., Franciscus M., Nucci A., Palmer J., Alahuhta K., Barlund S., Korhonen T., Kovanen L., Lehtonen E., Niinisto S., Pekkala M., Sorkio S., Toivanen L., Vahatalo L., Uusitalo U., Ohman T., Bongiorno R., Catteau J., Fraser G., Lloyd M., Crock P., Giles M., Siech K., See D. W., Brown C., Craig M., Johnston A., Bere L. J., Clarson C. L., Jenner M., McManus R., Renato N., Lovell M., Higo D., Kent N., Kwan J., Marshall C., Metzger D., Chanoine J. -P., Stewart L., Thompson D., Edwards A., Lange I., Mercer J., Pacaud D., Josephine H., Schwarz W., Stephure D. K., Boer J., Chatur T., Chick C., Couch B., Demianczuk N., Girgis R., Marks S., Ryan E., Thompson M., Dean H. J., Grant L., Hamelin K., LaForte J., Murphy L., Catte D., Schneider C., Sellers E. A. C., Woo V., Boland A., Clark H. D., Cooper T., Gruslin A., Karovitch A., Keely E., Malcolm J. C., Sauro V., Tawagi G. F., Andrighetti S., Arnold G., Barrett J., Blumer I., Daneman D., Donat D., Ehrlich R., Feig D., Gottesman I., Gysler M., Karkanis S., Kenshole A., Knight B., Lackie E., Lewis V., Martin M. J., Maxwell C., Oliver G., Panchum P., Shilletto N., Simone A., Skidmore M., Turrini T., Wong S., Allen C., Belanger L., Bouchard I., Ferland S., Frenette L., Garrido-Russo M., Leblanc M., Imbeault J., Morin V., Olivier G., Weisnagell J., Costain G., Dornan J., Heath K., MacSween M. -C., McGibbon A., Ramsay C., Sanderson F., Sanderson S., Benabdesselam L., Gonthier M., Huot C., Thibeault M., Laforte D., Legault L., Perron P., Armson A., Canning P., Cummings E. A., Ivanko V., McLeod L., Mokashi A., Scott K., Bridger T., Crane J., Crummell C., Curtis J. C., Dawson C., Joyce C., Newhook L. A., Newman S., Druken E., Begum-Hasan J., Breen A., Houlden R., Woods M., Carrson G., Kelly S., Martel M. J., Penner M., Sankaran K., Hardy-Brown K., King N., White R. A., Park M., Popkin J., Robson L., Coles K., Al Taji E., Cerna M., Cerny M., Francova H., Hainerova I., Kothankova H., Koukalova R., Krakorova V., Mendlova P., Sitova R., Stechova K., Vavrinec J., Vosahlo J., Zlatohlavkova B., Brazdova L., Faksova P., Gregorova D., Kantor L., Malkova K., Venhacova J., Venhacova P., Cipra A., Skvor J., Budejovice C., Tomsikova Z., Botkova-Krauseova H., Mockova A., Paterova P., Gogelova P., Kandrnalova J., Einberg U., Jakovlev U., Posiadlo S., Rannaste E., Raukas R., Riikjarv M. -A., Valla K., Astover V., Kirss A., Retpap J., Taht E., Tillmann V., Vahtra S., Heikkila M., Hirvasniemi M., Luopajarvi K., Johansson S., Kleemola P., Laukkanen E., Parkkola A., Pigg H. -M., Puttonen H., Renlund M., Salonen K., Suomalainen H., Tenkula T., Teramo K., Jarvenpaa A. -L., Hamalainen A. -M., Jussila R., Kiiveri S., Haavisto H., Holopainen S., Kupiainen H., Leeve T., Lumme K., Nironen T., Tenhola S., Tiilikainen T., Keinonen H., Lautala P., Salonen P., Vesanto M., Aspholm A. S., Asunta P., Ikavalko H., Jason E., Jaminki S., Kekki P., Koskinen M., Lehtimaki S., Lahde J., Makela M., Peltoniemi S., Poutiainen L., Ranta K., Salonsaari T., Sarviharju-Tujula S. -L., Selvenius J., Siljander H., Haanpaa P. -L., Holm C., Juutilainen A., Jarvelainen V., Kangaskolkka-Keskilohko A. -M., Laino E., Marjamaki L., Suominen E., Ylitalo S., Hokkanen M., Lounamaa R., Matikainen M., Nuuja A., Paalanen I., Puupponen A. R., Salo-Edwards H., Alanne S., Kultti T., Linjama H., Muhonen K., Vaaraniemi M., Talvitie T., Backman M., Hanhijarvi R., Koivula P., Lindstrom K., Martikainen A., Nurmi P., Bjork A., Huopio H., Komulainen J., Lehtomaki S., Muikku E., Pesola J., Sankilampi U., Arkkola T., Hekkala A., Jurvakainen S., Koivikko M. -L., Kahonen M., Leinonen E., Mykkanen T., Pohjola H., Riikonen K., Niittyvuopio A., Stenius A., Tapanainen P., Veijola R., Alar A., Jovio S., Korpela P., Makinen E., Hietanen L., Kivisto J., Kaar M. -L., Lehtimaki P., Mustila T., Popov E., Saatela S., Taittonen L., Ahtiainen K., Laaksonen N., Luoto M., Viitala J., Virransalo R., Nykanen P., Paajanen S., Parkkinen S., Pyrhonen H., Sarkka T., Aschemeier B., Bektas S., Biester T., Datz N., Deiss D., Fath M., Lupke K., Muller B., Nestoris C., Rothes S., Sadeghian E., Semler K., Arato A., Krikovszky D., Nobilis A., Szenasi J., Benevento D., Anguissola G. B., Biagioni M., Bizzarri C., Cherubini V., Ferrito L., Giordano C., Giorgetti C., Khazrai Y. M., Kyanvash S., Maddaloni E., Napoli A., Piergiovanni F., Pitocco D., Suraci T., Tabacco G., Valente L., Visalli N., Carboni M. B., Cavallo R., Cau V., Isola C., Ledda A., Loddo M., Mannu C., Pettinau M., Pisano S., Porceddu M., Putzu C., Rita A., Peters D., Schierloh U., Bisschoff M., Blonk L., Lappenschaar T., Manai B., Seesink M., Sperling-Conrad M., Verhagen M., Zoethout J. A., Basiak A., Chalas M., Chesiak M., Gramza A., Iwankiewicz J., Sieradzan E., Wikiera B., Ciechanowska M., Dziatkowiak H., Futona B., Gorska A., Glowacka-Wony M., Kaim I., Klich B., Starzyk J., Wolanin M., Tokarska L., Chucherco D., Deja G., Firek-Pedras M., Jarosz-Chobot P., Kalina M., Kutrowska-Adamusiak K., Minkina-Pedras M., Muchaka-Bianga M., Bodalski J., Mlynarski W., Szadkowska A., Cieslak A., Cypryk K., Dziatosz K., Jastzebowska J., Krysiak A., Szymanska U., Wilcznski J., Zawodniak-Szalapska M., Aguay A., Bilbao J. R., Chueca M., Cortazar A., Echarte G., Frutos T. G., Jimenez P., Martul P., Moreno A., Oyarzabal M., Rica I., Salgado Y., Martinez-Larrad M. T., Hawkins F. G., Hernandez R., Herranz L., Pallardo L. F., Deibarra L. S., Fernandez B. H., Luis J. L., Ortiz-Quintana L., Recarte P. P., Arnau D. R., Aronsson L., Boden S., Fredriksson J., Isacsson E., Johansson I., Karlsson E., Lock C., Sandstrom A. -M., Konefal M. S., Andreasson C., Dahlstrom U., Hanas R., Lundqvist K., Windell L., Jansson I., Karlsson A. -K., Lindbladh B., Odenman I., Pettersson C., Sundberg F., Sundqvist M., Aronsson S., Bellman I., Bengtsson A. -B., Lyden G. -B., Nilsson N. -O., Soderblom M., Unt C., Augustsson M., Bengtsson M., Fors H., Helmrich A., Johansson T. O., Andersson A. -C., Boiard-Stomlid A., Hellgren G., Kallsholm H., Lindqvist J., Nilsson M., Nordwall M., Stromstedt C., Ahsberg C., Lindh A., Lindhe C., Samuelsson C., Wiik A., Edenwall H., Ljumgcrantz M., Persson I. -B., Strigard E., Svensson B. -L., Aman J., Breivik G. -E., Detlofsson I. -L., Kroon M., Sarnblad S., Johansson C., Ilvered R., Lundberg A., Akesson K., Beccarelli A., Gadient M., Rappold-Amrein C., Schoenle E., Daftary A., Damagro-Elias M. E., Gilmour C., Klein M. B., Lain C., Salerno D., Smith M. E., Vats K., Pfaff D. J., Malone P., Mansfield P., Munns M., Nickel K., Pompilio K., Siemion W., Taculad R., Van Horn K., Zdanadewic M., Chambliss C., Jones J., Sadler M., Tanner-Blasiar M., Bell C., Camper N., Devaskar S., Devaskar U., Horowitz H., Rogers L., Shannahan R., Silk K., Bermudez Z., Colon R., Frazer T., Martinez-Nieves B., Torres J., Vega J., Chan M., Cook S., Goland R., Greenberg E., Jules N., Montes J., Nelson M., Parra-Valencia Z., Schachner H., Softness B., Kiviniemi M., Suomenin R., Alexander A., Hyrckowian E., Nichol L., Trucco M., Karjalainen E., Louhio T., Sarnesto A., Valtonen E., Davydova B., Helander S., Hamalainen J., Harkonen T., Joutsjoki L., Kararic M., Latva-Koivisto M., Lonn E., Nurmi T., Ollila I., Rinkinen J., Ronkainen M., Tukiainen H., Cederlof A., Kiikeri M., Tsupari S., Cheng R., Bryant K., Chan Y., Maezawa Y., Paltser G., Rasavi R., Tsui H., Winer S., Wu P., Yantha J.

Publikováno v: Paediatrics Publications
JAMA-Journal of the American Medical Association, 319(1), 38-48. American Medical Association

IMPORTANCE Early exposure to complex dietary proteins may increase the risk of type 1 diabetes in children with genetic disease susceptibility. There are no intact proteins in extensively hydrolyzed formulas. OBJECTIVE To test the hypothesis that wea

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d168b0afab1265ba73e9af5b570919d
https://ir.lib.uwo.ca/paedpub/977

Multi-velocity, multi-directional extension in the South Atlantic rift

Autor: Heine, C., Brune, S., Zoethout, J., Müller, R.

Publikováno v: Geophysical Research Abstracts Vol. 15, EGU2013-4151, 2013
General Assembly European Geosciences Union (Vienna, Austria 2013)#

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::73c2b7d5d9da395fd5190feff41cf336
http://gfzpublic.gfz-potsdam.de/pubman/item/escidoc:246901

Plate kinematics and lithosphere dynamics in the evolving South Atlantic rift

Autor: Heine, C., Brune, S., Young, A., Zoethout, J., Flament, N., Müller, R.

Publikováno v: 34th International Geological Congress (Brisbane, Australia 2012)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::633b6e309d25ec8f2aa9cc68350b8fda
http://gfzpublic.gfz-potsdam.de/pubman/item/escidoc:245700

Probabilistic and decision tree approach to geothermal techno-economic performance

Autor: Lokhorst, A., Wees van, J.D., Zoethout, J.

Publikováno v: Lokhorst, A, Wees van, J D & Zoethout, J 2007, ' Probabilistic and decision tree approach to geothermal techno-economic performance ', Enginie mid-term conference, 1/01/07-1/01/07 .
Enginie mid-term conference

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ce13f19f0d30173855ecaf25a6e2c32f
https://hdl.handle.net/1871.1/28c61226-3452-4bbd-a2c4-8740f9e2941e