Search Results

Developing priority variables (“ecosystem Essential Ocean Variables” — eEOVs) for observing dynamics and change in Southern Ocean ecosystems

by Constable, Andrew J., Costa, Daniel P., Schofield, Oscar, Newman, Louise, Urban, Edward R., Fulton, Elizabeth A., Melbourne-Thomas, Jessica, Ballerini, Tosca, Boyd, Philip W., Brandt, Angelika, de La Mare, Willaim K., Edwards, Martin, Eléaume, Marc, Emmerson, Louise, Fennel, Katja, Fielding, Sophie, Griffiths, Huw, Gutt, Julian, Hindell, Mark A., Hofmann, Eileen E., Jennings, Simon, La, Hyoung Sul, Mccurdy, Andrea, Mitchell, B. Greg, Moltmann, Tim, Muelbert, Monica, Murphy, Eugene, Press, Anthony J., Raymond, Ben, Reid, Keith, Reiss, Christian, Rice, Jake, Salter, Ian, Smith, David C., Song, Sun, Southwell, Colin, Swadling, Kerrie M., van de Putte, Anton, Willis, Zdenka
Published in Journal of Marine Systems (2016)

Developing priority variables (“ecosystem Essential Ocean Variables” — eEOVs) for observing dynamics and change in Southern Ocean ecosystems

by Constable, Andrew J., Costa, Daniel P., Schofield, Oscar, Newman, Louise, Urban, Edward R., Fulton, Elizabeth A., Melbourne-Thomas, Jessica, Ballerini, Tosca, Boyd, Philip W., Brandt, Angelika, de La Mare, Willaim K., Edwards, Martin, Eléaume, Marc, Emmerson, Louise, Fennel, Katja, Fielding, Sophie, Griffiths, Huw, Gutt, Julian, Hindell, Mark A., Hofmann, Eileen E., Jennings, Simon, La, Hyoung Sul, Mccurdy, Andrea, Mitchell, B. Greg, Moltmann, Tim, Muelbert, Monica, Murphy, Eugene, Press, Anthony J., Raymond, Ben, Reid, Keith, Reiss, Christian, Rice, Jake, Salter, Ian, Smith, David C., Song, Sun, Southwell, Colin, Swadling, Kerrie M., van de Putte, Anton, Willis, Zdenka
Published in Journal of Marine Systems (2016)

Developing priority variables (“ecosystem Essential Ocean Variables” — eEOVs) for observing dynamics and change in Southern Ocean ecosystems

by Constable, Andrew J., Costa, Daniel P., Schofield, Oscar, Newman, Louise, Urban, Edward R., Fulton, Elizabeth A., Melbourne-Thomas, Jessica, Ballerini, Tosca, Boyd, Philip W., Brandt, Angelika, de La Mare, Willaim K., Edwards, Martin, Eléaume, Marc, Emmerson, Louise, Fennel, Katja, Fielding, Sophie, Griffiths, Huw, Gutt, Julian, Hindell, Mark A., Hofmann, Eileen E., Jennings, Simon, La, Hyoung Sul, Mccurdy, Andrea, Mitchell, B. Greg, Moltmann, Tim, Muelbert, Monica, Murphy, Eugene, Press, Anthony J., Raymond, Ben, Reid, Keith, Reiss, Christian, Rice, Jake, Salter, Ian, Smith, David C., Song, Sun, Southwell, Colin, Swadling, Kerrie M., van de Putte, Anton, Willis, Zdenka
Published in Journal of Marine Systems (2016)

Developing priority variables (“ecosystem Essential Ocean Variables” — eEOVs) for observing dynamics and change in Southern Ocean ecosystems

by Constable, Andrew J., Costa, Daniel P., Schofield, Oscar, Newman, Louise, Urban, Edward R., Fulton, Elizabeth A., Melbourne-Thomas, Jessica, Ballerini, Tosca, Boyd, Philip W., Brandt, Angelika, de La Mare, Willaim K., Edwards, Martin, Eléaume, Marc, Emmerson, Louise, Fennel, Katja, Fielding, Sophie, Griffiths, Huw, Gutt, Julian, Hindell, Mark A., Hofmann, Eileen E., Jennings, Simon, La, Hyoung Sul, Mccurdy, Andrea, Mitchell, B. Greg, Moltmann, Tim, Muelbert, Monica, Murphy, Eugene, Press, Anthony J., Raymond, Ben, Reid, Keith, Reiss, Christian, Rice, Jake, Salter, Ian, Smith, David C., Song, Sun, Southwell, Colin, Swadling, Kerrie M., van de Putte, Anton, Willis, Zdenka
Published in Journal of Marine Systems (2016)

