30,476 Hits in 6.6 sec

Illumination Modeling and Generation of Realistic Images Using Internet Technologies

B. Kh. Barladyan, A. G. Voloboi, N. I. V'yukova, V. A. Galaktionov, N. B. Deryabin
2005 Programming and computer software  
Architectural, technological, and software solutions that ensure effective modeling of illumination, produce realistic images, and ensure a reasonable response time when working with Internet applications  ...  Such applications enable Internet users create physically accurate models of global scene illumination and produce high-quality images; it also allows scene editing.  ...  Shapiro, and others.  ... 
doi:10.1007/s11086-005-0037-1 fatcat:zmu4lpjlrnegzb4ecqws4plv3q

On distinguishing progressively increasing response requirements for reinforcement

David P. Jarmolowicz, Kennon A. Lattal
2010 The Behavior Analyst  
Following an assessment of the different types of contingencies that result from such progressive response requirements and the labels used to describe them, a set of descriptive labels is suggested for  ...  these different types of progressively increasing response requirements.  ...  between sessions, reveals that the two procedures produce break points that differ in their relation to behavioral economic measures such as P max (the point on the demand curve at which the slope of  ... 
doi:10.1007/bf03392207 pmid:22479130 pmcid:PMC2867500 fatcat:7gpxxi7stjefnmhxfnjam5l77e

Bitstream – Binary Data for Humans

Sébastien Boisgérault
2018 Journal of Open Source Software  
One can also define and register custom (even parametrized) types and their binary representation, and then use them with the same interface.  ...  Bitstream supports out of the box data types from Python and NumPy: ASCII strings, (arrays of) booleans, fixed-size integers, floating-point numbers, etc.  ...  One can also define and register custom (even parametrized) types and their binary representation, and then use them with the same interface.  ... 
doi:10.21105/joss.00541 fatcat:p27bg2rjovb6nlkz4h23hwmdee

Quantifying the association between discrete event time series with applications to digital forensics

Christopher Galbraith, Padhraic Smyth, Hal S. Stern
2020 Journal of the Royal Statistical Society: Series A (Statistics in Society)  
We pursue a non-parametric approach to the problem and investigate various score functions to quantify association, including characteristics of marked point processes and summary statistics of interevent  ...  We consider the problem of quantifying the degree of association between pairs of discrete event time series, with potential applications in forensic and cybersecurity settings.  ...  This research was partially funded through co-operative agreement #70NANB15H176 between the US National Institute of Standards and Technology and Iowa State University, which includes activities carried  ... 
doi:10.1111/rssa.12549 fatcat:cvuv5wtjqrdcpc2w5zh2sbxnha

Parametric effects of reinforcement frequency, amount of reinforcement, and required response force on sheltered workshop behavior1

Stephen R. Schroeder
1972 Journal of Applied Behavior Analysis  
Experiment I showed that with amount of reinforcement held constant, work rates were positively related to reinforcement rates on fixed-interval schedules and inversely related to reinforcement rates on  ...  The application of the principles of reinforcement schedules to the modification of human behavior requires attention in applied behavior analysis.  ...  Each point is the average of 10 sessions of performance.  ... 
doi:10.1901/jaba.1972.5-431 pmid:16795367 pmcid:PMC1310785 fatcat:syebp4jntbcutokiiujn6outzq

Numerical control of kohonen neural network for scattered data approximation

Mikl�s Hoffmann
2005 Numerical Algorithms  
The quality and computing time of the approximation can be controlled by numerical parameters.  ...  As a further application, ruled surface is produced from a set of unordered lines by the network. 2000 Mathematics Subject Classification. 68U07, 65D17, 68T20.  ...  Parametrization is the way how to assign parameter values to each point, where normally several restrictions and assumptions are introduced.  ... 
doi:10.1007/s11075-004-3628-7 fatcat:gql2nsy5zrb2ranv2xfdvzpnpy

Experimetrics: A Survey

Peter G. Moffatt
2021 Foundations and Trends in Econometrics  
The application used as an example will be the level-k model, in which subject types are defined by their levels of reasoning.  ...  the subject makes a choice and also reports strength of preference; interval data arises when the subject is faced with a sequence of choice problems and decides on their switch-point, that is, where  ... 
doi:10.1561/0800000035 fatcat:5bclfmgvz5cd5osjrpslfbqxpm

Parameterised Multiparty Session Types

Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri, Raymond Hu, Luke Ong
2012 Logical Methods in Computer Science  
To type individual distributed processes, a parameterised global type is projected onto a generic generator which represents a class of all possible end-point types.  ...  We prove the termination of the type-checking algorithm in the full system with both multiparty session types and recursive types.  ...  We thank the reviewers, Lasse Nielsen and Dimitris Mostrous for their useful comments for the paper and Kohei Honda for discussions.  ... 
doi:10.2168/lmcs-8(4:6)2012 fatcat:omwf6ft5dncqhpthi23pusd2u4

Parameterised Multiparty Session Types [chapter]

Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
2010 Lecture Notes in Computer Science  
For type-checking, G 1 is projected into end-point session types: one The work is partially supported by EPSRC EP/G015635/1 and EP/F003757/1.  ...  We use the primitive recursion operator from Gödel's System T to express a wide range of communication patterns while keeping type checking decidable.  ...  We thank the reviewers, Lasse Nielsen and Dimitris Mostrous for their useful comments for the paper and Kohei Honda for discussions.  ... 
doi:10.1007/978-3-642-12032-9_10 fatcat:gayx7iftindvxncntjxkseeshy

On Polymorphic Sessions and Functions [chapter]

Bernardo Toninho, Nobuko Yoshida
2018 Lecture Notes in Computer Science  
We are then able to derive results of the session calculus from the theory of the λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations  ...  This work exploits the logical foundation of session types to determine what kind of type discipline for the π-calculus can exactly capture, and is captured by, λ-calculus behaviours.  ...  The authors would like to thank the reviewers for their comments, suggestions and pointers to related works.  ... 
doi:10.1007/978-3-319-89884-1_29 fatcat:ay6ibc5edjcchjlndipak35hiy

Virtual Prototyping through Feature Processing [chapter]

J. Ovtcharova, A. S. Vieira
1995 IFIP Advances in Information and Communication Technology  
This will offer possibilities to users to define high -level semantic information in the prototype model in a way which allows a high degree of correspondence between virtual prototype and physical product  ...  (eds.), Virtual Prototyping © IFIP International Federation for Information Processing 1995 Virtual proto typing through feature processing 79 "Virtual presence is the synthesis of a perceptual consistency  ...  Moreover, SINFONIA supports the users to define their own specific design features, thereby allowing to represent new types of products.  ... 
doi:10.1007/978-0-387-34904-6_7 fatcat:cvp5kkxervfuzpbl7mx7ywnzau

Practical Parameterised Session Types [chapter]

Andi Bejleri
2010 Lecture Notes in Computer Science  
The previous work supporting parameterised session types has several shortfalls that limit their utility in practice.  ...  The previous model requires programmers to write processes types, in addition to global types, for type-checking, while this model preserves multiparty's lightweight type annotations and type-checking  ...  Acknowledgements I thank Nobuko Yoshida for helpful technical discussions on this material, and Dave Clarke, Iain Phillips, Raymond Hu, Andrew Farell and the anonymous reviewers of Coordination and ICFEM  ... 
doi:10.1007/978-3-642-16901-4_19 fatcat:jetjd7nhhvaizncpkdowpfvlf4

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios [chapter]

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2012 Lecture Notes in Computer Science  
Their execution is restricted by deployment components which reflect the execution capacity of groups of objects between observable points in time.  ...  Software today is often developed for deployment on different architectures, ranging from sequential machines via multicore and distributed architectures to the cloud.  ...  For this purpose, we work with a notion of timed concurrent objects [8] , extended to capture parametric concurrent activities between observable points in time.  ... 
doi:10.1007/978-3-642-35743-5_12 fatcat:qoksf5lahzfe3k2hvqm5awbtve

How Do Informal Agreements and Renegotiation Shape Contractual Reference Points?

Ernst Fehr, Oliver D. Hart, Christian Zehnder
2011 Social Science Research Network  
Our evidence indicates that the central behavioral mechanism underlying the concept of contractual reference points is robust to the presence of informal agreements and ex post renegotiation.  ...  Previous experimental work provides encouraging support for some of the central assumptions underlying Hart and Moore (2008)'s theory of contractual reference points.  ...  point and defines their expectations.  ... 
doi:10.2139/ssrn.1975130 fatcat:svengnrj6fbaxhyouvycykt5gi

Page 1501 of Mathematical Reviews Vol. 49, Issue 4 [page]

1975 Mathematical Reviews  
Sen, Estimation of memory bias in wildlife mail surveys (pp. 401-412); Pranab Kumar Sen, Non- parametric procedures for certain stochastic processes with applications to clinical trials (pp. 413-418);  ...  Taha, Polynomial approximation for the LMPRT (pp. 485-497); Edward Theiss, Foundations of statistical inference and their relations to-inductive logic, statistical decision theory and econometrics (pp.  ... 
« Previous Showing results 1 — 15 out of 30,476 results