研究成果 2007 2019

  • 21 記事
  • 2 会議での発言
  • 1 Conference article
フィルター
記事
2019

Anomalous Dispersion in Pore-Scale Simulations of Two-Phase Flow

Triadis, D., Jiang, F. & Bolster, D., 1 30 2019, : : Transport in Porous Media. 126, 2, p. 337-353 17 p.

研究成果: ジャーナルへの寄稿記事

Two phase flow
Boundary conditions
Fluids
Drainage
Wetting
2018

Integrable Discrete Model for One-Dimensional Soil Water Infiltration

Triadis, D., Broadbridge, P., Kajiwara, K. & Maruno, K. I., 5 1 2018, : : Studies in Applied Mathematics. 140, 4, p. 483-507 25 p.

研究成果: ジャーナルへの寄稿記事

Integrable Models
Infiltration
Discrete Model
Soil
Burgers Equation

Nonclassical symmetry solutions for fourth-order phase field reaction-diffusion

Broadbridge, P., Triadis, D., Gallage, D. & Cesana, P., 3 1 2018, : : Symmetry. 10, 3, 72.

研究成果: ジャーナルへの寄稿記事

公開
Phase Field
Reaction-diffusion
Fourth Order
mushy zones
Symmetry

Variational modelling of nematic elastomer foundations

Cesana, P. & Baldelli, A. A. L., 12 30 2018, : : Mathematical Models and Methods in Applied Sciences. 28, 14, p. 2833-2861 29 p.

研究成果: ジャーナルへの寄稿記事

Elastomers
Membrane
Membranes
Tensors
Tensor
2017
2 引用 (Scopus)

Birkhoff style calculi for hybrid logics

Gaina, D. M., 9 1 2017, : : Formal Aspects of Computing. 29, 5, p. 805-832 28 p.

研究成果: ジャーナルへの寄稿記事

Hybrid Logic
Calculus
Horn clause
Completeness
Sharing

Foundations of logic programming in hybrid logics with user-defined sharing

Gaina, D. M., 7 22 2017, : : Theoretical Computer Science. 686, p. 1-24 24 p.

研究成果: ジャーナルへの寄稿記事

Hybrid Logic
Horn clause
Logic programming
Logic Programming
Sharing
2015
9 引用 (Scopus)

Effective Behavior of Nematic Elastomer Membranes

Cesana, P., Plucinsky, P. & Bhattacharya, K., 11 4 2015, : : Archive for Rational Mechanics and Analysis. 218, 2, p. 863-905 43 p.

研究成果: ジャーナルへの寄稿記事

Elastomers
Wrinkling
Membrane
Membranes
Biaxial
8 引用 (Scopus)

Exact non-classical symmetry solutions of Arrhenius reaction-diffusion

Broadbridge, P., Bradshaw-Hajek, B. H. & Triadis, D., 12 8 2015, : : Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 471, 2184, 20150580.

研究成果: ジャーナルへの寄稿記事

Reaction-diffusion
diffusivity
plant roots
endothermic reactions
Symmetry

Proving sufficient completeness of constructor-based algebraic specifications

Nakamura, M., Gaina, D. M., Ogata, K. & Futatsugi, K., 1 1 2015, : : Lecture Notes in Electrical Engineering. 373, p. 15-21 7 p.

研究成果: ジャーナルへの寄稿記事

Specification languages
Specifications
Algebra
Formal verification
Formal specification
2014
5 引用 (Scopus)

Asymptotic analysis of hierarchical martensitic microstructure

Cesana, P., Porta, M. & Lookman, T., 12 1 2014, : : Journal of the Mechanics and Physics of Solids. 72, p. 174-192 19 p.

研究成果: ジャーナルへの寄稿記事

Asymptotic analysis
microstructure
Microstructure
compatibility
Elasticity

Falling head ponded infiltration in the nonlinear limit

Triadis, D., 12 23 2014, : : Water Resources Research. 50, 12, p. 9555-9569 15 p.

研究成果: ジャーナルへの寄稿記事

infiltration
saturation
soil
wetting front
mathematical analysis
2013
3 引用 (Scopus)

Interpolation in logics with constructors

Gaina, D. M., 2 25 2013, : : Theoretical Computer Science. 474, p. 46-59 14 p.

研究成果: ジャーナルへの寄稿記事

Interpolation
Interpolate
Formal logic
Logic
Computer science
2012
12 引用 (Scopus)

Constructor-based logics

Gaina, D. M., Futatsugi, K. & Ogata, K., 12 1 2012, : : Journal of Universal Computer Science. 18, 16, p. 2204-2233 30 p.

研究成果: ジャーナルへの寄稿記事

Logic
Completeness
Computer Science
Model
Computer science
21 引用 (Scopus)

Principles of proof scores in CafeOBJ

Futatsugi, K., Gaina, D. M. & Ogata, K., 12 14 2012, : : Theoretical Computer Science. 464, p. 90-112 23 p.

研究成果: ジャーナルへの寄稿記事

Algebraic Specification
Theorem proving
Specification languages
Theorem Proving
Specification Languages
2011
1 引用 (Scopus)

Nematic elastomers: Gamma-limits for large bodies and small particles

Cesana, P., 11 21 2011, : : SIAM Journal on Mathematical Analysis. 43, 5, p. 2354-2383 30 p.

研究成果: ジャーナルへの寄稿記事

Elastomers
Gamma Convergence
Biaxial
Minimizer
Crystal orientation
20 引用 (Scopus)

Quasiconvex envelopes of energies for nematic elastomers in the small strain regime and applications

Cesana, P. & Desimone, A., 4 1 2011, : : Journal of the Mechanics and Physics of Solids. 59, 4, p. 787-803 17 p.

研究成果: ジャーナルへの寄稿記事

elastomers
Elastomers
envelopes
plane strain
Mechanics
2010
16 引用 (Scopus)

Analytical model of infiltration under constant-concentration boundary conditions

Triadis, D. & Broadbridge, P., 12 1 2010, : : Water Resources Research. 46, 3, W03526.

研究成果: ジャーナルへの寄稿記事

infiltration
boundary condition
diffusivity
hydraulic conductivity
conductivity
9 引用 (Scopus)

Completeness by forcing

Gaina, D. M. & Petria, M., 12 1 2010, : : Journal of Logic and Computation. 20, 6, p. 1165-1186 22 p.

研究成果: ジャーナルへの寄稿記事

Computer science
Forcing
Completeness
Infinitary Logic
First-order Logic
2009
7 引用 (Scopus)

Infiltration from supply at constant water content: An integrable model

Broadbridge, P., Triadis, D. & Hill, J. M., 3 11 2009, : : Journal of Engineering Mathematics. 64, 2, p. 193-206 14 p.

研究成果: ジャーナルへの寄稿記事

Integrable Models
Infiltration
Water Content
Water content
Boundary conditions
18 引用 (Scopus)

Strain-order coupling in nematic elastomers:Equilibrium configurations

Cesana, P. & Desimone, A., 4 1 2009, : : Mathematical Models and Methods in Applied Sciences. 19, 4, p. 601-630 30 p.

研究成果: ジャーナルへの寄稿記事

Elastomers
Boundary conditions
Configuration
Frustration
Biaxial
2007
8 引用 (Scopus)

Ordering effects in electric splay Freedericksz transitions

Biscari, P. & Cesana, P., 10 1 2007, : : Continuum Mechanics and Thermodynamics. 19, 5, p. 285-298 14 p.

研究成果: ジャーナルへの寄稿記事

Tensors
electric potential
Anisotropy
anisotropy
tensors