Under-ice ambient noise in Eastern Beaufort Sea, Canadian Arctic, and its relation to environmental forcing

by Kinda, G. Bazile, Simard, Yvan, Gervaise, Cedric, Mars, Jerome, I., Fortier, Louis
Published in The Journal of the Acoustical Society of America (2013)

Under-ice ambient noise in Eastern Beaufort Sea, Canadian Arctic, and its relation to environmental forcing

by Kinda, G. Bazile, Simard, Yvan, Gervaise, Cedric, Mars, Jerome, I., Fortier, Louis
Published in The Journal of the Acoustical Society of America (2013)

Under-ice ambient noise in Eastern Beaufort Sea, Canadian Arctic, and its relation to environmental forcing

by Kinda, G. Bazile, Simard, Yvan, Gervaise, Cedric, Mars, Jerome, I., Fortier, Louis
Published in The Journal of the Acoustical Society of America (2013)

Genomic evidence for the Pleistocene and recent population history of Native Americans

by Raghavan, M., Steinrücken, M, Harris, M, Schiffels, Stephan, Degiorgio, Michael, Albrechtsen, M, Valdiosera, M, Ávila-Arcos, M, Malaspinas, M, Eriksson, Anders, Moltke, M, Homburger, M, Wall, Jeff, Cornejo, Omar, Moreno-Mayar, M, Korneliussen, M, Pierre, M, Rasmussen, Rasmus, Campos, Paul, de Barros Damgaard, Peter, Allentoft, M., Lindo, John, Metspalu, M., Rodríguez-Varela, Carlos, Mansilla, M, Henrickson, Celeste, Seguin-Orlando, M, Malmström, M, Stafford, M, Shringarpure, M, Moreno-Estrada, M, Karmin, M., Tambets, Kristiina, Bergström, Anders, Xue, Yali, Vera, Vera, Friend, Andrew, Singarayer, M, Valdes, Paul, Balloux, François, Leboreiro, M, Vera, M, Rangel-Villalobos, M, Pettener, David, Luiselli, Donata, Davis, Loren, Heyer, M, Zollikofer, Chris, Ponce de León, M, Smith, M, Grimes, John, Pike, John, Deal, John, Fuller, M, Arriaza, Bernardo, Standen, Vivien, Luz, M., Ricaut, M, Guidon, M, Osipova, Ludmila, Voevoda, M., Posukh, Olga, Balanovsky, M, Lavryashina, M., Bogunov, M, Khusnutdinova, M, Gubina, M., Balanovska, M, Fedorova, M, Litvinov, Sergey, Malyarchuk, M, Derenko, M., Mosher, M., Archer, David, Cybulski, Jerome, Petzelt, Barbara, Mitchell, Joycelynn, Worl, Rosita, Norman, Paul, Parham, Peter, Kemp, Brian, M., Kivisild, Toomas, Smith, Chris, Sandhu, Manjinder, S., Crawford, Michael, Villems, Richard, Smith, David, Waters, Michael, Goebel, Ted, Johnson, John, Malhi, Ripan, Jakobsson, Mattias, Meltzer, David, Manica, Andrea, Durbin, Richard, Bustamante, Carlos, D., Song, Yun, Nielsen, Rasmus, Willerslev, Eske, Steinrucken, M., Harris, K., Rasmussen, S., Albrechtsen, A., Valdiosera, C., Avila-Arcos, M., Malaspinas, S., Moltke, I., Homburger, J., Moreno-Mayar, J., Korneliussen, S., Pierre, T., Rasmussen, M., Damgaard, P., Metspalu, E., Rodriguez-Varela, R., Mansilla, J., Seguin-Orlando, A., Malmstrom, H., Stafford, T., Shringarpure, S., Moreno-Estrada, A., Bergstrom, A., Warmuth, V., Singarayer, J., Leboreiro, I., Vera, J., Rangel-Villalobos, H., Heyer, E., Ponce de Leon, M., Grimes, V., Pike, K., Deal, M., Fuller, T., Ricaut, F., Guidon, N., Balanovsky, O., Bogunov, Y., Khusnutdinova, E., Balanovska, E., Fedorova, S., Malyarchuk, B., Norman, J., Kemp, M., Malhi, S., Meltzer, J., Song, S.
Published in Science (2015)

