Filters








59 Hits in 1.8 sec

Software Mythbusters Explore Formal Methods

Ciera Jaspan, Michael Keeling, Larry Maccherone, Gabriel L. Zenarosa, Mary Shaw
2009 IEEE Software  
Most had used UML, and three had used more-formal methods in industrial settings, including executable UML (xUML), Promela, the Software Requirements Engineering Methodology (SREM), the Distributed Computing  ...  His research interests include software test automation, formal methods, and software process improvement.  ...  Acknowledgments We thank Anthony Hall for his willingness to let us comment on the "Seven Myths of Formal Methods" and for his suggestion to consider the nature of myths. Gabriel L.  ... 
doi:10.1109/ms.2009.188 fatcat:n73dz7jt35clzikhftkkw6cnom

Learning as Researchers and Teachers: The Development of a Pedagogical Culture for Social Science Research Methods?

Daniel Kilburn, Melanie Nind, Rose Wiles
2014 British Journal of Educational Studies  
In light of calls to improve the capacity for social science research within UK higher education, this article explores the possibilities for an emerging pedagogy for research methods.  ...  In response, we examine pedagogical literature surrounding approaches for teaching and learning research methods that are evident in recent peer-reviewed literature.  ...  The focus of this research is on formal teaching and instructional activities, rather than on selfdirected learning from methods texts or other resources.  ... 
doi:10.1080/00071005.2014.918576 fatcat:qbm5omzgbrdjbn6zqcyjivhuli

Not so Dangerous After All? Venom Composition and Potency of the Pholcid (Daddy Long-Leg) Spider Physocyclus mexicanus

