Search
Results: 1213
Letter from Editor
Alex Muller
Jan 01, 0001
This is the introductory letter from Editor-in-Chief Alex Muller.
Magazine Literary Magazine Arts Magazine art poetry prose Creative Nonfiction Photography Creative Writing Creative Writing Nonfiction
Published by: Winthrop University
Letter from Editor
Alex Muller
Jan 01, 0001
This is the introductory letter from Editor-in-Chief Alex Muller.
Magazine Literary Magazine Arts Magazine art poetry prose Creative Nonfiction Photography Creative Writing Creative Writing Nonfiction
Published by: Winthrop University
Herd immunity
Herd immunity is an important yet often misunderstood concept in epidemiology. As immunity accumulates in a population — naturally during the course of an epidemic or through vaccination — the spread of an infectious disease...
/dk/atira/pure/subjectarea/asjc/2800/2800 name=General Neuroscience /dk/atira/pure/subjectarea/asjc/1300/1300 name=General Biochemistry,Genetics and Molecular Biology /dk/atira/pure/subjectarea/asjc/1100/1100 name=General Agricultural and Biological Sciences /dk/atira/pure/sustainabledevelopmentgoals/good_health_and_well_being name=SDG 3 - Good Health and Well-being
Herd immunity
Herd immunity is an important yet often misunderstood concept in epidemiology. As immunity accumulates in a population — naturally during the course of an epidemic or through vaccination — the spread of an infectious disease...
/dk/atira/pure/subjectarea/asjc/2800/2800 name=General Neuroscience /dk/atira/pure/subjectarea/asjc/1300/1300 name=General Biochemistry,Genetics and Molecular Biology /dk/atira/pure/subjectarea/asjc/1100/1100 name=General Agricultural and Biological Sciences /dk/atira/pure/sustainabledevelopmentgoals/good_health_and_well_being name=SDG 3 - Good Health and Well-being
Corrections to: Use of the BOADICEA Web Application in clinical practice
Anne Brédart, Jean-Luc Kop, Antonis C Antoniou, Alex P Cunningham, Antoine de Pauw, Marc Tischkowitz, Hans Ehrencrona, Sylvie Dolbeault, Léonore Robieux, Kerstin Rhiem, Douglas F Easton, Peter Devilee, Dominique Stoppa-Lyonnet, Rita Schmutlzer
Jan 23, 2018
The article "Use of the BOADICEA Web Application in clinical practice: appraisals by clinicians from various countries" written by Anne Brédart · Jean‑Luc Kop · Antonis C. Antoniou · Alex P. Cunningham · Antoine De Pauw ·Marc...
Real world outcomes of biopsy-proven oncocytic neoplasm of the kidney managed by surveillance.
Flora E Rodger, Keiran Brown, Steve Leung, Jack Coode-Bate, James Armitage, Anne Warren, Jane Hendry, Grant D Stewart, Alex Laird, Grenville M Oades
Mar 03, 2022
OBJECTIVES: To evaluate outcomes of patients diagnosed with oncocytic renal neoplasms on routine renal mass biopsy and to describe the natural history of these tumours when managed with surveillance as opposed to immediate...
Imperative programs as proofs via game semantics
Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs....
Revisiting Decidable Bounded Quantification, via Dinaturality
James Laird
Feb 22, 2023
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable...
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...
Associative Patterning
This chapter begins with a brief discussion of the basic concepts related to the unconscious life of an organization, and then addresses specific aspects of knowledge, learning, and memory, developing a language and framework...
Published by: IGI Global Scientific Publishing
Constructing differential categories and deconstructing categories of games
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category...
Leaders, Decisions, and the Neuro-Knowledge System
Every decision-maker has a self-organizing, hierarchical set of theories (and consistent relationship among those theories) that guide their decision-making process. In support of this thesis the authors explore the following...
Cybernetics Computer Science and Information Technology Cognitive Informatics Business and Management Physical Sciences and Engineering
Published by: IGI Global Scientific Publishing
Game semantics for a polymorphic programming language
J. Laird
Aug 01, 2013
This article presents a game semantics for higher-rank polymorphism, leading to a new model of the calculus System F, and a programming language which extends it with mutable variables. In contrast to previous game models of...
Revisiting Decidable Bounded Quantification, via Dinaturality
James Laird
Feb 22, 2023
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable...
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...
A survey on clinical natural language processing in the United Kingdom from 2007 to 2022.
Honghan Wu, Minhong Wang, Jinge Wu, Farah Francis, Yun-Hsuan Chang, Alex Shavick, Hang Dong, Michael TC Poon, Natalie Fitzpatrick, Adam P Levine, Luke T Slater, Alex Handy, Andreas Karwath, Georgios V Gkoutos, Claude Chelala, Anoop Dinesh Shah, Robert Stewart, Nigel Collier, Beatrice Alex, William Whiteley, Cathie Sudlow, Angus Roberts, Richard JB Dobson
Dec 22, 2022
Much of the knowledge and information needed for enabling high-quality clinical research is stored in free-text format. Natural language processing (NLP) has been used to extract information from these sources at scale for...
Modeling the Complexity of Road Accidents Prevention
Simplistic representations of traffic safety disregard the dynamic interactions between the components of the road transport system (RTS). The resultant road accident (RA) preventive measures are consequently focused almost...
Published by: IGI Global Scientific Publishing
Developing Critical Digital Literacies Through Digital Storytelling
The South African Higher Education sector has undergone major transformation since the end of Apartheid more than 25 years ago. Critical digital literacies and critical (digital) citizenship, aligns with the most important...
Published by: IGI Global Scientific Publishing
Game semantics for a polymorphic programming language
J. Laird
Aug 01, 2013
This article presents a game semantics for higher-rank polymorphism, leading to a new model of the calculus System F, and a programming language which extends it with mutable variables. In contrast to previous game models of...
Weighted models for higher-order computation
James Laird
Dec 31, 2020
We study a class of quantitative models for higher-order computation: Lafont categories with (infinite) biproducts. Each of these has a complete “internal semiring” and can be enriched over its modules. We describe a...
Complete semirings Computational adequacy Fixed points Game Semantics Linear logic Quantitative models /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1710 name=Information Systems /dk/atira/pure/subjectarea/asjc/1700/1706 name=Computer Science Applications /dk/atira/pure/subjectarea/asjc/1700/1703 name=Computational Theory and Mathematics
Weighted models for higher-order computation
James Laird
Dec 31, 2020
We study a class of quantitative models for higher-order computation: Lafont categories with (infinite) biproducts. Each of these has a complete “internal semiring” and can be enriched over its modules. We describe a...
Complete semirings Computational adequacy Fixed points Game Semantics Linear logic Quantitative models /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1710 name=Information Systems /dk/atira/pure/subjectarea/asjc/1700/1706 name=Computer Science Applications /dk/atira/pure/subjectarea/asjc/1700/1703 name=Computational Theory and Mathematics
Unveiling the Triagonal Dynamics of Absorptive Capacity 4.0
This study delves into the intricate relationship between Absorptive Capacity, Organizational Learning, and the Learning Organization. It introduces Absorptive Capacity 4.0, a dynamic framework that traces an organization's...
Published by: IGI Global Scientific Publishing
Imperative programs as proofs via game semantics
Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs....
New CSL President, Vice President Vow to 'Mobilize' Student Government
Winthrop University
Jan 01, 0001
The two ran on a platform that promised to make CSL more inclusive and accessible to the student body by "mobilizing it and bringing it to [their] fellow Eagles." The Winthrop University student body elected Ray McKetty and...
Published by: Winthrop University
Seeking Global Coherence
Alex Bennet
Feb 11, 2022
The historical focus on relationships based on the trust and respect of people—initially family and then moving into business associates—has become idea focused, with value built on respect for and resonance with ideas....
Communication Studies Media and Communications Communications Theory Government and Law Social Sciences and Humanities
Published by: IGI Global Scientific Publishing
|
|< |
< |
1 |