Genomic evidence for the Pleistocene and recent population history of Native Americans

by Raghavan, M., Steinrücken, M, Harris, M, Schiffels, Stephan, Degiorgio, Michael, Albrechtsen, M, Valdiosera, M, Ávila-Arcos, M, Malaspinas, M, Eriksson, Anders, Moltke, M, Homburger, M, Wall, Jeff, Cornejo, Omar, Moreno-Mayar, M, Korneliussen, M, Pierre, M, Rasmussen, Rasmus, Campos, Paul, de Barros Damgaard, Peter, Allentoft, M., Lindo, John, Metspalu, M., Rodríguez-Varela, Carlos, Mansilla, M, Henrickson, Celeste, Seguin-Orlando, M, Malmström, M, Stafford, M, Shringarpure, M, Moreno-Estrada, M, Karmin, M., Tambets, Kristiina, Bergström, Anders, Xue, Yali, Vera, Vera, Friend, Andrew, Singarayer, M, Valdes, Paul, Balloux, François, Leboreiro, M, Vera, M, Rangel-Villalobos, M, Pettener, David, Luiselli, Donata, Davis, Loren, Heyer, M, Zollikofer, Chris, Ponce de León, M, Smith, M, Grimes, John, Pike, John, Deal, John, Fuller, M, Arriaza, Bernardo, Standen, Vivien, Luz, M., Ricaut, M, Guidon, M, Osipova, Ludmila, Voevoda, M., Posukh, Olga, Balanovsky, M, Lavryashina, M., Bogunov, M, Khusnutdinova, M, Gubina, M., Balanovska, M, Fedorova, M, Litvinov, Sergey, Malyarchuk, M, Derenko, M., Mosher, M., Archer, David, Cybulski, Jerome, Petzelt, Barbara, Mitchell, Joycelynn, Worl, Rosita, Norman, Paul, Parham, Peter, Kemp, Brian, M., Kivisild, Toomas, Smith, Chris, Sandhu, Manjinder, S., Crawford, Michael, Villems, Richard, Smith, David, Waters, Michael, Goebel, Ted, Johnson, John, Malhi, Ripan, Jakobsson, Mattias, Meltzer, David, Manica, Andrea, Durbin, Richard, Bustamante, Carlos, D., Song, Yun, Nielsen, Rasmus, Willerslev, Eske, Steinrucken, M., Harris, K., Rasmussen, S., Albrechtsen, A., Valdiosera, C., Avila-Arcos, M., Malaspinas, S., Moltke, I., Homburger, J., Moreno-Mayar, J., Korneliussen, S., Pierre, T., Rasmussen, M., Damgaard, P., Metspalu, E., Rodriguez-Varela, R., Mansilla, J., Seguin-Orlando, A., Malmstrom, H., Stafford, T., Shringarpure, S., Moreno-Estrada, A., Bergstrom, A., Warmuth, V., Singarayer, J., Leboreiro, I., Vera, J., Rangel-Villalobos, H., Heyer, E., Ponce de Leon, M., Grimes, V., Pike, K., Deal, M., Fuller, T., Ricaut, F., Guidon, N., Balanovsky, O., Bogunov, Y., Khusnutdinova, E., Balanovska, E., Fedorova, S., Malyarchuk, B., Norman, J., Kemp, M., Malhi, S., Meltzer, J., Song, S.
Published in Science (2015)

Genomic evidence for the Pleistocene and recent population history of Native Americans

