11,332 Hits in 13.9 sec

Logic and Sense

Urszula Wybraniec-Skardowska
2016 Philosophy Study  
Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl's ideas of pure grammar, Leśniewski-Ajukiewicz's theory syntactic/  ...  syntactic and semantic (extensional and intensional) categories of expressions of L.  ...  The syntactic (resp. intensional, resp. extensional) category with the index ξ is the set of all wfes of S that have the categorial index ξ (resp. intensions of which, resp. extensions of which have the  ... 
doi:10.17265/2159-5313/2016.09.007 fatcat:j4j5ayzcurgedijchdsmsyiaai

Dualistic Ontologies

F.A. Grootjen, Th.P. van der Weide
2005 International Journal of Intelligent Information Technologies  
Both the set model as the fuzzy set model lead to Formal Concept Analysis, in which the fuzzy set model is equipped with a parameter that controls the fine-grainedness of the resulting concepts.  ...  The vector model leads to concepts derived by latent semantic indexing using the singular value decomposition.  ...  Let I be its set of intentional objects and E its set of extensional objects.  ... 
doi:10.4018/jiit.2005070103 fatcat:fjhd6kxfqjerdnv4jjwf3q45ca

A Dynamic Mechanical Thermal T-Peel Test Approach To Characterize Interfacial Behavior Of Polymeric Textile Composites

J. R. Büttler, T. Pham
2018 Zenodo  
In order to investigate the interfacial phenomena in detail, advanced characterization techniques are favorable.  ...  Independent of the matrix used in the textile composite, there is a decrease of extensional stress by increasing temperature.  ...  ACKNOWLEDGMENT The authors gratefully acknowledge financial support from the Austrian Federal Ministry of Transport, Innovation and Technology (BMVIT) to the Endowed Professorship Advanced Manufacturing  ... 
doi:10.5281/zenodo.1474268 fatcat:viyucecj3baaxltdodg5fefwuy

Low spring index, large displacement Shape Memory Alloy (SMA) coil actuators for use in macro- and micro-systems

Brad Holschuh, Dava Newman, Herbert R. Shea, Rajeshuni Ramesham
2014 Reliability, Packaging, Testing, and Characterization of MOEMS/MEMS, Nanodevices, and Nanomaterials XIII  
Specifically, we describe the development and characterization of minimum achievable spring index coiled actuators made from 0.3048 mm (0.012") diameter shape memory alloy (SMA) wire for integration in  ...  Production and shape setting of the coiled actuators, as well as experimental test methods, are described.  ...  ACTUATOR PERFORMANCE Multiple low spring index actuators were manufactured and tested to characterize their activation properties.  ... 
doi:10.1117/12.2044406 fatcat:4plqa2tepfbhvaapnrj3frtpdi

Criteria of language learning

Daniel N. Osherson, Scott Weinstein
1982 Information and Control  
characterized in (a).  ...  of the sentences of the target language, arranged in arbitrary order; the process embodied by the human language learner is assumed to be "mechanical" in the sense of realizing a computable function of  ...  Were FINT a subset of INT, then FINT would be a subset of EXT, since INT is a subset of EXT (by definition). But this would contradict Proposition 3.  ... 
doi:10.1016/s0019-9958(82)80025-9 fatcat:mfh5ut44dvebhgxgnxf5mzzery

Application of paleostress analysis for the identification of potential instability precursors within the Benue Trough Nigeria

Ogbonnaya Igwe, Ikenna Anthony Okonkwo
2016 Geoenvironmental Disasters  
Results: Three fracture sets were isolated from analysis of fracture orientations and field relationships: Pre-folding (JT), Syn-Folding (JS) and Post Folding (JC) fracture systems.  ...  Structures such as faults, joints and fractures of diverse patterns have acted as precursors of several slope instability cases within the Benue Trough Nigeria.  ...  Acknowledgements The authors wish to acknowledge the support of the staff and post-graduate students of the Department of Geology, University of Nigeria, Nsukka during and after data collection.  ... 
doi:10.1186/s40677-016-0051-z fatcat:t2zqkgczm5foza6no3yywoheji

Quantum States as Virtual Singletons: Converting Duality into Symmetry

Giulia Battilotti
2013 International Journal of Theoretical Physics  
So, despite its nonsense in a traditional logical setting, symmetry can hide the peculiar advantage for the treatment of information, that is proper of quantum mechanics.  ...  In a predicative framework from basic logic, defined for a model of quantum parallelism by sequents, we characterize a class of first order domains, termed virtual singletons, which allows a generalization  ...  They are equal as sets, from an extensional point of view.  ... 
doi:10.1007/s10773-013-1823-9 fatcat:sy7fi3txm5crbf664g7rllhifa

Seasonal modulation of seismicity: the competing/collaborative effect of the snow and ice load on the lithosphere [article]

Antonella Peresan, Francesco Cocetta, Giuliano F. Panza
2017 arXiv   pre-print
This study generalizes to different seismotectonic settings the early observations made about short-term (seasonal) and long-term (secular) modulation of seismicity and confirms, with some statistical  ...  The analysis of the seasonal effect is extended to several shortening (e.g.  ...  The first part of the table lists regions according to their tectonic setting: we observe that shortening regions present positive SIs; instead, extensional areas present negative ones.  ... 
arXiv:1702.06292v2 fatcat:xhkb6bbu75fonbgevhntuqhgva

Determination Extensional Viscosity And Cracking Index of Sulfure Waste Modified Asphalt Cement

Abdullah Rashed, Duhok Polytechnic University, Ai Al-hadidy, University of Mosul
2021 The Journal of The University of Duhok  
This type of distress results in alligator and longitudinal cracking, spallings due to temperatures variations.This research determined the index of cracking and extensional viscosity of sulfur waste/asphalt  ...  Physical tests including: penetration, ductility, softening degree, absolute viscosity, elastic moduli, temperature effects, ageing, index of cracking, extensional viscosity, and morphology assays were  ...  C, elastic moduli, % losses in weight due to effects of heat and air at 163 deg.C (ageing), ageing index, cracking index, temperature effects, morphology, extensional viscosity of SWMAC, and SWMAM were  ... 
doi:10.26682/sjuod.2021.24.1.4 fatcat:ugcz4jwf5bhixh22xlp66rxe4i

On Language Adequacy

Urszula Wybraniec-Skardowska
2015 Studies in Logic, Grammar and Rhetoric  
Peirce, L is characterized first as a language of wellformed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens.  ...  In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional seman- tics for wfe-types and constituents of  ...  ., the extensional semantic category with the index ξ is a set of all the expression-types of L, whose denotations (extensions) belong to the ontological category with the index ξ.  ... 
doi:10.1515/slgr-2015-0013 fatcat:dttmvcrt6rg4vapho3x4e7afo4

Intensional answers to database queries

A. Motro
1994 IEEE Transactions on Knowledge and Data Engineering  
This information is often referred to as intensional logical data independence; i.e., interpret queries that specify information (the data are referred to as extensional information). only a list of attributes  ...  there have been several independent research works that suggested ways by which intensional information may be specific relations to which the attributes belong and how used to improve the conventional (extensional  ...  Although the intensional informa-characterization of the retrieved set of values of which the user is aware.  ... 
doi:10.1109/69.334858 fatcat:6uepmxm4pra6dnwvtca4j7ekcm

Low Spring Index NiTi Coil Actuators for Use in Active Compression Garments

Bradley Holschuh, Edward Obropta, Dava Newman
2015 IEEE/ASME transactions on mechatronics  
Thermomechanical coil models are presented that describe temperature and force as a function of non-dimensionalized coil geometry, extensional strain, and applied voltage.  ...  This paper describes the modeling, development, and testing of low spring index nickel titanium (NiTi) coil actuators designed for use in wearable compression garments, and presents a prototype tourniquet  ...  Active Blocking Force-Voltage-Extensional Strain Testing A final set of tests was completed to characterize the joint effect of extensional strain and applied voltage (and therefore applied power) on average  ... 
doi:10.1109/tmech.2014.2328519 fatcat:i74qs7xv2bh55fqf5bxcig6njm

Extensional set learning (extended abstract)

Sebastiaan A. Terwijn
1999 Proceedings of the twelfth annual conference on Computational learning theory - COLT '99  
We investigate the model recBC of learning of r.e. sets, where changes in hypotheses only count when there is an extensional difference.  ...  In contrast to the model of recursive identifiability, we prove that the BC-model separates the notions of finite thickness and finite elasticity. * An extended abstract of this work appeared in  ...  I solved it (in the negative) and soon thereafter learned of the positive answer for uniformly recursive classes when John Case was visiting Amsterdam.  ... 
doi:10.1145/307400.307448 dblp:conf/colt/Terwijn99 fatcat:ehttp6yakffbfffkvxqpdyykb4

Hot: A concurrent automated theorem prover based on higher-order tableaux [chapter]

Karsten Konrad
1998 Lecture Notes in Computer Science  
We show the usefulness of the implementation by including benchmark results for over one hundred solved problems from logic and set theory.  ...  Hot is an automated higher-order theorem prover based on HT E, an extensional higher-order tableaux calculus.  ...  For instance, the problematic interaction of indexing and extensionality discussed in section 3.3 is important to all automated higher-order theorem proving systems that are based on full extensionality  ... 
doi:10.1007/bfb0055140 fatcat:tuxfckgj5bao5awpbid6rhe2ha

D2R2: Disk-Oriented Deductive Reasoning in a RISC-Style RDF Engine [chapter]

Mohamed Yahya, Martin Theobald
2011 Lecture Notes in Computer Science  
D2R2 aims to bridge the gap between rule-oriented (intensional) reasoning with deduction rules and data-oriented (extensional) processing of large joins, over a set of highly tuned, disk-based index structures  ...  We present a generalization of QSQR, which allows for dynamic sub-query scheduling and chaining of extensional predicates into atomic join patterns-two key extensions for coupling QSQR with a disk-oriented  ...  The choice between the two is done by the user, as there is no syntactic characterization of queries that result in cycles to automate this selection [3] .  ... 
doi:10.1007/978-3-642-24908-2_14 fatcat:4e4ggvijkzc7vfkred22z2srw4
« Previous Showing results 1 — 15 out of 11,332 results