Filters








44 Hits in 3.4 sec

From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming

John Plaice, Blanca Mancilla, Gabriel Ditu
2008 Mathematics in Computer Science  
Each successive version of the language has been a generalisation of previous languages, but with a further understanding of the problems at hand.  ...  Indexical Lucid (1987) was introduced for intensional programming, in which the semantics of a variable was understood as a function from a universe of possible worlds to ordinary values.  ...  The current development of a wide variety of manycore and multicore architectures makes the current research in TransLucid of wide relevance.  ... 
doi:10.1007/s11786-008-0043-9 fatcat:ytiai4vwyndelg2i4kqzfhkwgy

The GIPSY Architecture [chapter]

Joey Paquet, Peter Kropf
2000 Lecture Notes in Computer Science  
In this paper, we present the design of a General Intensional Programming System (GIPSY). The design and implementation of the GIPSY reflect three main goals: generality, adaptability and efficiency.  ...  The fast growing computer connectivity allows for more and more efficient implementation of distributed applications.  ...  For example, eduction can be a simple one-time process, as in computing in Lucid, or a two-stage show, as in spreadsheet calculations.  ... 
doi:10.1007/3-540-45111-0_17 fatcat:mavysofosjg47jwe7tpnb2zlby

First-order functional languages and intensional logic

P. RONDOGIANNIS, W. W. WADGE
1997 Journal of functional programming  
From a practical point of view, our investigation provides a formal basis for the tagging mechanism that is used in the implementation of first-order functional languages on dataflow machines.  ...  On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages.  ...  The research was supported by the Natural Sciences and Engineering Research Council of Canada and a University of Victoria Graduate Fellowship.  ... 
doi:10.1017/s0956796897002633 fatcat:aa7oqrp6d5b2fdfrfye5yynhza

Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing [article]

Joey Paquet, Serguei A. Mokhov
2013 arXiv   pre-print
The resulting Core Lucid language would inherit the properties of generalization attempts of GIPL (1999-2013) and TransLucid (2008-2013) for all future and recent Lucid implementing systems to follow.  ...  We review the historical literature on the Lucid programming language, its dialects, intensional logic, intensional programming, the implementing systems, and context-oriented and context-aware computing  ...  Acknowledgments This research work was funded by the respective grants, faculties and departments of the authors.  ... 
arXiv:1107.0940v4 fatcat:aamlitm4fndmdhdkr734osolau

Intensional Programming for Agent Communication [chapter]

Vasu S. Alagar, Joey Paquet, Kaiyu Wan
2005 Lecture Notes in Computer Science  
For the language thus extended, a calculus of contexts and a logic of contexts are provided.  ...  This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid.  ...  The implementation technique of evaluation for Lucid programs is an interpreted mode called eduction.  ... 
doi:10.1007/11493402_14 fatcat:uz332cbfnrenjgzus4oo52h2yq

Numerical modeling of subduction: State of the art and future direction

Taras Gerya
2022 Geosphere  
During the past five decades, numerical modeling of subduction, one of the most challenging and captivating geodynamic processes, remained in the core of geodynamic research.  ...  As in the past, the multi-physics character of subduction-related processes ensures that numerical modeling will remain one of the key quantitative tools for integration of natural observations, developing  ...  the lithosphere  ... 
doi:10.1130/ges02416.1 fatcat:jd4kyalr3vgmhhwpblxvqxmfye

The Design of FluxML: A Universal Modeling Language for 13C Metabolic Flux Analysis

Martin Beyß, Salah Azzouzi, Michael Weitzel, Wolfgang Wiechert, Katharina Nöh
2019 Frontiers in Microbiology  
Here, we present the implementation-independent model description language FluxML for specifying 13C MFA models.  ...  13C metabolic flux analysis (MFA) is the method of choice when a detailed inference of intracellular metabolic fluxes in living organisms under metabolic quasi-steady state conditions is desired.  ...  ACKNOWLEDGMENTS The authors thank Peter Droste for insightful discussions.  ... 
doi:10.3389/fmicb.2019.01022 pmid:31178829 pmcid:PMC6543931 fatcat:ayaug7q5bfcwvou327gieyjslq

Media-assisted product and process traceability in supply chain engineering

M. Jarke, M. Miatidis, M. Schluter, S. Brandt
2004 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the  
A number of novel experience reuse tools have been designed and implemented as part of a process-integrated modeling environment.  ...  the automotive industry.  ...  Fig. 8 shows a screenshot of TRAMP enlarged from fig. 7 . The three columns of buttons on the right were generated from the domain models.  ... 
doi:10.1109/hicss.2004.1265245 dblp:conf/hicss/JarkeMSB04 fatcat:tmhmsoo4mjhgzkyj74te4otlmy

