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.
Filters
Continuous Model-Driven Engineering
2009
Computer
Preserved Fulltext
Prinetto: Use of the OTTER theorem prover for the formal verification of hardware, Proc. Workshop on Designing Correct Circuits, Oxford (UK), Springer Verlag, 1991. [C2] P. Camurati, T. Margaria, P. ...
Steffen:
Supporting Process Development in Bio-jETI by Model Checking and Synthesis
SWAT4LS, Proc. of the Workshop on Semantic Web Applications and Tools for Life Sciences, Edinburgh, UK,
Nov. 2008, ...
doi:10.1109/mc.2009.315
fatcat:glkd4d62u5cy3laikgb3sv5fxa
Prolog at IBM: An advanced and evolving application development technology
1992
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Robinet, “Logic Programming at IBM: from the Lab to the Customer,” Proceedings of the Eighth International Conference on Logic Programming (ICLP’91), MIT Press, Cambridge, MA (1991), pp. 912-921.
. ...
Jasper, “A Logic Based Programming Environment for Interactive Applications,” Proceedings 4th Interna- tional Conference on Human-Computer Interaction, North-Holland, Amsterdam (September 1991).
. C. ...
doi:10.1147/sj.314.0755
fatcat:jidyrgtlzvfihjz3pj6mum7bse
Europhysics notes
1995
EurophysicsNews
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.
Application of the system to measurements of plasma turbulence at the Wendelstein W7AS experiment at IPP Garching. 3. Analysis of the acquired data. ...
The successful applicant will participate in a colla borative program between Risø and the Max Planck-Institut für Plasmaphysik in Garching, Germany. Research tasks will include: 1. ...
The 3rd Plan envisages increasing total industrial and state expenditures on R&D by about 10% p.a. ...
doi:10.1051/epn/19952603062
fatcat:355xeo676bfifcwcusq3rmolx4
Priorities assignment for actions in a transport system based on a multicriteria decision model
[chapter]
2009
Reliability, Risk, and Safety, Three Volume Set
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 innovative tools for prevention of accidents in a post-socialist country Council Directive 89/391/EEC of 12 June 1989 on the introduction of measures to encourage improvements in the safety and health ...
Baram (eds) "Safety management: The challenge of organisational change" Oxford, UK. Westrum, R. 2006 . "A Typology of Resilience Situations" from E. ...
Heriot-Watt University School of Mathematical and Computer Sciences. Edinburgh, UK. Cornell University. 2008. The Network Is The Database. ...
doi:10.1201/9780203859759-69
fatcat:wnkjp4evmnawrn55cmckrgazze
Wave Function Method to Forecast Foreign Currencies Exchange Rates at Ultra High Frequency Electronic Trading in Foreign Currencies Exchange Markets
2015
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 2018; you can also visit the original URL.
The file type is application/pdf.
finances theory; 6) the discussion on the developed software program with the embedded quantum system state prediction algorithm, using both the wave function and the time dependent / time independent ...
The discussion on the developed software program with the embedded quantum system state prediction algorithm, using both the wave function and the time dependent / time independent wave equation in the ...
1964, 1980) , Berestetsky, Lifshits, Pitaevsky (1980) , Dirac (1958) , , Feynman, Leighton, Sands (1965) , Atkins (1974, 1977, 1978) , , Bransden, Joachain (1983) , Resnick, Eisberg (1985) , , 1991 ...
doi:10.2139/ssrn.2681183
fatcat:gzmmheympzdfvlki7t74yilnfa
Forecast in Capital Markets
2016
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 2018; you can also visit the original URL.
The file type is application/pdf.
Proceedings of
the Seventh International Economic History Congress vol 2 International Economic History
Congress Edinburgh UK pp 79-86.
81. ...
Shiryaev A N 2008a Generalized Bayesian nonlinear quickest detection problems: on
Markov family of sucient statistics Mathematical Control Theory and Finance Proceedings of
the Workshop of April 10 ...
of progress on the modern technologies application to forecast the dynamics of the capital changes in the capital markets in the finances. ...
doi:10.2139/ssrn.2802085
fatcat:ngsuh5uczngv7f7kkuzhgp4xcy
Evolution of the Linux Credits file: Methodological challenges and reference data for Open Source research
2004
First Monday
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 2022; you can also visit the original URL.
The file type is text/html.
"Evidences in the evolution of OS projects through changelog analyses," Taking Stock of the Bazaar: Proceedings of the 3rd Workshop on Open Source Software Engineering, International Conference on Software ...
"Version management tools: CVS to BK in the Linux kernel," Taking Stock of the Bazaar: Proceedings of the 3rd Workshop on Open Source Software Engineering, International Conference on Software Engineering ...
doi:10.5210/fm.v9i6.1151
fatcat:3hmunjoimnbkdjkl53amnjz3ci
Evolution of the Linux Credits file: Methodological challenges and reference data for Open Source research (originally published in Volume 9, Number 6, June 2004)
2005
First Monday
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 2022; you can also visit the original URL.
The file type is text/html.
"Evidences in the evolution of OS projects through changelog analyses," Taking Stock of the Bazaar: Proceedings of the 3rd Workshop on Open Source Software Engineering, International Conference on Software ...
"Version management tools: CVS to BK in the Linux kernel," Taking Stock of the Bazaar: Proceedings of the 3rd Workshop on Open Source Software Engineering, International Conference on Software Engineering ...
doi:10.5210/fm.v0i0.1480
fatcat:aqezihp7v5ekbpuvvhtark7z3e
EAAP NEWS+EAAP EMBLEM
2004
Livestock Production 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 2004; you can also visit the original URL.
The file type is application/pdf.
A 1day conference will be held on 19 April 2004 in the Royal Botanical Gardens in Edinburgh focusing upon antimicrobial and antiparasitic properties of plant products for animals as mediated through plant ...
September 2nd-3rd, 2004 (2 days). ...
I do happen to know one of the authors well-Mike Gasson as Chair of the UK Advisory Committee on Novel Foods and Processes and a member of the EFSA GM Committee is an eminent 'catch' from the publicly ...
doi:10.1016/j.livprodsci.2004.03.001
fatcat:glabw6nrbfepbgrhqhirbhatlm
Resurrecting the Future of Operational Research
1979
Journal of the Operational Research 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 2008; you can also visit the original URL.
The file type is application/pdf.
The advantages of landscape neutrality in
digital circuit evolution. In Proceedings of the 3rd International Conference on
Evolvable Systems: From Biology to Hardware, Berlin, pp. 252-263. ...
.), Temporal Logic Proceedings of the First International Conference (LNAI 827), Berlin, Germany, pp. 480-505. Springer-Verlag. Flake, G. W. (1998). ...
The group 1 in the blue team is advancing to the flag. • 10: An order has been sent to the leader of group 1 in the blue team to move toward (30, 70). ...
doi:10.1057/jors.1979.41
fatcat:pewf42or6zhvxj6i2bos3g3fjm
Resurrecting the Future of Operational Research
1979
Journal of the Operational Research 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 2008; you can also visit the original URL.
The file type is application/pdf.
The advantages of landscape neutrality in
digital circuit evolution. In Proceedings of the 3rd International Conference on
Evolvable Systems: From Biology to Hardware, Berlin, pp. 252-263. ...
.), Temporal Logic Proceedings of the First International Conference (LNAI 827), Berlin, Germany, pp. 480-505. Springer-Verlag. Flake, G. W. (1998). ...
The group 1 in the blue team is advancing to the flag. • 10: An order has been sent to the leader of group 1 in the blue team to move toward (30, 70). ...
doi:10.2307/3009600
fatcat:tgjuobfpwzar7bwo5xss3fcfe4
Final Program
2021
2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring)
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.
on Information Theory, the
as her M.S. (1991) and Sc.D (1995), all from MIT. ...
10 The Effective Ray-Tracing Algorithm for Analysis of mm-
2. ...
doi:10.1109/vtc2021-spring51267.2021.9448675
fatcat:if5edc6u7zcc7jnl67jezth3je
Business Cycles in Economics
2018
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 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The accurate forward looking assumptions on the business cycles oscillation dynamics can optimize the financial capital investing and/or borrowing by the economic agents in the capital markets. ...
The business cycles are generated by the oscillating macro-/micro-/nano- economic output variables in the economy of the scale and the scope in the amplitude/frequency/phase/time domains in the economics ...
, de Jong, Chu-Chun-Lin (1994) , Bar-Shalom, Maybeck (1990) , Franklin, Powell, Workman (1990), Brockwell, Davis (1991) , Jang (1991), Brown, Hwang (1992 , Xiao-Rong Li (1993), Gordon, Salmond, Smith ...
doi:10.2139/ssrn.3134655
fatcat:mliwcykajjcu5lrhhnshwoq2my
Proceedings of the British Pharmacological Society, Clinical Pharmacology Section, University College, Dublin, 3-5 July 2001
2008
British Journal of Clinical Pharmacology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Targeting diabetic patients at a CHD risk threshold of >15% over 10 vears would of the UK population, and would target patients with on average a
t-told higher incidence of CVI) (Table 1).
extend statin ...
Proceedings of the BPS, 3—5 July 200! ...
doi:10.1046/j.1365-2125.2001.052004465.x
fatcat:z6tj23b2hjfgzbil2uvy5g7tha
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law
2012
Artificial Intelligence and Law
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.
We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. ...
Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the ...
Accessed April 3rd 2012 19 See: http://www.policy-impact.eu/. Accessed April 3rd 2012.
This paper also introduced one of the classic AI and Law cases,Mason v. ...
doi:10.1007/s10506-012-9131-x
fatcat:g4qgrfrwyjcphdghpqlgfarxdy
« Previous
Showing results 1 — 15 out of 328 results