Academic literature on the topic 'Call validation'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Call validation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Call validation"

1

Cole, Charles Andrew. "HGM: a call for model validation." Wetlands Ecology and Management 24, no. 5 (2015): 579–85. http://dx.doi.org/10.1007/s11273-015-9467-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Soldevilla, Melissa S., Katrina Ternus, Ashley Cook, et al. "Acoustic localization, validation, and characterization of Rice's whale calls." Journal of the Acoustical Society of America 151, no. 6 (2022): 4264–78. http://dx.doi.org/10.1121/10.0011677.

Full text
Abstract:
The recently named Rice's whale in the Gulf of Mexico is one of the most endangered whales in the world, and improved knowledge of spatiotemporal occurrence patterns is needed to support their recovery and conservation. Passive acoustic monitoring methods for determining spatiotemporal occurrence patterns require identifying the species' call repertoire. Rice's whale call repertoire remains unvalidated though several potential call types have been identified. This study uses sonobuoys and passive acoustic tagging to validate the source of potential call types and to characterize Rice's whale c
APA, Harvard, Vancouver, ISO, and other styles
3

Fritsch, Georg, and Alexander Bruckner. "Operator bias in software‐aided bat call identification." Ecology and Evolution 4, no. 13 (2014): 2703–13. https://doi.org/10.5281/zenodo.14819526.

Full text
Abstract:
(Uploaded by Plazi for the Bat Literature Project) Software-aided identification facilitates the handling of large sets of bat call recordings, which is particularly useful in extensive acoustic surveys with several collaborators. Species lists are generated by "objective" automated classification. Subsequent validation consists of removing any species not believed to be present. So far, very little is known about the identification bias introduced by individual validation of operators with varying degrees of experience. Effects on the quality of the resulting data may be considerable, especia
APA, Harvard, Vancouver, ISO, and other styles
4

Dunn, Cheryl L., Gregory J. Gerard, Severin V. Grabski, and Scott R. Boss. "Asymmetry in Identification of Multiplicity Errors in Conceptual Models of Business Processes." Journal of Information Systems 31, no. 1 (2016): 21–39. http://dx.doi.org/10.2308/isys-51581.

Full text
Abstract:
ABSTRACT Business rules can be represented by multiplicities in a Unified Modeling Language (UML) class diagram. Diagrams containing erroneous multiplicities may be implemented as an inefficient/ineffective database. System validators must be able to validate such diagrams, including multiplicities, to prevent the implementation of design errors. Prior research reveals conflicting evidence regarding the expected accuracy in validating minimum multiplicities, indicating a need for additional research to further our understanding. Ontology research claims that multiplicities that depict optional
APA, Harvard, Vancouver, ISO, and other styles
5

Choi, Woo Jin, Richard Walker, Luckshi Rajendran, et al. "Call to Improve the Quality of Prediction Tools for Intrahepatic Cholangiocarcinoma Resection: A Critical Appraisal, Systematic Review, and External Validation Study." Annals of Surgery Open 4, no. 3 (2023): e328. http://dx.doi.org/10.1097/as9.0000000000000328.

Full text
Abstract:
Objective: To conduct a systematic review, critical appraisal, and external validation of survival prediction tools for patients undergoing intrahepatic cholangiocarcinoma (iCCA) resection. Summary background data: Despite the development of several survival prediction tools in recent years for patients undergoing iCCA resections, there is a lack of critical appraisal and external validation of these models. Methods: We conducted a systematic review and critical appraisal of survival and recurrence prediction models for patients undergoing curative-intent iCCA resections. Studies were evaluate
APA, Harvard, Vancouver, ISO, and other styles
6

Vandewaetere, Mieke, and Piet Desmet. "The Influence of Learners’ Attitudes to and Perceptions of Call." ITL - International Journal of Applied Linguistics 160 (January 1, 2010): 1–23. http://dx.doi.org/10.1075/itl.160.01van.

Full text
Abstract:
Abstract In recent years, the field of Computer-Assisted Language Learning – CALL – has grown tremendously and has seen a number of major developments: CALL has become accessible to a larger and more diverse audience and has developed didactic practices that can be implemented in education. In addition, there has been a growing amount of research that focuses on learners’ attitudes towards CALL and, more generally, towards computer-based language learning environments. These, however, seem to be fraught with methodological problems, often leading to inconsistent results. Rather than corroborat
APA, Harvard, Vancouver, ISO, and other styles
7

