scholarly journals Intel $^{\mbox{\scriptsize\circledR}}$ Core $^{\mbox{\scriptsize TM}}$ i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework

2011 ◽  
pp. 1-1
Author(s):  
Roope Kaivola
Keyword(s):  
Functional Language ◽  
Execution Engine ◽  
Formal Framework

Assessing Functional Language in School-Aged Children Using Language Sample Analysis

2020 ◽  
Vol 5 (3) ◽  
pp. 622-636
Author(s):  
John Heilmann ◽  
Alexander Tucci ◽  
Elena Plante ◽  
Jon F. Miller
Keyword(s):  
Computer Hardware ◽  
School Age Children ◽  
Functional Language ◽  
School Age ◽  
Clinical Use ◽  
Sample Analysis ◽  
Validity And Reliability ◽  
Language Sample Analysis ◽  
Accuracy And Repeatability ◽  
Language Sample

Purpose The goal of this clinical focus article is to illustrate how speech-language pathologists can document the functional language of school-age children using language sample analysis (LSA). Advances in computer hardware and software are detailed making LSA more accessible for clinical use. Method This clinical focus article illustrates how documenting school-age student's communicative functioning is central to comprehensive assessment and how using LSA can meet multiple needs within this assessment. LSA can document students' meaningful participation in their daily life through assessment of their language used during everyday tasks. The many advances in computerized LSA are detailed with a primary focus on the Systematic Analysis of Language Transcripts (Miller & Iglesias, 2019). The LSA process is reviewed detailing the steps necessary for computers to calculate word, morpheme, utterance, and discourse features of functional language. Conclusion These advances in computer technology and software development have made LSA clinically feasible through standardized elicitation and transcription methods that improve accuracy and repeatability. In addition to improved accuracy, validity, and reliability of LSA, databases of typical speakers to document status and automated report writing more than justify the time required. Software now provides many innovations that make LSA simpler and more accessible for clinical use. Supplemental Material https://doi.org/10.23641/asha.12456719

scholarly journals Three Ways of Being Non-Material

Studia Logica ◽  
2021 ◽  
Author(s):  
Vincenzo Crupi ◽  
Andrea Iacona
Keyword(s):  
Probabilistic Analysis ◽  
Quantitative Measure ◽  
Strict Interpretation ◽  
Formal Framework ◽  
Evidential Support ◽  
Ways Of Being

AbstractThis paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpretation of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

scholarly journals On the relation between keys and link keys for data interlinking

Semantic Web ◽  
2020 ◽  
pp. 1-21
Author(s):  
Manuel Atencia ◽  
Jérôme David ◽  
Jérôme Euzenat
Keyword(s):  
Description Logics ◽  
The Other ◽  
Formal Framework ◽  
Precise Relationship

Both keys and their generalisation, link keys, may be used to perform data interlinking, i.e. finding identical resources in different RDF datasets. However, the precise relationship between keys and link keys has not been fully determined yet. A common formal framework encompassing both keys and link keys is necessary to ensure the correctness of data interlinking tools based on them, and to determine their scope and possible overlapping. In this paper, we provide a semantics for keys and link keys within description logics. We determine under which conditions they are legitimate to generate links. We provide conditions under which link keys are logically equivalent to keys. In particular, we show that data interlinking with keys and ontology alignments can be reduced to data interlinking with link keys, but not the other way around.

scholarly journals J-CO: A Platform-Independent Framework for Managing Geo-Referenced JSON Data Sets

Electronics ◽  
2021 ◽  
Vol 10 (5) ◽  
pp. 621
Author(s):  
Giuseppe Psaila ◽  
Paolo Fosci
Keyword(s):  
Query Language ◽  
Open Data ◽  
Internet Technology ◽  
Data Sets ◽  
Specific Storage ◽  
Current State ◽  
Execution Engine ◽  
Share Data ◽  
Cloud Servers ◽  
Computational Resources

