Search Results - "Stack, S. S."

Enumerating all multi-constrained s–t paths on temporal graph.

Authors: Jin, Yue Chen, Zijun Liu, Wenyuan

Source: Knowledge & Information Systems; Feb2024, Vol. 66 Issue 2, p1135-1165, 31p

Clustering-Based Column Generation and Heuristic Methods for the Container Loading Problem with Practical Constraints: A Case Study.

Authors: Tekil-Ergün, Sezgi Çebi, Ferhan

Source: Journal of Industrial Engineering & Management. 2026, Vol. 19 Issue 1, p99-119. 21p.

Fields of moduli and the arithmetic of tame quotient singularities.

Authors: Bresciani, Giulio Vistoli, Angelo

Source: Compositio Mathematica. May2024, Vol. 160 Issue 5, p982-1003. 22p.

A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.

Authors: MATHEJA, CHRISTOPH PAGEL, JENS ZULEGER, FLORIAN

Source: ACM Transactions on Computational Logic; Jan2023, Vol. 24 Issue 1, p1-76, 76p

Tableaux and Resource Graphs for Separation Logic.

Authors: Galmiche, Didier Méry, Daniel

Source: Journal of Logic & Computation; February 2010, Vol. 20 Issue 1, p189-231, 43p

Strong-separation Logic.

Authors: PAGEL, JENS ZULEGER, FLORIAN

Source: ACM Transactions on Programming Languages & Systems; Jul2022, Vol. 44 Issue 3, p1-40, 40p

Approximability and exact resolution of the multidimensional binary vector assignment problem.

Authors: Bougeret, Marin Duvillié, Guillerme Giroudeau, Rodolphe

Source: Journal of Combinatorial Optimization. Oct2018, Vol. 36 Issue 3, p1059-1073. 15p.

An iterative multi‐path fully convolutional neural network for automatic cardiac segmentation in cine MR images.

Authors: Ma, Zongqing Wu, Xi Wang, Xin et al.

Source: Medical Physics. Dec2019, Vol. 46 Issue 12, p5652-5665. 14p.

Subjects: Artificial neural networks, Magnetic resonance imaging, Left heart ventricle, Magnetic resonance, Heart diseases

Optimal patrol scheduling of hazardous pipelines using game theory.

Authors: Rezazadeh, Amirali Laobing Zhang Reniers, Genserik et al.

Source: Process Safety & Environmental Protection: Transactions of the Institution of Chemical Engineers Part B. Jul2017, Vol. 109, p242-256. 15p.

Collapsible Pushdown Automata and Recursion Schemes.

Authors: HAGUE, MATTHEW MURAWSKI, ANDRZEJ S. ONG, C.-H. LUKE et al.

Source: ACM Transactions on Computational Logic; Jul2017, Vol. 18 Issue 3, p1-42, 42p

GPU Accelerated Finding of Channels and Tunnels for a Protein Molecule.

Authors: Kim, Byungjoo Lee, Jung Kim, Young et al.

Source: International Journal of Parallel Programming; Feb2016, Vol. 44 Issue 1, p87-108, 22p

Multilingual Joint Parsing of Syntactic and Semantic Dependencies with a Latent Variable Model.

Authors: Henderson, James Merlo, Paola Titov, Ivan et al.

Source: Computational Linguistics; Dec2013, Vol. 39 Issue 4, p949-998, 50p

From natural semantics to C: A formal derivation of two STG machines.

Authors: DE LA ENCINA, ALBERTO PEÑA, RICARDO

Source: Journal of Functional Programming. Jan2009, Vol. 19 Issue 1, p47-94. 48p.

Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.

Authors: Mirkowska, Grażzyna Salwicki, Andrzej Świda, Oskar

Source: Fundamenta Informaticae; 2008, Vol. 85 Issue 1-4, p1-17, 17p, 3 Black and White Photographs, 1 Diagram, 8 Charts

Reinforcement sensitivity of sex offenders and non-offenders: An experimental and psychometric study of reinforcement sensitivity theory.

Authors: Leue, Anja Brocke, Burkhard Hoyer, Jürgen

Source: British Journal of Psychology. Aug2008, Vol. 99 Issue 3, p361-378. 18p. 1 Diagram, 4 Charts.

Subjects: Sensitivity theory (Mathematics), Reinforcement (Psychology), Sex offenders, Psychometrics, Experimental biology, Human behavior, Quality of life, Personality, Sensitivity (Personality trait)

Welfare and stability in senior matching markets.

Authors: Cantala, David Sánchez, Francisco

Source: International Journal of Game Theory; 2008, Vol. 36 Issue 3/4, p369-392, 24p, 1 Diagram

Increasing loneliness in Japan, 1983-2023: a cross-temporal meta-analysis.

Authors: Homma M Takase K

Source: Frontiers in psychology [Front Psychol] 2026 Apr 14; Vol. 17, pp. 1824941. Date of Electronic Publication: 2026 Apr 14 (Print Publication: 2026).

Publication Type: Journal Article; Systematic Review

Journal Info: Publisher: Frontiers Research Foundation Country of Publication: Switzerland NLM ID: 101550902 Publication Model: eCollection Cited Medium: Print ISSN: 1664-1078 (Print) Linking ISSN: 16641078 NLM ISO Abbreviation: Front Psychol Subsets: PubMed not MEDLINE

Monadic regions.

Authors: FLUET, MATTHEW MORRISETT, GREG

Source: Journal of Functional Programming. Jul2006, Vol. 16 Issue 4/5, p485-545. 61p.

Using Control Dependencies for Space-Aware Bytecode Verification.

Authors: Bernardeschi, C. Lettieri, G. Martini, L.

Source: Computer Journal; 2006, Vol. 49 Issue 2, p234-248, 15p

Model checking security properties of control flow graphs.

Authors: Besson, Frédéric Jensen, Thomas Le Métayer, Daniel et al.

Source: Journal of Computer Security; 2001, Vol. 9 Issue 3, p217, 34p