by Raghavan, M., Steinrücken, M, Harris, M, Schiffels, Stephan, Degiorgio, Michael, Albrechtsen, M, Valdiosera, M, Ávila-Arcos, M, Malaspinas, M, Eriksson, Anders, Moltke, M, Homburger, M, Wall, Jeff, Cornejo, Omar, Moreno-Mayar, M, Korneliussen, M, Pierre, M, Rasmussen, Rasmus, Campos, Paul, de Barros Damgaard, Peter, Allentoft, M., Lindo, John, Metspalu, M., Rodríguez-Varela, Carlos, Mansilla, M, Henrickson, Celeste, Seguin-Orlando, M, Malmström, M, Stafford, M, Shringarpure, M, Moreno-Estrada, M, Karmin, M., Tambets, Kristiina, Bergström, Anders, Xue, Yali, Vera, Vera, Friend, Andrew, Singarayer, M, Valdes, Paul, Balloux, François, Leboreiro, M, Vera, M, Rangel-Villalobos, M, Pettener, David, Luiselli, Donata, Davis, Loren, Heyer, M, Zollikofer, Chris, Ponce de León, M, Smith, M, Grimes, John, Pike, John, Deal, John, Fuller, M, Arriaza, Bernardo, Standen, Vivien, Luz, M., Ricaut, M, Guidon, M, Osipova, Ludmila, Voevoda, M., Posukh, Olga, Balanovsky, M, Lavryashina, M., Bogunov, M, Khusnutdinova, M, Gubina, M., Balanovska, M, Fedorova, M, Litvinov, Sergey, Malyarchuk, M, Derenko, M., Mosher, M., Archer, David, Cybulski, Jerome, Petzelt, Barbara, Mitchell, Joycelynn, Worl, Rosita, Norman, Paul, Parham, Peter, Kemp, Brian, M., Kivisild, Toomas, Smith, Chris, Sandhu, Manjinder, S., Crawford, Michael, Villems, Richard, Smith, David, Waters, Michael, Goebel, Ted, Johnson, John, Malhi, Ripan, Jakobsson, Mattias, Meltzer, David, Manica, Andrea, Durbin, Richard, Bustamante, Carlos, D., Song, Yun, Nielsen, Rasmus, Willerslev, Eske, Steinrucken, M., Harris, K., Rasmussen, S., Albrechtsen, A., Valdiosera, C., Avila-Arcos, M., Malaspinas, S., Moltke, I., Homburger, J., Moreno-Mayar, J., Korneliussen, S., Pierre, T., Rasmussen, M., Damgaard, P., Metspalu, E., Rodriguez-Varela, R., Mansilla, J., Seguin-Orlando, A., Malmstrom, H., Stafford, T., Shringarpure, S., Moreno-Estrada, A., Bergstrom, A., Warmuth, V., Singarayer, J., Leboreiro, I., Vera, J., Rangel-Villalobos, H., Heyer, E., Ponce de Leon, M., Grimes, V., Pike, K., Deal, M., Fuller, T., Ricaut, F., Guidon, N., Balanovsky, O., Bogunov, Y., Khusnutdinova, E., Balanovska, E., Fedorova, S., Malyarchuk, B., Norman, J., Kemp, M., Malhi, S., Meltzer, J., Song, S.
Published in Science (2015)

Genomic evidence for the Pleistocene and recent population history of Native Americans

