scholarly journals Verifying Quantitative Properties Using Bound Functions

2005 ◽  
pp. 50-64 ◽  
Author(s):  
Arindam Chakrabarti ◽  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger ◽  
Orna Kupferman ◽  
Rupak Majumdar
Keyword(s):  
Quantitative Properties

Words, constructions and corpora: Network representations of constructional semantics for Mandarin space particles

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Alvin Cheng-Hsien Chen
Keyword(s):  
Clustering Coefficient ◽  
Linguistic Knowledge ◽  
Scale Free ◽  
Network Analyses ◽  
Semantic Fields ◽  
Text Corpora ◽  
Quantitative Properties ◽  
Local Clustering Coefficient ◽  
Linguistic Units

AbstractIn this study, we aim to demonstrate the effectiveness of network science in exploring the emergence of constructional semantics from the connectedness and relationships between linguistic units. With Mandarin locative constructions (MLCs) as a case study, we extracted constructional tokens from a representative corpus, including their respective space particles (SPs) and the head nouns of the landmarks (LMs), which constitute the nodes of the network. We computed edges based on the lexical similarities of word embeddings learned from large text corpora and the SP-LM contingency from collostructional analysis. We address three issues: (1) For each LM, how prototypical is it of the meaning of the SP? (2) For each SP, how semantically cohesive are its LM exemplars? (3) What are the emerging semantic fields from the constructional network of MLCs? We address these questions by examining the quantitative properties of the network at three levels: microscopic (i.e., node centrality and local clustering coefficient), mesoscopic (i.e., community) and macroscopic properties (i.e., small-worldness and scale-free). Our network analyses bring to the foreground the importance of repeated language experiences in the shaping and entrenchment of linguistic knowledge.

Evolutionary Consequences of Tradeoffs between Yield and Rate of ATP Production

2002 ◽  
Vol 216 (1) ◽  
Author(s):  
Thomas Pfeiffer ◽  
Sebastian Bonhoeffer
Keyword(s):  
Game Theory ◽  
Population Dynamics ◽  
Energy Metabolism ◽  
Adenosine Triphosphate ◽  
Organic Material ◽  
High Yield ◽  
Atp Production ◽  
Cellular Processes ◽  
Quantitative Properties ◽  
Evolutionary Consequences

Adenosine triphosphate (ATP) is a key compound in the energy metabolism of cells and is required to drive vital biochemical reactions. In heterotrophic organisms ATP production is coupled to the degradation of energy-rich organic material taken up from the environment. In the transfer of the environmental energy to cellular processes heterotrophs face a tradeoff, since the conversion of the environmental energy into ATP cannot be both maximally fast and efficient. Here we show how tradeoffs between rate and yield of ATP production arise firstly from thermodynamical principles, and secondly for the ATP production by respiration and fermentation. Using methods derived from game theory and population dynamics we investigate the evolutionary consequences for both tradeoffs. We show that spatially structured environments enable the evolution of efficient pathways with high yield. The strategies of ATP production realized in a population, however, depend on the quantitative properties of the tradeoffs.

scholarly journals Some New Volterra-Fredholm-Type Discrete Inequalities and Their Applications in the Theory of Difference Equations

2011 ◽  
Vol 2011 ◽  
pp. 1-24 ◽  
Author(s):  
Bin Zheng ◽  
Qinghua Feng
Keyword(s):  
Difference Equations ◽  
Fredholm Type ◽  
Qualitative And Quantitative ◽  
Independent Variables ◽  
Discrete Inequalities ◽  
Quantitative Properties ◽  
Two Independent Variables

Some new Volterra-Fredholm-type discrete inequalities in two independent variables are established, which provide a handy tool in the study of qualitative and quantitative properties of solutions of certain difference equations. The established results extend some known results in the literature.

Mapping OWL-S Process Model to Timed Automata

2018 ◽  
Vol 11 (1) ◽  
pp. 29-48
Author(s):  
Amel Boumaza ◽  
Ramdane Maamri
Keyword(s):  
Web Services ◽  
Process Model ◽  
Timed Automata ◽  
Automatic Verification ◽  
Covering Problems ◽  
Field Verification ◽  
Starting Point ◽  
Quantitative Properties ◽  
Time Systems

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in this field, verification. In this article, the mapping of OWL-S process model to Timed automata is investigated, which is a suitable formalism for real time systems modeling and automatic verification. Hence, this has led to not only enabling automatic verification but also covering problems related to automated verification of temporal quantitative properties as bounded liveness property. As a starting point, the OWL-S and sub entry of time ontologies for describing the timed behaviour of services has been chosen. A defined set of mapping rules is used to automatically encode control constructs defined in OWL-S and temporal information into timed automata. Also, it is shown how a Uppaal checker is used to check required properties formulated in TCTL. Finally, an EClinic case study is used to illustrate the technique.

scholarly journals Comparative evaluation of properties of a clay based ceramic shaped via four techniques

Cerâmica ◽  
2018 ◽  
Vol 64 (370) ◽  
pp. 176-182 ◽  
Author(s):  
C. I. Torres ◽  
N. M. Rendtorff ◽  
M. Cipollone ◽  
E. F. Aglietti ◽  
G. Suárez
Keyword(s):  
Sintering Temperature ◽  
Continuous Process ◽  
Slip Casting ◽  
Textural Properties ◽  
Batch Process ◽  
Ceramic Ware ◽  
Kaolinite Clay ◽  
Qualitative And Quantitative ◽  
Quantitative Properties ◽  
Forming Methods

