Filters








328 Hits in 10.3 sec

Continuous Model-Driven Engineering

Tiziana Margaria, Bernhard Steffen
2009 Computer  
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

M. Benichou, H. Beringer, J.-M. Gauthier, C. Beierle
1992 IBM Systems Journal  
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  
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  
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

Dimitri O. Ledenyov, Viktor O. Ledenyov
2015 Social Science Research Network  
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

Dimitri O. Ledenyov, Viktor O. Ledenyov
2016 Social Science Research Network  
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

Ilkka Tuomi
2004 First Monday  
"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)

Ilkka Tuomi
2005 First Monday  
"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  
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

Russell L. Ackoff
1979 Journal of the Operational Research Society  
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

Russell L. Ackoff
1979 Journal of the Operational Research Society  
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)  
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

Viktor Ledenyov, Dimitri Ledenyov
2018 Social Science Research Network  
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  
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

Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori (+12 others)
2012 Artificial Intelligence and Law  
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