Pamela A. Zobel-Thropp, Jennifer Mullins, Charles Kristensen, Brent A. Kronmiller, Cynthia L. David, Linda A. Breci, Greta J. Binford
2019 Frontiers in Ecology and Evolution  
spiders (Araneae: Pholcidae), officially "cellar spiders" but popularly known as "daddy long-legs," are renown for the potential of deadly toxic venom, even though venom composition and potency has never formally  ...  The SEQUEST output was organized in Scaffold (version Scaffold_4.8.6, Proteome Software Inc., Portland, OR; Searle, 2010) .  ...  in a brief mild sting (https://www. discovery.com/tv-shows/mythbusters/videos/daddy-longlegsminimyth).  ... 
doi:10.3389/fevo.2019.00256 pmid:33235882 pmcid:PMC7682650 fatcat:pgcd5u5txnb3lhd5nvwp7ltz6u

Knowledge to action: the development of training strategies

Danielle D'Amour, Vianne Timmons, Sam Sheps, Barbara Davies
2008 Healthcare Policy  
While formal evaluation is yet to be completed, interim feedback from participating graduate students has been encouraging.  ...  Participants at multiple sites are connected by special software to see the same presentation simultaneously.  ...  We do not know the most effective methods for increasing knowledge and skills in KTE.  ... 
pmid:19377312 pmcid:PMC2645183 fatcat:ua3r4po5ana4npzpvppcug76ey

Knowledge to Action: The Development of Training Strategies

Danielle D'Amour, Vianne Timmons, Sam Sheps, Barbara Davies
2008 Healthcare Policy | Politiques de Santé  
While formal evaluation is yet to be completed, interim feedback from participating graduate students has been encouraging.  ...  Participants at multiple sites are connected by special software to see the same presentation simultaneously.  ...  We do not know the most effective methods for increasing knowledge and skills in KTE.  ... 
doi:10.12927/hcpol.2008.19814 fatcat:ywdksot6rbh5ndacrkjehto6my

Using the lens of science capital to capture and explore children's attitudes toward science in an informal making-based space

Dimitra Christidou, Sofia Papavlasopoulou, Michail Giannakos
2021 Information and Learning Science  
Six themes emerged from the content analysis, highlighting the diverse factors shaping students' attitudes, such as teaching methods, stereotypes and the degree of difficulty encountered while engaging  ...  Originality/value By combining qualitative and quantitative methods with the use of science capital, the authors found a number of aspects of the school experience that shape students' attitudes to science  ...  All transcripts were uploaded on the NVivo 12 qualitative software.  ... 
doi:10.1108/ils-09-2020-0210 fatcat:qbywhywvtjhuhljvl4looupisu

A La Carte and 'Family Tiers' as a Response to a Market Defect in the Multichannel Video Programming Market

George S. Ford, Thomas M. Koutsky
2006 Social Science Research Network  
First, the market that produces the prices S has not been formally modeled in this article.  ...  See Discovery Channel, Mythbusters Fan Site, http://dsc.discovery.com/fansites/mythbusters /mythbusters.html (last visited Nov. 12, 2006). 14 See id. 15 "The Iron Chef" is a Food Network program in which  ...  This article explores the circumstances in which this form of market defect might impede that optimal mix or selection of programming choices to parents by multichannel video providers.  ... 
doi:10.2139/ssrn.899620 fatcat:papf5vyf6vev7fqdjlbunflasm

What's in My Profile: VKontakte Data as a Tool for Studying the Interests of Modern Teenagers
Что в профиле тебе моем. Данные «ВКонтакте» как инструмент изучения интересов современных подростков

Katerina Polivanova, Ivan Smirnov
2017 Educational Studies Moscow  
The article suggests using the information on VKontakte communities followed by teenagers, in order to explore their interests.  ...  We believe that content analysis will be an adequate formalized tool to compare content across different communities.  ...  A special software application making requests to an API (application programming interface) was used to collect data.  ... 
doi:10.17323/1814-9545-2017-2-134-152 fatcat:yhoudpjmqvbgzd5q2n27d3xcxy

Towards Distributed Citizen Participation: Lessons from WikiLeaks and the Queensland Floods

Axel Bruns
2012 JeDEM - eJournal of eDemocracy & Open Government  
Open governance is the most effective method of promoting good governance."  ...  deliberations upon and reactions to problems faced and proposals issued by public bodies (ranging from local councils to parliaments and government departments), which would then be expected to react formally  ... 
doi:10.29379/jedem.v4i2.135 fatcat:xt6hymx6zvaf7f5imh77kix75i

Moderation by socioeconomic status of the relationship between familiarity with mental illness and stigma outcomes

Laura C. Potts, Claire Henderson
2020 SSM: Population Health  
Potts: Conceptualization, Methodology, Software, Validation, Formal analysis, Resources, Data curation, Writing -original draft, Writing -review & editing, Visualization.  ...  We suggest qualitative methods would be suitable to further explore the socioeconomic influences on stigma outcomes and that better understanding of these influences should inform responses to both mental  ... 
doi:10.1016/j.ssmph.2020.100611 pmid:32715077 pmcid:PMC7378684 fatcat:vmsmrgnfjnhwdeenmuiip6i364

Conversing by Reading: Contentful Neural Conversation with On-demand Machine Reading [article]

Lianhui Qin, Michel Galley, Chris Brockett, Xiaodong Liu, Xiang Gao, Bill Dolan, Yejin Choi, Jianfeng Gao
2019 arXiv   pre-print
Both human evaluation and automated metrics show that our approach results in more contentful responses compared to a variety of previous methods, improving both the informativeness and diversity of generated  ...  In 2005, Vulović's fall was recreated by the American television MythBusters.  ...  We have also formally introduced a large dataset that opens up interesting challenges for future research.  ... 
arXiv:1906.02738v2 fatcat:6ptm4fz5jvazxhpjllkxy3keci

Conversing by Reading: Contentful Neural Conversation with On-demand Machine Reading

Lianhui Qin, Michel Galley, Chris Brockett, Xiaodong Liu, Xiang Gao, Bill Dolan, Yejin Choi, Jianfeng Gao
2019 Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics  
Both human evaluation and automated metrics show that our approach results in more contentful responses compared to a variety of previous methods, improving both the informativeness and diversity of generated  ...  In 2005, Vulović's fall was recreated by the American television MythBusters.  ...  We have also formally introduced a large dataset that opens up interesting challenges for future research.  ... 
doi:10.18653/v1/p19-1539 dblp:conf/acl/QinGBLGDCG19 fatcat:bcbwdsguvvhwtm46dbmqhafesa

Exploiting External Collections for Query Expansion

Wouter Weerkamp, Krisztian Balog, Maarten de Rijke
2012 ACM Transactions on the Web  
We refer to this method as "boolean."  ...  We refer to this estimation method as "relevance."  ... 
doi:10.1145/2382616.2382621 fatcat:u3w5pbggjfdnjpup7jnp4ktipa

Consolidation of Obstetric Services in a Public Health Emergency

Katherine H. Campbell, Christian M. Pettker, Dena Goffman
2020 Seminars in Perinatology  
This included orientation to the physical space, adaptation to local work flows, and development of new communication methods.  ...  In addition to providing COVID-19 related travel advice, situational reports, media resources, research and development, and mythbusters, the WHO provides an updated strategic preparedness and response  ... 
doi:10.1016/j.semperi.2020.151281 pmid:32814629 pmcid:PMC7374143 fatcat:o4c72olu7fbm5cdcwyg3exro54

Digitalised management, control and resistance in platform work: a labour process analysis [chapter]

Simon Joyce
2021 Work and Labour Relations in Global Platform Capitalism  
There is also room to develop greater understanding of platform work channels of resistance, exploring, in particular, how these are related to specific methods of labour process control, and how these  ...  For some, platforms are a technical arrangement of computer hardware, software and processing power (Kenney and Zysman 2016) .  ... 
doi:10.4337/9781802205138.00017 fatcat:jprivtkyivcblor5ponq6aclt4
« Previous Showing results 1 — 15 out of 59 results