A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Illumination Modeling and Generation of Realistic Images Using Internet Technologies
2005
Programming and computer software
Preserved Fulltext
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
2010
The Behavior Analyst
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of Open Source Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of the Royal Statistical Society: Series A (Statistics in Society)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1972
Journal of Applied Behavior Analysis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Numerical Algorithms
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Foundations and Trends in Econometrics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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?
2011
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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