Internet technology and mobile technology have enabled producing and diffusing massive data sets concerning almost every aspect of day-by-day life. Remarkable examples are social media and apps for volunteered information production, as well as Open Data portals on which public administrations publish authoritative and (often) geo-referenced data sets. In this context, JSON has become the most popular standard for representing and exchanging possibly geo-referenced data sets over the Internet.Analysts, wishing to manage, integrate and cross-analyze such data sets, need a framework that allows them to access possibly remote storage systems for JSON data sets, to retrieve and query data sets by means of a unique query language (independent of the specific storage technology), by exploiting possibly-remote computational resources (such as cloud servers), comfortably working on their PC in their office, more or less unaware of real location of resources. In this paper, we present the current state of the J-CO Framework, a platform-independent and analyst-oriented software framework to manipulate and cross-analyze possibly geo-tagged JSON data sets. The paper presents the general approach behind the J-CO Framework, by illustrating the query language by means of a simple, yet non-trivial, example of geographical cross-analysis. The paper also presents the novel features introduced by the re-engineered version of the execution engine and the most recent components, i.e., the storage service for large single JSON documents and the user interface that allows analysts to comfortably share data sets and computational resources with other analysts possibly working in different places of the Earth globe. Finally, the paper reports the results of an experimental campaign, which show that the execution engine actually performs in a more than satisfactory way, proving that our framework can be actually used by analysts to process JSON data sets.

scholarly journals Actively revealing card attack on card-based protocols

2021 ◽  
Author(s):  
Ken Takashima ◽  
Daiki Miyahara ◽  
Takaaki Mizuki ◽  
Hideaki Sone
Keyword(s):  
Secure Computation ◽  
Malicious Attack ◽  
Formal Framework ◽  
Almost All ◽  
And Function

AbstractIn 1989, den Boer presented the first card-based protocol, called the “five-card trick,” that securely computes the AND function using a deck of physical cards via a series of actions such as shuffling and turning over cards. This protocol enables a couple to confirm their mutual love without revealing their individual feelings. During such a secure computation protocol, it is important to keep any information about the inputs secret. Almost all existing card-based protocols are secure under the assumption that all players participating in a protocol are semi-honest or covert, i.e., they do not deviate from the protocol if there is a chance that they will be caught when cheating. In this paper, we consider a more malicious attack in which a player as an active adversary can reveal cards illegally without any hesitation. Against such an actively revealing card attack, we define the t-secureness, meaning that no information about the inputs leaks even if at most t cards are revealed illegally. We then actually design t-secure AND protocols. Thus, our contribution is the construction of the first formal framework to handle actively revealing card attacks as well as their countermeasures.

Program bifurcation for a polymorphically typed functional language

1991 ◽  
Vol 26 (9) ◽  
pp. 142-153 ◽  
Author(s):  
Anne De Niel ◽  
Eddy Bevers ◽  
Karel De Vlaminck
Keyword(s):  
Functional Language

scholarly journals A formal framework for robot to understand compound concepts

2021 ◽  
Vol 1846 (1) ◽  
pp. 012035
Author(s):  
Yuanxiu Liao ◽  
Mingrui Yan ◽  
Xinqiao Li
Keyword(s):  
Formal Framework ◽  
Compound Concepts

scholarly journals Effect of corpus callosum agenesis on the language network in children and adolescents

2021 ◽  
Author(s):  
Lisa Bartha-Doering ◽  
Ernst Schwartz ◽  
Kathrin Kollndorfer ◽  
Florian Ph. S. Fischmeister ◽  
Astrid Novak ◽  
...  
Keyword(s):  
Functional Connectivity ◽  
Corpus Callosum ◽  
Network Connectivity ◽  
Functional Language ◽  
Healthy Controls ◽  
Language Abilities ◽  
Verbal Abilities ◽  
Left And Right ◽  
Language Network

AbstractThe present study is interested in the role of the corpus callosum in the development of the language network. We, therefore, investigated language abilities and the language network using task-based fMRI in three cases of complete agenesis of the corpus callosum (ACC), three cases of partial ACC and six controls. Although the children with complete ACC revealed impaired functions in specific language domains, no child with partial ACC showed a test score below average. As a group, ACC children performed significantly worse than healthy controls in verbal fluency and naming. Furthermore, whole-brain ROI-to-ROI connectivity analyses revealed reduced intrahemispheric and right intrahemispheric functional connectivity in ACC patients as compared to controls. In addition, stronger functional connectivity between left and right temporal areas was associated with better language abilities in the ACC group. In healthy controls, no association between language abilities and connectivity was found. Our results show that ACC is associated not only with less interhemispheric, but also with less right intrahemispheric language network connectivity in line with reduced verbal abilities. The present study, thus, supports the excitatory role of the corpus callosum in functional language network connectivity and language abilities.

Sign in / Sign up

Export Citation Format

Share Document