Filters








1,030,547 Hits in 3.1 sec

Propositional Objects

W.V. Quine
1968 Crítica. Revista Hispanoamericana de Filosofía  
If stimulus meanings are good objects for primitive propositional attitudes, then primitive propositional attitudes are assured at last of their objects.  ...  Propositions were thought of as meanings of sentences, and also as the objects of the propositional attitudes.  ... 
doi:10.22201/iifs.18704905e.1968.42 fatcat:vzdymgkudneanasd6oaeezkh4i

Object Propositions [chapter]

Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
2014 Lecture Notes in Computer Science  
We have developed a modular verification approach based on the novel abstraction of object propositions, which combine predicates and information about object aliasing.  ...  The presence of aliasing makes modular verification of object-oriented code difficult.  ...  Conclusion We have introduced the novel abstraction object proposition, which uses abstract predicates to describe properties of objects, and fractions to describe the aliasing between objects.  ... 
doi:10.1007/978-3-319-06410-9_34 fatcat:6uytbnqe4vemhpdr2mhyoiusfa

Ascent, Propositions and Other Formal Objects

2006 Grazer Philosophische Studien  
It belongs to a large class of sentences which mention such formal objects as propositions, states of aff airs, facts, concepts and sets and predicate formal properties such as the truth of propositions  ...  What right have we to assume that there are formal objects?  ...  Formal objects seem to have formal properties and to stand in formal relations: some propositions are true, some states of affairs obtain, objects exemplify properties, fall under concepts, and are members  ... 
doi:10.1163/18756735-072001002 fatcat:xnt2owlzwrclva4yah2zck7asu

Propositions as (non-linguistic) objects and philosophy of law: Norms-as-propositions

Guglielmo Feis
2020 Filozofija i Društvo  
ProPositions as (non-Linguistic) objects and PhiLosoPhy of Law  ...  -there are philosophers holding that propositions are objects (see later §2).  ... 
doi:10.2298/fid2003406f fatcat:dsn3ffz7irec3klbafffufu22u

The Oprop verification tool: object propositions in action

Ligia Nistor
2015 Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015  
The Oprop tool implements the theory of object propositions and verifies programs written in a simplified version of Java, augmented with the object propositions specifications.  ...  We have recently introduced object propositions as a modular verification technique that combines abstract predicates and fractional permissions.  ...  Object propositions are associated with object references in the code.  ... 
doi:10.1145/2814189.2815370 dblp:conf/oopsla/Nistor15 fatcat:kiikob3x2jen7kqm2agnklq67e

Verifying the proxy design pattern using object propositions

Ligia Nistor
2017 Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH Companion 2017  
In this extended abstract we explore the expressiveness and modularity of our recently published object propositions methodology by applying it to verify properties about programs that use the proxy design  ...  This instance implements a general proxy-real object system that is routinely used in industry and the verification of which is challenging.  ...  Java augmented with the object proposition annotations.  ... 
doi:10.1145/3135932.3135950 dblp:conf/oopsla/Nistor17 fatcat:d772yfw6rvbq5hyvwhp3vw2jay

Objection to the proposition of the new genus Abyssivirga

2017 International Journal of Systematic and Evolutionary Microbiology  
Objection to the proposition of the new genus Abyssivirga Anne Postec,* Bernard Ollivier and Marie-Laure Fardeau We have read with interest the recent paper published by Schouw et al.  ... 
doi:10.1099/ijsem.0.001601 pmid:27902224 fatcat:hodmxeeawbakndbq4evodyci7i

The Implementation of Object Propositions: The Oprop Verification Tool [chapter]

Ligia Nistor, Jonathan Aldrich
2017 Lecture Notes in Computer Science  
In this paper we present Oprop, a tool that implements the theory of object propositions.  ...  We have recently introduced object propositions as a modular vercation technique that combines abstract predicates and fractional permissions.  ...  logic on top of which we have added the object propositions.  ... 
doi:10.1007/978-3-319-68034-7_11 fatcat:cghfbtdbefhezanicbxtqo3cue

Mere Exposure as a Signal: Company Objectives and Research Propositions

Kristin A. Scott, Margaret A. White
2016 Journal of Marketing Theory and Practice  
MERE EXPOSURE AS A SIGNAL: COMPANY OBJECTIVES AND RESEARCH PROPOSITIONS Kristin A. Scott and Margaret A.  ...  In addition, it provides a conceptual framework of the objectives of this relationship on which propositions are derived and can be empirically tested.  ... 
doi:10.1080/10696679.2016.1205448 fatcat:ghapzsb6ijcrvf3bflhz6hp6gm

