Results 61 to 70 of about 2,358,795 (346)

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic [PDF]

Scientific Annals of Computer Science, 2016
Software product lines are now an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by Boolean propositional theories.
Z. Diskin, A. Safilian, T. Maibaum, S. Ben-David   +3 more
doaj   +1 more source

Characterizing intermediate tense logics in terms of Galois connections

, 2014
We propose a uniform way of defining for every logic ${\sf L}$ intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK_t}$.
Dzik, Wojciech, Järvinen, Jouni, Kondo, Michiro   +2 more
core   +1 more source

The logic of domains

Social Studies of Science, 2019
The logic of domains has become a key organizing principle for contemporary computing projects and in broader science policy. The logic parses collectives of expertise into ‘domains’ that are to be studied or engaged in order to inform computational ...
David Ribes, Andrew Hoffman, S. Slota, G. Bowker   +3 more
semanticscholar   +1 more source

Evaluation of a Participatory Ergonomics Intervention in Small Commercial Construction Firms [PDF]

, 2016
BACKGROUND: Work-related musculoskeletal disorders (WMSD) among construction workers remain high. Participatory ergonomics (PE) interventions that engage workers and employers in reducing work injury risks have shown mixed results.
Albers, Bohr, Brown, Cantley, Carlan, Carrivick, Cole, Dababneh, de Jong, de Jong, de Looze, Driessen, Driessen, Fulmer, Glanz, Glina, Hahn, Haines, Hasson, Haukka, Hecker, Hess, Hignett, Israel, Jaegers, Kim, Koningsveld, Linnan, Moir, Oude Hengel, Punnett, Ringen, Ringen, Rivilis, Robson, Salem, Silverstein, Smallwood, St-Vincent, van der Molen, van der Molen, van Eerd, Vink, Vink, Wells, Wiberg, Wilson, Yazdani   +47 more
core   +2 more sources

Multiple Conclusion Rules in Logics with the Disjunction Property

, 2015
We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of ...
A Chagrov, A Chagrov, A Citkin, A Muravitsky, AV Chagrov, BR Fedorishin, E Jeřábek, E Jeřábek, E Jeřábek, G Bezhanishvili, G. E. Mints, H Friedman, J Goudsmit, JP Goudsmit, L Cabrer, M Kracht, M Kracht, ND Belnap Jr, R Harrop, R Iemhoff, R Iemhoff, R Iemhoff, S Odintsov, SC Kleene, T Prucnal, VV Rybakov, VV Rybakov, VV Rybakov, VV Rybakov, VV Rybakov, W Craig, WA Pogorzelski   +31 more
core   +1 more source

Applications of Intuitionistic Logic in Answer Set Programming [PDF]

, 2003
We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given.
Arrazola, Jose, Navarro, Juan Antonio, Osorio, Mauricio   +2 more
core  

Sequent Calculus in the Topos of Trees

, 2015
Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that
A. Bizjak, A. Hobor, A. Muravitsky, G. Corsi, G. Fiorino, G. Restall, J. Bengtson, M. Ferrari, O. Sonobe, R. Clouston, R. Dyckhoff, R. Ishigaki, T. Coquand, Y. Hirai   +13 more
core   +1 more source

On the Implementation of GNU Prolog [PDF]

, 2010
GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces standalone executables which don't rely on any byte-code emulator or
Abreu, Salvador, Codognet, Philippe, Diaz, Daniel   +2 more
core   +5 more sources

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Algorithmic construction of explicit numerical schemes and visualization of objects and processes in the computational experiment in fluid mechanics [PDF]

Компьютерные исследования и моделирование, 2015
The paper discusses the design and verification stages in the development of complex numerical algorithms to create direct computational experiments in fluid mechanics.
A. B. Degtyarev, T. R. Yezhakova, V. N. Khramushin   +2 more
doaj   +1 more source