View Entire Issue

Editor, Richard A. Schwier
1992 Canadian Journal of Learning and Technology  
However, it is not clear that any of the proposals to convert teachers into educational technologists takes into account all three dimensions that Fullan CAN EDUCTIONAL  ...  good descriptions of a number of actual, implemented projects.  ... 
doi:10.21432/t2fw34 fatcat:voo3w2p7rncm3mlh7xw5yzsv5q

Challenges in Optimization and Control of Biobased Process Systems: An Industrial-Academic Perspective

Franz D. Bähner, Oscar A. Prado-Rubio, Jakob K. Huusom
2021 Industrial & Engineering Chemistry Research  
Finally, the article suggests a possible roadmap for the development of frameworks for the optimization of industrial biobased processes based on existing works in chemical processing.  ...  By replacing rules-of-thumb and oversimplified calculations with rigorous quantification and automation, PSE increases the profitability of a wide range of processes.  ...  The work thus touches on a number of relevant industrial problems, and the schedule optimizer is ultimately implemented in a case study plant using an Excel spreadsheet representation.  ... 
doi:10.1021/acs.iecr.1c01792 fatcat:loyps4ozczcjjnevdeixjapaha

5 Tools for Systems Engineering [chapter]

Sebastian Engell
2022 Integrated Chemical Processes in Liquid Multiphase Systems  
The search space comprises a huge number of possible alternatives, starting from the possible raw materials, over catalysts and ligands, solvent systems, types of equipment, to the sizing of the equipment  ...  A third, also very relevant criterion in the initial phase is the minimization of risk, i.e., to ensure that the product specifications are met and the economic viability is maintained under uncertainties  ...  An example of the LHS design for a 2-dimensional space is shown in Figure 5 .25.  ... 
doi:10.1515/9783110709858-005 fatcat:is7thj65pjdrnlmid7jubgochi

Simulation-Based Optimization of a Multiple Gas Feed Sweetening Process

Weixuan Zhu, Haotian Ye, Yang Yang, Xiong Zou, Hongguang Dong
2022 ACS Omega  
In our previous work, a multiple gas feed sweetening process was proposed, which can simultaneously improve the purity of H2S and reduce the energy consumption of the plant.  ...  Based on this, the robustness and effectiveness of the method is proven through a case study, and it can also provide guidance for model selection, process simplification, and optimization of the same  ...  ■ ACKNOWLEDGMENTS The authors gratefully acknowledge financial support from the National Natural Science Foundation of China, under Grant No. 21276039.  ... 
doi:10.1021/acsomega.1c05193 pmid:35097267 pmcid:PMC8793078 fatcat:ilnofr5xsvdblifpl55n4u4ypu

Automated model-based spreadsheet debugging

Thomas Schmitz, Technische Universität Dortmund, Technische Universität Dortmund
2017
These publications comprise (a) a survey of the research in the area of spreadsheet quality assurance, (b) a work describing how to adapt the general MBD approach to spreadsheets, (c) two [...]  ...  In order to assure a seamless integration into the environment that is well-known to the spreadsheet developers, the presented approaches are implemented as an extension for Microsoft Excel.  ...  JA 2095/4-1 (Project "Debugging of Spreadsheet Programs").  ... 
doi:10.17877/de290r-18089 fatcat:k5jviobcgzcatl7b3yquj2obiq

Risks from Low Doses of Radiation: Continued

M. Goldman
1996 Science  
Applicants should send a resume, a research statement, and names of at least three references to F. V.  ...  Faculty Position in Biophysics University of California, Los Angeles The Departments of Physics and Astronomy, Chemistry and Biochemistry and the Jules Stein Eye Institute invite applications for a senior  ...  Structural Biology -Understand how the three-dimensional structures of proteins and nucleic acids allow them to carry out their functions.  ... 
doi:10.1126/science.273.5275.561d fatcat:judbhnacbjgknmogqkklrjfo5y

HESS Opinions "A random walk on water"

D. Koutsoyiannis
2010 Hydrology and Earth System Sciences  
Deciding which of the two dominates is simply a matter of specifying the time horizon and scale of the prediction.  ...  (Time is a child playing, throwing dice. The ruling power is a child's; Heraclitus; ca. 540-480 BC; Fragment 52) I am convinced that He does not throw dice.  ...  to clarify my opinions and theses in a series of replies as well as in the final version of the paper.  ... 
doi:10.5194/hess-14-585-2010 fatcat:avpjxoe52vhetexp6jo4sbqao4
« Previous Showing results 1 — 15 out of 44 results