by Raghavan, M., Steinrücken, M, Harris, M, Schiffels, Stephan, Degiorgio, Michael, Albrechtsen, M, Valdiosera, M, Ávila-Arcos, M, Malaspinas, M, Eriksson, Anders, Moltke, M, Homburger, M, Wall, Jeff, Cornejo, Omar, Moreno-Mayar, M, Korneliussen, M, Pierre, M, Rasmussen, Rasmus, Campos, Paul, de Barros Damgaard, Peter, Allentoft, M., Lindo, John, Metspalu, M., Rodríguez-Varela, Carlos, Mansilla, M, Henrickson, Celeste, Seguin-Orlando, M, Malmström, M, Stafford, M, Shringarpure, M, Moreno-Estrada, M, Karmin, M., Tambets, Kristiina, Bergström, Anders, Xue, Yali, Vera, Vera, Friend, Andrew, Singarayer, M, Valdes, Paul, Balloux, François, Leboreiro, M, Vera, M, Rangel-Villalobos, M, Pettener, David, Luiselli, Donata, Davis, Loren, Heyer, M, Zollikofer, Chris, Ponce de León, M, Smith, M, Grimes, John, Pike, John, Deal, John, Fuller, M, Arriaza, Bernardo, Standen, Vivien, Luz, M., Ricaut, M, Guidon, M, Osipova, Ludmila, Voevoda, M., Posukh, Olga, Balanovsky, M, Lavryashina, M., Bogunov, M, Khusnutdinova, M, Gubina, M., Balanovska, M, Fedorova, M, Litvinov, Sergey, Malyarchuk, M, Derenko, M., Mosher, M., Archer, David, Cybulski, Jerome, Petzelt, Barbara, Mitchell, Joycelynn, Worl, Rosita, Norman, Paul, Parham, Peter, Kemp, Brian, M., Kivisild, Toomas, Smith, Chris, Sandhu, Manjinder, S., Crawford, Michael, Villems, Richard, Smith, David, Waters, Michael, Goebel, Ted, Johnson, John, Malhi, Ripan, Jakobsson, Mattias, Meltzer, David, Manica, Andrea, Durbin, Richard, Bustamante, Carlos, D., Song, Yun, Nielsen, Rasmus, Willerslev, Eske, Steinrucken, M., Harris, K., Rasmussen, S., Albrechtsen, A., Valdiosera, C., Avila-Arcos, M., Malaspinas, S., Moltke, I., Homburger, J., Moreno-Mayar, J., Korneliussen, S., Pierre, T., Rasmussen, M., Damgaard, P., Metspalu, E., Rodriguez-Varela, R., Mansilla, J., Seguin-Orlando, A., Malmstrom, H., Stafford, T., Shringarpure, S., Moreno-Estrada, A., Bergstrom, A., Warmuth, V., Singarayer, J., Leboreiro, I., Vera, J., Rangel-Villalobos, H., Heyer, E., Ponce de Leon, M., Grimes, V., Pike, K., Deal, M., Fuller, T., Ricaut, F., Guidon, N., Balanovsky, O., Bogunov, Y., Khusnutdinova, E., Balanovska, E., Fedorova, S., Malyarchuk, B., Norman, J., Kemp, M., Malhi, S., Meltzer, J., Song, S.
Published in Science (2015)

Genomic evidence for the Pleistocene and recent population history of Native Americans

by Raghavan, M., Steinrücken, M, Harris, M, Schiffels, Stephan, Degiorgio, Michael, Albrechtsen, M, Valdiosera, M, Ávila-Arcos, M, Malaspinas, M, Eriksson, Anders, Moltke, M, Homburger, M, Wall, Jeff, Cornejo, Omar, Moreno-Mayar, M, Korneliussen, M, Pierre, M, Rasmussen, Rasmus, Campos, Paul, de Barros Damgaard, Peter, Allentoft, M., Lindo, John, Metspalu, M., Rodríguez-Varela, Carlos, Mansilla, M, Henrickson, Celeste, Seguin-Orlando, M, Malmström, M, Stafford, M, Shringarpure, M, Moreno-Estrada, M, Karmin, M., Tambets, Kristiina, Bergström, Anders, Xue, Yali, Vera, Vera, Friend, Andrew, Singarayer, M, Valdes, Paul, Balloux, François, Leboreiro, M, Vera, M, Rangel-Villalobos, M, Pettener, David, Luiselli, Donata, Davis, Loren, Heyer, M, Zollikofer, Chris, Ponce de León, M, Smith, M, Grimes, John, Pike, John, Deal, John, Fuller, M, Arriaza, Bernardo, Standen, Vivien, Luz, M., Ricaut, M, Guidon, M, Osipova, Ludmila, Voevoda, M., Posukh, Olga, Balanovsky, M, Lavryashina, M., Bogunov, M, Khusnutdinova, M, Gubina, M., Balanovska, M, Fedorova, M, Litvinov, Sergey, Malyarchuk, M, Derenko, M., Mosher, M., Archer, David, Cybulski, Jerome, Petzelt, Barbara, Mitchell, Joycelynn, Worl, Rosita, Norman, Paul, Parham, Peter, Kemp, Brian, M., Kivisild, Toomas, Smith, Chris, Sandhu, Manjinder, S., Crawford, Michael, Villems, Richard, Smith, David, Waters, Michael, Goebel, Ted, Johnson, John, Malhi, Ripan, Jakobsson, Mattias, Meltzer, David, Manica, Andrea, Durbin, Richard, Bustamante, Carlos, D., Song, Yun, Nielsen, Rasmus, Willerslev, Eske, Steinrucken, M., Harris, K., Rasmussen, S., Albrechtsen, A., Valdiosera, C., Avila-Arcos, M., Malaspinas, S., Moltke, I., Homburger, J., Moreno-Mayar, J., Korneliussen, S., Pierre, T., Rasmussen, M., Damgaard, P., Metspalu, E., Rodriguez-Varela, R., Mansilla, J., Seguin-Orlando, A., Malmstrom, H., Stafford, T., Shringarpure, S., Moreno-Estrada, A., Bergstrom, A., Warmuth, V., Singarayer, J., Leboreiro, I., Vera, J., Rangel-Villalobos, H., Heyer, E., Ponce de Leon, M., Grimes, V., Pike, K., Deal, M., Fuller, T., Ricaut, F., Guidon, N., Balanovsky, O., Bogunov, Y., Khusnutdinova, E., Balanovska, E., Fedorova, S., Malyarchuk, B., Norman, J., Kemp, M., Malhi, S., Meltzer, J., Song, S.
Published in Science (2015)

