23 results on '"Bengtson, J."'
Search Results
2. Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
- Author
-
Kastberg Hinrichsen, J., Bengtson, J., Krebbers, R.J., Kastberg Hinrichsen, J., Bengtson, J., and Krebbers, R.J.
- Abstract
Contains fulltext : 250776.pdf (Publisher’s version ) (Open Access)
- Published
- 2022
3. Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
- Author
-
Kastberg Hinrichsen, J., Bengtson, J., Krebbers, R.J., Kastberg Hinrichsen, J., Bengtson, J., and Krebbers, R.J.
- Abstract
Contains fulltext : 250776.pdf (Publisher’s version ) (Open Access)
- Published
- 2022
4. Machine-Checked Semantic Session Typing
- Author
-
Hritcu, C., Hinrichsen, J.K., Louwrink, D., Krebbers, R., Bengtson, J., Hritcu, C., Hinrichsen, J.K., Louwrink, D., Krebbers, R., and Bengtson, J.
- Abstract
CPP '21, Contains fulltext : 230669.pdf (publisher's version ) (Closed access)
- Published
- 2021
5. Machine-Checked Semantic Session Typing
- Author
-
Hritcu, C., Hinrichsen, J.K., Louwrink, D., Krebbers, R., Bengtson, J., Hritcu, C., Hinrichsen, J.K., Louwrink, D., Krebbers, R., and Bengtson, J.
- Abstract
CPP '21, Contains fulltext : 230669.pdf (publisher's version ) (Closed access)
- Published
- 2021
6. ICES/PICES/PAME Working Group on Integrated Ecosystem Assessment (IEA) for the Central Arctic Ocean (WGICA)
- Author
-
Jorgensen, L.L., Saitoh, Sei-Ichi, Bengtson, J., Bluhm, Bodil A., Christensen, T.R., Edelvang, K., Flores, H., Frie, Anne Kirstine, Fukamachi, Y., Gavrilo, M., Gjøsæter, H., Grebmeier, J., Einar, B., Harada, N., Hedges, K., van den Heuvel-Greve, M.J., Hirata, T., Hirawake, T., Hakon Hoel, A., Ingvaldsen, R., Ivanov, V., Lindal Jørgensen, L., Kuletz, K., Larsen, J.R., Snoejis Leonmalm, P., Melnikov, I., Mosbech, A., Mulder, Ingeborg, Niehoff, Barabara, Nishino, S., Ohnishi, F., Otsuka, N., van Pelt, T., von Quillfeldt, C., Chul Shin, Hyoung, Rune Skjoldal, Hein, Speer, L., Yang, S., Jorgensen, L.L., Saitoh, Sei-Ichi, Bengtson, J., Bluhm, Bodil A., Christensen, T.R., Edelvang, K., Flores, H., Frie, Anne Kirstine, Fukamachi, Y., Gavrilo, M., Gjøsæter, H., Grebmeier, J., Einar, B., Harada, N., Hedges, K., van den Heuvel-Greve, M.J., Hirata, T., Hirawake, T., Hakon Hoel, A., Ingvaldsen, R., Ivanov, V., Lindal Jørgensen, L., Kuletz, K., Larsen, J.R., Snoejis Leonmalm, P., Melnikov, I., Mosbech, A., Mulder, Ingeborg, Niehoff, Barabara, Nishino, S., Ohnishi, F., Otsuka, N., van Pelt, T., von Quillfeldt, C., Chul Shin, Hyoung, Rune Skjoldal, Hein, Speer, L., and Yang, S.
- Published
- 2020
7. Final Report of the Fifth Meeting of Scientific Experts on Fish Stocks in the Central Arctic Ocean
- Author
-
Dupuis, A., Majewski, A., Keatley, B. E., Hedges, K., Gold, M., Wang, L., Ju, W., Jin, X., Jardim, R., Flores, H., Rodriguez-Alfaro, S., Ástthórsson, Ó.S., Kim, E., Hoel, A.H., Gjøsæter, H., Ingvaldsen, Randi, Nachman, C., Lundsford, C., Loggerwell, L., Mundy, P., Bengtson, J., Kirkegaard, E., Skjoldal, H.R., Saitoh, S.-I., Dupuis, A., Majewski, A., Keatley, B. E., Hedges, K., Gold, M., Wang, L., Ju, W., Jin, X., Jardim, R., Flores, H., Rodriguez-Alfaro, S., Ástthórsson, Ó.S., Kim, E., Hoel, A.H., Gjøsæter, H., Ingvaldsen, Randi, Nachman, C., Lundsford, C., Loggerwell, L., Mundy, P., Bengtson, J., Kirkegaard, E., Skjoldal, H.R., and Saitoh, S.-I.
- Abstract
This report provides a summary of the 5th meeting of scientific experts on Fish Stocks in the Central Arctic Ocean (FiSCAO) on October 24‐26, 2017, in Ottawa, Canada. At the request of the 10 parties negotiating on an agreement to prevent unregulated commercial fishing in the High Seas portion of the Central Arctic Ocean (CAO), participants of the 5th FiSCAO meeting were tasked with addressing four Terms of Reference, summarized below: ToR 1. Design a 1‐3 year long mapping program. ToR 2. Design a monitoring program. ToR 3. Identify human, financial, vessel/equipment resources needed for mapping and monitoring. ToR 4. Develop data collection, sharing, and hosting protocols that outline the details of what and how data shall be collected, shared, and hosted for consideration by the Parties. The 5th FiSCAO meeting included scientific representatives from seven states including Canada, the People's Republic of China, the European Union, Iceland, the Republic of Korea, the Kingdom of Norway and the United States of America. The meeting also included representatives from the International Council for the Exploration of the Sea (ICES), the North Pacific Marine Science Organization (PICES) and the Arctic Council’s Protection of the Arctic Marine Environment (PAME) and Conservation of Arctic Flora and Fauna (CAFF) working groups. The report summarizes the elements for collecting baseline data (i.e., a mapping program) in the high seas CAO to achieve the goals of documenting species distributions, relative abundances and key ecosystem parameters (ToR 1). The mapping program describes the priority areas to sample, the types of data to collect and possible data collection approaches to employ. Participants emphasized that existing planned surveys are very limited, and that significant dedicated resources will be required to implement the mapping program. The report outlines a strategy for monitoring indicators of fish stocks and ecosystem components (ToR 2). The report
- Published
- 2019
8. Final Report of the Fifth Meeting of Scientific Experts on Fish Stocks in the Central Arctic Ocean
- Author
-
Dupuis, A., Majewski, A., Keatley, B. E., Hedges, K., Gold, M., Wang, L., Ju, W., Jin, X., Jardim, R., Flores, H., Rodriguez-Alfaro, S., Ástthórsson, Ó.S., Kim, E., Hoel, A.H., Gjøsæter, H., Ingvaldsen, Randi, Nachman, C., Lundsford, C., Loggerwell, L., Mundy, P., Bengtson, J., Kirkegaard, E., Skjoldal, H.R., Saitoh, S.-I., Dupuis, A., Majewski, A., Keatley, B. E., Hedges, K., Gold, M., Wang, L., Ju, W., Jin, X., Jardim, R., Flores, H., Rodriguez-Alfaro, S., Ástthórsson, Ó.S., Kim, E., Hoel, A.H., Gjøsæter, H., Ingvaldsen, Randi, Nachman, C., Lundsford, C., Loggerwell, L., Mundy, P., Bengtson, J., Kirkegaard, E., Skjoldal, H.R., and Saitoh, S.-I.
- Abstract
This report provides a summary of the 5th meeting of scientific experts on Fish Stocks in the Central Arctic Ocean (FiSCAO) on October 24‐26, 2017, in Ottawa, Canada. At the request of the 10 parties negotiating on an agreement to prevent unregulated commercial fishing in the High Seas portion of the Central Arctic Ocean (CAO), participants of the 5th FiSCAO meeting were tasked with addressing four Terms of Reference, summarized below: ToR 1. Design a 1‐3 year long mapping program. ToR 2. Design a monitoring program. ToR 3. Identify human, financial, vessel/equipment resources needed for mapping and monitoring. ToR 4. Develop data collection, sharing, and hosting protocols that outline the details of what and how data shall be collected, shared, and hosted for consideration by the Parties. The 5th FiSCAO meeting included scientific representatives from seven states including Canada, the People's Republic of China, the European Union, Iceland, the Republic of Korea, the Kingdom of Norway and the United States of America. The meeting also included representatives from the International Council for the Exploration of the Sea (ICES), the North Pacific Marine Science Organization (PICES) and the Arctic Council’s Protection of the Arctic Marine Environment (PAME) and Conservation of Arctic Flora and Fauna (CAFF) working groups. The report summarizes the elements for collecting baseline data (i.e., a mapping program) in the high seas CAO to achieve the goals of documenting species distributions, relative abundances and key ecosystem parameters (ToR 1). The mapping program describes the priority areas to sample, the types of data to collect and possible data collection approaches to employ. Participants emphasized that existing planned surveys are very limited, and that significant dedicated resources will be required to implement the mapping program. The report outlines a strategy for monitoring indicators of fish stocks and ecosystem components (ToR 2). The report
- Published
- 2019
9. Final Report of the Fifth Meeting of Scientific Experts on Fish Stocks in the Central Arctic Ocean
- Author
-
Dupuis, A., Majewski, A., Keatley, B. E., Hedges, K., Gold, M., Wang, L., Ju, W., Jin, X., Jardim, R., Flores, H., Rodriguez-Alfaro, S., Ástthórsson, Ó.S., Kim, E., Hoel, A.H., Gjøsæter, H., Ingvaldsen, Randi, Nachman, C., Lundsford, C., Loggerwell, L., Mundy, P., Bengtson, J., Kirkegaard, E., Skjoldal, H.R., Saitoh, S.-I., Dupuis, A., Majewski, A., Keatley, B. E., Hedges, K., Gold, M., Wang, L., Ju, W., Jin, X., Jardim, R., Flores, H., Rodriguez-Alfaro, S., Ástthórsson, Ó.S., Kim, E., Hoel, A.H., Gjøsæter, H., Ingvaldsen, Randi, Nachman, C., Lundsford, C., Loggerwell, L., Mundy, P., Bengtson, J., Kirkegaard, E., Skjoldal, H.R., and Saitoh, S.-I.
- Abstract
This report provides a summary of the 5th meeting of scientific experts on Fish Stocks in the Central Arctic Ocean (FiSCAO) on October 24‐26, 2017, in Ottawa, Canada. At the request of the 10 parties negotiating on an agreement to prevent unregulated commercial fishing in the High Seas portion of the Central Arctic Ocean (CAO), participants of the 5th FiSCAO meeting were tasked with addressing four Terms of Reference, summarized below: ToR 1. Design a 1‐3 year long mapping program. ToR 2. Design a monitoring program. ToR 3. Identify human, financial, vessel/equipment resources needed for mapping and monitoring. ToR 4. Develop data collection, sharing, and hosting protocols that outline the details of what and how data shall be collected, shared, and hosted for consideration by the Parties. The 5th FiSCAO meeting included scientific representatives from seven states including Canada, the People's Republic of China, the European Union, Iceland, the Republic of Korea, the Kingdom of Norway and the United States of America. The meeting also included representatives from the International Council for the Exploration of the Sea (ICES), the North Pacific Marine Science Organization (PICES) and the Arctic Council’s Protection of the Arctic Marine Environment (PAME) and Conservation of Arctic Flora and Fauna (CAFF) working groups. The report summarizes the elements for collecting baseline data (i.e., a mapping program) in the high seas CAO to achieve the goals of documenting species distributions, relative abundances and key ecosystem parameters (ToR 1). The mapping program describes the priority areas to sample, the types of data to collect and possible data collection approaches to employ. Participants emphasized that existing planned surveys are very limited, and that significant dedicated resources will be required to implement the mapping program. The report outlines a strategy for monitoring indicators of fish stocks and ecosystem components (ToR 2). The report
- Published
- 2019
10. Differences in patterns of habitat utilization of Weddell and crabeater seals along their circumpolar distributions: responding to local conditions
- Author
-
Hückstädt, L. A., Hindell, M., McMahon, C., Southwell, C., Bengtson, J., Boveng, P., Burns, J., Goetz, K., Nordøy, E., Blix, A. S., Bornemann, Horst, Plötz, Joachim, Goebel, M., Fedak, M., Boehme, L., Nicholls, K., Charrassin, J. B., Guinet, C., Costa, D., Hückstädt, L. A., Hindell, M., McMahon, C., Southwell, C., Bengtson, J., Boveng, P., Burns, J., Goetz, K., Nordøy, E., Blix, A. S., Bornemann, Horst, Plötz, Joachim, Goebel, M., Fedak, M., Boehme, L., Nicholls, K., Charrassin, J. B., Guinet, C., and Costa, D.
- Abstract
Addressing the potential changes in species distribution in response to global change requires evaluating current species-wide patterns of habitat utilization and how these are determined by the local environment. These efforts, however, can be limited by a lack of data on distribution of the species, which are particularly difficult to collect in the case of air-breathing marine predators in high latitude systems. We present here a retrospective analysis on the distributional patterns of both Weddell (Leptonychotes weddellii) and crabeater seals (Lobodon carcinophaga) throughout their circumpolar ranges, using satellite telemetry data obtained over a time span of three decades (1990 to 2010s). Raw Argos tracks (nWeddell = 132; ncrabeater = 115), were filtered using a Switching State Space Model, and the tracking-derived behaviors (transit, foraging) were used to construct localized habitat models based on sea ice and bathymetry derived variables using binary Generalized Additive Mixed Models. We found differences in the effects and significance that environmental covariates had on the distribution at the local scale. The development of local habitat models for the entire range of these species will allow us to understand the ability of each species to cope with the anticipated environmental changes in their habitat.
- Published
- 2014
11. Retrospective analyses of Antarctic tracking data
- Author
-
Hückstädt, L. A., Hindell, M., McMahon, C., Bornemann, Horst, Charrassin, J. B., Bengtson, J., Boveng, P., Goebel, M., Southwell, C., Fedak, M., Boehme, L., Costa, D., Hückstädt, L. A., Hindell, M., McMahon, C., Bornemann, Horst, Charrassin, J. B., Bengtson, J., Boveng, P., Goebel, M., Southwell, C., Fedak, M., Boehme, L., and Costa, D.
- Published
- 2014
12. Habitat utilization of Weddell and crabeater seals throughout their entire distributions as obtained from satellite telemetry
- Author
-
Hückstädt, L. A., Hindell, M., McMahon, C., Bengtson, J., Blix, A. S., Boehme, L., Bornemann, Horst, Boveng, P., Burns, J., Charrassin, J. B., Fedak, M., Goebel, M., Goetz, K., Guinet, C., Nicholls, K., Nordøy, E., Plötz, Joachim, Southwell, C., Costa, D., Hückstädt, L. A., Hindell, M., McMahon, C., Bengtson, J., Blix, A. S., Boehme, L., Bornemann, Horst, Boveng, P., Burns, J., Charrassin, J. B., Fedak, M., Goebel, M., Goetz, K., Guinet, C., Nicholls, K., Nordøy, E., Plötz, Joachim, Southwell, C., and Costa, D.
- Published
- 2014
13. Habitat utilization of Weddell and crabeater seals throughout their entire distributions as obtained from satellite telemetry
- Author
-
Hückstädt, L. A., Hindell, M., McMahon, C., Bengtson, J., Blix, A. S., Boehme, L., Bornemann, Horst, Boveng, P., Burns, J., Charrassin, J. B., Fedak, M., Goebel, M., Goetz, K., Guinet, C., Nicholls, K., Nordøy, E., Plötz, Joachim, Southwell, C., Costa, D., Hückstädt, L. A., Hindell, M., McMahon, C., Bengtson, J., Blix, A. S., Boehme, L., Bornemann, Horst, Boveng, P., Burns, J., Charrassin, J. B., Fedak, M., Goebel, M., Goetz, K., Guinet, C., Nicholls, K., Nordøy, E., Plötz, Joachim, Southwell, C., and Costa, D.
- Published
- 2014
14. Retrospective analyses of Antarctic tracking data
- Author
-
Hückstädt, L. A., Hindell, M., McMahon, C., Bornemann, Horst, Charrassin, J. B., Bengtson, J., Boveng, P., Goebel, M., Southwell, C., Fedak, M., Boehme, L., Costa, D., Hückstädt, L. A., Hindell, M., McMahon, C., Bornemann, Horst, Charrassin, J. B., Bengtson, J., Boveng, P., Goebel, M., Southwell, C., Fedak, M., Boehme, L., and Costa, D.
- Published
- 2014
15. Differences in patterns of habitat utilization of Weddell and crabeater seals along their circumpolar distributions: responding to local conditions
- Author
-
Hückstädt, L. A., Hindell, M., McMahon, C., Southwell, C., Bengtson, J., Boveng, P., Burns, J., Goetz, K., Nordøy, E., Blix, A. S., Bornemann, Horst, Plötz, Joachim, Goebel, M., Fedak, M., Boehme, L., Nicholls, K., Charrassin, J. B., Guinet, C., Costa, D., Hückstädt, L. A., Hindell, M., McMahon, C., Southwell, C., Bengtson, J., Boveng, P., Burns, J., Goetz, K., Nordøy, E., Blix, A. S., Bornemann, Horst, Plötz, Joachim, Goebel, M., Fedak, M., Boehme, L., Nicholls, K., Charrassin, J. B., Guinet, C., and Costa, D.
- Abstract
Addressing the potential changes in species distribution in response to global change requires evaluating current species-wide patterns of habitat utilization and how these are determined by the local environment. These efforts, however, can be limited by a lack of data on distribution of the species, which are particularly difficult to collect in the case of air-breathing marine predators in high latitude systems. We present here a retrospective analysis on the distributional patterns of both Weddell (Leptonychotes weddellii) and crabeater seals (Lobodon carcinophaga) throughout their circumpolar ranges, using satellite telemetry data obtained over a time span of three decades (1990 to 2010s). Raw Argos tracks (nWeddell = 132; ncrabeater = 115), were filtered using a Switching State Space Model, and the tracking-derived behaviors (transit, foraging) were used to construct localized habitat models based on sea ice and bathymetry derived variables using binary Generalized Additive Mixed Models. We found differences in the effects and significance that environmental covariates had on the distribution at the local scale. The development of local habitat models for the entire range of these species will allow us to understand the ability of each species to cope with the anticipated environmental changes in their habitat.
- Published
- 2014
16. A review of data on abundance, trends in abundance, habitat utilisation and diet for Southern Ocean ice-breeding seals
- Author
-
Southwell, C., Bengtson, J., Bester, M. N., Schytte-Blix, A., Bornemann, Horst, Boveng, P., Cameron, M., Forcada, J., Laake, J., Nordøy, E., Plötz, Joachim, Rogers, T., Steinhage, Daniel, Stewart, B., Trathan, P., Southwell, C., Bengtson, J., Bester, M. N., Schytte-Blix, A., Bornemann, Horst, Boveng, P., Cameron, M., Forcada, J., Laake, J., Nordøy, E., Plötz, Joachim, Rogers, T., Steinhage, Daniel, Stewart, B., and Trathan, P.
- Abstract
The development of models of marine ecosystems in the Southern Ocean is becoming increasingly important as a means of understanding and managing impacts such as exploitation and climate change. Collating data from disparate sources, and understanding biases or uncertainties inherent in those data, are important first steps for improving ecosystem models. This review focuses on seals that breed in ice habitats of the Southern Ocean (i.e. the crabeater seal, Lobodon carcinophaga; Ross seal, Ommatophoca rossii; leopard seal, Hydrurga leptonyx; and Weddell seal, Leptonychotes weddellii). Data on populations (abundance and trends in abundance), distribution and habitat use (movement, key habitat and environmental features) and foraging (diet) are summarised, and potential biases and uncertainties inherent in those data are identified and discussed. Spatial and temporal gaps in knowledge of the populations, habitats and diet of each species are also identified.
- Published
- 2012
17. A review of data on abundance, trends in abundance, habitat utilisation and diet for Southern Ocean ice-breeding seals
- Author
-
Southwell, C., Bengtson, J., Bester, M. N., Schytte-Blix, A., Bornemann, Horst, Boveng, P., Cameron, M., Forcada, J., Laake, J., Nordøy, E., Plötz, Joachim, Rogers, T., Steinhage, Daniel, Stewart, B., Trathan, P., Southwell, C., Bengtson, J., Bester, M. N., Schytte-Blix, A., Bornemann, Horst, Boveng, P., Cameron, M., Forcada, J., Laake, J., Nordøy, E., Plötz, Joachim, Rogers, T., Steinhage, Daniel, Stewart, B., and Trathan, P.
- Abstract
The development of models of marine ecosystems in the Southern Ocean is becoming increasingly important as a means of understanding and managing impacts such as exploitation and climate change. Collating data from disparate sources, and understanding biases or uncertainties inherent in those data, are important first steps for improving ecosystem models. This review focuses on seals that breed in ice habitats of the Southern Ocean (i.e. the crabeater seal, Lobodon carcinophaga; Ross seal, Ommatophoca rossii; leopard seal, Hydrurga leptonyx; and Weddell seal, Leptonychotes weddellii). Data on populations (abundance and trends in abundance), distribution and habitat use (movement, key habitat and environmental features) and foraging (diet) are summarised, and potential biases and uncertainties inherent in those data are identified and discussed. Spatial and temporal gaps in knowledge of the populations, habitats and diet of each species are also identified.
- Published
- 2012
18. An interim analysis of recruitment to the COLOFOL trial
- Author
-
Wille-Jørgensen, P., Laurberg, S., Påhlman, Lars, Carriquiry, L., Lundqvist, N., Smedh, Kennet, Svanfeldt, M., Bengtson, J., Wille-Jørgensen, P., Laurberg, S., Påhlman, Lars, Carriquiry, L., Lundqvist, N., Smedh, Kennet, Svanfeldt, M., and Bengtson, J.
- Abstract
OBJECTIVE: To analyse the ongoing process of recruiting patients into a multicenter randomized trial on follow-up after curative surgery for colorectal cancer. The trial is registered in Clinical Trials Registration. METHOD: Prospective registration of all operated patients as well as inclusions (curative resection, stage II or III disease,
- Published
- 2009
- Full Text
- View/download PDF
19. An interim analysis of recruitment to the COLOFOL trial
- Author
-
Wille-Jørgensen, Peer, Laurberg, S., Pahlman, L., Carriquiry, L., Lundqvist, N., Smedh, K., Svanfeldt, M., Bengtson, J., Wille-Jørgensen, Peer, Laurberg, S., Pahlman, L., Carriquiry, L., Lundqvist, N., Smedh, K., Svanfeldt, M., and Bengtson, J.
- Abstract
Objective To analyse the ongoing process of recruiting patients into a multicenter randomized trial on follow-up after curative surgery for colorectal cancer. The trial is registered in Clinical Trials Registration. Method Prospective registration of all operated patients as well as inclusions (curative resection, stage II or III disease, < 75 years, clean colonand exclusions of the individual patients in eight participating departments. Results Between January 2006 and September 2007, 1309 patients have been operated upon. Of these 502 (38.3 %) met the inclusion criteria, 148 (29.5%) had exclusion criteria. Of the final eligible patients 241 (68.1 %) were randomized. No specific barriers to inclusion were identified. Conclusion Of an overall population of patients operated for colorectal cancer about one in five were randomized. Bearing the rigorous inclusion and exclusion criteria in mind, this is considered satisfactory, and the investigated population may be representative of patients meeting the inclusion criteria Udgivelsesdato: 2009/9
- Published
- 2009
20. An interim analysis of recruitment to the COLOFOL trial
- Author
-
Wille-Jørgensen, Peer, Laurberg, S., Pahlman, L., Carriquiry, L., Lundqvist, N., Smedh, K., Svanfeldt, M., Bengtson, J., Wille-Jørgensen, Peer, Laurberg, S., Pahlman, L., Carriquiry, L., Lundqvist, N., Smedh, K., Svanfeldt, M., and Bengtson, J.
- Abstract
Objective To analyse the ongoing process of recruiting patients into a multicenter randomized trial on follow-up after curative surgery for colorectal cancer. The trial is registered in Clinical Trials Registration. Method Prospective registration of all operated patients as well as inclusions (curative resection, stage II or III disease, < 75 years, clean colonand exclusions of the individual patients in eight participating departments. Results Between January 2006 and September 2007, 1309 patients have been operated upon. Of these 502 (38.3 %) met the inclusion criteria, 148 (29.5%) had exclusion criteria. Of the final eligible patients 241 (68.1 %) were randomized. No specific barriers to inclusion were identified. Conclusion Of an overall population of patients operated for colorectal cancer about one in five were randomized. Bearing the rigorous inclusion and exclusion criteria in mind, this is considered satisfactory, and the investigated population may be representative of patients meeting the inclusion criteria Udgivelsesdato: 2009/9
- Published
- 2009
21. The International Antarctic Pack Ice Seals (APIS) Program. Multi-disciplinary Research into the Ecology and Behavior of Antarctic Pack Ice Seals. Summary Update
- Author
-
Ackley, S., Bengtson, J., Bester, M. N., Blix, A. S., Bornemann, Horst, Boveng, P., Boyd, I., Cameron, M., Nordøy, E., Plötz, Joachim, Siniff, D., Southwell, C., Steinhage, Daniel, Stewart, B. S., Stirling, J., Torres, J., Yochem, P. K., Ackley, S., Bengtson, J., Bester, M. N., Blix, A. S., Bornemann, Horst, Boveng, P., Boyd, I., Cameron, M., Nordøy, E., Plötz, Joachim, Siniff, D., Southwell, C., Steinhage, Daniel, Stewart, B. S., Stirling, J., Torres, J., and Yochem, P. K.
- Published
- 2006
22. The International Antarctic Pack Ice Seals (APIS) Program. Multi-disciplinary Research into the Ecology and Behavior of Antarctic Pack Ice Seals. Summary Update
- Author
-
Ackley, S., Bengtson, J., Bester, M. N., Blix, A. S., Bornemann, Horst, Boveng, P., Boyd, I., Cameron, M., Nordøy, E., Plötz, Joachim, Siniff, D., Southwell, C., Steinhage, Daniel, Stewart, B. S., Stirling, J., Torres, J., Yochem, P. K., Ackley, S., Bengtson, J., Bester, M. N., Blix, A. S., Bornemann, Horst, Boveng, P., Boyd, I., Cameron, M., Nordøy, E., Plötz, Joachim, Siniff, D., Southwell, C., Steinhage, Daniel, Stewart, B. S., Stirling, J., Torres, J., and Yochem, P. K.
- Published
- 2006
23. Development of a Real-Time General-Purpose Digital Signal Processing Laboratory System.
- Author
-
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING, Bengtson,J W, AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING, and Bengtson,J W
- Abstract
This investigation resulted in the design and implementation of software to support a real-time, general-purpose digital signal processing (DSP) system. The major design aims for the system were that it: be easy to use, support a wide variety of DSP functions, and be capable of real-time processing. All work was performed using an HP21MX computer running under the RTE-III operation system. The system's analysis and design were accomplished using Structured Analysis and Structured Design techniques. Their results -- both logical and physical system designs -- are presented via Data Flow Diagrams and Structure Charts respectively. The hardware environmental was also analyzed to ensure its suitability. The resulting system consists of two main components: a User Interface, and a collection of DSP application programs. The User Interface is menu driven and allows the system to be used by those with little or no prior computer experience. The User Interface gathers user requests and presents them to an arbitrary number on concurrently executing application programs for satisfaction. All of the major system components were successfully implemented with the exception of real-time data sampling support via analog to digital converter. With the addition of an HP21MX co-processor, the developed system should be capable of supporting the full range of DSP activities envisioned. (Author)
- Published
- 1983
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.