Review of Concept and Object: The Unity of the Proposition in Logic and Psychology

No authorship indicated
1990 Contemporary Psychology  
Concept and Object: The Unity of the Proposition in Logic and Psychology. London, England: Routledge, 1988. 144 pp. ISBN 0-415- 00172-2. $25.00.  ...  Critical analysis of the responses of 20th-century philosophers to the problem of unity of proposition in logic.  ... 
doi:10.1037/028434 fatcat:rt4dimqekjhabgbo6w3fa6be74

Proposition and Design of a Skill Learning Environment for Drawing onto 3D Objects Using AR

Kazuma Iwasako, Masato Soga
2015 Procedia Computer Science  
In this paper, we propose and explain the design of the skill learning environment for drawing onto 3D objects using AR.  ...  Japanese traditional art works, like ceramics painting, need some skills of painting onto three-dimensional objects. Training is needed for a long time to get their skills.  ...  Then, we put AR markers on the brushes and the object (Fig 3) . To detect them, the system gets postures of the brushes and the object.  ... 
doi:10.1016/j.procs.2015.08.266 fatcat:cltg6utjhzfx5k5o2b6znwmanq

Proposition of an Objective and Standardized Sustainability Index: An Alternative to ISE B3

João José De Melo Neto, Isabel Lausanne Fontgalland
2022 International Journal of Global Sustainability  
"Our minds are not naturally programmed to be objective [...]  ...  When people form impressions from limited information that may not always be objectively correct, they can inhibit more objective evaluation processes and result in distortions.  ... 
doi:10.5296/ijgs.v6i1.19785 fatcat:u373dogfz5a3pe56m4pfqwpocm

The proposition of the method of increasing dimensional accuracy of additive manufacturing objects
Propozycja metody zwiększania dokładności wymiarowej obiektów wykonywanych technikami przyrostowymi

Jakub Piękoś, Przemysław Siemiński, Roman Grygoruk
2016 Mechanik  
Artykuł przedstawia wyniki analizy wymiarowej obiektów wykonanych techniką przyrostową (drukiem 3D). Zaproponowano prostą metodę zwiększenia dokładności drukowanych modeli poprzez wprowadzenie współczynnika kompensującego błędy procesu. W oparciu o wyniki analizy modelu badawczego wyznaczono wartość współczynnika skalowania, który pozwolił na znaczne zmniejszenie wartości błędu względnego mierzonych wymiarów. W ramach pracy wykonano weryfikację poprawności zaprezentowanej metody z
more » ... optycznego skanera 3D. SŁOWA KLUCZOWE: druk 3D, FDM, odchyłki, dokładność wymiarowa, skalowanie This article presents the results of dimensional analysis of models which were made using 3D printing. We proposed a simple method of increasing dimensions of printed models using compensation scale factor. Scale factor allowed us to decrease relative error of measured dimensions. The verification of presented method was performed using optical 3D scanner.
doi:10.17814/mechanik.2016.12.548 fatcat:hfrrtibx2vejjla5lkfh2hahc4

Proposition of algorithm for detecting changes of course and speed of the tracked object

Marcin Mąka, Mariusz Dramski
2018 AUTOBUSY – Technika Eksploatacja Systemy Transportowe  
Often, however, the objects being tracked have a nuanced effect, which results in the necessity to correct the determined trajectory of the own object.  ...  This issue is relatively simple in case when the objects being tracked do not change the direction of movement and speed.  ...  Bibliografia Proposition of algorithm for detecting changes of course and speed of the tracked object The process of choosing a trajectory in a restricted area requires knowing not only the area itself  ... 
doi:10.24136/atest.2018.498 fatcat:x5n75vk2p5chjnfkgdzmebgieu

The angular gyrus is engaged by autobiographical recall not object-semantics, or event-semantics: Evidence from contrastive propositional speech production [article]

Gina F. Humphreys, Ajay D. Halai, Francesca M. Branzi, Matthew A. Lambon Ralph
2022 bioRxiv   pre-print
The key fMRI findings were: 1) AG was positively engaged during autobiographical memory retrieval. 2) The AG was strongly deactivated for definitions of object semantics and non-propositional speech. 3  ...  naturalistic task of propositional speech production.  ...  The semantic-object condition showed no AG (or DMN) activation.  ... 
doi:10.1101/2022.04.04.487000 fatcat:2h3dezkpnzg33fpjr354qfwzbm
« Previous Showing results 1 — 15 out of 1,030,547 results