Genomic evidence for the Pleistocene and recent population history of Native Americans

by Raghavan, M., Steinrücken, M, Harris, M, Schiffels, Stephan, Degiorgio, Michael, Albrechtsen, M, Valdiosera, M, Ávila-Arcos, M, Malaspinas, M, Eriksson, Anders, Moltke, M, Homburger, M, Wall, Jeff, Cornejo, Omar, Moreno-Mayar, M, Korneliussen, M, Pierre, M, Rasmussen, Rasmus, Campos, Paul, de Barros Damgaard, Peter, Allentoft, M., Lindo, John, Metspalu, M., Rodríguez-Varela, Carlos, Mansilla, M, Henrickson, Celeste, Seguin-Orlando, M, Malmström, M, Stafford, M, Shringarpure, M, Moreno-Estrada, M, Karmin, M., Tambets, Kristiina, Bergström, Anders, Xue, Yali, Vera, Vera, Friend, Andrew, Singarayer, M, Valdes, Paul, Balloux, François, Leboreiro, M, Vera, M, Rangel-Villalobos, M, Pettener, David, Luiselli, Donata, Davis, Loren, Heyer, M, Zollikofer, Chris, Ponce de León, M, Smith, M, Grimes, John, Pike, John, Deal, John, Fuller, M, Arriaza, Bernardo, Standen, Vivien, Luz, M., Ricaut, M, Guidon, M, Osipova, Ludmila, Voevoda, M., Posukh, Olga, Balanovsky, M, Lavryashina, M., Bogunov, M, Khusnutdinova, M, Gubina, M., Balanovska, M, Fedorova, M, Litvinov, Sergey, Malyarchuk, M, Derenko, M., Mosher, M., Archer, David, Cybulski, Jerome, Petzelt, Barbara, Mitchell, Joycelynn, Worl, Rosita, Norman, Paul, Parham, Peter, Kemp, Brian, M., Kivisild, Toomas, Smith, Chris, Sandhu, Manjinder, S., Crawford, Michael, Villems, Richard, Smith, David, Waters, Michael, Goebel, Ted, Johnson, John, Malhi, Ripan, Jakobsson, Mattias, Meltzer, David, Manica, Andrea, Durbin, Richard, Bustamante, Carlos, D., Song, Yun, Nielsen, Rasmus, Willerslev, Eske, Steinrucken, M., Harris, K., Rasmussen, S., Albrechtsen, A., Valdiosera, C., Avila-Arcos, M., Malaspinas, S., Moltke, I., Homburger, J., Moreno-Mayar, J., Korneliussen, S., Pierre, T., Rasmussen, M., Damgaard, P., Metspalu, E., Rodriguez-Varela, R., Mansilla, J., Seguin-Orlando, A., Malmstrom, H., Stafford, T., Shringarpure, S., Moreno-Estrada, A., Bergstrom, A., Warmuth, V., Singarayer, J., Leboreiro, I., Vera, J., Rangel-Villalobos, H., Heyer, E., Ponce de Leon, M., Grimes, V., Pike, K., Deal, M., Fuller, T., Ricaut, F., Guidon, N., Balanovsky, O., Bogunov, Y., Khusnutdinova, E., Balanovska, E., Fedorova, S., Malyarchuk, B., Norman, J., Kemp, M., Malhi, S., Meltzer, J., Song, S.
Published in Science (2015)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Some Synchronization Issues in OSPF Routing

by Bouillard, Anne, Jard, Claude, Junier, Aurore
Published 2013