Filters








38,131 Hits in 3.5 sec

FOUNDATIONS OF ONLINE STRUCTURE THEORY

NIKOLAY BAZHENOV, ROD DOWNEY, ISKANDER KALIMULLIN, ALEXANDER MELNIKOV
2019 Bulletin of Symbolic Logic  
Fix a punctual structure A. The collection of all punctual presentations of A carries a natural reduction, as defined below. Definition 5.1. Let A be a punctual structure.  ...  Note that D must be closed under isomorphisms; so the functor G must be defined on any structure isomorphic to one in the image of F .  ...  FOUNDATIONS OF ONLINE STRUCTURE THEORY FOUNDATIONS OF ONLINE STRUCTURE THEORY 33 Lemma 10.1.  ... 
doi:10.1017/bsl.2019.20 fatcat:7cs7fag7cjcwdehdo6ji2qd5vu

Vibro-acoustic analysis of laminated double glazing using the force identification method

Mounir Ben Jdidia, Ali Akrout, Dhouha Tounsi, Tahar Fakhfakh, Mohamed Haddar
2014 Journal of Theoretical and Applied Mechanics  
This paper presents a procedure for identifying wave forms and excitation frequencies of some forces applied on a given complex fluid-structure coupled system by using only its vibro-acoustic response.  ...  The considered concept is called the Independent Component Analysis (ICA) which is based on the Blind Source Separation (BSS).  ...  (k film = 1.362 · 10 7 N/mm 3 ) For these three different models, two types of loads are applied on laminate 1: the first one is defined by a uniformly distributed force and the second one is a punctual  ... 
doi:10.15632/jtam-pl.52.4.895 fatcat:ger5nuslafazbkehfljvsjtzty

Coordination Problem and Coordination among Groups: Effect of Group Size on Business Culture

Tetsuro Okazaki
2014 Journal of Advanced Management Science  
Based on this, I construct a coordination game that can explain Japanese cultures, punctuality and unpunctuality.  ...  I show that some division of the group can change the structure of games, resulting in multiplicity of equilibria. Therefore, each agent is likely to be punctual.  ...  This has the same property as weakest link property defined in [3] .  ... 
doi:10.12720/joams.2.3.232-235 fatcat:txsnxeb65fh4faqyxay6xpim4m

Frame Theory with First-Order Comparators: Modeling the Lexical Meaning of Punctual Verbs of Change with Frames [chapter]

Sebastian Löbner
2017 Lecture Notes in Computer Science  
verbs of change can be represented within one frame.  ...  The second part presents a case study of decomposition: frames for subtypes of intransitive punctual verbs of change, such as punctual 'grow' and 'go from A to B'.  ...  This distinguishes the approach from frameworks like Carpenter's [5] theory of typed feature structures: these are based on a given system of types with a semi-lattice structure defined by type subsumption  ... 
doi:10.1007/978-3-662-54332-0_7 fatcat:6kyinjr3izaircasaxm7u45v7u

Regularity analysis for optimizing urban transit network design

Niels van Oort, Rob van Nes
2009 Public Transport  
The tool can use actual data on the punctuality of the transit system. The application of such a tool is illustrated in two ways.  ...  Transit network planners often propose network structures that either assume a certain level of regularity or are even especially focused on improving service reliability, such as networks in which parts  ...  The paper is structured as follows: Section 2 provides a discussion on regularity and punctuality and their impact on travelers and the level of demand.  ... 
doi:10.1007/s12469-009-0012-y fatcat:tyctmnxemjbwzgi734geouzuxa

The Context-Dependency of Temporal Reference in Event Semantics [chapter]

Fabio Pianesi, Achille C. Varzi
1999 Lecture Notes in Computer Science  
Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice versa.  ...  By changing δ i , events previously treated as punctual may become non-punctual, in that their internal temporal structure is made available, and vice versa.  ...  This notion of "change" is purely metalinguistic if we focus on plain structures. But refinement structures can accommodate this variability directly.  ... 
doi:10.1007/3-540-48315-2_50 fatcat:zqr4gm76ojbtnfzk7r3too646y

Refining Temporal Reference in Event Structures

Fabio Pianesi, Achille C. Varzi
1996 Notre Dame Journal of Formal Logic  
Punctuality is a relative notion. This is not to deny that punctuality rests on some sort of minimality: punctual events cannot accommodate more structured ones.  ...  By changing δ, events previously treated as punctual may become non-punctual, in that their internal temporal structure is made available, and vice versa.  ... 
doi:10.1305/ndjfl/1040067317 dblp:journals/ndjfl/PianesiV96 fatcat:gb3tvterfbektmubiwwkbd7ygu

Software Development Models for Computer Based Workplace Attendance Management System