Rose, Abhishek, and Sorav Bansal. "Modeling Dynamic (De)Allocations of Local Memory for Translation Validation." Proceedings of the ACM on Programming Languages 8, OOPSLA1 (2024): 1463–92. http://dx.doi.org/10.1145/3649863.

Full text
Abstract:
End-to-End Translation Validation is the problem of verifying the executable code generated by a compiler against the corresponding input source code for a single compilation. This becomes particularly hard in the presence of dynamically-allocated local memory where addresses of local memory may be observed by the program. In the context of validating the translation of a C procedure to executable code, a validator needs to tackle constant-length local arrays, address-taken local variables, address-taken formal parameters, variable-length local arrays, procedure-call arguments (including varia
APA, Harvard, Vancouver, ISO, and other styles
8

Vandewaetere, M., and P. Desmet. "Introducing psychometrical validation of questionnaires in CALL research: the case of measuring attitude towards CALL." Computer Assisted Language Learning 22, no. 4 (2009): 349–80. http://dx.doi.org/10.1080/09588220903186547.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Romero-Brufau, Santiago, Daniel Whitford, Matthew G. Johnson, et al. "Using machine learning to improve the accuracy of patient deterioration predictions: Mayo Clinic Early Warning Score (MC-EWS)." Journal of the American Medical Informatics Association 28, no. 6 (2021): 1207–15. http://dx.doi.org/10.1093/jamia/ocaa347.

Full text
Abstract:
Abstract Objective We aimed to develop a model for accurate prediction of general care inpatient deterioration. Materials and Methods Training and internal validation datasets were built using 2-year data from a quaternary hospital in the Midwest. Model training used gradient boosting and feature engineering (clinically relevant interactions, time-series information) to predict general care inpatient deterioration (resuscitation call, intensive care unit transfer, or rapid response team call) in 24 hours. Data from a tertiary care hospital in the Southwest were used for external validation. C-
APA, Harvard, Vancouver, ISO, and other styles
10

Baquirin, Rey Benjamin M., and Proceso L. Fernandez. "Artificial Neural Network (ANN) in a Small Dataset to determine Neutrality in the Pronunciation of English as a Foreign Language in Filipino Call Center Agents." Inteligencia Artificial 21, no. 62 (2018): 134. http://dx.doi.org/10.4114/intartif.vol21iss62pp134-144.

Full text
Abstract:
Artificial Neural Networks (ANNs) have continued to be efficient models in solving classification problems. In this paper, we explore the use of an A NN with a small dataset to accurately classify whet her Filipino call center agents’ pronunciations are neutral or not based on their employer’s standards. Isolated utterances of the
 ten most commonly used words in the call center were recorded from eleven agents creating a dataset of
 110 utterances. Two learning specialists were consulted to establish ground truths and Cohen’s Kappa was computed as 0.82, validating the reliability of
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Call validation"

1

HEISLER, TAMARA A. "Validation of multi-call 24-hour dietary recall in mildly cognitively impaired older adults." University of Cincinnati / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1211994924.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Heisler, Tamara A. "Validation of the multi-call 24-hour recall method in older adults with mild cognitive impairment." Cincinnati, Ohio : University of Cincinnati, 2008. http://rave.ohiolink.edu/etdc/view.cgi?acc_num=ucin1211994924.

Full text
Abstract:
Thesis (M.S.)--University of Cincinnati, 2008.<br>Advisor: Sarah C. Couch. Title from electronic thesis title page (viewed Sep. 4, 2008). Includes abstract. Keywords: dietary assessment; multi-call recall; elderly; cognitive impairement. Includes bibliographical references.
APA, Harvard, Vancouver, ISO, and other styles
3

Patel, Charmi. "At work ... but are we really working : development, extension and validation of presenteeism within Indian call centre context." Thesis, Aston University, 2012. http://publications.aston.ac.uk/24384/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Allred, Aaron M. "Does Social Role Functioning Predict Work Productivity? Further Validation of the Social Role Scale of the Outcome Questionnaire." BYU ScholarsArchive, 2012. https://scholarsarchive.byu.edu/etd/3666.

Full text
Abstract:
Mental health problems are associated with significant losses in work productivity and, consequently, have significant ramifications for business entities and the general economy. Several instruments have been developed to measure productivity-related constructs such as absenteeism and presenteeism. The current study examines the utility of the Outcome Questionnaire-45 (OQ), a commonly used mental health questionnaire, in predicting work productivity. This relationship is explored as a preliminary step in assessing the degree to which changes in mental health brought about by psychotherapy wil
APA, Harvard, Vancouver, ISO, and other styles
5

Gustavsson, Martin, and Viktor Frimodig. "Virtual Prototyping and Physical Validation of an Inverted Pendulum : "Sea-Calf Bot"." Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-27946.

Full text
Abstract:
The work is motivated by the goal of linking reality and model, and to see if there is an opportunity to develop an inexpensive educational tool for training in cyber-physical systems. This project has investigated the possibilities to build a cheap inverted pendulum with controller and connect this with the modeling language Acumen. Acumen models is used for comparison with the actual prototype. To solve these problems has a 3D printer been used to create hardware, Arduino UNO for control and Raspberry Pi for enable communication with Acumen over WLAN. The result was a cheap inverted pendulum
APA, Harvard, Vancouver, ISO, and other styles
6

Rastogi, Mayank. "SeaWinds RADIOMETER BRIGHTNESS TEMPERATURE CALIBRATION AND VALIDATION." Master's thesis, University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3445.

Full text
Abstract:
The NASA SeaWinds scatterometer is a radar remote sensor which operates on two satellites; NASA's QuikSCAT launched in June 1999 and on Japan's ADEOS-II satellite launched in December 2002. The purpose of SeaWinds is to provide global measurements of the ocean surface wind vector. On QuikSCAT, a ground data processing algorithm was developed, which allowed the instrument to function as a QuikSCAT Radiometer (QRad) and measure the ocean microwave emissions (brightness temperature, Tb) simultaneously with the backscattered power. When SeaWinds on ADEOS was launched, this same algorithm was appli
APA, Harvard, Vancouver, ISO, and other styles
7

Snyder, Nicholas B. "DESIGN, VALIDATION, AND VERIFICATION OF THE CAL POLY EDUCATIONAL CUBESAT KIT STRUCTURE." DigitalCommons@CalPoly, 2020. https://digitalcommons.calpoly.edu/theses/2148.

Full text
Abstract:
In this thesis, the development of a structure for use in an educational CubeSat kit is explored. The potential uses of this kit include augmenting existing curricula with aspects of hands on learning, developing new ways of training students on proper space systems engineering practices, and overall contributing to academic capacity building at Cal Poly and its collaborators. The design improves on existing CubeSat kit structures by increasing accessibility to internal components by implementing a modular backplane system, as well as adding the ability to be environmentally tested. Manufactur
APA, Harvard, Vancouver, ISO, and other styles
8

Eyring, Nicholas J. "Development and Validation of an Automated Directivity Acquisition System Used in the Acquisition, Processing, and Presentation of the Acoustic Far-Field Directivity of Musical Instruments in an Anechoic Space." BYU ScholarsArchive, 2013. https://scholarsarchive.byu.edu/etd/4004.

Full text
Abstract:
A high spatial resolution acoustic directivity acquisition system (ADAS) has been developed to acquire anechoic measurements of the far field radiation of musical instruments that are either remote controlled or played by musicians. Building upon work performed by the BYU Acoustic Research Group in the characterization of loudspeaker directivity, one can rotate a musical instrument with sequential azimuthal angle increments under a fixed semicircular array of microphones while recording repeated notes or sequences of notes. This results in highly detailed and instructive directivity data prese
APA, Harvard, Vancouver, ISO, and other styles
9

Rudelle, Astié Anne. "Approche culturelle des compétences politiques en contexte organisationnel français." Electronic Thesis or Diss., Paris 8, 2019. http://www.theses.fr/2019PA080090.

Full text
Abstract:
L’objectif de cette thèse était de conceptualiser un modèle des compétences politiques adapté au contexte organisationnel français. A partir d’une réflexion interculturelle entre les modes de fonctionnement organisationnel français et américain, le Political Skill Inventory (PSI) développé par Ferris, Treadway, Kolodinsky, Hochwarter, Kacmar, Douglas &amp; Frink (2005) a été étendu aux niveaux positionnel et idéologique de la théorie psychosociale de Doise (1982), à la dimension formelle des organisations (Mintzberg, 1983) et à l’analyse stratégique de Crozier et Friedberg (1977). Quatre étude
APA, Harvard, Vancouver, ISO, and other styles
10

Klasson, Filip, and Patrik Väyrynen. "Development of an API for creating and editing openEHR archetypes." Thesis, Linköping University, Department of Biomedical Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-17558.

Full text
Abstract:
<p>Archetypes are used to standardize a way of creating, presenting and distributing health care data. In this master thesis project the open specifications of openEHR was followed. The objective of this master thesis project has been to develop a Java based API for creating and editing openEHR archetypes. The API is a programming toolbox that can be used when developing archetype editors. Another purpose has been to implement validation functionality for archetypes. An important aspect is that the functionality of the API is well documented, this is important to ease the understanding of the
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Call validation"

1

Verschure, Paul F. M. J., and Tony J. Prescott. A Living Machines approach to the sciences of mind and brain. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199674923.003.0002.

Full text
Abstract:
How do the sciences of mind and brain—neuroscience, psychology, cognitive science, and artificial intelligence (AI)—stand in relation to each other in the 21st century? This chapter proposes that despite our knowledge expanding at ever-accelerating rates, our understanding of the relationship between mind and brain is, in some important sense, becoming less and less. An increasing explanatory gap can only be bridged by a multi-tiered and integrated theoretical framework that recognizes the value of developing explanations at different levels, combining these into cross-level integrated theorie
APA, Harvard, Vancouver, ISO, and other styles
2

Spencer, Olga Brom. New Frontiers in Aging. Greenwood Publishing Group, Inc., 2008. http://dx.doi.org/10.5040/9798400690945.

Full text
Abstract:
As elders are living longer and healthier lives, these additional years call for what author Olga Spencer explains is a new vision and fulfillment of the senior stage. Here psychologist Spencer pinpoints how we can transform our perception of aging, changing from seeing senior years as a time of decline, to seeing this stage as a great opportunity for final, ultimate development. We can all transform our lives, to recognize new, unexpected and vital experiences and potentials, she explains. Enlisting fields as diverse as psychology, medical science, physics and cosmology, Spencer shows us the
APA, Harvard, Vancouver, ISO, and other styles
3

Sinor, Jennifer. The Yogic Writer. Bloomsbury Publishing Plc, 2024. http://dx.doi.org/10.5040/9781350371996.

Full text
Abstract:
Fusing the craft of writing and the philosophy and practice of yoga, The Yogic Writer charts a path to the heart of your creativity through the practice of yogic breathing, somatic exercises and meditations. With the tyranny of outcomes and product paralysing writers in this modern world, Jennifer Sinor summons her 30 years or experience teaching creative writing and yoga to guide your focus back to process, to discover your inner landscape and how writing, when undertaken with intention, transforms our creative potential. A call to sit within the mess and to not have all the answers, this boo
APA, Harvard, Vancouver, ISO, and other styles
4

Claire, Calliope, and Jessie Heart. You Got This! an ADHD Coloring Book to Calm Overwhelm and Boost Self Love: For Reassurance, Validation and Inspiration. Independently Published, 2022.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Guadagno, Rosanna E. Compliance. Edited by Stephen G. Harkins, Kipling D. Williams, and Jerry Burger. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199859870.013.4.

Full text
Abstract:
This chapter reviews the literature on compliance, a type of social influence that occurs when a person changes their behavior in response to a direct request. Specifically, I review research on compliance organized by the six classic principles of social influence (Cialdini, 2009)—reciprocity, commitment and consistency, authority, social validation or social proof, and liking and similarity, and examine how they are used to change peoples’ behaviors. Furthermore, this chapter reviews the mechanisms that underlie these principles, particularly mindlessness. Finally, this chapter concludes by
APA, Harvard, Vancouver, ISO, and other styles
6

Yamamoto, Eric K. Prologue. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190878955.003.0001.

Full text
Abstract:
This Prologue describes three stories concerning Korematsu. The first is told in late 2015 by U.S. judges. It reaches back to the Supreme Court’s 1944 ruling in Korematsu validating the World War II Japanese American removal and incarceration. And it discerns insights, maybe lessons, for America about fundamental freedoms sacrificed in the name of perceived exigency. The second story starts with Justice Jackson’s loaded weapon warning about expanding Korematsu’s principle to new purposes. In 2014, then-Supreme Court justice Antonin Scalia responded to a question about a possible U.S. mass excl
APA, Harvard, Vancouver, ISO, and other styles
7

Manton, Michael-Geoffrey, Evaldas Makrickas, Piotr Banaszuk, et al. Assessment and spatial planning for peatland conservation and restoration: Europe’s trans-border Neman river basin as a case study. Vytautas Magnus University, 2021. http://dx.doi.org/10.7220/20.500.12259/260209.

Full text
Abstract:
Peatlands are the “kidneys” of river basins. However, intensification of agriculture and forestry in Europe has resulted in the degradation of peatlands and their biodiversity (i.e., species, habitats and processes in ecosystems), thus impairing water retention, nutrient filtration, and carbon capture. Restoration of peatlands requires assessment of patterns and processes, and spatial planning. To support strategic planning of protection, management, and restoration of peatlands, we assessed the conservation status of three peatland types within the trans-border Neman River basin. First, we co
APA, Harvard, Vancouver, ISO, and other styles
8

Chapman-Kelly, Alice M. Fanfiction as Queer Healing. Bloomsbury Publishing Plc, 2024. http://dx.doi.org/10.5040/9781350350892.

Full text
Abstract:
Exploring the phenomenon of Femslash fanfiction (fan narratives that bring together heterosexual female characters from mainstream media and fiction), this book analyses fan-authored works as forms of literature worthy of studying at length.It examines the anti-racist, feminist, sapphic fan works produced in response to white supremacist, heteronormative, queerbaiting mainstream fantasy and argues that they represent a significant site of queer healing for marginalised audience members. Focusing on the 'Swan Queen' fandom, where fans pair the ‘white trash’ heroine, Emma Swan and the villainous
APA, Harvard, Vancouver, ISO, and other styles
9

Rasula, Jed. Acrobatic Modernism from the Avant-Garde to Prehistory. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198833949.001.0001.

Full text
Abstract:
This is a book about artistic modernism contending with the historical transfigurations of modernity. As a conscientious engagement with modernity’s restructuring of the lifeworld, the modernist avant-garde raised the stakes of this engagement to programmatic explicitness. But even beyond the vanguard, the global phenomenon of jazz combined somatic assault with sensory tutelage. Jazz, like the new technologies of modernity, recalibrated sensory ratios. The criterion of the new as self-making also extended to names: pseudonyms and heteronyms. The protocols of modernism solicited a pragmatic aro
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Call validation"

1

Bennacer, N., G. Florin, C. Fraize, and S. Natkin. "Probabilistic validation of a Remote Procedure Call protocol." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58152-9_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Isensee, Fabian, Tassilo Wald, Constantin Ulrich, et al. "nnU-Net Revisited: A Call for Rigorous Validation in 3D Medical Image Segmentation." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-72114-4_47.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

He, Lianzhen, and Shangchao Min. "Validation of CALT." In Development and Validation of a Computerized Adaptive EFL Test. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-99-9987-3_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Benshaul-Tolonen, Anja, Garazi Zulaika, Marni Sommer, and Penelope A. Phillips-Howard. "Measuring Menstruation-Related Absenteeism Among Adolescents in Low-Income Countries." In The Palgrave Handbook of Critical Menstruation Studies. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-0614-7_52.

Full text
Abstract:
Abstract Benshaul-Tolonen et al. shine a light on two methodological issues impacting a research question that has received much attention recently: whether the provision of menstrual hygiene products reduces schoolgirls’ absenteeism in low-income countries. First, they identify bias in data sources, such as school records and recall data. Second, they show that limiting the focus to menstrual-related absenteeism obscures other threats that menstruation poses to educational attainment, health, and psychosocial well-being. To address these issues, the authors recommend the use of mixed methods,
APA, Harvard, Vancouver, ISO, and other styles
5

Chen, Yixiong, Yang Yang, Zhanyao Lei, Mingyuan Xia, and Zhengwei Qi. "Bootstrapping Automated Testing for RESTful Web Services." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_3.

Full text
Abstract:
AbstractModern RESTful services expose RESTful APIs to integrate with diversified applications. Most RESTful API parameters are weakly typed, which greatly increases the possible input value space. This poses difficulties for automated testing tools to generate effective test cases to reveal web service defects related to parameter validation. We call this phenomenon the type collapse problem. To remedy this problem, we introduce FET (Format-encoded Type) techniques, including the FET, the FET lattice, and the FET inference to model fine-grained information for API parameters. Enhanced by FET
APA, Harvard, Vancouver, ISO, and other styles
6

He, Lianzhen, and Shangchao Min. "Design of CALT." In Development and Validation of a Computerized Adaptive EFL Test. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-99-9987-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

van ‘t Hoff, Stefan, Philipp Hofmeister, Linghai Lu, Gareth D. Padfield, Giuseppe Quaranta, and Mark White. "Flight Simulator Development (Phase 2b)." In Springer Aerospace Technology. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-86398-1_7.

Full text
Abstract:
Abstract The material in Chap. 7 is concerned with the development of piloted flight simulators (FS) in the RCbS process. The FS is intended to create an illusion of reality for the crew, so that they are stimulated, react, and perform as if they were in the real aircraft. Achieving ‘sufficient’ realism is challenging and calls for a development and validation discipline matching that described for the FSM. With the pilot-in-the-loop, the term perceptual, or behavioural, fidelity is considered appropriate. The many factors contributing to perceptual fidelity are described.
APA, Harvard, Vancouver, ISO, and other styles
8

Monat, Raphaël, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, and Antoine Miné. "Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57256-2_26.

Full text
Abstract:
AbstractWe present advances we brought to Mopsa for SV-Comp 2024. We significantly improved the precision of our verifier in the presence of dynamic memory allocation, library calls such as , -based loops, and integer abstractions. We introduced a witness validator for correctness witnesses. Thanks to these improvements, Mopsa won SV-Comp’s SoftwareSystems category by a large margin, scoring 2.5 times more points than the silver medalist, Bubaak-SpLit.
APA, Harvard, Vancouver, ISO, and other styles
9

Jones, Tiffany. "Intersex Euphorias! Positive Experiences of Intersex Variations on and After Diagnoses." In Euphorias in Gender, Sex and Sexuality Variations. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-23756-0_7.

Full text
Abstract:
AbstractPeople with intersex variations are mostly framed within conservative psycho-medical research challenging their autonomy, or critical empowerment Intersex Studies literature noting discrimination. Resisting deficit-based framings, this chapter uses the concept ‘euphoria’ to investigate when, why and how 272 Australian online survey participants (aged 16-87yrs) had positive experiences of their intersex variations. Upon diagnosis, under one fifth described what this piece calls Category Validation, Difference Legitimisation, Knowledge Integration, Medical Sense-making or Sudden Hope eup
APA, Harvard, Vancouver, ISO, and other styles
10

Glas, Gerrit. "Searching for the Anthropological Foundations of Economic Practice: Controversies and Opportunities." In Relational Anthropology for Contemporary Economics. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-84690-9_7.

Full text
Abstract:
AbstractThis chapter is a comment on the contribution of Rebecca Klein in this volume, preceded by a conceptual analysis of the argument that is developed in the Homo Amans discussion paper.The main question that is raised is twofold and concerns the relation between science and worldview on the one hand, and between science and economic life on the other. With respect to the science – worldview relationship, it is doubted that science can play the role the authors of the Homo amans project expect it can have. What they have in mind is that science helps in validating and legitimizing a biblic
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Call validation"

1

Szatmári, Attila, Aondowase James Orban, and Tamás Gergely. "Weighted Call Frequency-Based Fault Localization." In 2025 IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2025. https://doi.org/10.1109/icst62969.2025.10989015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Szatmári, Attila. "Harnessing Test Call Structures for Improved Fault Localization Effectiveness." In 2025 IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2025. https://doi.org/10.1109/icst62969.2025.10988952.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Degraeuwe, Jasper, and Patrick Goethals. "Making ICALL’s intelligence accessible and understandable: evaluation, validation, and future directions of ICALL ecosystems." In EuroCALL 2023: CALL for all Languages. Editorial Universitat Politécnica de Valéncia, 2023. http://dx.doi.org/10.4995/eurocall2023.2023.16952.

Full text
Abstract:
In this paper, we will reflect upon the revised and expanded version of the Intelligent Computer-Assisted Language Learning (ICALL) ecosystem developed in Degraeuwe and Goethals (2022a). We portray the upgraded version of the ecosystem and perform a reflective analysis on it following the same methodology as presented in Degraeuwe and Goethals (2022a). The analysis is carried out by means of a case study with 22 participants who study Spanish as a foreign language and who work with the ecosystem in a blended writing course focused on vocabulary learning and lexical ambiguity. Students’ attitud
APA, Harvard, Vancouver, ISO, and other styles
4

Li, Ling. "Development and validation of digital teaching competence scale for Chinese foreign language teachers in primary and secondary schools." In XXnd International CALL Research Conference. Castledown Publishers, 2024. http://dx.doi.org/10.29140/9780648184485-21.

Full text
Abstract:
The digital transformation of foreign language education in China is contingent upon the digital teaching competence of primary and secondary foreign language teachers. This subject has attracted considerable attention among educational professionals. Nevertheless, there is a paucity of evaluation studies that concentrate on this particular group of educators, and an absence of a comprehensive system to assess their digital teaching abilities. This study aims to address this gap by developing a scale to evaluate the digital teaching competence of these teachers. The scale is grounded in the di
APA, Harvard, Vancouver, ISO, and other styles
5

Uehara, Suwako. "A Rasch analysis validation of a survey on the use and beliefs of machine translation." In EuroCALL 2023: CALL for all Languages. Editorial Universitat Politécnica de Valéncia, 2023. http://dx.doi.org/10.4995/eurocall2023.2023.16954.

Full text
Abstract:
Many English as a Foreign Language (EFL) students use Machine Translation (MT) to a varying degree and studies on the students’ use and beliefs of MT are primarily conducted through surveys and interviews. It is important for educators to understand students’ use and beliefs related to MT, however, there are few studies in the Japanese setting, and none validated the surveys prior to implementation. The goal of this study was to validate a survey on MT to be used in the Japanese context. Considerations for validity are crucial when designing surveys for quantitative analysis. In this study, a
APA, Harvard, Vancouver, ISO, and other styles
6

Bach, Thomas, Ralf Pannemans, and Artur Andrzejak. "Determining Method-Call Sequences for Object Creation in C++." In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE, 2020. http://dx.doi.org/10.1109/icst46399.2020.00021.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Rubanov, Vladimir V., and Eugene A. Shatokhin. "Runtime Verification of Linux Kernel Modules Based on Call Interception." In 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2011. http://dx.doi.org/10.1109/icst.2011.20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Yousefi, Anis, and Alan Wassyng. "A Call Graph Mining and Matching Based Defect Localization Technique." In 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2013. http://dx.doi.org/10.1109/icstw.2013.17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Pais, Leonor. "VALIDATION OF TEAM TRUST QUESTIONNAIRE FOR CALL CENTRE EMPLOYEES IN PORTUGAL." In SGEM 2014 Scientific Conference on PSYCHOLOGY AND PSYCHIATRY, SOCIOLOGY AND HEALTHCARE, EDUCATION. Stef92 Technology, 2014. http://dx.doi.org/10.5593/sgemsocial2014/b11/s1.074.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ostheimer, Phil, Mayank Kumar Nagda, Marius Kloft, and Sophie Fellenz. "A Call for Standardization and Validation of Text Style Transfer Evaluation." In Findings of the Association for Computational Linguistics: ACL 2023. Association for Computational Linguistics, 2023. http://dx.doi.org/10.18653/v1/2023.findings-acl.687.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Call validation"

1

Hodges, Jacob, S. Martin, Richard Hunt, and Mary Allison. Miami Harbor entrance channel improvements study : ship simulation report. Engineer Research and Development Center (U.S.), 2025. https://doi.org/10.21079/11681/49781.

Full text
Abstract:
The US Army Engineer Research and Development Center, Coastal and Hydraulics Laboratory (ERDC-CHL), Ship/Tow Simulator (STS) was used to perform a navigation study assisting the US Army Corps of Engineers (USACE), Jacksonville District. The study evaluates additional navigation channel modifications from the previous 2019 study to allow larger containerships to call at the Port of Miami. This study was conducted at the CHL real-time STS. Real-time refers to the fact that model time uses a 1:1 ratio to prototype time. In addition, real-world environmental forces were simulated and acted upon th
APA, Harvard, Vancouver, ISO, and other styles
2

Mousseau, Vincent Andrew, and Nam Dinh. CASL Verification and Validation Plan. Office of Scientific and Technical Information (OSTI), 2016. http://dx.doi.org/10.2172/1431322.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Nam Dinh. CASL Validation Data: An Initial Review. Office of Scientific and Technical Information (OSTI), 2011. http://dx.doi.org/10.2172/1017862.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chamanara, Sanaz, and Kaveh Madani. The Hidden Environmental Cost of Cryptocurrency: How Bitcoin Mining Impacts Climate, Water and Land. United Nations University Institute for Water, Environment and Health (UNU INWEH), 2023. http://dx.doi.org/10.53328/inr23asc02.

Full text
Abstract:
Based on a multi-attribute assessment of the environmental impacts and challenges associated with global Bitcoin (BTC) mining activities around the globe, we call for urgent action by the scientific, policy, and advocacy communities. The worldwide BTC mining network consumed 173.42 TWh of electricity during the 2020–2021 period, bigger than the electricity consumption of most nations. The mining process emitted over 85.89 Mt of CO2eq in the same timeframe, equivalent to the emission caused by burning 84 billion pounds of coal or running 190 natural gas-fired power plants. The environmental foo
APA, Harvard, Vancouver, ISO, and other styles
5

Gerst, Michael D. A Review of Community Resilience Indicators Using a Systems Measurement Framework. National Institute of Standards and Technology, 2024. http://dx.doi.org/10.6028/nist.sp.2300-01.

Full text
Abstract:
As natural disasters have increased in frequency and magnitude, there has been a growing need to understand the underlying factors that are likely to lead to faster recovery and more resilient communities. One way of addressing this need has been to develop sets of indicators or indicator indices that serve as proxy measurements for resilience, which is an emergent system property and cannot be directly measured. Since the application of indicators can have profound effects on community well-being, it is important that indicator selection involves stakeholders and is based on the best availabl
APA, Harvard, Vancouver, ISO, and other styles
6

Pitts, S. A., S. R. Novascone, H. Chen, et al. Initial 1.5D BISON Simulation Verification and Validation CASL FY17 Letter Report. Office of Scientific and Technical Information (OSTI), 2017. http://dx.doi.org/10.2172/1408522.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wolff, Patrick, Brett DeGregorio, and Aaron Rice. Demonstration of subsurface passive acoustic monitoring (SPAM) to survey for and estimate populations of imperiled underwater-calling frogs. Engineer Research and Development Center (U.S.), 2021. http://dx.doi.org/10.21079/11681/42386.

Full text
Abstract:
The management and recovery of threatened and endangered amphibians on Department of Defense (DoD) lands relies on an understanding of their distribution and abundance. Fortunately, most anuran species can be surveyed acoustically using vocalizations during the breeding season. This work demonstrated the use of subsurface passive acoustic monitoring (SPAM) to survey for rare underwater-calling, at-risk anuran species on DoD installations. We evaluated the performance of SPAM relative to traditional passive acoustic monitoring (PAM) (microphone) and human manual calling survey (MCS) methods. Re
APA, Harvard, Vancouver, ISO, and other styles
8

Dell'Olio, Franca, and Kristen Anguiano. Vision as an Impetus for Success: Perspectives of Site Principals. Loyola Marymount University, 2009. http://dx.doi.org/10.15365/ceel.policy.2.

Full text
Abstract:
Findings from the first two years of a 3-year evaluation of the PROMISE Model pilot are presented in this policy brief that seeks to understand the extent to which school principals know, understand, and act upon research-based principles for English Language Learners (ELL) and their intersection with the California Professional Standards for Educational Leadership related to promoting ELL success. Surveys and focus groups were used to gather data from school principals at fifteen schools throughout Southern California including early childhood, elementary, middle, and high schools. School pri
APA, Harvard, Vancouver, ISO, and other styles
9

Kalen, Nicholas. Remediated for accessibility per Section 508. National Park Service, 2023. http://dx.doi.org/10.36967/2298454.

Full text
Abstract:
I conducted bat surveys at Richmond National Battlefield Park to assess the status of bat communities following potential impacts of the disease white-nose syndrome. This disease, caused by the fungus Pseudogymnoascus destructans, has severely reduced populations of several bat species in the eastern United States, threatening some with regional extirpation. Most affected species include the little brown bat (Myotis lucifugus), northern long-eared bat (Myotis septentrionalis), Indiana bat (Myotis sodalis), and tricolored bat (Perimyotis subflavus). During the summers of 2016-2020, I sampled si
APA, Harvard, Vancouver, ISO, and other styles
10

Kalen, Nicholas. Bats of Richmond National Battlefield Park following white-nose syndrome: Public version. National Park Service, 2023. http://dx.doi.org/10.36967/2299295.

Full text
Abstract:
I conducted bat surveys at Richmond National Battlefield Park to assess the status of bat communities following potential impacts of the disease white-nose syndrome. This disease, caused by the fungus Pseudogymnoascus destructans, has severely reduced populations of several bat species in the eastern United States, threatening some with regional extirpation. Most affected species include the little brown bat (Myotis lucifugus), northern long-eared bat (Myotis septentrionalis), Indiana bat (Myotis sodalis), and tricolored bat (Perimyotis subflavus). During the summers of 2016–2020, I sampled si
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!