Results 211 to 220 of about 3,012,120 (253)

Large Language Models in Sensor-Driven Control Systems: Architectures, Challenges, and Opportunities. [PDF]

Sensors (Basel)
Aghaee F, Shaker HR.
europepmc   +1 more source

Targeting FAP/CAFs to rewire immune-excluded and resistant tumor niches. [PDF]

Front Pharmacol
Wang Y, Zhao Y, Zhou C, Wang Y.
europepmc   +1 more source

Metabolic and post-translational modifications in sepsis-associated immune dysfunction: a conceptual framework. [PDF]

Front Immunol
Xu M, Zhang Z, Zhu M, Zhang S, Deng J, Du Z, Wang Z, Zhao H, Qiu Z.   +8 more
europepmc   +1 more source

Sustainable Design Reuse: Integrating Biomimicry and Parametric Thinking in Architectural Education. [PDF]

Biomimetics (Basel)
Semlali A, Tamzini S, Cazacova L.
europepmc   +1 more source

Natural and Synthetic Metabolic Architectures. [PDF]

Chembiochem
Nikel PI.
europepmc   +1 more source

Incremental analysis of constraint logic programs [PDF]

ACM Transactions on Programming Languages and Systems, 2000
Global analyzers traditionally read and analyze the entire program at once, in a nonincremental way. However, there are many situations which are not well suited to this simple model and which instead require reanalysis of certain parts of a program ...
Manuel Hermenegildo, Kim Marriott, Peter Stuckey   +2 more
exaly   +2 more sources

Generalized semantics and abstract interpretation for constraint logic programs [PDF]

The Journal of Logic Programming, 1995
We present simple and powerful generalized algebraic semantics for constraint logic programs that are parameterized with respect to the underlying constraint system.
Giorgio Levi
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Constraint logic programming

Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87, 1987
We address the problem of designing programming systems to reason with and about constraints. Taking a logic programming approach, we define a class of programming languages, the CLP languages, all of which share the same essential semantic properties.
Joxan Jaffar, Jean-Louis Lassez
openaire   +1 more source

On proving left termination of constraint logic programs

ACM Transactions on Computational Logic, 2003
The Constraint Logic Programming (CLP) Scheme merges logic programming with constraint solving over predefined domains. In this article, we study proof methods for universal left termination of constraint logic programs.
Salvatore Ruggieri, Fred Mesnard
exaly   +2 more sources