Julius Obidinnu, Boniface Ekechukwu, Virginia Ejiofor
2015 British Journal of Mathematics & Computer Science  
It further establishes that: the effectiveness of an attendance management system depends largely on the monitoring, recording, measuring, and reporting of attendance statistics.  ...  Consequently, it introduces a set of systematic drivers (algorithms, flowcharts, structure chart, and mathematical models), for building new systems, rather than discussing the features of a black-box  ...  We will further formulate a "rate of punctuality" model to determine the percentage of punctuality within a defined period of The high level program structure-chart for the proposed system is presented  ... 
doi:10.9734/bjmcs/2015/13634 fatcat:3ee4nxligjgsjeq26njakapbgi

Reconstruction of distributed force characteristics in case of non punctual objects impacting beams

A. El-Bakari, A. Khamlichi, R. Dkiouak, A. Liman
2012 MATEC Web of Conferences  
In this work, the characteristics of impact in case of an elastic beam with the impacting object not necessarily punctual are reconstructed.  ...  During impacts, simple examination of apparent traces on the structure surface is not sufficient because the damage may be invisible and deep inside the structure [1, 2] .  ...  In this work, a technique that can determine the impact characteristics for elastic beam like structures subjected to non punctual impacts is presented.  ... 
doi:10.1051/matecconf/20120110013 fatcat:vk5etl6rnbcwvg6ail24t3mo3m

10. Types of temporal adverbials and the fine structure of events [chapter]

Ferenc Kiefer
2009 Interface Explorations [IE]  
While sentence (12a) denotes one single punctual sneezing event, (12b) and (12c) express a series of punctual sneezing events. 14 The iterative reading is imposed on the predicate by the temporal adverbial  ...  The verb tüsszent 'sneeze' is a punctual verb: P(x, tü sszent). The process reading must be derived compositionally, which shows that lexical event structure may change on the sentence level.  ... 
doi:10.1515/9783110214802.2.247 fatcat:rl7okpk33ffhlnpwfkk4xp7dha

Effect Of Neighborhood Size On Negative Weights In Punctual Kriging Based Image Restoration

Asmatullah Chaudhry, Anwar M. Mirza
2007 Zenodo  
The formulation of the technique under consideration is based on punctual kriging and fuzzy concepts for image restoration in spatial domain.  ...  Our results show that effect of neighbourhood size higher than 5x5 on reduction in negative weights is insignificant.  ...  For a detailed discussion on image quality, one should refer to [12] . Structural similarity index measure (SSIM), recently proposed by Wang et al.  ... 
doi:10.5281/zenodo.1062547 fatcat:4xspuobcqvginn2gxruv3bkpju

Filtering of radar images for geological structural mapping

Catherine Mering, Jean-Francois Parrot, Jacky Desachy
1994 Image and Signal Processing for Remote Sensing  
Geological structural features may be described on satellite images as thin lines or contourS.The extraction of these features is usually performed by enhancement techniques such as filtering and edge  ...  We present here two methods of filtering based on local transformations of the grey-tone function.  ...  It is based on operator I / J and on a family of structuring elements of increasing radii BI, .... , En. They are defined in the Figure 3 .  ... 
doi:10.1117/12.196773 fatcat:5fls2mg4fvawfeeaaufj3uiaqy

Am I Done? Predicting Action Progress in Videos

Federico Becattini, Tiberio Uricchio, Lorenzo Seidenari, Lamberto Ballan, Alberto Del Bimbo
2020 ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)  
As a result, we define a categorization of actions and their phases.  ...  After introducing two evaluation protocols for the task at hand, we demonstrate the capability of our model to effectively predict action progress on the UCF-101 and J-HMDB datasets.  ...  This behavior is observable when the action can be broken down into a sequence of sub-phases that defines its structure.  ... 
doi:10.1145/3402447 fatcat:7bgk4bembzbc7o4ucsm4hl4fae

Punctual equivalence relations and their (punctual) complexity [article]

Nikolay Bazhenov, Keng Meng Ng, Luca San Mauro, Andrea Sorbi
2021 arXiv   pre-print
In this work, we explore 𝐏𝐞𝐪, the degree structure generated by primitive recursive reducibility on punctual equivalence relations (i.e., primitive recursive equivalence relations with domain ω).  ...  In contrast with all other known degree structures on equivalence relations, we show that 𝐏𝐞𝐪 has much more structure: e.g., we show that it is a dense distributive lattice.  ...  in which unbounded search is not allowed, that is formalized by focusing, e.g., on punctual presentations of structures, rather than computable ones.  ... 
arXiv:2109.04055v1 fatcat:rwpwfxb5bjchpj3n5qsjtd6zum

ViSiElse: an innovative R-package to visualize raw behavioral data over time

Elodie M. Garnier, Nastasia Fouret, Médéric Descoins
2020 PeerJ  
However, the current methods used to visualize raw data are limited to one or two numerical variables per graph and/or small sample sizes.  ...  ViSiElse was developed with the open-source software R to visualize behavioral observations over time based on raw time data extracted from visually recorded sessions of experimental observations.  ...  A long action is an action having a duration defined by two punctual actions, one of which occurs at its beginning and one at its ending.  ... 
doi:10.7717/peerj.8341 pmid:32117603 pmcid:PMC7003689 fatcat:2fionjs2vzhubpp7777treow24
« Previous Showing results 1 — 15 out of 38,131 results