Abstract The results of qualitative and quantitative properties of clay based ceramic are presented in this work. Four different shaping methods and sintering temperatures were used to understand their influence in the final properties of a ceramic material formulated using kaolinite clay and calcined alumina. This material can be used as a structural ceramic for different applications, and there is no pre-established relation between the forming method and the final sintered properties. Forming methods used to prepare the samples were uniaxial pressing (a batch process that allows application in dry samples), extruding (a continuous process that requires moisture), slip casting (a process that allows to shape complex ceramic ware), and lamination (a batch process that requires moisture). Sintering temperatures were in the range of 1100 and 1400 °C. In order to compare how properties behave as the shaping method and sintering temperature change, textural properties, shrinkage, porosimetry, phase composition and mechanical strength were evaluated and analyzed. Scanning electron microscopy and microtomography were employed for analyzing and comparing the developed microstructures. Differences in the resulting properties are explained in terms of the developed crystalline phases and microstructure.

scholarly journals USE OF INFORMATION AND REFERENCE COLLECTIONS FOR TRACE EVIDENCE EXAMINATIONS

2018 ◽  
Vol 18 ◽  
pp. 309-316
Author(s):  
V.V. Kozhevnikov
Keyword(s):  
Group Affiliation ◽  
Trace Evidence ◽  
Forming Mechanism ◽  
Probative Value ◽  
Natural Objects ◽  
Quantitative Properties

In most cases while performing trace evidence examinations the research volume depends questions asked an expert. Issues are identifying (sameness determination, group affiliation) and non-identifying (establishing a trace-forming mechanism). Although identifying researches are more important while truth establishing and have some probative value in criminal and other processes, the research of non-identifying nature is also important. However, thanks to them an expert establishes the kind of trace-forming object on general features reflected in traces. Use of information and reference collections is a significant help while performing examinations of a non-identifying nature. Using natural objects from collections allows to establish qualitative or quantitative properties of real evidence, to attribute them to certain groups (kind) of objects. This is accomplished by comparing the research object with samples from collections, which results in coincidence or differences in their generic characteristics. Evaluation of these coincidences or differences allows determining that studied object belongs to (or does not belong) a group (kind, class) of the relevant objects in the collection or that it arose as a result of a certain trace-forming mechanism. For example if for an expert it is necessary to find out the trace-forming mechanism of dynamic traces, having the collection natural objects; it is possible to perform a number of expert experiments and according to these results to reach a certain conclusion. Thus, the use of information and reference collections while performing trace evidence examinations in procedural form (while performing examinations) is a simple and accessible support means for correct and scientifically substantiated answering to questions asked an expert. Effectiveness of using such collections depends on objects number or volume of information contained in, their systematization and classification, as well as expert ability to apply objects of these collections at one or another stage of expert research.

scholarly journals Whole Brain 3D MR Fingerprinting in Multiple Sclerosis: A Pilot Investigation

2021 ◽  
Author(s):  
Thomaz R. Mostardeiro ◽  
Ananya Panda ◽  
Norbert G. Campeau ◽  
Robert J. Witte ◽  
Yi Sui ◽  
...  
Keyword(s):  
Multiple Sclerosis ◽  
Three Dimensional ◽  
Acquisition Time ◽  
Imaging Method ◽  
Whole Brain ◽  
Normal Appearing White Matter ◽  
Pilot Investigation ◽  
Quantitative Properties ◽  
Perfect Discrimination ◽  
3.0T Mri

Abstract Background: MR fingerprinting (MRF) is a novel imaging method proposed for the diagnosis of Multiple Sclerosis (MS). This study aims to determine if MR Fingerprinting (MRF) relaxometry can differentiate frontal normal appearing white matter (F-NAWM) and splenium in patients diagnosed with MS as compared to controls and to characterize the relaxometry of demyelinating plaques relative to the time of diagnosis.Methods: Three-dimensional (3D) MRF data were acquired on a 3.0T MRI system resulting in isotropic voxels (1x1x1mm3) and a total acquisition time of 4min 38s. Data were collected on 18 subjects paired with 18 controls. Regions of interested were drawn over MRF-derived T1 relaxometry maps encompassing selected MS lesions, F-NAWM and splenium. T1 and T2 relaxometry features from those segmented areas were used to classify MS lesions from F-NAWM and splenium with T-distributed stochastic neighbor embedding algorithms (T-SNE). Partial least squares discriminant analysis (PLS-DA) was performed to discriminate NAWM and Splenium in MS compared with controls. Results: Mean out-of-fold machine learning prediction accuracy for discriminant results between MS patients and controls for F-NAWM was 65% and approached 90% for the splenium. There was significant positive correlation between time since diagnosis and MS lesions mean T2 (p=0.015), minimum T1 (p=0.03) and negative correlation with splenium uniformity (p=0.04). Perfect discrimination (AUC=1) was achieved between selected features from MS lesions and F-NAWM.Conclusions: 3D-MRF has the ability to differentiate between MS and controls based on relaxometry properties from the F-NAWM and splenium. Whole brain coverage allows the assessment of quantitative properties within lesions that provide chronological assessment of the time from MS diagnosis.

Experimental charge density of sucrose at 20K: bond topological, atomic, and intermolecular quantitative properties

2007 ◽  
Vol 342 (11) ◽  
pp. 1480-1489 ◽  
Author(s):  
Da’san M.M. Jaradat ◽  
Stefan Mebs ◽  
Lilianna Chęcińska ◽  
Peter Luger
Keyword(s):  
Charge Density ◽  
Quantitative Properties ◽  
Experimental Charge Density
Sign in / Sign up

Export Citation Format

Share Document